Philosophy Lexicon of Arguments

Search  
 
Biconditional: notation ↔; a statement that is true if the two sides have the same truth value ("true" or "false"). The biconditional (also bisubjunction) is part of the object language. Contrary to that is equivalence (⇔) which belongs to meta language. A biconditional that is always true is an equivalence.
 
Author Item Excerpt Meta data
Logic Texts
 
Books on Amazon
Biconditional Hoyningen-Huene II 132
Biconditional/HH: ↔ is a sign of metalogic - logical equivalence is a connective for statements of the object language.
Logic Texts
Me I Albert Menne Folgerichtig Denken Darmstadt 1988
HH II Hoyningen-Huene Formale Logik, Stuttgart 1998
Re III Stephen Read Philosophie der Logik Hamburg 1997
Sal IV Wesley C. Salmon Logik Stuttgart 1983
Sai V R.M.Sainsbury Paradoxien Stuttgart 2001




back to list view | > Suggest your own contribution | > Suggest a correction
 
Ed. Martin Schulz, access date 2017-03-24