|Vocabulary: A language’s vocabulary comprises all the words currently used by its speakers. The vocabulary is written down in dictionaries in comparison to grammar and syntax rules laid down in “rule books”. Vocabulary can be reduced to its use at a particular time or by individual speakers for the purpose of research. See also idiolect, language, private language, conservatism, words, meaning of a word, meaning. _____________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. |
Books on Amazon
Identity/is/analytical/intensional/Mates: it is disputed whether A is A is to be considered as formal analytical or analytical because of the meaning of . - Just as statements of the scheme E.g. If A is warmer than B and B is warmer than C, so A is warmer than C analytically because of the sense of "being warmer than". - The dispute is about whether "is" can be seen as a logical constant as "not", and so on or if it belongs to the non-logical vocabulary. - Language L: here was "is" non-logical. - That was arbitrary.
If non-logical, then independent theory of identity possible. - On the other hand: if "is" logical constant (which always means the relation of identity above this region) we construct with that a new language.
Theory/Mates: is always determined by the amount of their doctrines. - ((S) because these contain the entire non-logical vocabulary.)
Definitions/Mates: are needed to represent formalized theories. - They introduce designations that do not belong to the vocabulary of the language, but which improve readability.
Definition creative Definition/Mates: leads to new theorems in which the defined symbol does not occur. - demand: a satisfactory definition should not be creative._____________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.
Elementare Logik Göttingen 1969