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

 
Books on Amazon
Horwich I 124
iff / if and only if / Tarski: no relation between sentences - no names of sentences - Equivalence relation between sentences combination of names of sentences

Tarsk I
A. Tarski
Logic, Semantics, Metamathematics: Papers from 1923-38 Indianapolis 1983

Hor I
P. Horwich (Ed.)
Theories of Truth Aldershot 1994


> Counter arguments against Tarski



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-05-27