Show Summary Details

Page of

PRINTED FROM OXFORD REFERENCE (www.oxfordreference.com). (c) Copyright Oxford University Press, 2013. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single entry from a reference work in OR for personal use.

date: 19 November 2017

constructible falsity

Source:
A Dictionary of Logic
Author(s):

Thomas Macaulay Ferguson,

Graham Priest

constructible falsity 

A property holding of a deductive system constructible falsity with a negation constructible falsity whenever the following conditions hold for any formulae constructible falsity and constructible falsity:

  1. 1 if constructible falsity, then either constructible falsity or constructible falsity

  2. 2 if constructible falsity and constructible falsity is the only free variable in constructible falsity, then there exists a method of constructing a term constructible falsity such that constructible falsity

The feature is dual to the intuitionistic disjunction property and existence property.

Was This Useful?