Predication Versus Membership in the Distinction Between Logic as Language and Logic as Calculus

Loading...
Thumbnail Image
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

Journal Title

Journal ISSN

Volume Title

Publisher

Synthese

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