# On Axiomatic Foundations Common to Classical Physics and Special Relativity

- Volume: 16, Issue: 3, page 143-157
- ISSN: 1120-6330

## Access Full Article

top## Abstract

top## How to cite

topBressan, Aldo. "On Axiomatic Foundations Common to Classical Physics and Special Relativity." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 16.3 (2005): 143-157. <http://eudml.org/doc/252358>.

@article{Bressan2005,

abstract = {(i) The class of the axiomatic foundations mentioned in the title is called Ax Found; and its structure is treated in the introduction.
(ii) This consists of Parts A to G followed by the References.
(iii) In [17] Bressan's modal logic is treated in a consciously non-rigorous way. Instead here, as well as Ax Found, it has a rigorous treatment. Such a treatment had been appreciated by the mathematical physicist C. Truesdell in [62].
(iv) In 1953 Truesdell had a remarkable intuition, whose correctness appeared only in 1962, from Bressan's monograph [3].
(v) As a foreign member of the Lincei Academy, Truesdell supported some logical features, absent in his school, and he gave M. Pitteri a "confidential copy" involving this fact.
(vi) Since thus the present rigorous treatment of Bressan's modal logic appears strongly supported by Truesdell, it was natural to dedicate the present work to his memory.
(vii) In the introduction one says to have proved certain results (whose proof does not appear there) concerning rational mechanics or Bressan's modal logic treated rigorously.},

author = {Bressan, Aldo},

journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},

keywords = {Axiomatic Foundations; Special Relativity; Classical Physics; Continuous Media; axiomatic foundations; special relativity; classical physics; continuous media},

language = {eng},

month = {9},

number = {3},

pages = {143-157},

publisher = {Accademia Nazionale dei Lincei},

title = {On Axiomatic Foundations Common to Classical Physics and Special Relativity},

url = {http://eudml.org/doc/252358},

volume = {16},

year = {2005},

}

TY - JOUR

AU - Bressan, Aldo

TI - On Axiomatic Foundations Common to Classical Physics and Special Relativity

JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

DA - 2005/9//

PB - Accademia Nazionale dei Lincei

VL - 16

IS - 3

SP - 143

EP - 157

AB - (i) The class of the axiomatic foundations mentioned in the title is called Ax Found; and its structure is treated in the introduction.
(ii) This consists of Parts A to G followed by the References.
(iii) In [17] Bressan's modal logic is treated in a consciously non-rigorous way. Instead here, as well as Ax Found, it has a rigorous treatment. Such a treatment had been appreciated by the mathematical physicist C. Truesdell in [62].
(iv) In 1953 Truesdell had a remarkable intuition, whose correctness appeared only in 1962, from Bressan's monograph [3].
(v) As a foreign member of the Lincei Academy, Truesdell supported some logical features, absent in his school, and he gave M. Pitteri a "confidential copy" involving this fact.
(vi) Since thus the present rigorous treatment of Bressan's modal logic appears strongly supported by Truesdell, it was natural to dedicate the present work to his memory.
(vii) In the introduction one says to have proved certain results (whose proof does not appear there) concerning rational mechanics or Bressan's modal logic treated rigorously.

LA - eng

KW - Axiomatic Foundations; Special Relativity; Classical Physics; Continuous Media; axiomatic foundations; special relativity; classical physics; continuous media

UR - http://eudml.org/doc/252358

ER -

## References

top- BACON, J., Substance and first-order quantification over individual concepts. J. Symbolic Logic, 45, 1980, 193-203. (={D} Bacon 1980) Zbl0432.03014MR569392DOI10.2307/2273182
- BONOTTO, C. - BRESSAN, A., On generalized synonymy notions and corresponding quasi-senses. Atti Acc. Lincei Mem. fis., s. 8, v. 17, 1984, 163-209. (={D} Bonotto & Bressan 1984) Zbl0677.03021MR822824
- BRESSAN, A., Metodo di assiomatizzazione in senso stretto della meccanica classica. Applicazione di esso ad alcuni problemi di assiomatizzazione non ancora completamente risolti. Rend. Sem. Mat. Univ. Padova, 32, 1962, 55-212. (={D} Met) Zbl0114.14902
- BRESSAN, A., A general interpreted modal calculus. Yale University Press, New Haven-London1972. Foreword by N. D. Belnap, Jr., 327 pp. (={D} GIMC) Zbl0255.02015MR401432
- BRESSAN, A., On the usefulness of modal logic in the axiomatization of physics. In: K.F. SHAFFNER - R.S. COHEN (eds.), Proceedings of the 1972 biennial meeting of the Philosophy of Science Association, Lansing, Michigan. Reidel Publishing Co., Dordrecht and Boston1974, 285-303. (={D} Bressan 1974) Zbl0322.02014
- BRESSAN, A., (a) On physical possibility and (b) Supplement: a much used notion of physical possibility and Gödel's undecidability theorem. In: M.L. DALLA CHIARA SCABBIA (ed.), Italian Studies in philosophy of Science. North Holland Publishing Co., Amsterdam1981, 197-210 and 211-214. (={D} Bressan_a 1981) MR604946
- BRESSAN, A., Extensions of the modal calculi $M{C}^{v}$ and $M{C}^{\mathrm{\infty}}$. Comparison of them with similar calculi endowed with different semantics. Application to probability theory. In: U. MÖNNICH (ed.), Aspects of philosophical logic, some logical forays into central notions of linguistics and philosophy. Proceedings of a workshop on Formal Semantics of Natural Languages (Tübingen 1977), Synthese Library, v. 147, Reidel Publishing Co., Dordrecht1981, 21-66. (={D} Bressan_a 1981) Zbl0476.03028MR646464
- BRESSAN, A., On the interpreted sense calculus $S{C}_{a}^{v}$. In: G. DORN - P. WEINGERTNER (eds.), Foundations of Logic and Linguistics: problems and their solutions. Plenum Publishing Corporation, New York-London1985, 427-463. (={D} Bressan 1985) Zbl0608.03006MR797963
- BRESSAN, A., On the logic of senses. An anomalous use of belief sentences, its rigorous and formal treatment. In: Atti degli Incontri di Logica Matematica (Siena 1985, Padova 1985, Siena 1986). Vol. 3, Università di Siena, Siena1987, 137-165. (={D} Bressan_a 1987) Zbl0667.03015MR904903
- BRESSAN, A., Towards axiomatic foundations of the Mach-Painlevé type for classical or relativistic theories of continuous media. Atti Acc. Lincei Mem. fis., s. 8, v. 19, 1987, 1-21. (={D} Bressan_a 1987) Zbl0774.73003MR1006945
- BRESSAN, A., New semantics for the extensional but hyper-intensional part ${L}_{a}$ of the modal sense language $S{L}_{a}$. Notre Dame J. of Formal Logic, 32, 1991, 47-86. (={D} Bressan 1991) Zbl0726.03008MR1092891DOI10.1305/ndjfl/1093635669
- BRESSAN, A.. A semantical theory connected with space-time. In: U. MAYER - H.J. SCHMIDT (eds.), Proceedings of the symposium Semantical aspects of space-time theories (Bielefeld, 1991). Wissenschaftsverlag, Leipzig1994, 53-65. (={D} Bressan 1994)
- BRESSAN, A., Again on relativistic semantics. Logic and logical philosophy, 3, 1995, 23-36. (={D} Bressan 1995) Zbl0970.03507MR1405418
- BRESSAN, A., Some answers to Max Urchs' comments to a paper of A. Bressan. Logic and logical philosophy, 4, 1996, 123-131. (={D} Bressan 1996) Zbl0981.03508MR1644016
- BRESSAN, A., On the interdisciplinary character of rigorous articles à la Mach-Painlevé (in oral Italian). Conference presented at the Convegno in onore dei 90 anni del prof. Giuseppe Grioli, Padova, Accademia Patavina, April 3-4, 2002. (={D} Bressan 2002)
- BRESSAN, A., Elimination of the only primitive dynamic notion PrF in Met by means of kinematic notions. (Now it is written only in Italian; and it is likely to be improved and shortened). (={D} ElimPrF)
- BRESSAN, A. - MONTANARO, A., 1982. (={D} Br&Mont)
- BURKS, A.W., The logic of causal propositions. Mind, 60, 1951, 363-383. (={D} Burks 1951) Zbl0044.25104MR45675
- CARNAP, R., Meaning and necessity. The University of Chicago Press, Chicago, 1956. 1st version 1947. (={D} Carnap 1956) Zbl0034.00106MR19563
- CARNAP, R., Introduction to symbolic logic. Dover Publications, Inc., New York1958. German edition 1954. Chicago, 1956. 1st version 1947. (={D} Carnap 1954.) Zbl0083.00104
- GARSON, J., Review of A. Bressan's "Metodo di assiomatizzazione in senso stretto della meccanica classica". J. of Symbolic Logic, 38, 1973, 144-145. (={D} Garson 1973) Zbl0114.14902
- HAMEL, G., Über die Grundlagen der Mechanik. Mathematische Annalen, 66, 1908, 340-397. (={D} Hamel 1908) JFM39.0739.01
- HAMEL, G., Die Axiome der Mechanik. Handbuch der Physick, v. 5, Springer-Verlag, Berlin1927, 1-42. (={D} Hamel 1927)
- MCKINSEY, J.C.C. - SUGAR, A.C. - SUPPES, P., Axiomatic foundations of classical particle mechanics. J. of Rat. Mech. Anal., 2, 1953, 253-272. (={D} MK&S&S 1953) Zbl0050.18201MR55071
- MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $M{C}^{v}$ or $M{C}^{vA*}$. Part 1: Basic theorems of a recent modal version of the Probability Calculus, based on $M{C}^{v}$ or $M{C}^{vA*}$. Rend. Sem. Mat. Univ. Padova, 64, 1981, 109-126. Zbl0485.03006MR636630
- MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $M{C}^{v}$ or $M{C}^{vA*}$. Part 2: On a known Existence Rule for the Probability Calculus. Rend. Sem. Mat. Univ. Padova, 65, 1981, 263-270. Zbl0501.03010MR653299
- MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $M{C}^{v}$ or $M{C}^{vA*}$. Part 3: An analysis of the notions of random variables and Probability Spaces, based on Modal Logic. Rend. Sem. Mat. Univ. Padova, 70, 1983, 1-11. Zbl0533.03006MR742105
- BRESSAN, A. - MONTANARO, A., Axiomatic Foundations of the Kinematics Common to Classical Physics and Special Relativity. Rend. Sem. Mat. Univ. Padova, 68, 1982, 163-182. (={D} Br&Mont). Zbl0538.70001MR702154
- MONTANARO, A., A completion of A. Bressan's work on axiomatic foundations of the Mach Painlevé type for various classical theories of continuous media. Part 1. Completion of Bressan's work based on the notions of gravitational equivalence of affine inertial frames. Atti Acc. Lincei Rend. fis., s. 8, v. 81, 1987, 35-46. Zbl0774.73004MR1000022
- MONTANARO, A., A completion of A. Bressan's work on axiomatic foundations of the Mach Painlevé type for various classical theories of continuous media. Part 2. Alternative completion of Bressan's work, fit for extension to special relativity. Atti Acc. Lincei Rend. fis., s. 8, v. 81, 1987, 47-54. Zbl0774.73005MR1000023
- BRESSAN, A. - MONTANARO, A., On the uniqueness of response stress-functionals for purely mechanical continuous media, from the Mach-Painlevé point of view. Mem. Mat. Acc. Lincei, s. 9, v. 1, 1990, 59-94. Zbl0725.73004MR1082620
- MONTANARO, A., On the response stress-function of an elastic body, from the Mach-Painlevé point of view. Atti Ist. Veneto Scienze Lettere Arti, 147, 1989, 1-11. Zbl0773.73020MR1192001
- MONTANARO, A., On heat flux in simple media. Journal of Elasticity, 30, n. 1, 1993, 81-101. Zbl0768.73008MR1207018DOI10.1007/BF00041772
- MONTANARO, A., On the response functions of a thermo-elastic body, from the Mach-Painlevé point of view. Mem. Mat. Acc. Lincei, s. 9, v. 1, 1990, 123-146. Zbl0725.73005MR1088046
- MONTANARO, A., On the Clausius-Planck inequality within theories for differential materials. Meccanica, 25, 1990, 192-194. Zbl0717.73009MR1094311DOI10.1007/BF01556441
- MONTANARO, A., On the indeterminateness of the constitutive equations for certain dissipative materials. Atti Ist. Veneto Scienze Lettere Arti, 148, 1989-1990, 109-126. Zbl0773.73003MR1192005
- MONTANARO, A., Definitions of standard stress and standard heat flux, in simple bodies, treated according to Mach and Painlevé. Rend. Sem. Mat. Univ. Padova, 91, 1994, 229-249. Zbl0805.73008MR1289639
- MONTANARO, A., On tensor functions whose gradients have some skew-symmetries. Rend. Mat. Acc. Lincei, s. 9, v. 2, 1991, 259-268. Zbl0759.53006MR1135430
- MONTANARO, A. - PIGOZZI, D., On a large class of symmetric systems of linear PDEs for tensor functions useful in mathematical physics. Annali di Matematica Pura e Applicata, 164, 1993, 259-273. Zbl0796.35020MR1243957DOI10.1007/BF01759323
- MONTANARO, A., Uniqueness theorems for the entropy of any differential material of complexity one. Meccanica, 27, 1994, 75-83. Zbl0793.73011
- MONTANARO, A., Entropy-free theories for differential materials. Int. J. Non-Linear Mechanics, 27, n. 5, 1992, 845-860. Zbl0780.73007MR1183124DOI10.1016/0020-7462(92)90039-A
- MONTANARO, A. - PIGOZZI, D., On weakly isotropic tensors. Int. J. Non-Linear Mechanics, 29, n. 3, 1994, 295-309. Zbl0809.15016MR1281480DOI10.1016/0020-7462(94)90004-3
- MONTANARO, A. - PIGOZZI, D., On the response function for the heat flux in bodies of the differential type. Mem. Mat. Acc. Lincei, s. 9, v. 2, 1994, 85-107. Zbl0805.73009MR1292090
- MONTANARO, A. - PIGOZZI, D., On the physical indetermination of the response functions for general bodies of the differential type. Rendiconti di Matematica e delle sue applicazioni, s. 7, v. 13, 1993, 701-731. Zbl0815.73005MR1283995
- MONTANARO, A., Constitutive equations for quasi-processes of local pure-jump in simple materials with fading memory. Part 1 - Constitutive functions of local pure-jump. Part 2 - A more general theory in which only the dynamic part of entropy exists. Mem. Mat. Acc. Lincei, s. 9, v. 1, f. 7, 1993, 197-236. Zbl0791.73005MR1233178
- MONTANARO, A., A dissipation inequality involving only the dynamic part of entropy. Int. J. Non-Linear Mechanics, 29, n. 3, 1994, 311-334. Zbl0819.73005MR1281481DOI10.1016/0020-7462(94)90005-1
- MONTANARO, A., On thermoelasticity in the absence of heat sources and a natural restriction for heat flux in simple media. Stability & Applied Analysis of Continuous Media, SAACM, vol. 2, n. 4, 1992.
- MONTANARO, A., Global equivalence for deformable thermoelastic bodies. Archive for Rational Mechanics and Analysis, 143, 4, 1998, 375-402. Zbl0916.73008MR1657111DOI10.1007/s002050050110
- MONTANARO, A., An analysis of the Propagation Condition for Small Displacement Waves in Prestressed Bodies. Int. J. of Non-Linear Mechanics, 33, 1998, 327-355. Zbl0896.73013MR1469859DOI10.1016/S0020-7462(97)00011-5
- MONTANARO, A., On Small-displacement Waves in a Prestressed Body with Isotropic Incremental Elasticity Tensor. Meccanica, 32, 1997, 505-514. Zbl0899.73102MR1603979DOI10.1023/A:1004238416907
- MONTANARO, A. - PIGOZZI, D., A note about differentiability of maps defined on convex subsets of Banach spaces that may be nowhere dense. Journal of Mathematical Analysis and Applications, 213, 1997, 370-386. Zbl0904.46031MR1469382DOI10.1006/jmaa.1997.5498
- MONTANARO, A., Wave propagation along axes of symmetry in linearly elastic media with initial stress. Journal of Elasticity, 46, 1997, 217-221. Zbl0884.73012MR1468636DOI10.1023/A:1007375130803
- MONTANARO, A. - PIGOZZI, D., General and physically privileged solutions to certain symmetric systems of linear P.D.E.s with tensor functionals as unknowns. Rend. Mat. Acc. Lincei, s. 9, v. 11, 2000, 245-278. Zbl1020.74003MR1837582
- MONTANARO, A., On singular surfaces in isotropic linear thermoelasticity with initial stress. J. Acoust. Soc. Am., 106, 3, Pt. 1, September 1999, 1586-1588.
- MONTANARO, A., Equivalence theorems on the propagation of small amplitude waves in prestressed linearly elastic materials with internal constraints. Journal of Elasticity, 57, 1999, 25-53. Zbl0977.74036MR1785153DOI10.1023/A:1007641808977
- MONTANARO, A., Global equivalence for rigid heat-conducting bodies. Mathematics & Mechanics of Solids, 6, 2001, 423-436. Zbl1045.74020MR1842357DOI10.1177/108128650100600404
- MONTANARO, A., Details on singular surfaces in isotropic linear thermoelasticity with initial stress. Atti Ist. Veneto Scienze Lettere Arti, 157, 2, 1999, 411-422.
- MONTANARO, A., On discontinuity waves in linear piezoelectricity. Journal of Elasticity, 65, 2001, 49-60. Zbl1205.74039MR1916963DOI10.1023/A:1016109216213
- PAINLEVÉ, P., Les axiomes de la mécanique. Gauthier-Villars, Paris1922. (={D} Painlevé 1922) Zbl0065.39301
- PITTERI, M., On certain weak phase transformations in multilattices. Journal of Elasticity, 72, 2003, 241-261. (={D} Pitteri 2003) Zbl1060.74050MR2064227DOI10.1023/B:ELAS.0000018779.45974.97
- PITTERI, M., On certain weak phase transformations in multilattices. Preprint DMSA, 2003, Padova, n. 88, 2/ 12/2002, available at www.dmsa.unipd.it/tmr/PreprintDMMMSA.pdf. Printed also in Truesdell's volume. (={D} ExtendPitt) Zbl1060.74050MR2064227DOI10.1023/B:ELAS.0000018779.45974.97
- TRUESDELL, C.A., An idiot's fugitive essays on science: methods, criticism, training, circumstances. Springer-Verlag, New York1984. (={D} Truesdell 1984) Zbl0599.01013MR769106DOI10.1007/978-1-4613-8185-3
- ZANARDO, A., A completeness theorem for the general interpreted modal calculus $M{C}^{v}$ of A. Bressan. Rend. Sem. Mat. Univ. Padova, 64, 1981, 39-57. (={D} Zanardo 1981) Zbl0484.03006MR636625
- ZANARDO, A., On the equivalence between the calculi $M{C}^{v}$ and $E{C}^{v+1}$ of A. Bressan. Notre Dame J. of Formal Logic, 24, 1983, 367-388. (={D} Zanardo 1983) Zbl0524.03010MR703502DOI10.1305/ndjfl/1093870381
- ZANARDO, A., Individual concepts as propositional variables in $L{M}^{v+1}$. Notre Dame J. of Formal Logic, 25, 1984, 332-346. (={D} Zanardo 1984) Zbl0555.03009MR759290DOI10.1305/ndjfl/1093870685
- ZANARDO, A., On a recent unpublished conjecture by Aldo Bressan. Atti Ist. Veneto Scienze Lettere Arti, 162, 2004, 517-523. (={D} Zanardo 2004)

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.