Journal of Philosophical Logic

, Volume 32, Issue 6, pp 613–665

False Though Partly True – An Experiment in Logic

  • Lloyd Humberstone


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.

absorption laws congruentiality consequence relations distributive bisemilattices many-valued logic matrix methodology partly true 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2003

Authors and Affiliations

  • Lloyd Humberstone

There are no affiliations available

Personalised recommendations