On Axiomatic Foundations Common to Classical Physics and Special Relativity

Bressan, Aldo

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 16 (2005), p. 143-157 / Harvested from Biblioteca Digitale Italiana di Matematica

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.

Résumé

(i) La classe dei fondamenti assiomatici menzionati nel titolo è detta brevemente Ax Found; ed è trattata nell'introduzione. (ii) Questa consiste nelle Parts A,...,G seguite dalle References. (iii) In [17] la logica modale di Bressan è trattata in modo consciamente non rigoroso. Invece qui essa, al pari di Ax Found, ha una trattazione rigorosa. Una tale trattazione era stata apprezzata dal fisico matematico Truesdell in [62]. (iv) Nel 1953 Truesdell ebbe una notevole intuizione, la cui correttezza risultò solo nel 1962, dalla monografia [3] di Bressan. (v) Come Socio straniero dei Lincei, Truesdell sostenne degli aspetti logici, assenti nella sua scuola. Inoltre diede a M. Pitteri una "confidential copy" involgente tale fatto. (vi) La presente trattazione rigorosa della logica modale di Bressan appare perciò fortemente sostenuta da Truesdell. Era quindi naturale dedicare alla sua memoria il lavoro inviato. (vii) Nell'introduzione si dice di aver ottenuto certi risultati (la cui dimostrazione non appare ivi) concernenti la Meccanica razionale o la logica modale di Bressan trattata rigorosamente.

Détail

Publié le : 2005-09-01

MR 2227739 | Zbl 1225.70005

Bibliographie

[1] Bacon, J., Substance and first-order quantification over individual concepts. J. Symbolic Logic, 45, 1980, 193-203. (={D} Bacon 1980) | MR 569392 | Zbl 0432.03014

[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) | MR 822824 | Zbl 0677.03021

[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) | Zbl 0114.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) | MR 401432 | Zbl 0255.02015

