Do Not Claim Too Much: Second-order Logic and First-order Logic

DOI10.1093/PHILMAT/7.1.42MaRDI QIDQ4237643zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro

Publication date 15 November 1999

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/2582400b9c0582428e907da6ce88ca5d7ca60efc

zbMATH Keywords

first-order logicsecond-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 50939
• scientific article; zbMATH DE number 1984507
• Higher-order logic or set theory: a false dilemma
• Second-Order Logic and Foundations of Mathematics
• A critical appraisal of second-order logic

Cited in

(6)

• scientific article; zbMATH DE number 1984507 (Why is no real title available?)
• Second-order logic and the power set
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 3898841 (Why is no real title available?)
• The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment
• Critical views of logic

This page was built for publication: Do Not Claim Too Much: Second-order Logic and First-order Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4237643)