Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization

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

zbMATH Keywords

Carnapexplicationformalizationenlightenmentcognitive artifactsstatistical prediction rules

Mathematics Subject Classification ID

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