|Premises: premises are assumptions within logical conclusions. From them follows a conclusion. Premises are written in a separate line. This makes them different from implications written in one line that contain an antecedent with one or more conditions and a post-sentence. See also syllogisms._____________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. |
In pairs/final chains/Poundstone: premises must be checked in pairs (all combinations), because contradictions can be in the transition to the next element: E.g. All grass is green - all hay is brown, hay is grass - "in pairs" that means "takes into account all combinations" - the number of necessary verifications doubles with every adventitious element.
Therefore we cannot check our complex beliefs for consistency - (300 elements: 38 million years of computing time)._____________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.
I W. Poundstone Im Labyrinth des Denkens, Reinbek 1995