Abstract
The present paper is written from the same point of view as [3] to [5] and [8] to [11]. Briefly, this differs from the views of Quine, Church and Parsons—see [12], [13], [15], and [16]—in that no semantical notions such as thesense of … needs to be primitive in L″ α orL α , and in that these languages have Fregean semantics.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
Anderson, A. R. & Belnap, N. (1975): Entailment. The logic of relevance and necessity. Princeton University Press, 543 pp.
Bealer, G. (1982): Quality and Concept, daredon Press, Oxford, 311 pp.
Bonotto, C. & Bressan, A. (1983/84): On a synonymy relation for extensional first order theories. Part 1: A notion of synonymy. Part 2: A sufficient criterium for non-synonymy. Applications. Part 3: A necessary and sufficient condition for synonymy.Rend. Sem. Math., Univ. Padova 69 (1983),pp. 63–76,70 (1983),pp. 13–19, 71 (1984), 1–13.
Bonotto, C. & Bressan, A. (1984): On generalized synonymy notions and corresponding quasi-senses.Memoir in Atti Acc. Naz. Nincei, (VIII), 17, pp. 163–208.
Bonotto, C. & Zanardo, A. (1989): A non-compactness phenomenon in logics with hyperintensional predication.Journal of Philosophical Logic, 18, pp. 383–398.
Bressan, A. (1972): A general interpreted modal calculus. Yale University Press, New Haven, 327 pp.
Bressan, A. (1985): On the interpreted sense calculus S C α ν . In “Foundations of Logic and Linguistics” edited by G. Dom and P. Weingartner (Plenum Publishing Corporation), pp. 427–463.
Bressan, A. (1984): Axiom system for the sense language S L α ν . InAtti 1st. Veneto di Scienze, Lettere ed Arti, 147, pp. 19–30.
Bressan, A. (1985): On the logic of senses. An anomalous use of belief sentences. Its rigorous formal treatment. Atti degli Incontri di Logica Matematica, Voi. 3 (Siena 1985, Padova 1985, Siena 1986 ) Scuola di specializzazione in Logica Mat., Dipart, di Mat., Univ. di Siena.
Bressan, A.: New semantics for the extensional but hyper-intensional part L α of the modal sense language S L α ν . Forthcoming in theNotre Dame Journal of Formal Logic.
Church, A. (1954): Intensional isomorphism and identity of belief. Philosophical Studies, 5, pp. 65–72.
Church, A. (1951): A formulation of the logic of sense and denotation. In “Structures, Method, and Meaning, Essays in Honour of H. M. Sheffer”. New York, pp. 3–24.
-- : Outline of a revised formulation of the logic of sense and denotation.Noûs 1 (1973), 24–33, 8 (1974), 135–156.
Church, A.: A revised formulation of sense and denotation.
Monk, D. (1969): Introduction to set theory. McGraw-Hill, New York.
Parsons, C. (1982): Intensional logic in extensional language.J.S.L., 47, pp. 289–328.
Quine, W. Van Oiman (1960): Word and object. The technology press of the MIT or Wiley & Sons, Inc., New York and London, 294 pp.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Kluwer Academic Publishers
About this chapter
Cite this chapter
Bressan, A. (1990). The Extensional but Hyper-Intensional Calculus C α with Orderless Constants and Variables. In: Dunn, J.M., Gupta, A. (eds) Truth or Consequences. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-0681-5_16
Download citation
DOI: https://doi.org/10.1007/978-94-009-0681-5_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-6791-1
Online ISBN: 978-94-009-0681-5
eBook Packages: Springer Book Archive