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
Geach, Peter T.
Books on Amazon
Biconditional 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

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