Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)

DOI10.1305/NDJFL/1039886523zbMath0869.03006OpenAlexW2046674060MaRDI QIDQ1355128

Max A. Freund

Publication date: 8 June 1997

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

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

zbMATH Keywords

validitysecond-order logiccompleteness theoremsnormal extensionsrelative consistencyCocchiarella's second-order logical system \(\mathbf{RRC}^*\)set-theoretic semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Cites Work

• Unnamed Item
• Frege's double correlation thesis and Quine's set theories NF and ML
• Predication versus membership in the distinction between logic as language and logic a calculus
• A realist semantics for predication in Cocchiarella's \(T^*\) and related systems of nonstandard second-order logic
• Universal grammar

This page was built for publication: Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)