Switch to: References

Add citations

You must login to add citations.
  1. A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$.Krystyna Mruczek-Nasieniewska, Marek Nasieniewski & Andrzej Pietruszczak - 2019 - Logic Journal of the IGPL 27 (4):451-477.
    In Jaśkowski’s model of discussion, discussive connectives represent certain interactions that can hold between debaters. However, it is not possible within the model for participants to use explicit modal operators. In the paper we present a modal extension of the discussive logic $\textbf{D}_{\textbf{2}}$ that formally corresponds to an extended version of Jaśkowski’s model of discussion that permits such a use. This logic is denoted by $\textbf{m}\textbf{D}_{\textbf{2}}$. We present philosophical motivations for the formulation of this logic. We also give syntactic characterizations (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Axiomatizing a Minimal Discussive Logic.Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2023 - Studia Logica 111 (5):855-895.
    In the paper we analyse the problem of axiomatizing the minimal variant of discussive logic denoted as $$ {\textsf {D}}_{\textsf {0}}$$ D 0. Our aim is to give its axiomatization that would correspond to a known axiomatization of the original discussive logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2. The considered system is minimal in a class of discussive logics. It is defined similarly, as Jaśkowski’s logic $$ {\textsf {D}}_{\textsf {2}}$$ D 2 but with the help of the deontic normal logic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 257--276.
    I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On Modal Logics Defining Jaśkowski's D2-Consequence.Marek Nasieniewski & Andrzej Pietruszczak - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 141--161.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic, Reasoning, and Rationality.Erik Weber, Joke Meheus & Dietlinde Wouters (eds.) - 2014 - Dordrecht, Netherland: Springer.
    This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • New axiomatizations of the weakest regular modal logic defining Jaskowski's logic D 2'.Marek Nasieniewski & Andrzej Pietruszczak - 2009 - Bulletin of the Section of Logic 38 (1/2):45-50.
    Download  
     
    Export citation  
     
    Bookmark   2 citations