|Formal language: a language that usually consist of a set of symbols (icons for a defined domain of objects) and rules regarding their linkage. Purposes of formalization are brevity, uniqueness and versatility in applications like programming, automation, mathematics et al. See also domains, symbols, signs, language, recursion, rules, systems._____________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. |
Formal language/logic/canonical notation/HintikkaVsQuine: we should consider the logical language as our mother tongue, and do not place too much emphasis on the translation into the everyday language.
It is all about semantic clarity anyway.
_____________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.
Merrill B. Hintikka
The Logic of Epistemology and the Epistemology of Logic Dordrecht 1989
J. Hintikka/M. B. Hintikka
Untersuchungen zu Wittgenstein Frankfurt 1996