Year:

  1.  6
    Abduction: Some Conceptual Issues.Mariusz Urbański & Andrzej Klawiter - 2018 - Logic and Logical Philosophy 27 (4):583.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    An Introduction to the Special Issue on Logic, Cognition and Argumentation.Mariusz Urbański, Michiel Van Lambalgen & Marcin Koszowy - 2018 - Logic and Logical Philosophy 27 (4):417.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    The Cumulative Force of Analogies.David Botting - 2018 - Logic and Logical Philosophy 27 (1):105-141.
    In this paper I will argue that most objections to deductive analyses of a priori analogies are incorrect, often involve basic misinterpretations of what the deductive reconstruction of those arguments are saying, and sometimes also betray a confusion about what part of the reasoning corresponds to the analogical inference. In particular, I will be focusing on a raft of objections made by Juthe in [2015] and subject his alternative views to criticism. -/- I will then argue that Juthe does implicitly (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4.  10
    Epistemological Naturalness: What is a Good Heuristic Strategy Good For?Matej Drobňák - 2018 - Logic and Logical Philosophy 27 (1):85-104.
    According to the standard interpretation of Lewis’s theory of predicate meaning (the U&N theory), the naturalness of meaning candidates should be stated metaphysically - as a length of definition in terms of fundamental properties. Recently, Weatherson has criticized the U&N theory and argued that the criterion of naturalness should be stated epistemologically - as the amount of evidence needed to form a belief. Despite the criticism, his attitude towards the U&N theory is quite relaxed. According to Weatherson, the U&N theory (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  3
    A Simulation of Natural Deduction and Gentzen Sequent Calculus.Daniil Kozhemiachenko - 2018 - Logic and Logical Philosophy 27 (1):67-84.
    We consider four natural deduction systems: Fitch-style systems, Gentzen-style systems (in the form of dags), general deduction Frege systems and nested deduction Frege systems, as well as dag-like Gentzen-style sequent calculi. All these calculi soundly and completely formalize classical propositional logic. -/- We show that general deduction Frege systems and Gentzen-style natural calculi provide at most quadratic speedup over nested deduction Frege systems and Fitch-style natural calculi and at most cubic speedup over Gentzen-style sequent calculi.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  3
    Natural Deduction for Four-Valued Both Regular and Monotonic Logics.Yaroslav Petrukhin - 2018 - Logic and Logical Philosophy 27 (1):53-66.
    The development of recursion theory motivated Kleene to create regular three-valued logics. Remove it taking his inspiration from the computer science, Fitting later continued to investigate regular three-valued logics and defined them as monotonic ones. Afterwards, Komendantskaya proved that there are four regular three-valued logics and in the three-valued case the set of regular logics coincides with the set of monotonic logics. Next, Tomova showed that in the four-valued case regularity and monotonicity do not coincide. She counted that there are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    Temporal Alethic Dyadic Deontic Logic and the Contrary-to-Duty Obligation Paradox.Daniel Rönnedal - 2018 - Logic and Logical Philosophy 27 (1):3-25.
    A contrary-to-duty obligation (sometimes called a reparational duty) is a conditional obligation where the condition is forbidden, e.g. “if you have hurt your friend, you should apologise”, “if he is guilty, he should confess”, and “if she will not keep her promise to you, she ought to call you”. It has proven very difficult to find plausible formalisations of such obligations in most deontic systems. In this paper, we will introduce and explore a set of temporal alethic dyadic deontic systems, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues