7 found
Sort by:
See also:
Profile: Frederik van De Putte (University of Ghent)
  1. Frederik Van De Putte & Christian Straßer (forthcoming). Preferential Semantics Using Non-Smooth Preference Relations. Journal of Philosophical Logic:1-40.
    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 (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Frederik Van De Putte & Christian Strasser (forthcoming). Three Formats of Prioritized Adaptive Logics: A Comparative Study. Logic Journal of the Igpl.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. 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)  
     
    My bibliography  
     
    Export citation  
  4. 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 (...)
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. 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  
     
    My bibliography  
     
    Export citation  
  6. 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)  
     
    My bibliography  
     
    Export citation  
  7. 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 (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation