A defense of second-order logic
From MaRDI portal
Publication:660454
DOI10.1007/s10516-010-9101-4zbMath1230.03014OpenAlexW2009614430WikidataQ126372056 ScholiaQ126372056MaRDI QIDQ660454
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Some uses of logic in rigorous philosophy ⋮ Axiomatizations of arithmetic and the first-order/second-order divide ⋮ An Approach to Paraconsistent Multivalued Logic: Evaluation by Complex Truth Values
Cites Work
- Dirac and the dispensability of mathematics
- Philosophy of logic
- Second-order languages and mathematical practice
- Models and reality
- The Significance of Non-Standard Models
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A defense of second-order logic
