scientific article; zbMATH DE number 1984507

MaRDI QIDQ4428872zbMATH OpenFDO

Authors John Corcoran

Publication date 22 September 2003

zbMATH Keywords

differences between first-order logic and second-order logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5885155
• Second-Order Logic and Foundations of Mathematics
• A critical appraisal of second-order logic
• Higher-order logic or set theory: a false dilemma
• Do Not Claim Too Much: Second-order Logic and First-order Logic

Cited in

(16)

• Second-order logic of paradox
• Commentary: On motivating higher-order logic
• Domains of Sciences, Universes of Discourse and Omega Arguments
• scientific article; zbMATH DE number 5885155 (Why is no real title available?)
• A critical appraisal of second-order logic
• What's so bad about second-order logic?
• Pedagogical Second-order Propositional Calculi
• scientific article; zbMATH DE number 3902022 (Why is no real title available?)
• Do Not Claim Too Much: Second-order Logic and First-order Logic
• Rudimentary Languages and Second‐Order Logic
• scientific article; zbMATH DE number 816222 (Why is no real title available?)
• Higher-order logic or set theory: a false dilemma
• Logicism and Second-Order Logic
• CAPTURING CONSEQUENCE
• Alternative versions of second-order logic: an introduction
• Pure second-order logic with second-order identity

This page was built for publication:

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