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

DOI10.1093/PHILMAT/7.1.42zbMATH Open0924.03010OpenAlexW2140058271MaRDI QIDQ4237643FDOQ4237643

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)

Cited In (4)

• Title not available (Why is that?)
• Second-order logic and the power set
• Title not available (Why is that?)
• The challenge of many logics: a new approach to evaluating the role of ideology in Quinean commitment

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Higher-Order Logic or Set Theory: A False Dilemma 👍 👎
• Second-Order Logic and Foundations of Mathematics 👍 👎
• A critical appraisal of second-order 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)