Jeffrey Ketland, Jeffrey Ketland
(2022)
Standard Formalization.
[Preprint]
Abstract
A \emph{standard formalization} of a scientific theory is a system of axioms for that theory in a first-order language (possibly many-sorted; possibly with the membership primitive $\in$). Patrick Suppes (\cite{sup92}) expressed skepticism about whether there is a ``simple or elegant method'' for presenting mathematicized scientific theories in such a standard formalization, because they ``assume a great deal of mathematics as part of their substructure''.
The major difficulties amount to these. First, as the theories of interest are \emph{mathematicized}, one must specify the underlying \emph{applied mathematics base theory}, which the physical axioms live on top of. Second, such theories are typically \emph{geometric}, concerning quantities or trajectories in space/time: so, one must specify the underlying \emph{physical geometry}. Third, the differential equations involved generally refer to \emph{coordinate representations} of these physical quantities with respect to some implicit coordinate chart, not to the original quantities.
These issues may be resolved. Once this is done, constructing standard formalizations is not so difficult---at least for the theories where the mathematics has been worked out rigorously. Here we give what may be claimed to be a simple and elegant means of doing that. This is for mathematicized scientific theories comprising differential equations for $\R$-valued quantities $Q$ (that is, scalar fields), defined on $n$ (``spatial'' or ``temporal'') dimensions, taken to be isomorphic to the usual Euclidean space $\R^n$. For illustration, I give standard (in a sense, ``text-book'') formalizations: for the simple harmonic oscillator equation in one-dimension and for the Laplace equation in two dimensions.
Available Versions of this Item
-
Standard Formalization. (deposited 09 May 2022 04:07)
[Currently Displayed]
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}