Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus
Loading...
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.
Date
1988-10
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Synthese
Permanent Link
Abstract
Two types of framework are distinguished regarding the nature of logic and the logical analysis of natural language. In the first, logic is a calculus subject to varying set-theoretic interpretations over domains of varying cardinality, and in this sense is based on a theory of membership in a set. This type need not restrict its analyses of natural language to extensional discourse only; e.g., Richard Montague's sense-denotation intensional logic, which has been used to provide analyses of intensional discourse, is really a type-theoretical set theory supplemented with a theory of senses. The analyses this type of framework provides are not entirely satisfactory, however, for reasons related to the way that intensional entities are analyzed in terms of membership in a set. The second type of framework, where logical forms are semantic structures in their own right, is based on predication as described in a formal theory of universals. This type of framework: gives a more adequate analysis of natural language and can be developed in a type-free way without generating the logical antinomies. Also, because a set-theoretic semantics provides only an extrinsic characterization of validity for this type of framework, such a semantics cannot be used to show that the laws of logic of this type of framework must be essentially incomplete.
Description
This is a post-peer-review, pre-copyedit version of an article published in Synthese. The final authenticated version is available online at: https://doi.org/10.1007/BF00869546
Keywords
Citation
Cocchiarella, N. "Predication Versus Membership in the Distinction between Logic as Language and Logic as Calculus," Synthese, vol. 77 (1988): 37-72.
Journal
Link(s) to data and video for this item
Relation
Rights
Type
Article