On Axiomatic Foundations Common to Classical Physics and Special Relativity

Aldo Bressan

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni (2005)

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

Abstract

top
(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.

How to cite

top

Bressan, 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
  1. BACON, J., Substance and first-order quantification over individual concepts. J. Symbolic Logic, 45, 1980, 193-203. (={D} Bacon 1980) Zbl0432.03014MR569392DOI10.2307/2273182
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. BRESSAN, A., Extensions of the modal calculi M ⁢ C v and M ⁢ C ∞ . 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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) 
  13. BRESSAN, A., Again on relativistic semantics. Logic and logical philosophy, 3, 1995, 23-36. (={D} Bressan 1995) Zbl0970.03507MR1405418
  14. 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
  15. 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) 
  16. 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) 
  17. BRESSAN, A. - MONTANARO, A., 1982. (={D} Br&Mont) 
  18. BURKS, A.W., The logic of causal propositions. Mind, 60, 1951, 363-383. (={D} Burks 1951) Zbl0044.25104MR45675
  19. CARNAP, R., Meaning and necessity. The University of Chicago Press, Chicago, 1956. 1st version 1947. (={D} Carnap 1956) Zbl0034.00106MR19563
  20. CARNAP, R., Introduction to symbolic logic. Dover Publications, Inc., New York1958. German edition 1954. Chicago, 1956. 1st version 1947. (={D} Carnap 1954.) Zbl0083.00104
  21. 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
  22. HAMEL, G., Über die Grundlagen der Mechanik. Mathematische Annalen, 66, 1908, 340-397. (={D} Hamel 1908) JFM39.0739.01
  23. HAMEL, G., Die Axiome der Mechanik. Handbuch der Physick, v. 5, Springer-Verlag, Berlin1927, 1-42. (={D} Hamel 1927) 
  24. 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
  25. MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus M ⁢ C v or M ⁢ C v A * . Part 1: Basic theorems of a recent modal version of the Probability Calculus, based on M ⁢ C v or M ⁢ C v A * . Rend. Sem. Mat. Univ. Padova, 64, 1981, 109-126. Zbl0485.03006MR636630
  26. MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus M ⁢ C v or M ⁢ C v A * . Part 2: On a known Existence Rule for the Probability Calculus. Rend. Sem. Mat. Univ. Padova, 65, 1981, 263-270. Zbl0501.03010MR653299
  27. MONTANARO, A. - BRESSAN, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus M ⁢ C v or M ⁢ C v A * . 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. MONTANARO, A., On heat flux in simple media. Journal of Elasticity, 30, n. 1, 1993, 81-101. Zbl0768.73008MR1207018DOI10.1007/BF00041772
  34. 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
  35. MONTANARO, A., On the Clausius-Planck inequality within theories for differential materials. Meccanica, 25, 1990, 192-194. Zbl0717.73009MR1094311DOI10.1007/BF01556441
  36. 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
  37. 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
  38. MONTANARO, A., On tensor functions whose gradients have some skew-symmetries. Rend. Mat. Acc. Lincei, s. 9, v. 2, 1991, 259-268. Zbl0759.53006MR1135430
  39. 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
  40. MONTANARO, A., Uniqueness theorems for the entropy of any differential material of complexity one. Meccanica, 27, 1994, 75-83. Zbl0793.73011
  41. 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
  42. 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
  43. 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
  44. 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
  45. 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
  46. 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
  47. 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. 
  48. MONTANARO, A., Global equivalence for deformable thermoelastic bodies. Archive for Rational Mechanics and Analysis, 143, 4, 1998, 375-402. Zbl0916.73008MR1657111DOI10.1007/s002050050110
  49. 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
  50. 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
  51. 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
  52. 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
  53. 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
  54. MONTANARO, A., On singular surfaces in isotropic linear thermoelasticity with initial stress. J. Acoust. Soc. Am., 106, 3, Pt. 1, September 1999, 1586-1588. 
  55. 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
  56. MONTANARO, A., Global equivalence for rigid heat-conducting bodies. Mathematics & Mechanics of Solids, 6, 2001, 423-436. Zbl1045.74020MR1842357DOI10.1177/108128650100600404
  57. MONTANARO, A., Details on singular surfaces in isotropic linear thermoelasticity with initial stress. Atti Ist. Veneto Scienze Lettere Arti, 157, 2, 1999, 411-422. 
  58. MONTANARO, A., On discontinuity waves in linear piezoelectricity. Journal of Elasticity, 65, 2001, 49-60. Zbl1205.74039MR1916963DOI10.1023/A:1016109216213
  59. PAINLEVÉ, P., Les axiomes de la mécanique. Gauthier-Villars, Paris1922. (={D} Painlevé 1922) Zbl0065.39301
  60. 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
  61. 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
  62. 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
  63. 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
  64. 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
  65. 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
  66. ZANARDO, A., On a recent unpublished conjecture by Aldo Bressan. Atti Ist. Veneto Scienze Lettere Arti, 162, 2004, 517-523. (={D} Zanardo 2004) 

NotesEmbed ?

top

You must be logged in to post comments.

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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.