Switch to: References

Citations of:

Developments in Logic: Carnap, Gödel, and Tarski

In Michael Beaney (ed.), Oxford Handbook of the History of Analytic Philosophy. Oxford: Oxford University Press. pp. 546-571 (2013)

Add citations

You must login to add citations.
  1. Carnap’s early metatheory: scope and limits.Georg Schiemer, Richard Zach & Erich Reck - 2017 - Synthese 194 (1):33-65.
    In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is much less confused and hopeless than it has often been made out to (...)
    Direct download (5 more)  
    Export citation  
    Bookmark   4 citations  
  • Carnap’s Early Semantics.Georg Schiemer - 2013 - Erkenntnis 78 (3):487-522.
    This paper concerns Carnap’s early contributions to formal semantics in his work on general axiomatics between 1928 and 1936. Its main focus is on whether he held a variable domain conception of models. I argue that interpreting Carnap’s account in terms of a fixed domain approach fails to describe his premodern understanding of formal models. By drawing attention to the second part of Carnap’s unpublished manuscript Untersuchungen zur allgemeinen Axiomatik, an alternative interpretation of the notions ‘model’, ‘model extension’ and ‘submodel’ (...)
    Direct download (6 more)  
    Export citation  
    Bookmark   13 citations