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

False Though Partly True: An Experiment in Logic

Lloyd Humberstone
Journal of Philosophical Logic
Vol. 32, No. 6 (Dec., 2003), pp. 613-665
Published by: Springer
Stable URL: http://www.jstor.org/stable/30226801
Page Count: 53
  • Download ($43.95)
  • Cite this Item
If you need an accessible version of this item please contact JSTOR User Support
False Though Partly True: An Experiment in Logic
Preview not available

Abstract

We explore in an experimental spirit the prospects for extending classical propositional logic with a new operator P intended to be interpreted when prefixed to a formula as saying that formula in question is at least partly true. The paradigm case of something which is, in the sense envisaged, false though still "partly" true is a conjunction one of whose conjuncts is false while the other is true. Ideally, we should like such a logic to extend classical logic - or any fragment thereof under consideration - conservatively, to be closed under uniform substitution (of arbitrary formulas for sentence letters or propositional variables), and to allow the substitutivity of provably equivalent formulas salva provabilitate. To varying degrees, we experience some difficulties only with this last ('congruentiality') desideratum in the two four-valued logics we end up giving our most extended consideration to.

Page Thumbnails

  • Thumbnail: Page 
[613]
    [613]
  • Thumbnail: Page 
614
    614
  • Thumbnail: Page 
615
    615
  • Thumbnail: Page 
616
    616
  • Thumbnail: Page 
617
    617
  • Thumbnail: Page 
618
    618
  • Thumbnail: Page 
619
    619
  • Thumbnail: Page 
620
    620
  • Thumbnail: Page 
621
    621
  • Thumbnail: Page 
622
    622
  • Thumbnail: Page 
623
    623
  • Thumbnail: Page 
624
    624
  • Thumbnail: Page 
625
    625
  • Thumbnail: Page 
626
    626
  • Thumbnail: Page 
627
    627
  • Thumbnail: Page 
628
    628
  • Thumbnail: Page 
629
    629
  • Thumbnail: Page 
630
    630
  • Thumbnail: Page 
631
    631
  • Thumbnail: Page 
632
    632
  • Thumbnail: Page 
633
    633
  • Thumbnail: Page 
634
    634
  • Thumbnail: Page 
635
    635
  • Thumbnail: Page 
636
    636
  • Thumbnail: Page 
637
    637
  • Thumbnail: Page 
638
    638
  • Thumbnail: Page 
639
    639
  • Thumbnail: Page 
640
    640
  • Thumbnail: Page 
641
    641
  • Thumbnail: Page 
642
    642
  • Thumbnail: Page 
643
    643
  • Thumbnail: Page 
644
    644
  • Thumbnail: Page 
645
    645
  • Thumbnail: Page 
646
    646
  • Thumbnail: Page 
647
    647
  • Thumbnail: Page 
648
    648
  • Thumbnail: Page 
649
    649
  • Thumbnail: Page 
650
    650
  • Thumbnail: Page 
651
    651
  • Thumbnail: Page 
652
    652
  • Thumbnail: Page 
653
    653
  • Thumbnail: Page 
654
    654
  • Thumbnail: Page 
655
    655
  • Thumbnail: Page 
656
    656
  • Thumbnail: Page 
657
    657
  • Thumbnail: Page 
658
    658
  • Thumbnail: Page 
659
    659
  • Thumbnail: Page 
660
    660
  • Thumbnail: Page 
661
    661
  • Thumbnail: Page 
662
    662
  • Thumbnail: Page 
663
    663
  • Thumbnail: Page 
664
    664
  • Thumbnail: Page 
665
    665