Abstract

The calculus of partial propositional functions has been introduced in [2]. It is a variant of the classical propositional calculus, a variant which takes into account that pairs of propositions may be “incompatible” and cannot therefore be connected. As is well known, such pairs are considered in Quantum Theory; but they may also be said to occur in natural languages. Difficulties arising from propositions of the type “If two times two are five, then there exist centaurs” seem to be due as much to incompatibility as to material implication.

Full Text

Published Version

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.