Switch to: References

Add citations

You must login to add citations.
  1. Kant on the Nature of Logical Laws.Clinton Tolley - 2006 - Philosophical Topics 34 (1/2):371-407.
  • 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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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   1 citation  
  • Characterizing Generics Are Material Inference Tickets: A Proof-Theoretic Analysis.Preston Stovall - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-37.
    ABSTRACTAn adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Frege and Carnap on the Normativity of Logic.Florian Steinberger - 2017 - Synthese 194 (1):143-162.
    In this paper I examine the question of logic’s normative status in the light of Carnap’s Principle of Tolerance. I begin by contrasting Carnap’s conception of the normativity of logic with that of his teacher, Frege. I identify two core features of Frege’s position: first, the normative force of the logical laws is grounded in their descriptive adequacy; second, norms implied by logic are constitutive for thinking as such. While Carnap breaks with Frege’s absolutism about logic and hence with the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Limits and Basis of Logical Tolerance: Carnap’s Combination of Russell and Wittgenstein.Adam Tamas Tuboly - forthcoming - In Peter Stone (ed.), Bertrand Russell’s Life and Legacy. Vernon Press.
  • Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
    In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing several early attempts to develop the semantics (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logic in the 1930s: Type Theory and Model Theory.Georg Schiemer & Erich H. Reck - 2013 - Bulletin of Symbolic Logic 19 (4):433-472.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logicism and Carnap's Logical Syntax.Adrian Frey - 2011 - .
    Although logicism played a significant role in Carnap's philosophical thinking, the relation of his philosophy of mathematics to the main tenets of the logicist tradition is complex and variable. is paper examines one aspect of this relation by discussing the following question: What elements of Carnap's Logical Syntax of Language, if any at all, indicate a real commitment to that tradition? It will be shown that although important aspects of Frege-Russell logicism are incorporated into the framework developed in that book, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Carnap’s Transformation of Epistemology and the Development of His Metaphilosophy.Thomas Uebel - 2018 - The Monist 101 (4):367-387.
    Carnap’s lectures at the 1935 Paris Congress for the Unity of Science marked the beginning of his mature metaphilosophy. This paper considers what role remained for epistemology once it was “purified” of all psychological elements as Carnap there demanded. It is argued that while this did mean the end of traditional epistemology, room was found for nontraditional versions in the course of the further development of Carnap’s logic of science.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Going Global: Carnap’s Voluntarism and Price’s Expressivism.A. W. Carus - 2018 - The Monist 101 (4):441-467.
    Huw Price has sketched a program for a globalized expressivism in support of which he has repeatedly invoked Rudolf Carnap. This paper argues that this is entirely appropriate, as Carnap had something quite similar in mind. However, it also argues that Price’s recent attempts to integrate Robert Brandom’s inferentialism to this program are less successful, and that a more empirically-oriented descriptive pragmatics along Carnapian lines would be a better fit with his original program than Brandom’s explicitly hermeneutical agenda.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Carnap’s Defense of Impredicative Definitions.Vera Flocke - 2019 - Review of Symbolic Logic 12 (2):372-404.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The Methodological Roles of Tolerance and Conventionalism in the Philosophy of Mathematics: Reconsidering Carnap's Logic of Science.P. Doyle Emerson - unknown
    This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Hilbert's Axiomatic Method and Carnap's General Axiomatics.Michael Stöltzner - 2015 - Studies in History and Philosophy of Science Part A 53:12-22.
  • Philosophy as Conceptual Engineering: Inductive Logic in Rudolf Carnap's Scientific Philosophy.Christopher F. French - 2015 - Dissertation, University of British Columbia