Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

Inserting: in a formula an icon can be replaced under certain conditions by another icon. E.g. inserting a constant for a variable will make a propositional function become a sentence. See also substitutability, substitution, validity, statements, propositional functions.

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.

Author Item Summary Meta data

Books on Amazon
I 202f
Rule of substitution/insertion/QL: 1. In A i is replaced only at the places where it occurs freely - 2. If i in A is in an area where a quantifier binds the variable h, no expression may be used for i which contains h as free variable - ((s) E.g. ("h)(P(h)ui): here i should not mean "h u y") - "everything I own are bicycles and also a bike ... " - E.g. Wessel: Solo guide: from A follows AiA:A: "x is born later than 1930"> "x is less than 100 years old" - if i would occur free in the assumptions of the proof then wrong: "all people are born later than in 1930".

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.

We I
H. Wessel
Logik Berlin 1999

Send Link
> Counter arguments against Wessel

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  

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