22 found
Order:
  1.  59
    Expressivity results for deontic logics of collective agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2021 - Synthese 198 (9):8733-8753.
    We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of *stit* logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their expressive power. This classification enables us to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  25
    “That Will Do”: Logics of Deontic Necessity and Sufficiency.Frederik Van De Putte - 2017 - Erkenntnis 82 (3):473-511.
    We study a logic for deontic necessity and sufficiency, as originally proposed in van Benthem :36–41, 1979). Building on earlier work in modal logic, we provide a sound and complete axiomatization for it, consider some standard extensions, and study other important properties. After that, we compare this logic to the logic of “obligation as weakest permission” from Anglberger et al. :807–827, 2015).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  38
    Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - 2022 - Journal of Philosophical Logic 51 (3):485-523.
    We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics, establish key properties concerning their expressive power, discuss dynamic extensions of these logics and provide reduction axioms for the latter.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  45
    Adaptive Logic Characterizations of Input/Output Logic.Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte - 2016 - Studia Logica 104 (5):869-916.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  33
    Extending the standard format of adaptive logics to the prioritized case.Frederik Van De Putte & Christian Straßer - 2012 - Logique Et Analyse 120 (220):601--641.
  6.  25
    Hierarchic adaptive logics.Frederik Van De Putte - 2012 - Logic Journal of the IGPL 20 (1):45-72.
    This article discusses the proof theory, semantics and meta-theory of a class of adaptive logics, called hierarchic adaptive logics. Their specific characteristics are illustrated throughout the article with the use of one exemplary logic HKx, an explicans for reasoning with prioritized belief bases. A generic proof theory for these systems is defined, together with a less complex proof theory for a subclass of them. Soundness and a restricted form of completeness are established with respect to a non-redundant semantics. It is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  31
    Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability.Frederik Van De Putte & Dominik Klein - 2020 - Studia Logica 109 (1):47-93.
    We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De Putte and Klein. The definition of our canonical models combines standard techniques with a so-called “puzzle piece construction”, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique’s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  46
    Preferential Semantics using Non-smooth Preference Relations.Frederik Van De Putte & Christian Straßer - 2014 - Journal of Philosophical Logic 43 (5):903-942.
    This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  84
    Abduction of Generalizations.Tjerk Gauderis & Frederik Van De Putte - 2012 - Theoria 27 (3):345-363.
    _Abduction of generalizations_ is the process in which explanatory hypotheses are formed for an observed, yet puzzling generalization such as ``pineapples taste sweet" or ``rainbows appear when the sun breaks through the rain". This phenomenon has received little attention in formal logic and philosophy of science. The current paper remedies this lacuna by first giving an overview of some general characteristics of this process, elaborating on its ubiquity in scientific and daily life reasoning. Second, the adaptive logic $\LAG$ is presented (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  78
    A logic for the discovery of deterministic causal regularities.Mathieu Beirlaen, Bert Leuridan & Frederik Van De Putte - 2018 - Synthese 195 (1):367-399.
    We present a logic, \, for the discovery of deterministic causal regularities starting from empirical data. Our approach is inspired by Mackie’s theory of causes as INUS-conditions, and implements a more recent adjustment to Mackie’s theory according to which the left-hand side of causal regularities is required to be a minimal disjunction of minimal conjunctions. To derive such regularities from a given set of data, we make use of the adaptive logics framework. Our knowledge of deterministic causal regularities is, as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Pointwise Intersection in Neighbourhood Modal Logic.Frederik van De Putte & Dominik Klein - 2018 - In Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer (eds.), Advances in Modal Logic, Vol. 12. College Publications. pp. 591-610.
    We study the logic of neighbourhood models with pointwise intersection, as a means to characterize multi-modal logics. Pointwise intersection takes us from a set of neighbourhood sets Ni (one for each member i of a set G used to interpret the modality □) to a new neighbourhood set NG, which in turn allows us to interpret the operator □G Here, X is in the neighbourhood for G if and only if X equals the intersection of some Y {Yi | Yi (...)
     
    Export citation  
     
    Bookmark   1 citation  
  12.  11
    Introduction: Kit Fine on Truthmakers, Relevance, and Non-classical Logic.Federico L. G. Faroldi & Frederik Van De Putte - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 1-12.
    Kit Fine’s contribution to logic is vast and diverse; the chapters in this book deal with a significant part of it. In this introductory chapter, we clarify and contextualize the main themes of Fine’s work that are centre stage in this book, after which we give a summary of each chapter.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Adaptive logics: a parametric approach.Frederik Van De Putte & Christian Straßer - 2014 - Logic Journal of the IGPL 22 (6):905--932.
     
    Export citation  
     
    Bookmark   1 citation  
  14. The dynamics of relevance: adaptive belief revision.Peter Verdée & Frederik Van De Putte - 2012 - Synthese 187 (S1):1-42.
    This paper presents eight (previously unpublished) adaptive logics for belief revision, each of which define a belief revision operation in the sense of the AGM framework. All these revision operations are shown to satisfy the six basic AGM postulates for belief revision, and Parikh's axiom of Relevance. Using one of these logics as an example, we show how their proof theory gives a more dynamic flavor to belief revision than existing approaches. It is argued that this turns belief revision (that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  68
    Kit Fine on Truthmakers, Relevance, and Non-classical Logic.Federico L. G. Faroldi & Frederik Van De Putte (eds.) - 2023 - Springer Verlag.
    This book explores some of Kit Fine's outstanding contributions to logic, philosophy of language, philosophy of mathematics, and metaphysics, among others. Contributing authors address in-depth issues about truthmaker semantics, counterfactual conditionals, grounding, vagueness, non-classical consequence relations, and arbitrary objects, offering critical reflections and novel research contributions. Each chapter is accompanied by an extensive commentary, in which Kit Fine offers detailed responses to the ideas and themes raised by the contributors. The book includes a brief autobiography and exhaustive list of his (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Outstanding Contributions to Logic: Kit Fine.Federico L. G. Faroldi & Frederik Van De Putte (eds.) - forthcoming - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  27
    Original position arguments and social choice under ignorance.Thijs De Coninck & Frederik Van De Putte - 2022 - Theory and Decision 94 (2):275-298.
    John Rawls famously argued that the Difference Principle would be chosen by any rational agent in the original position. Derek Parfit and Philippe Van Parijs have claimed, contra Rawls, that it is not the Difference Principle which is implied by Rawls’ original position argument, but rather the more refined Lexical Difference Principle. In this paper, we study both principles in the context of social choice under ignorance. First, we present a general format for evaluating original position arguments in this context. (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. (1 other version)Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021.Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van De Putte (eds.) - 2021 - College Publications.
    This volume contains the proceedings of DEON2020/2021, the 15th International Conference on Deontic Logic and Normative Systems that was organized by the Munich Center for Mathematical Philosophy at LMU Munich (Germany) on 21st-24th July, 2021. The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory, and law.
     
    Export citation  
     
    Bookmark  
  19.  21
    Adaptive strategies and finite-conditional premise sets.Christian Straßer & Frederik Van De Putte - 2014 - Journal of Logic and Computation 26 (5):1517–1539.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. Proof theories for superpositions of adaptive logics.Christian Straßer & Frederik van de Putte - 2016 - Logique Et Analyse 58 (230):307--346.
     
    Export citation  
     
    Bookmark  
  21.  14
    Obligation as weakest permission: A strongly complete axiomatization.Frederik van de Putte - 2016 - Review of Symbolic Logic 9 (2):370-379.
    In, a deontic logic is proposed which explicates the idea that a formulaφis obligatory if and only if it is the weakest permission. We give a sound and strongly complete, Hilbert style axiomatization for this logic. As a corollary, it is compact, contradicting earlier claims from Anglbergeret al.. In addition, we prove that our axiomatization is equivalent to Anglberger et al.’s infinitary proof system, and show that our results are robust w.r.t. certain changes in the underlying semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  71
    Induction from a Single Instance: Incomplete Frames. [REVIEW]Rafal Urbaniak & Frederik Van De Putte - 2013 - Foundations of Science 18 (4):641-653.
    In this paper we argue that an existing theory of concepts called dynamic frame theory, although not developed with that purpose in mind, allows for the precise formulation of a number of problems associated with induction from a single instance. A key role is played by the distinction we introduce between complete and incomplete dynamic frames, for incomplete frames seem to be very elegant candidates for the format of the background knowledge used in induction from a single instance. Furthermore, we (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation