Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
From MaRDI portal
Publication:1708761
DOI10.1007/s11229-015-0816-zzbMath1382.03013OpenAlexW929074951WikidataQ59446756 ScholiaQ59446756MaRDI QIDQ1708761
Catarina Dutilh Novaes, Erich H. Reck
Publication date: 27 March 2018
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-015-0816-z
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)
Related Items
Expanding theory testing in general relativity: LIGO and parametrized theories ⋮ Intuitions, theory choice and the ameliorative character of logical theories ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ Can Church's thesis be viewed as a Carnapian explication? ⋮ The received view on quantum non-individuality: formal and metaphysical analysis ⋮ Explication, H-D confirmation, and simplicity
Cites Work
- Carnap on concept determination: methodology for philosophy of science
- Reassessing logical hylomorphism and the demarcation of logical constants
- Explication defended
- Formal Languages in Logic
- Squeezing arguments
- Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century Metalogic
- On the Concept of Following Logically
- Extending Knowledge and `Fruitful Concepts': Fregean Themes in the Foundations of Mathematics
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item