Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| 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. – Dictionary of Arguments. | |||
| Author | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Christian Thiel on Formal Language - Dictionary of Arguments
Thiel I 80 Formal Language of Logic/Lorenzen/Thiel: Paul Lorenzen: "protological approach": rule system for the production of figures linearly composed of 0 and + . "A" represents such figures as schematic letter. Rules: (1) > + (2) A > A 0 (3) A > + A +. According to this "calculation" e.g. the figure ++00+ can be produced: (1), 2 times (2), then (3). I 80/81 Each figure that can be made must either have a 0 on the right or a + on the left. Test figure 0++ therefore does not work. We introduced the additional rule: (4) A > 0 A + it would be producible. On the other hand, the following rule would not allow new figures: (5) A > + + A. This is called "redundancy" (in meta mathematics "admissibility"). Such control systems can also be described as "operational logic". I 83 They can be used to introduce punctors (I 82 Example v) Proto logic is therefore still ahead of logic. >Junctions, >Logic, >Introduction, >Calculus, >Formalization, >Systems._____________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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. "Vs" indicates differences in content, not necessarily the chronological progression of a controversy. If a German edition is specified, the page numbers refer to this edition. |
T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 |
||
> Counter arguments against Thiel
> Counter arguments in relation to Formal Language
