Year:

Forthcoming articles
  1. Laureano Luna (forthcoming). No Successful Infinite Regress. Logic and Logical Philosophy.
    We model infinite regress structures -not arguments- by means of ungrounded recursively defined functions in order to show that no such structure can perform the task of providing determination to the items composing it, that is, that no determination process containing an infinite regress structure is successful.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Pavel Materna (forthcoming). Concepts as Hyperintensional Objects. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Gemma Robles (forthcoming). A Simple Henkin-Style Completeness Proof for Gödel 3-Valued Logic G3. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Piotr Łukowski (forthcoming). Logical Problems with Nonmonotonicity. Logic and Logical Philosophy.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Gerard Allwein, William L. Harrison & David Andrews (forthcoming). Simulation Logic. Logic and Logical Philosophy.
    Simulation relations have been discovered in many areas: Computer Science, philosophical and modal logic, and set theory. However, the simulation condition is strictly a first-order logic statement. We extend modal logic with modalities and axioms, the latter’s modeling conditions are the simulation conditions. The modalities are normal, i.e., commute with either conjunctions or disjunctions and preserve either Truth or Falsity (respectively). The simulations are considered arrows in a category where the objects are descriptive, general frames. One can augment the simulation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Diderik Batens (forthcoming). Propositional Logic Extended with a Pedagogically Useful Relevant Implication. Logic and Logical Philosophy.
    First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Proietti Carlo & Ciuni Roberto (forthcoming). The Abundance of the Future. A Paraconsistent Approach to Future Contingents. Logic and Logical Philosophy.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Paolo Maffezioli & Alberto Naibo (forthcoming). Proof Theory of Epistemic Logic of Programs. Logic and Logical Philosophy.
    A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Yehuda Schwartz & George Tourlakis (forthcoming). On the Proof-Theory of a First-Order Extension of GL. Logic and Logical Philosophy.
    We introduce a first order extension of GL, called ML 3 , and develop its proof theory via a proxy cut-free sequent calculus GLTS. We prove the highly nontrivial result that cut is a derived rule in GLTS, a result that is unavailable in other known first-order extensions of GL. This leads to proofs of weak reflection and the related conservation result for ML 3 , as well as proofs for Craig’s interpolation theorem for GLTS. Turning to semantics we prove (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  10. Yaroslav Shramko (forthcoming). The Logical Way of Being True: Truth Values and the Ontological Foundation of Logic. Logic and Logical Philosophy.
    In this paper I reject the normative interpretation of logic and give reasons for a realistic account based on the ontological treatment of logical values.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation