A realist semantics for predication in Cocchiarella's \(T^*\) and related systems of nonstandard second-order logic

DOI10.1305/NDJFL/1093882936zbMath0314.02042OpenAlexW2066693160MaRDI QIDQ1220496

John C. M. Simms

Publication date: 1980

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882936

zbMATH Keywords

completenessontologypredicationmodel-set-theoretic semanticsnonstandard second-order logicquasi-Fregean framessubstitution-free axiom sets

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Model theory (03C99) Classical first-order logic (03B10) Categoricity and completeness of theories (03C35)

Related Items (3)

Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\) ⋮ Predication versus membership in the distinction between logic as language and logic a calculus ⋮ Nominalization and Montague Grammar: A semantics without types for natural languages

This page was built for publication: A realist semantics for predication in Cocchiarella's \(T^*\) and related systems of nonstandard second-order logic