A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

  Subjects -> PHILOSOPHY (Total: 762 journals)
The end of the list has been reached or no journals were found for your choice.
Similar Journals
Journal Cover
Logique et Analyse
Journal Prestige (SJR): 0.252
Number of Followers: 0  
 
  Full-text available via subscription Subscription journal
ISSN (Print) 0024-5836 - ISSN (Online) 2295-5836
Published by Peeters Publishers Homepage  [62 journals]
  • Reductio ad Absurdum in a Full-Fledged Dialogical Framework

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      Abstract: In this paper I present some definitions that capture <i>Reductio ad Absurdum</i> within Dialogics. One major result is proven: that <i>Reductio</i> strategies are available only for the Proponent, and therefore they only characterize validities. This insight is used to define three paraconsistent logics without changing or extending the former language.
      PubDate: Fri, 18 Nov 2022 08:13:32 +000
       
  • A Glimpse into Higher-Order Connexive Logics

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      Abstract: The paper points out that a generalization of propositional connexive logics to higher-order connexive logics (of any finite order) is possible. In particular, the paper presents the higher-order characteristic connexive axioms, as well as a natural-deduction system in which those higher-order axioms are derivable. The paper also points out an incompatibility of higher-order connexive logics with the recently proposed restriction of humble connexivity, where the antecedent of a valid connexive implication, in particular in the axioms, is required to be noncontradictory.
      PubDate: Fri, 18 Nov 2022 08:12:23 +000
       
  • Explanation, Understanding, and Definitions in Mathematics

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      Abstract: Following trends in the study of explanation in mathematics, we look at explanatory definitions. In particular, we build on the work of Lehet, who describes explanatory definitions as those definitions that generate understanding. From this starting point, we investigate what types of understanding are associated with definitions, in order to develop a conception of explanatory definitions. Using the work of Baumberger, we show that definitions can be explanatory in two ways: symbolically or factually. Furthermore, we zoom in on the impact of contextual factors on the explanatory value of definitions.
      PubDate: Fri, 18 Nov 2022 08:11:21 +000
       
  • Permanence vs. Termination

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      Abstract: The present article is devoted to a logical inquiry on the notions of permanence and termination, which play a central role in many areas of temporal reasoning. In the first part, we introduce a bimodal framework to represent these notions and provide a syntactic and semantic comparison with a monomodal framework representing the notion of future necessity. In the second part, we focus on the problem of defining synonymous logical systems over the two frameworks. The third part of the article indicates possible developments of the proposed line of inquiry, such as finding a simple representation in the bimodal language of some interesting properties of time and identifying further pairs of synonymous systems.
      PubDate: Fri, 18 Nov 2022 08:10:09 +000
       
  • Axiomatization via Translation

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      PubDate: Fri, 18 Nov 2022 08:08:31 +000
       
  • What is Normal'

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      Abstract: On the basis of the definition of a normal modal system, it is common to distinguish between normal and non-normal modal operators. However, we argue that the standard definition of a normal operator in the literature leads to at least two problems. First, it induces a mismatch between the normality of a system and the attribution of normality to an operator of this system. Second, the standard definition is insensitive to different occurrences of the possibility operator in various normal and non-normal systems. We introduce a definition of normal operator which is not affected by either of these problems, and discuss its applications both to the monomodal and to the multimodal settings.
      PubDate: Fri, 18 Nov 2022 08:02:02 +000
       

    • Free pre-print version: Loading...

      Authors: poj@peeters-leuven.be
      PubDate: Fri, 18 Nov 2022 08:00:46 +000
       
 
JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
 


Your IP address: 35.173.35.14
 
Home (Search)
API
About JournalTOCs
News (blog, publications)
JournalTOCs on Twitter   JournalTOCs on Facebook

JournalTOCs © 2009-