World Library  
Flag as Inappropriate
Email this Article

False (logic)

Article Id: WHEBN0000229823
Reproduction Date:

Title: False (logic)  
Author: World Heritage Encyclopedia
Language: English
Subject: Contradiction, Logical connective, Logical connectives, Up tack, Sheffer stroke
Collection: Logical Connectives
Publisher: World Heritage Encyclopedia
Publication
Date:
 

False (logic)

In logic, false is a truth value or a nullary logical connective. In a truth-functional system of propositional logic it is one of two postulated truth values, along with its negation, truth.[1] Usual notations of the false are 0 (especially in Boolean logic and computer science) and the up tack symbol .[2]

Another approach is used for several formal theories (for example, intuitionistic propositional calculus) where the false is a propositional constant (i.e. a nullary connective) , the truth value of this constant being always false in the sense above.[3][4][5]

Contents

  • In classical logic and Boolean logic 1
  • False, negation and contradiction 2
  • Consistency 3
  • References 4

In classical logic and Boolean logic

Boolean logic defines the false in both senses mentioned above: "0" is a propositional constant, whose value by definition is 0. In a classical propositional calculus, depending on the chosen set of fundamental connectives, the false may or may not have a dedicated symbol. Such formulas as p ∧ ¬p and ¬(pp) may be used instead.

In both systems the negation of the truth gives false. The negation of false is equivalent to the truth not only in classical logic and Boolean logic, but also in most other logical systems, as explained below.

False, negation and contradiction

In most logical systems, negation, material conditional and false are related as:

¬p ⇔ (p → ⊥)

This is the definition of negation in some systems,[6] such as intuitionistic logic, and can be proven in propositional calculi where negation is a fundamental connective. Because pp is usually a theorem or axiom, a consequence is that the negation of false (¬ ⊥) is true.

The contradiction is a statement which entails the false, i.e. φ ⊢ ⊥. Using the equivalence above, the fact that φ is a contradiction may be derived, for example, from ⊢ ¬φ. Contradiction and the false are sometimes not distinguished, especially due to Latin term falsum denoting both. Contradiction means a statement is proven to be false, but the false itself is a proposition which is defined to be opposite to the truth.

Logical systems may or may not contain the principle of explosion (in Latin, ex falso quodlibet), ⊥ ⊢ φ.

Consistency

A formal theory using "⊥" connective is defined to be consistent if and only if the false is not its theorem. In the absence of propositional constants, some substitutes such as mentioned above may be used instead to define consistency.

References

  1. ^ Jennifer Fisher, On the Philosophy of Logic, Thomson Wadsworth, 2007, ISBN 0-495-00888-5, p. 17.
  2. ^ Willard Van Orman Quine, Methods of Logic, 4th ed, Harvard University Press, 1982, ISBN 0-674-57176-2, p. 34.
  3. ^ George Edward Hughes and D.E. Londey, The Elements of Formal Logic, Methuen, 1965, p. 151.
  4. ^ Leon Horsten and Richard Pettigrew, Continuum Companion to Philosophical Logic, Continuum International Publishing Group, 2011, ISBN 1-4411-5423-X, p. 199.
  5. ^ Graham Priest, An Introduction to Non-Classical Logic: From If to Is, 2nd ed, Cambridge University Press, 2008, ISBN 0-521-85433-4, p. 105.
  6. ^ Dov M. Gabbay and Franz Guenthner (eds), Handbook of Philosophical Logic, Volume 6, 2nd ed, Springer, 2002, ISBN 1-4020-0583-0, p. 12.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 



Copyright © World Library Foundation. All rights reserved. eBooks from World eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.