Year:

  1.  29
    Some Remarks on Assertion and Proof.Massimliano Carrara - 2021 - Journal of Applied Logics 8 (21):321-328.
    In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  29
    DLEAC and the Rejection Paradox.Massimiliano Carrara & Andrea Strollo - 2021 - Journal of Applied Logics 8 (2):377-396.
    In this paper we first develop a Dialetheic Logic with Exclusive Assumptions and Conclusions, DLEAC. We adopt the semantics of the logic of paradox (LP) extended with a notion of model suitable for DLEAC, and we modify its proof theory by refining the notions of assumption and conclusion, which are understood as speech acts. We introduce a new paradox – the rejectability paradox – first informally, then formally. We then provide its derivation in an extension of DLEAC contanining the rejectability (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  15
    Extended Syllogistics in Calculus CL.Jens Lemanski - 2021 - Journal of Applied Logics 8 (2):557-577.
    Extensions of traditional syllogistics have been increasingly researched in philosophy, linguistics, and areas such as artificial intelligence and computer science in recent decades. This is mainly due to the fact that syllogistics is seen as a logic that comes very close to natural language abilities. Various forms of extended syllogistics have become established. This paper deals with the question to what extent a syllogistic representation in CL diagrams can be seen as a form of extended syllogistics. It will be shown (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  64
    Dialogue Types, Argumentation Schemes, and Mathematical Practice: Douglas Walton and Mathematics.Andrew Aberdein - 2021 - Journal of Applied Logics 8 (1):159-182.
    Douglas Walton’s multitudinous contributions to the study of argumentation seldom, if ever, directly engage with argumentation in mathematics. Nonetheless, several of the innovations with which he is most closely associated lend themselves to improving our understanding of mathematical arguments. I concentrate on two such innovations: dialogue types (§1) and argumentation schemes (§2). I argue that both devices are much more applicable to mathematical reasoning than may be commonly supposed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Argument is Moral. Using Walton's Dialectical Tools to Evaluate Argumentation From a Moral Perspective.Katharina Stevens - 2021 - Journal of Applied Logics 8 (1):137-158.
    Douglas Walton’s dialectical theory of argumentation, developed in a swath of papers and several monographs, most central of which are The New Dialectic and, co-authored with Eric Krabbe, Commitment in Dialogue, is one of the most thoroughly developed, detailed and fruitful theories of argumentation available. But Walton’s dialectical theory of argumentation is valuable not only as a comprehensive framework. It also contains important insights fit to illuminate and answer questions that arise outside of his framework and that he may or (...)
     
    Export citation  
     
    Bookmark  
  6.  19
    Note on 'Normalisation for Bilateral Classical Logic with Some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.
    This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  70
    Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.
    Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues