17 found
Order:
See also
Frederik Van De Putte
University of Ghent
  1.  32
    Expressivity Results for Deontic Logics of Collective Agency.Allard Tamminga, Hein Duijf & Frederik Van De Putte - 2020 - 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   1 citation  
  2.  13
    “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   3 citations  
  3.  28
    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.
  4. Abduction of Generalizations.Tjerk Gauderis & Frederik Van De Putte - 2012 - Theoria : An International Journal for Theory, History and Fundations of Science 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 (11 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  15
    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   2 citations  
  6.  11
    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. 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  
  8.  51
    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  
  9. Outstanding Contributions to Logic: Kit Fine.Federico L. G. Faroldi & Frederik Van De Putte (eds.) - forthcoming - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  6
    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  
  11. 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  
  12.  49
    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  
  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  
  14.  3
    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  
  15.  7
    Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability.Frederik Van De Putte & Dominik Klein - 2021 - 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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  16.  2
    Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Dynamics.Frederik Van De Putte & Dominik Klein - forthcoming - Journal of Philosophical Logic:1-39.
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  30
    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