[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 Boston 1974, 285-303. (={D} Bressan 1974) | Zbl 0322.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., Amsterdam 1981, 197-210 and 211-214. (={D} Bressan_a 1981) | MR 604946

[7] Bressan, A., Extensions of the modal calculi $MC^{v}$ and $MC^{\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., Dordrecht 1981, 21-66. (={D} Bressan_a 1981) | MR 646464 | Zbl 0476.03028

[8] Bressan, A., On the interpreted sense calculus $SC^{v}_{a}$. In: G. Dorn - P. Weingertner (eds.), Foundations of Logic and Linguistics: problems and their solutions. Plenum Publishing Corporation, New York-London 1985, 427-463. (={D} Bressan 1985) | MR 797963 | Zbl 0608.03006

[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, Siena 1987, 137-165. (={D} Bressan_a 1987) | MR 904903 | Zbl 0667.03015

[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) | MR 1006945 | Zbl 0774.73003

[11] Bressan, A., New semantics for the extensional but hyper-intensional part $L_{a}$ of the modal sense language $SL_{a}$. Notre Dame J. of Formal Logic, 32, 1991, 47-86. (={D} Bressan 1991) | MR 1092891 | Zbl 0726.03008

[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, Leipzig 1994, 53-65. (={D} Bressan 1994)

[13] Bressan, A., Again on relativistic semantics. Logic and logical philosophy, 3, 1995, 23-36. (={D} Bressan 1995) | MR 1405418 | Zbl 0970.03507

[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) | MR 1644016 | Zbl 0981.03508

[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) | MR 45675 | Zbl 0044.25104

[19] Carnap, R., Meaning and necessity. The University of Chicago Press, Chicago, 1956. 1st version 1947. (={D} Carnap 1956) | MR 19563 | Zbl 0034.00106

[20] Carnap, R., Introduction to symbolic logic. Dover Publications, Inc., New York1958. German edition 1954. Chicago, 1956. 1st version 1947. (={D} Carnap 1954.) | Zbl 0083.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) | Zbl 0114.14902

[22] Hamel, G., Über die Grundlagen der Mechanik. Mathematische Annalen, 66, 1908, 340-397. (={D} Hamel 1908) | JFM 39.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) | MR 55071 | Zbl 0050.18201

[25] Montanaro, A. - Bressan, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. Part 1: Basic theorems of a recent modal version of the Probability Calculus, based on $MC^{v}$ or $MC^{v*}$. Rend. Sem. Mat. Univ. Padova, 64, 1981, 109-126. | MR 636630 | Zbl 0485.03006

[26] Montanaro, A. - Bressan, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. Part 2: On a known Existence Rule for the Probability Calculus. Rend. Sem. Mat. Univ. Padova, 65, 1981, 263-270. | MR 653299 | Zbl 0501.03010

[27] Montanaro, A. - Bressan, A., Contributions to Foundations of Probability calculus on the basis of the Modal Logical Calculus $MC^{v}$ or $MC^{v*}$. 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. | MR 742105 | Zbl 0533.03006

[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). | MR 702154 | Zbl 0538.70001

[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. | MR 1000022 | Zbl 0774.73004

[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. | MR 1000023 | Zbl 0774.73005

[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. | MR 1082620 | Zbl 0725.73004

[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. | MR 1192001 | Zbl 0773.73020

[33] Montanaro, A., On heat flux in simple media. Journal of Elasticity, 30, n. 1, 1993, 81-101. | MR 1207018 | Zbl 0768.73008

[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. | MR 1088046 | Zbl 0725.73005

[35] Montanaro, A., On the Clausius-Planck inequality within theories for differential materials. Meccanica, 25, 1990, 192-194. | MR 1094311 | Zbl 0717.73009

[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. | MR 1192005 | Zbl 0773.73003

[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. | MR 1289639 | Zbl 0805.73008

[38] Montanaro, A., On tensor functions whose gradients have some skew-symmetries. Rend. Mat. Acc. Lincei, s. 9, v. 2, 1991, 259-268. | MR 1135430 | Zbl 0759.53006

[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. | MR 1243957 | Zbl 0796.35020

[40] Montanaro, A., Uniqueness theorems for the entropy of any differential material of complexity one. Meccanica, 27, 1994, 75-83. | Zbl 0793.73011

[41] Montanaro, A., Entropy-free theories for differential materials. Int. J. Non-Linear Mechanics, 27, n. 5, 1992, 845-860. | MR 1183124 | Zbl 0780.73007

[42] Montanaro, A. - Pigozzi, D., On weakly isotropic tensors. Int. J. Non-Linear Mechanics, 29, n. 3, 1994, 295-309. | MR 1281480 | Zbl 0809.15016

[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. | MR 1292090 | Zbl 0805.73009

[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. | MR 1283995 | Zbl 0815.73005

[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. | MR 1233178 | Zbl 0791.73005

[46] Montanaro, A., A dissipation inequality involving only the dynamic part of entropy. Int. J. Non-Linear Mechanics, 29, n. 3, 1994, 311-334. | MR 1281481 | Zbl 0819.73005

[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. | MR 1657111 | Zbl 0916.73008

[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. | MR 1469859 | Zbl 0896.73013

[50] Montanaro, A., On Small-displacement Waves in a Prestressed Body with Isotropic Incremental Elasticity Tensor. Meccanica, 32, 1997, 505-514. | MR 1603979 | Zbl 0899.73102

[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. | MR 1469382 | Zbl 0904.46031

[52] Montanaro, A., Wave propagation along axes of symmetry in linearly elastic media with initial stress. Journal of Elasticity, 46, 1997, 217-221. | MR 1468636 | Zbl 0884.73012

[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. | MR 1837582 | Zbl 1020.74003

[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. | MR 1785153 | Zbl 0977.74036

[56] Montanaro, A., Global equivalence for rigid heat-conducting bodies. Mathematics & Mechanics of Solids, 6, 2001, 423-436. | MR 1842357 | Zbl 1045.74020

[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. | MR 1916963 | Zbl 1205.74039

[59] Painlevé, P., Les axiomes de la mécanique. Gauthier-Villars, Paris1922. (={D} Painlevé 1922) | Zbl 0065.39301

[60] Pitteri, M., On certain weak phase transformations in multilattices. Journal of Elasticity, 72, 2003, 241-261. (={D} Pitteri 2003) | MR 2064227 | Zbl 1060.74050

[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) | MR 2064227 | Zbl 1060.74050

[62] Truesdell, C.A., An idiot's fugitive essays on science: methods, criticism, training, circumstances. Springer-Verlag, New York1984. (={D} Truesdell 1984) | MR 769106 | Zbl 0599.01013

[63] Zanardo, A., A completeness theorem for the general interpreted modal calculus $MC^{v}$ of A. Bressan. Rend. Sem. Mat. Univ. Padova, 64, 1981, 39-57. (={D} Zanardo 1981) | MR 636625 | Zbl 0484.03006

[64] Zanardo, A., On the equivalence between the calculi $MC^{v}$ and $EC^{v+1}$ of A. Bressan. Notre Dame J. of Formal Logic, 24, 1983, 367-388. (={D} Zanardo 1983) | MR 703502 | Zbl 0524.03010

[65] Zanardo, A., Individual concepts as propositional variables in $LM^{v+1}$. Notre Dame J. of Formal Logic, 25, 1984, 332-346. (={D} Zanardo 1984) | MR 759290 | Zbl 0555.03009

[66] Zanardo, A., On a recent unpublished conjecture by Aldo Bressan. Atti Ist. Veneto Scienze Lettere Arti, 162, 2004, 517-523. (={D} Zanardo 2004)