Abstract
Bressan’s communication at the 1971 International Congress for Logic, Methodology, and Philosophy of Science (Bucharest) to be spoken of here, concerns the main results of Memoir 3 in Bressan’s book (1972). The same communication was essentially based on some results that were presented at the analogue of the above congress in 1964 (Jerusalem)1 and constitutes the main achievements of Memoir 1 (and some of Memoir 2) in Bressan (1972). Therefore here I shall first hint at Memoir 1 and 2 in Bressan (1972) briefly — cf. Sections 2–6 — and then at Memoir 3 in more detail. Of course, for a thorough treatment of the subject mentioned in the title and, more generally, for an extended theory on MC à and the language ML à on which MC à is based, the reader is advised to take Bressan (1972) into account.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Bibliography
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. di Padova 32 (1962) 55–212.
Bressan, A., ‘Una teoria di relatività generale includente, oltre all’elettromagnetismo e alla termodinamica, le equazioni costitutive dei materiali ereditari’, Rend. Sem. Mat. Univ. di Padova 34 (1964) 1–73.
Bressan, A., A General Interpreted Modal Calculus (with foreword by Nuel D. Belnap, Jr.) New Haven and London, Yale Univ. Press, 1972.
Bressan, A., ‘The Interpreted Type-Free Modal Calculus MC∞. Part 1: The Type-Free Extensional Calculus EC∞ Involving Individuals, and the Interpreted Language ML∞ on which MC∞ is Based; Part 2: Foundations of MC∞’, Rend. Sem. Mat. Univ. di Padova, 1973, in press.
Carnap, R., Meaning and Necessity, Univ. of Chicago Press, Chicago, 1956.
Carnap, R., ‘Replies and Systematic Expositions’, in The Philosophy ofR. Carnap (ed. by Paul A. Schilpp) Tudor Publishing Co., New York, Library of Living Philosophers, 1963, pp. 859–999.
Hermes, H., ‘Eine axiomatisierung der allgemeinen Mechanik’. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, Vol. 3, Verlag von Hirzel, Leipzig, 1938.
Hermes, H., Zur Axiomatisierung der Mechanik, in Proceedings of the International Symposium on the Axiomatic Method, Berkeley 1957–58, North-Holland Publishing Co., Amsterdam, 1959a, p. 250.
Hermes, H., ‘Modal Operators in an Axiomatisation of Mechanics’, Proceedings of the Colloque International sur la méthode axiomatique classique et moderne, Paris, 1959b, pp. 29–36.
Kripke, S. A., ‘Semantical Analysis of Modal Logici: Normal, Proposition al Calculi’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9 (1963) 67–96.
Lemmon, E. J., ‘Is There Only One Correct System of Modal Logic?’, Proceedings of the Aristotelian Society (Suppl.) 33 (1959) 23–40.
Meredith, C. A. and Prior, A. N., ‘Investigations into Implicational S5,’ Zeitschrift für mathematische Logik und Grundlagen der Mathematik 10 (1964) 203–20.
Painlevé, P., Les axiomes de la méchanique, Gauthier-Villars, Editeur, Paris, 1922.
Rosser, J. B., ‘Review of H. Hermes,’ Journal of Symbolic Logic 3 (1938) 119–20.
Scott, D., ‘Advice on Modal Logic’, in Philosophical Problems in Logic (ed. by K. Lambert), D. Reidel, Dordrecht, 1969.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1973 D. Reidel Publishing Company, Dordrecht, Holland
About this chapter
Cite this chapter
Bressan, A. (1973). Intensional Descriptions and Relative Completeness in the General Interpreted Modal Calculus MCv . In: Bogdan, R.J., Niiniluoto, I. (eds) Logic, Language, and Probability. Synthese Library, vol 51. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-2568-3_2
Download citation
DOI: https://doi.org/10.1007/978-94-010-2568-3_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-2570-6
Online ISBN: 978-94-010-2568-3
eBook Packages: Springer Book Archive