9 found
Order:
See also:
Profile: Frederik van De Putte (University of Ghent)
  1.  30
    Tjerk Gauderis & Frederik Van De Putte (2012). Abduction of Generalizations. Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 27 (3):345-363.
    Abduction of generalizations is the process in which explanatory hypotheses are formed for generalizations 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 everyday reasoning. Second, the adaptive logic LA∀ is presented to explicate this process formally.La (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  3
    Frederik Van De Putte & Christian Strasser (forthcoming). Three Formats of Prioritized Adaptive Logics: A Comparative Study. Logic Journal of the Igpl.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte (forthcoming). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica:1-48.
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  4.  7
    Frederik Van De Putte & Christian Straßer (2012). Extending the Standard Format of Adaptive Logics to the Prioritized Case. Logique Et Analyse 120.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  4
    Frederik Van De Putte (2011). Hierarchic Adaptive Logics. 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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  21
    Frederik Van De Putte & Peter Verdée (2012). The Dynamics of Relevance: Adaptive Belief Revision. 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 (7 more)  
     
    Export citation  
     
    My bibliography  
  7.  8
    Frederik Van De Putte & Christian Straßer (2014). Preferential Semantics Using Non-Smooth Preference Relations. Journal of Philosophical Logic 43 (5):903-942.
  8.  17
    Rafal Urbaniak & Frederik Van De Putte (2013). Induction From a Single Instance: Incomplete Frames. [REVIEW] 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  9. Tjerk Gauderis & Frederik Van De Putte (2012). Abduction of Generalizations. Theoria. An International Journal for Theory, History and Foundations of Science 27 (3):345-363.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography