Abstract
Logical syntax and semantics constitute a very central part of modern logical theory. Syntax is concerned exclusively with the signs or expressions of a language and their interconnections. In semantics, on the other hand, we are interested not only in signs and their interconnections but also in the relationships between signs and the objects which they designate or denote or stand for in one way or another. Such a semantics is a denotational or designational semantics. A second branch of semantical theory is concerned not only with denotation but with the meaning or intension of expressions. Such a theory is sometimes called an intensional semantics. We know a good deal about denotational semantics, thanks to the work of Carnap, KotarbiĆski, Tarski, and others. In a sense, denotational semantics may now be regarded as a completed body of theory. The study of intensions, however, is in its infancy, and indeed it can be said safely that at the present time we have no fully satisfactory semantical theory of intensions at all.
Supported by a grant from the National Science Foundation, Grant No G9737. This paper contains a preliminary version of some of the material in the authorâs Intension and Decision, a Philosophical Study, Prentice-Hall, New York, to appear.
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
Cf. Carl G. Hempel, Fundamentals of Concept Formation in Empirical Science (International Encyclopedia of Unified Science, Vol. II, No. 7), University of Chicago Press, Chicago, 1952, p. 14 and passim.
R. Carnap, Meaning and Necessity, 2nd ed., University of Chicago Press, Chicago, 1956; and A. Church, âA Formulation of the Logic of Sense and Denotationâ in Structure, Method, and Meaning, Essays in Honour of Henry M. Sheffer, Liberal Arts Press, New York, 1951, pp. 3â24 and The Need for Abstract Entities in Semantic Analysis,â Proceedings of the American Academy of Arts and Sciences 80 (1951) 100â112.
Holt, New York, 1957, pp. 234â254.
Cf. the authorâs Truth and Denotation, A Study in Semantical Theory, University of Chicago Press, Chicago; University of Toronto Press, Toronto and Routledge and Kegan Paul, London, 1958, pp. 151â159.
The notation âF(F Com G) â reads: the class of all classes F such that Fis common to G. The circumflex, often used as the notation for class abstraction, omitted here and troughout.
Cf. DesR3, Truth and Denotation, p. 168.
The âHâ in the so-called assertion sign applying to the symbolic context following it and indicating that that context is a theorem in the language at hand.
The Notion of Analytic Truth, University of Pennsylvania Press, Philadelphia and Oxford University Press, London, 1959; and Toward a Systematic Pragmatics (Studies in Logic and the Foundations of Mathematics), North-Holland Publishing Co., Amsterdam, 1959. On page 28 of the former, line 22, please insertâ ~ (Edâ)dâ Occb câ after the first âbâ. Also please note that the first and third definitions on page 78 of the latter are slightly too broad but may easily be emended.
For a full discussion of structural descriptions and concatenation see Truth and Denotation, pp. 70â90 and pp. 156â157.
Note that the total strict intension of a in this sense would be essentially what is called the absolute quasi-intension of a, as defined in Toward a Systematic Pragmatics, p. 88.
It is to assure that âMmsâ is analytic that descriptions are taken here as primitive.
Cf. B. Russell, An Inquiry into Meaning and Truth, Norton, New York, 1940, p. 209
R. Carnap, Meaning and Necessity, p. 152
W. V. Quine, âNotes on Existence and Necessityâ, Journal of Philosophy 40 (1943) 120; and Toward a Systematic Pragmatics, pp. 91â92. Concerning virtual classes, see Truth and Denotation, pp. 49â52 and p. 106 f.
Cf. Truth and Denotation, pp. 278â281, for an analogous argument.
We shall utilize informally some suitable adaptation of Carnapâs theory of confirmation, as applied to the object-language at hand. See R. Carnap, Logical Foundations of Probability, University of Chicago Press, Chicago, 1950.
The notion of being a moment is definable within the underlying theory of time. SeeToward a Systematic Pragmatics, pp. 36â37. Cf. also J. H. Woodger, The Technique of Theory Construction (International Encyclopedia of Unified Science, Vol. II, No. 5), University of Chicago Press, Chicago, 1939, pp. 32â33 andThe Axiomatic Method in Biology, Cambridge University Press, London, 1937, p. 56 ff.
Cf. especially D. Davidson, J. C. C. Mckinsey, and P. Suppes, âOutlines of a Formal Theory of Value Iâ, Philosophy of Science 22 (1955) 140â160.
2nd ed., Princeton University Press, Princeton, 1947.
Cf. Davidson, etc., op. cit., p. 156. A sentence is LFls (logically false) if and only if its negation is analytic.
Pp 47â49.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1964 D. Reidel Publishing Company/Dordrecht-Holland
About this chapter
Cite this chapter
Martin, R.M. (1964). Toward A Logic of Intensions. In: Gregg, J.R., Harris, F.T.C. (eds) Form and Strategy in Science. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-3603-0_12
Download citation
DOI: https://doi.org/10.1007/978-94-010-3603-0_12
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-3605-4
Online ISBN: 978-94-010-3603-0
eBook Packages: Springer Book Archive