Switch to: References

Add citations

You must login to add citations.
  1. The Origin of the Theory of Types.Ryo Ito - 2018 - Annals of the Japan Association for Philosophy of Science 27:27-44.
    Download  
     
    Export citation  
     
    Bookmark  
  • Formality of Logic and Frege’s Begriffsschrift.Daniele Mezzadri - 2019 - Canadian Journal of Philosophy 49 (2):182-207.
    This paper challenges a standard interpretation according to which Frege’s conception of logic (early and late) is at odds with the contemporary one, because on the latter’s view logic is formal, while on Frege’s view it is not, given that logic’s subject matter is reality’s most general features. I argue that Frege – in Begriffsschrift – retained the idea that logic is formal; Frege sees logic as providing the ‘logical cement’ that ties up together the contentful concepts of specific sciences, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Context of the Development of Carnap’s Views on Logic Up to the Aufbau.Clinton Tolley - 2016 - Vienna Circle Institute Yearbook 18:187-212.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • PM's Circumflex, Syntax and Philosophy of Types.Kevin C. Klement - 2013 - In Bernard Linsky & Nicholas Griffin (eds.), The Palgrave Centenary Companion to Principia Mathematica. Palgrave-Macmillan. pp. 218-246.
    Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Early Russell on Types and Plurals.Kevin C. Klement - 2014 - Journal for the History of Analytical Philosophy 2 (6):1-21.
    In 1903, in The Principles of Mathematics (PoM), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before PoM even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Role of Universal Language in the Early Work of Carnap and Tarski.Iris Loeb - 2017 - Synthese 194 (1):15-31.
    It is often argued that by assuming the existence of a universal language, one prohibits oneself from conducting semantical investigations. It could thus be thought that Tarski’s stance towards a universal language in his fruitful Wahrheitsbegriff differs essentially from Carnap’s in the latter’s less successful Untersuchungen zur allgemeinen Axiomatik. Yet this is not the case. Rather, these two works differ in whether or not the studied fragments of the universal language are languages themselves, i.e., whether or not they are closed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Towards Transfinite Type Theory: Rereading Tarski's Wahrheitsbegriff.Iris Loeb - 2014 - Synthese 191 (10):2281-2299.
    In his famous paper Der Wahrheitsbegriff in den formalisierten Sprachen (Polish edition: Nakładem/Prace Towarzystwa Naukowego Warszawskiego, wydzial, III, 1933), Alfred Tarski constructs a materially adequate and formally correct definition of the term “true sentence” for certain kinds of formalised languages. In the case of other formalised languages, he shows that such a construction is impossible but that the term “true sentence” can nevertheless be consistently postulated. In the Postscript that Tarski added to a later version of this paper (Studia Philosophica, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations