16 found
Order:
See also
Mateusz Klonowski
Nicolaus Copernicus University
  1.  21
    On Logic of Strictly-Deontic Modalities. A Semantic and Tableau Approach.Tomasz Jarmużek & Mateusz Klonowski - 2020 - Logic and Logical Philosophy 29 (3):335–380.
    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   10 citations  
  2.  9
    Incorporating the Relation Into the Language?Luis Estrada-González, Alessandro Giordani, Tomasz Jarmużek, Mateusz Klonowski, Igor Sedlár & Andrew Tedder - 2021 - Logic and Logical Philosophy 30 (4):711–739.
    In this paper we discuss whether the relation between formulas in the relating model can be directly introduced into the language of relating logic, and present some stances on that problem. Other questions in the vicinity, such as what kind of functor would be the incorporated relation, or whether the direct incorporation of the relation into the language of relating logic is really needed, will also be addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  3
    A Post-Style Proof of Completeness Theorem for Symmetric Relatedness Logic S.Mateusz Klonowski - 2018 - Bulletin of the Section of Logic 47 (3):201.
    One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a Post-style completeness theorem for logic S is one of them. Our paper introduces a solution of this metalogical issue.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  4.  7
    Tableaux for Logics of Content Relationship and Set-Assignment Semantics.Tomasz Jarmużek & Mateusz Klonowski - 2022 - Logica Universalis 16 (1-3):195-219.
    In the paper, we examine tableau systems for R. Epstein’s logics of content relationship: D (Dependence Logic), DD (Dual Dependence Logic), Eq (Logic of Equality of Content), S (Symmetric Relatedness Logic) and R (Nonsymmetric Relatedness Logic) (cf. Epstein in Philos Stud 36:137–173, 1979, Epstein in Rep. Math. Logic 21:19–34, 1987, Klonowski in Logic Log Philos 30(4):579–629, 2021, Krajewski in J Non Class Logic 8:7–33, 1991). The first tableau systems for those logics were defined by Carnielli. However, his approach has some (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  4
    Free Choice Permission, Legitimization and Relating Semantics.Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski & Piotr Kulicki - forthcoming - Logic Journal of the IGPL.
    In this paper, we apply relating semantics to the widely discussed problem of free choice between permitted actions or situations in normative systems. Leaving aside contexts in which the free choice principle is obviously unacceptable or uncontroversially valid, we concentrate on free choice for explicit permissions. In order to construct a formal representation of explicit permissions, we introduce a special constant, $\texttt {permit}$, which is analogous to the constant $\texttt {violation}$ used in the Andersonian–Kangerian approach to deontic logic with respect (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  20
    Simplified Kripke-Style Semantics for Some Normal Modal Logics.Andrzej Pietruszczak, Mateusz Klonowski & Yaroslav Petrukhin - 2020 - Studia Logica 108 (3):451-476.
    Pietruszczak (Bull Sect Log 38(3/4):163–171, 2009) proved that the normal logics K45 , KB4 (=KB5), KD45 are determined by suitable classes of simplified Kripke frames of the form ⟨W,A⟩ , where A⊆W. In this paper, we extend this result. Firstly, we show that a modal logic is determined by a class composed of simplified frames if and only if it is a normal extension of K45. Furthermore, a modal logic is a normal extension of K45 (resp. KD45; KB4; S5) if (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  6
    Axiomatization of Some Basic and Modal Boolean Connexive Logics.Mateusz Klonowski - 2021 - Logica Universalis 15 (4):517-536.
    Boolean connexive logic is an extension of Boolean logic that is closed under Modus Ponens and contains Aristotle’s and Boethius’ theses. According to these theses a sentence cannot imply its negation and the negation of a sentence cannot imply the sentence; and if the antecedent implies the consequent, then the antecedent cannot imply the negation of the consequent and if the antecedent implies the negation of the consequent, then the antecedent cannot imply the consequent. Such a logic was first introduced (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  16
    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  
  9.  8
    Problem wszechwiedzy logicznej. Krytyka światów nienormalnych i propozycja nowego rozwiązania.Mateusz Klonowski & Krzysztof Krawczyk - 2018 - Filozofia Nauki 27 (1):27-48.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  3
    Tableaux for Some Deontic Logics with the Explicit Permission Operator.Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski & Piotr Kulicki - 2022 - Bulletin of the Section of Logic 51 (2):281-295.
    In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  25
    Sequent Calculi for Beginners and Professionals.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Axiomatization of BLRI Determined by Limited Positive Relational Properties.Tomasz Jarmużek & Mateusz Klonowski - forthcoming - Logic and Logical Philosophy:1-29.
    In the paper a generalised method for obtaining an adequate axiomatic system for any relating logic expressed in the language with Boolean connectives and relating implication, determined by the limited positive relational properties is studied. The method of defining axiomatic systems for logics of a given type is called an algorithm since the analysis allows for any logic determined by the limited positive relational properties to define the adequate axiomatic system automatically, step-by-step. We prove in the paper that the algorithm (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  7
    Tableau Systems for Epistemic Positional Logics.Mateusz Klonowski, Krzysztof Aleksander Krawczyk & Bożena Pięta - 2021 - Bulletin of the Section of Logic 50 (2):177-204.
    The goal of the article is twofold. The first one is to provide logics based on positional semantics which will be suitable for the analysis of epistemic modalities such as ‘agent... knows/beliefs that...’. The second one is to define tableau systemsfor such logics. Firstly, we present the minimal positional logic MR. Then, we change the notion of formulas and semantics in order to consider iterations of the operator of realization and “free” classical formulas. After that, we move on to weaker (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  13
    A Formal Theory of Action.Mateusz Klonowski - forthcoming - Logic and Logical Philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  4
    History of Relating Logic. The Origin and Research Directions.Mateusz Klonowski - 2021 - Logic and Logical Philosophy 30 (4):579–629.
    In this paper, we present the history of and the research directions in relating logic. For this purpose we will describe Epstein's Programme, which postulates accounting for the content of sentences in logical research. We will focus on analysing the content relationship and Epstein's logics that are based on it, which are special cases of relating logic. Moreover, the set-assignment semantics will be discussed. Next, the Torunian Programme of Relating Semantics will be presented; this programme explores the various non-logical relationships (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation