Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V”

The article is devoted to hitherto never undertaken applying an almost unknown logically formalized axiomatic epistemology-and-axiology system called “Sigma-V” to the Third Newton’s Law of mechanics. The author has continued investigating the extraordinary (paradigm-breaking) hypothesis of formal-axiological interpreting Newton’s mathematical principles of natural philosophy and, thus, has arrived to discrete mathematical modeling a system of formal axiology of nature by extracting and systematical studying its proper algebraic aspect. Along with the proper algebraic machinery, the axiomatic (hypothetic-deductive) method is exploited in this investigation systematically. The research results are the followings. 1) The Third Newton’s Law of mechanics has been modeled by a formal-axiological equation of two-valued algebraic system of metaphysics as formal axiology. (Precise defining the algebraic system is provided.) The formal-axiological equation has been established (and examined) in this algebraic system by accurate computing compositions of relevant evaluation-functions. Precise tabular definitions of the evaluation-functions are given. 2) The wonderful formula representing the Third Newton’s Law (in the relevant physical interpretation of the formal theory Sigma-V) has been derived logically in Sigma-V from the presumption of a-priori-ness of knowledge. A precise axiomatic definition of the nontrivial notion “a-priori-ness of knowledge” is given. The formal derivation is implemented in strict accordance with the rigor standard of D. Hilbert’s formalism;hence, checking the formal derivation submitted in this article is not a difficult task. With respect to proper theoretical physics, the formal inference is a nontrivial scientific novelty which has not been discussed and published elsewhere yet.

3D dynamic motion of a dielectric micro-sphere within optical tweezers

Known as laser trapping,optical tweezers,with nanometer accuracy and pico-newton precision,plays a pivotal role in single bio-molecule measurements and controllable motions of micro-machines.In order to advance the flourishing applications for those achievements,it is necessary to make clear the three-dimensional dynamic process of micro-particles stepping into an optical field.In this paper,we utilize the ray optics method to calculate the optical force and optical torque of a micro-sphere in optical tweezers.With the influence of viscosity force and torque taken into account,we numerically solve and analyze the dynamic process of a dielectric micro-sphere in optical tweezers on the basis of Newton mechanical equations under various conditions of initial positions and velocity vectors of the particle.The particle trajectory over time can demonstrate whether the particle can be successfully trapped into the optical tweezers center and reveal the subtle details of this trapping process.Even in a simple pair of optical tweezers,the dielectric micro-sphere exhibits abundant phases of mechanical motions including acceleration,deceleration,and turning.These studies will be of great help to understand the particle-laser trap interaction in various situations and promote exciting possibilities for exploring novel ways to control the mechanical dynamics of microscale particles.