11 found
Sort by:
  1. Tomasz Jarmużek (2012). Rozumowania niemonotoniczne jako przedmiot badań logicznych. Ruch Filozoficzny 1 (1).
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. Tomasz Jarmuzek (2009). Master Argument Vs. Sea-Fight Tomorrow1. Bulletin of the Section of Logic 38 (3/4):205-214.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Tomasz Jarmużek & Andrzej Pietruszczak (2009). The Tense Logic for Master Argument in Prior's Reconstruction. Studia Logica 92 (1):85 - 108.
    In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Tomasz Jarmuzek (2008). Tableau System for Logic of Categorial Propositions and Decidability. Bulletin of the Section of Logic 37 (3/4):223-231.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Tomasz Jarmużek (2007). Book Reviews: David Makinson, "Bridges From Classical to Nonmonotonic Logic", King's College Publications, London, 2005. Logic and Logical Philosophy 16 (2-3):259-262.
    David Makinson, "Bridges from Classical to Nonmonotonic Logic", King’s College Publications, London, 2005, pp. 216, ISBN 1-904987-00-1.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Tomasz Jarmużek (2007). Construction of Tableaux for Classical Logic: Tableaux as Combinations of Branches, Branches as Chains of Sets. Logic and Logical Philosophy 16 (1):85-101.
    The paper is devoted to an approach to analytic tableaux for propositional logic, but can be successfully extended to other logics. The distinguishing features of the presented approach are:(i) a precise set-theoretical description of tableau method; (ii) a notion of tableau consequence relation is defined without help of a notion of tableau, in our universe of discourse the basic notion is a branch;(iii) we define a tableau as a finite set of some chosen branches which is enough to check; hence, (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Tomasz Jarmuzek (2007). Minimal Logical Systems With R-Operator: Their Metalogical Properties and Ways of Extensions. In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. 319.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Tomasz Jarmużek, Maciej Nowicki & Andrzej Pietruszczak (2006). An Outline of the Anselmian Theory of God. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):317-330.
    The article presents a formalization of Anselm's so-called Ontological Arguments from Proslogion . The main idea of our research is to stay to the original text as close as is possible. We show, against some common opinions, that (i) the logic necessary for the formalization must be neither a purely sentential modal calculus, nor just non-modal first-order logic, but a modal first-order theory; (ii) such logic cannot contain logical axiom ⌜ A → ⋄ A ⌝; (iii) none of Anselm's reasonings (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  9. Tomasz Jarmużek (2005). Różne oblicza czasu i ich wspólny fundament. Przeglad Filozoficzny - Nowa Seria 55 (3):47-55.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  10. Tomasz Jarmużek & Andrzej Pietruszczak (2004). Completeness of Minimal Positional Calculus. Logic and Logical Philosophy 13:147-162.
    In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  11. Tomasz Jarmużek (2002). O pewnych niekonsekwencjach w tropieniu konsekwencji. Przeglad Filozoficzny - Nowa Seria 41 (1):209-217.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation