|Equivalence: Relation between sentences. It exists if both sides have the same truth value, so that they are both true or both false._____________Annotation: The above characterizations of concepts are neither definitions nor exhausting presentations of problems related to them. Instead, they are intended to give a short introduction to the contributions below. – Lexicon of Arguments. |
|SL I 6
Equivalences/modal logic/Stuhlmann-Laeisz: relationship between operators - E.g. necessary: not possible that ~ a - offered: if not allowed that a ~ - believed: if not thought possible that ~ a. - Will always be the case: if not once the case that ~ a._____________Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.
Freges Logische Untersuchungen Darmstadt 1995
R. Stuhlmann Laeisz
Philosophische Logik Paderborn 2002