21 found
Order:
  1.  12
    Jerzy Łoś Positional Calculus and the Origin of Temporal Logic.Marcin Tkaczyk & Tomasz Jarmużek - forthcoming - Logic and Logical Philosophy:1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  6
    Modal Boolean Connexive Logics: Semantics and Tableau Approach.Tomasz Jarmużek & Jacek Malinowski - 2019 - Bulletin of the Section of Logic 48 (3):213-243.
    In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker than (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  15
    Bayesian Propositional Logic.Tomasz Jarmużek, Mateusz Klonowski & Jacek Malinowski - 2017 - Bulletin of the Section of Logic 46 (3/4).
    We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w, for all w, and give some formal properties of it.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  12
    Minimal Logical Systems With R-Operator: Their Metalogical Properties and Ways of Extensions.Tomasz Jarmuzek - 2007 - In Jean-Yves Béziau & Alexandre Costa-Leite (eds.), Perspectives on Universal Logic. pp. 319.
  5.  51
    Completeness of Minimal Positional Calculus.Tomasz Jarmużek & Andrzej Pietruszczak - 2004 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  20
    Master Argument Vs. Sea-Fight Tomorrow1.Tomasz Jarmuzek - 2009 - Bulletin of the Section of Logic 38 (3/4):205-214.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  15
    Tableau System for Logic of Categorial Propositions and Decidability.Tomasz Jarmuzek - 2008 - Bulletin of the Section of Logic 37 (3/4):223-231.
  8. An Outline of the Anselmian Theory of God.Tomasz Jarmużek, Maciej Nowicki & Andrzej Pietruszczak - 2006 - 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 (...)
     
    Export citation  
     
    Bookmark  
  9.  7
    Book Reviews: David Makinson, "Bridges From Classical to Nonmonotonic Logic", King's College Publications, London, 2005.Tomasz Jarmużek - 2007 - 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  10.  21
    Construction of Tableaux for Classical Logic: Tableaux as Combinations of Branches, Branches as Chains of Sets.Tomasz Jarmużek - 2007 - 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 (7 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Knowability as De Re Modality: A Certain Solution to Fitch Paradox.Tomasz Jarmużek, Krzysztof Krawczyk & Rafał Palczewski - 2020 - Roczniki Filozoficzne 68 (4):291-313.
    Poznawalność jako modalność de re: pewne rozwiązanie paradoksu Fitcha W artykule staramy się znaleźć nowe, intuicyjne rozwiązanie paradoksu Fitcha. Twierdzimy, że tradycyjne wyrażenie zasady poznawalności opiera się na błędnym rozumieniu poznawalności jako modalności de dicto. Zamiast tego proponujemy rozumieć poznawalność jako modalność de re. W artykule przedstawiamy minimalną logikę poznawalności, w której zasada poznawalności jest ważna, ale paradoks Fitcha już nie obowiązuje. Logikę charakteryzujemy semantycznie, a także poprzez podejście aksjomatyczne i tabelaryczne.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  12
    On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - forthcoming - Logic and Logical Philosophy:1.
    Standard deontic logic (SDL) is defined on the basis of possible world semantics and is a logic of alethic-deontic modalities rather than deontic modalities alone. The interpretation of the concepts of obligation and permission comes down exclusively to the logical value that a sentence adopts for the accessible deontic alternatives. Here, we set forth a different approach, this being a logic which additionally takes into consideration whether sentences stand in relation to the normative system or to the system of values (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. O pewnych niekonsekwencjach w tropieniu konsekwencji.Tomasz Jarmużek - 2002 - Przeglad Filozoficzny - Nowa Seria 41 (1):209-217.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  14.  1
    On Some Language Extension of Logic MR: A Semantic and Tableau Approach.Tomasz Jarmużek & Aleksander Parol - 2020 - Roczniki Filozoficzne 68 (4):345-366.
    O pewnym językowym rozszerzeniu logiki MR: podejście semantyczne i tabelau W artykule przedstawiamy rozszerzenie minimalnej, normalnej logiki pozycyjnej, czyli logiki z operatorem realizacji. Logika pozycyjna to logika filozoficzna, która umożliwia odniesienie zdań do kontekstów, które można rozumieć na wiele sposobów. Wzbogacamy podstawowy język minimalnej logiki pozycyjnej o dodatkowe wyrażenia zbudowane z predykatów i stałych pozycyjnych. Akceptujemy również wyrażenia zbudowane z operatorem realizacji oraz wiele pozycji, takich jak: Dzięki temu zwiększyliśmy wyrazistość minimalnej logiki pozycyjnej. W artykule wskazujemy na wiele przykładów na (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Rozumowania niemonotoniczne jako przedmiot badań logicznych.Tomasz Jarmużek - 2012 - Ruch Filozoficzny 69 (1).
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. Różne oblicza czasu i ich wspólny fundament.Tomasz Jarmużek - 2005 - Przeglad Filozoficzny - Nowa Seria 55 (3):47-55.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  3
    Siła wyrazu pozycyjnego operatora R: studium przypadku z logiki modalnej i modalnej filozofii.Tomasz Jarmużek & Marcin Tkaczyk - 2019 - Ruch Filozoficzny 75 (2):93.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  55
    The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  7
    The Tense Logic for Master Argument in Prior’s Reconstruction.Tomasz Jarmużek & Andrzej Pietruszczak - 2009 - 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 \wedge Gp \supset PGp'$. This formula was used by Prior in his original analysis of Master Argument. is usually added as an extra axiom to an axiomatization of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  3
    Deontic Relationship in the Context of Jan Woleński’s Metaethical Naturalism.Rafał Palczewski, Mateusz Klonowski & Tomasz Jarmużek - 2020 - Studia Humana 9 (3-4):120-130.
    In this paper, we indicate how Jan Woleński’s non-linguistic concept of the norm allows us to clarify the deontic relationship between sentences and the given normative system. A relationship of this kind constitutes a component of the metalogic of relating deontic logic, which subjects the logical value of the deontic sentence to the logical value of the constituent sentence and its relationship with a given normative system in the accessible possible worlds.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  9
    Pure Modal Logic of Names and Tableau Systems.Andrzej Pietruszczak & Tomasz Jarmużek - 2018 - Studia Logica 106 (6):1261-1289.
    By a pure modal logic of names we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions of Aristotelian modal syllogistic :271–284, 1989; Thomason in J Philos Logic 22:111–128, 1993 and J Philos Logic 26:129–141, 1997. In both (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark