4 found
Sort by:
  1. Tapio Korte (forthcoming). Begriffsschrift as a Lingua Characteristica and the Classical Model of Science. Synthese.
    No categories
     
    My bibliography  
     
    Export citation  
  2. Tapio Korte & Arto Repo (2011). The Problem of Singular Judgments in Kant. History of Philosophy Quarterly 28 (4):389.
    No categories
     
    My bibliography  
     
    Export citation  
  3. Tapio Korte (2010). Frege's Begriffsschrift as a Lingua Characteristica. Synthese 174 (2):283 - 294.
    In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begrijfsschrift, is like the language Leibniz sketched, a lingua characteristica, and not merely a logical calculus. According to the nineteenth century studies, Leibniz's lingua characteristica was supposed to be a language with which the truths of science and the constitution of its concepts could be accurately expressed. I argue that this is exactly what the Begriffsschrift is: it is (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...)
    Direct download  
     
    My bibliography  
     
    Export citation