Abstract
In [1] the modal interpreted language MLv is introduced. It is based on the type system τv that has v individual types and involves all finite levels; and for MLv, quantification and predication are over concepts, i.e. over intensions. In addition, in [1], the modal calculus MCv based on MLv is introduced and developed. By these means, the basic notions of the probability calculus, such as the probability pr(φ,ψ) of the wff(well formed formula) ψ relative to the wff φ, and the ternary relation φ⋺ p ψ(φ implies ψ with the probability p), substantially introduced by Reichenbach in [12], can be dealt with on the basis of MCv, admittedly in a rather indirect way — cf. [3], [5].
This paper has been prepared in the sphere of activity of the C.N.R.(Consiglio Nazionale delle Ricerche) for the academic year 1977–78.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bressan, A.: 1972, A General Interpreted Modal Calculus, Yale University Press, New Haven.
Bressan, A.: 1973–1974, 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’, Rend. Sem. Mat. Univ. Padova 49, 1973, 157–194.
Bressan, A.: 1973–1974, The Interpreted Type-free Modal Calculus MC ∞. Part 2, ‘Foundations of MC∞’, Rend. Sem. Mat. Univ. Padova 50, 1973, 19–57.
Bressan, A.: 1973–1974, The Interpreted Type-free Modal Calculus MC ∞. Part 3, ‘Ordinals and cardinals in MC∞’, Rend. Sem. Mat. Univ. Padova 51, 1974, 1–25.
Bressan, A.: 1974, ‘On the usefulness of modal logic in axiomatizations of physics’, in K. F. Schaffner, and R. S. Cohen (eds.), Proceedings of the 1972 Biennial Meeting of the Phylosophy of Science Association, Reidel, Dordrecht, 285–303.
Bressan, A.: 1974, ‘Comments on Suppes’ paper: The essential but implicit role of modal concepts in science’, in K. F. Schaffner, and R. S. Cohen (eds.), Proceedings of the 1972 Biennial Meeting of the Phylosophy of Science Association, Reidel, Dordrecht, 315–321.
Bressan, A., and A. Montanaro: Contribution 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 MCv or MCv *’. Part 2, ‘On a known existence rule for probability calculus’. Part 3, ‘An analysis of the notions of random variables and probability spaces, based on modal logic’, Rend. Sem. Mat. Univ. Padova, in press.
Carnap, R.: 1958, Introduction to Symbolic Logic and Its Applications, Dover Publications, New York.
Carnap, R.: 1956, Meaning and Necessity, University of Chicago Press, Chicago.
De Finetti, B.: 1975, ‘Il buon senso e le foglie di fico. Hans Freudenthal sull ‘insegnamento della probabilità’, Bollettino U.M.I. (4) 12, Suppl. Fase. 3, 1–9.
Dore, P.: 1964, Introduzione al calcolo delie probabilitá e alle sue applicazioni ingegneristiche, Patron, Bologna.
Freudenthal, H.: 1974, ‘The crux of course design in probability’, Educational Studies in Probability, 261–277.
Monk, D.: 1969, Introduction to Set Theory, McGraw Hill, New York.
Reichenbach, H.: 1949, The Theory of Probability, Cambridge University Press, Cambridge.
Scott, Dana, and P. Krauss: 1966, ‘Assigning probability to logical formulas’, in J. Hintikka, and P. Suppes (eds.), Aspects of Inductive Logic, North-Holland, Amsterdam, 219–264.
Suppes, P.: 1974, ‘The essential but implicit role of modal concepts in science’, in K. F. Schaffner, and R. S. Cohen (eds.), Proceedings of the 1972 Biennial Meeting of the Philosophy of Science Association, D. Reidel, Dordrecht, 1974, 305–313.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 D. Reidel Publishing Company
About this chapter
Cite this chapter
Bressan, A. (1981). Extensions of the Modal Calculi MCv and MC∞. Comparison of them with Similar Calculi Endowed with Different Semantics. Application to Probability Theory. In: Mönnich, U. (eds) Aspects of Philosophical Logic. Synthese Library, vol 147. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-8384-7_2
Download citation
DOI: https://doi.org/10.1007/978-94-009-8384-7_2
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-009-8386-1
Online ISBN: 978-94-009-8384-7
eBook Packages: Springer Book Archive