Philosophy Lexicon of Arguments

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
I 189f
Equivalence/Biconditional/GeachVsBlack: "is materially equivalent" is not synonymous with "if and only if" - "Three line" is often read as "materially equivalent" - equivalence only between sentences, not names of sentences - Problem: Tom loves Mary ↔ Mary loves Tom "only significant if "↔" (thee line) is read as "iff" rather than "materially equivalent".

Gea I
P.T. Geach
Logic Matters Oxford 1972

> Counter arguments against Geach

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