Switch to: Citations

References in:

Preface

Synthese 127 (1-2):1-6 (2001)

Add references

You must login to add references.
  1. The Relation between Formal and Informal Logic.Ralph H. Johnson - 1999 - Argumentation 13 (3):265-274.
    The issue of the relationship between formal and informal logic depends strongly on how one understands these two designations. While there is very little disagreement about the nature of formal logic, the same is not true regarding informal logic, which is understood in various (often incompatible) ways by various thinkers. After reviewing some of the more prominent conceptions of informal logic, I will present my own, defend it and then show how informal logic, so understood, is complementary to formal logic.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Sequent-systems and groupoid models. I.Kosta Došen - 1988 - Studia Logica 47 (4):353 - 385.
    The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in the structural (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Displaying Modal Logic.Heinrich Wansing - 1998 - Dordrecht, Netherland: Springer.
    The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Logik und Agon.Paul Lorenzen - 1960 - Atti Del XII Congresso Internazionale di Filosofia 4:187-194.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - New York: Cambridge University Press.
    This book, written by one of philosophy's pre-eminent logicians, argues that many of the basic assumptions common to logic, philosophy of mathematics and metaphysics are in need of change. It is therefore a book of critical importance to logical theory. Jaakko Hintikka proposes a new basic first-order logic and uses it to explore the foundations of mathematics. This new logic enables logicians to express on the first-order level such concepts as equicardinality, infinity, and truth in the same language. The famous (...)
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • Semantic Entailment and Formal Derivability. [REVIEW]E. W. Beth - 1959 - Sapientia 14 (54):311.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • (1 other version)Fallacies.C. L. Hamblin - 1970 - Revue Philosophique de la France Et de l'Etranger 160:492-492.
    Download  
     
    Export citation  
     
    Bookmark   551 citations  
  • A game semantics for linear logic.Andreas Blass - 1992 - Annals of Pure and Applied Logic 56 (1-3):183-220.
    We present a game semantics in the style of Lorenzen for Girard's linear logic . Lorenzen suggested that the meaning of a proposition should be specified by telling how to conduct a debate between a proponent P who asserts and an opponent O who denies . Thus propositions are interpreted as games, connectives as operations on games, and validity as existence of a winning strategy for P. We propose that the connectives of linear logic can be naturally interpreted as the (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • The dialogical approach to paraconsistency.Sahid Rahman & Walter A. Carnielli - 2000 - Synthese 125 (1-2):201-232.
    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • From Axiom to Dialogue.E. M. Barth & E. C. W. Krabbe - 1985 - Studia Logica 44 (2):228-230.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
    Download  
     
    Export citation  
     
    Bookmark   112 citations  
  • A Revolution In Logic?Jaakko Hintikka & Gabriel Sandu - 1996 - Nordic Journal of Philosophical Logic 1:169-183.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Proof Methods for Modal and Intuitionistic Logics.Melvin Fitting - 1985 - Journal of Symbolic Logic 50 (3):855-856.
    Download  
     
    Export citation  
     
    Bookmark   139 citations  
  • (1 other version)New directions in the logic of dialogue.Douglas N. Walton - 1985 - Synthese 63 (3):259 - 274.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • La nouvelle rhétorique.L. Olbrechts-Tyteca & Charles Perelman - 1956 - Les Etudes Philosophiques 11 (1):20 - 29.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Ideals of rationality in dialogic.John Woods - 1988 - Argumentation 2 (4):395-408.
    Needed for such dialogue games as dialectic are appropriate standards of fairness and rationality. The rules of procedure of dialectic must describe a game playable by actual human participants. The present paper centers on certain idealizations of the dialectician that are not allowable.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Dialogische Modallogik (für T, B, S4, und S5).Shahid Rahman & Helge Rückert - 1999 - Logique Et Analyse 167 (168):243-282.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Substructural Logics.Peter Schroeder-Heister - 1996 - Erkenntnis 45 (1):115-118.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Some semantical aspects of linear logic.A. Blass - 1997 - Logic Journal of the IGPL 5 (4):487-503.
    We describe and discuss several semantical views of linear logic. Our primary topic is game semantics, including modifications suggested by Abramsky, Jagadeesan, Hyland, Ong, and Japaridze. We also briefly discuss Girard's coherence spaces and de Paiva's Dialectica-like semantics.
    Download  
     
    Export citation  
     
    Bookmark   4 citations