A defense of second-order logic

DOI10.1007/S10516-010-9101-4MaRDI QIDQ660454zbMATH OpenOpenAlexWikidataFDO

Authors Otávio Bueno

Publication date 3 February 2012

Published in Axiomathes (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10516-010-9101-4

zbMATH Keywords

semanticsQuinesecond-order logicreferencenonstandard modelsAzzouniPutnam

Mathematics Subject Classification ID

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

Recommendations

• Alternative versions of second-order logic: an introduction
• What's so bad about second-order logic?
• A critical appraisal of second-order logic
• Second-Order Logic and Foundations of Mathematics
• Second order logic, set theory and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 4029516 (Why is no real title available?)
• scientific article; zbMATH DE number 4070882 (Why is no real title available?)
• scientific article; zbMATH DE number 3710115 (Why is no real title available?)
• scientific article; zbMATH DE number 3769600 (Why is no real title available?)
• scientific article; zbMATH DE number 50939 (Why is no real title available?)
• scientific article; zbMATH DE number 51351 (Why is no real title available?)
• scientific article; zbMATH DE number 699681 (Why is no real title available?)
• scientific article; zbMATH DE number 1150557 (Why is no real title available?)
• scientific article; zbMATH DE number 1150559 (Why is no real title available?)
• scientific article; zbMATH DE number 1550341 (Why is no real title available?)
• scientific article; zbMATH DE number 194992 (Why is no real title available?)
• scientific article; zbMATH DE number 2107965 (Why is no real title available?)
• scientific article; zbMATH DE number 1439713 (Why is no real title available?)
• scientific article; zbMATH DE number 3204549 (Why is no real title available?)
• scientific article; zbMATH DE number 3211088 (Why is no real title available?)
• Dirac and the dispensability of mathematics
• Models and reality
• Philosophy of logic
• Second-order languages and mathematical practice
• The Significance of Non-Standard Models

Cited in

(9)

• Second-order logic: properties, semantics, and existential commitments
• What's so bad about second-order logic?
• A critical appraisal of second-order logic
• Axiomatizations of arithmetic and the first-order/second-order divide
• An approach to paraconsistent multivalued logic: evaluation by complex truth values
• Principles of reflection and second-order logic
• Some uses of logic in rigorous philosophy
• Alternative versions of second-order logic: an introduction
• Second-order languages and mathematical practice

This page was built for publication: A defense of second-order logic

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