Predication versus membership in the distinction between logic as language and logic a calculus

DOI10.1007/BF00869546zbMath0756.03005MaRDI QIDQ1202495

Nino B. Cocchiarella

Publication date: 2 February 1993

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

semanticssecond-order logicpredication

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items

Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\) ⋮ Jean van Heijenoort's conception of modern logic, in historical perspective

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy
• Frege's double correlation thesis and Quine's set theories NF and ML
• A realist semantics for predication in Cocchiarella's \(T^*\) and related systems of nonstandard second-order logic
• Logic as calculus and logic as language