Access

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support

Socratic Proofs and Paraconsistency: A Case Study

Andrzej Wiśniewski, Guido Vanackere and Dorota Leszczyńska
Studia Logica: An International Journal for Symbolic Logic
Vol. 80, No. 2/3, Negation in Constructive Logic (Jul. - Aug., 2005), pp. 431-466
Published by: Springer
Stable URL: http://www.jstor.org/stable/20016724
Page Count: 36
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
Socratic Proofs and Paraconsistency: A Case Study
Preview not available

Abstract

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic $\Phi _{\text{v}}$. Proofs are defined as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

Page Thumbnails

  • Thumbnail: Page 
[431]
    [431]
  • Thumbnail: Page 
432
    432
  • Thumbnail: Page 
433
    433
  • Thumbnail: Page 
434
    434
  • Thumbnail: Page 
435
    435
  • Thumbnail: Page 
436
    436
  • Thumbnail: Page 
437
    437
  • Thumbnail: Page 
438
    438
  • Thumbnail: Page 
439
    439
  • Thumbnail: Page 
440
    440
  • Thumbnail: Page 
441
    441
  • Thumbnail: Page 
442
    442
  • Thumbnail: Page 
443
    443
  • Thumbnail: Page 
444
    444
  • Thumbnail: Page 
445
    445
  • Thumbnail: Page 
446
    446
  • Thumbnail: Page 
447
    447
  • Thumbnail: Page 
448
    448
  • Thumbnail: Page 
449
    449
  • Thumbnail: Page 
450
    450
  • Thumbnail: Page 
451
    451
  • Thumbnail: Page 
452
    452
  • Thumbnail: Page 
453
    453
  • Thumbnail: Page 
454
    454
  • Thumbnail: Page 
455
    455
  • Thumbnail: Page 
456
    456
  • Thumbnail: Page 
457
    457
  • Thumbnail: Page 
458
    458
  • Thumbnail: Page 
459
    459
  • Thumbnail: Page 
460
    460
  • Thumbnail: Page 
461
    461
  • Thumbnail: Page 
462
    462
  • Thumbnail: Page 
463
    463
  • Thumbnail: Page 
464
    464
  • Thumbnail: Page 
465
    465
  • Thumbnail: Page 
466
    466