A defense of second-order logic

DOI10.1007/S10516-010-9101-4zbMATH Open1230.03014OpenAlexW2009614430WikidataQ126372056 ScholiaQ126372056MaRDI QIDQ660454FDOQ660454

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

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

zbMATH Keywords

semanticsQuinesecond-order logicreferencenonstandard modelsAzzouniPutnam

Mathematics Subject Classification ID

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

Cites Work

• Philosophy of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Models and reality
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dirac and the dispensability of mathematics
• Second-order languages and mathematical practice
• Title not available (Why is that?)
• The Significance of Non-Standard Models
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

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

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)