Carnap and the invariance of logical truth

DOI10.1007/s11229-015-0781-6zbMath1417.03003OpenAlexW562399868MaRDI QIDQ1708751

Steven Awodey

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-0781-6

zbMATH Keywords

invarianceunivalenceanalyticityCarnaplogicalitylogical syntax

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)

Cites Work

• Set-theoretical invariance criteria for logicality
• First-order logical duality
• What are logical notions?
• Type Theory and Homotopy
• Logicality and Invariance
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Carnap, completeness, and categoricity: The Gabelbarkeitssatz of 1928
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Carnap and the invariance of logical truth