|Basic Concept: theories differ in what terms they choose as the basic concepts, which are not further defined. A definition of these concepts within the theory would be circular and may cause > paradoxes. E.g. The theory of mind by G. Ryle is based on the concept of disposition, other theories presuppose mental objects. See also paradoxes, theories, terms, definitions, definability, systems, explanations.|
Books on Amazon
|Thiel I 80
Formula language for logic: Paul Lorenzen: "prototype approach": rule system for producing linearly composed figures composed of 0 and +. "A" represents such figures as a schematic letter): Rules:
(1) > +
(2) A > A 0
(3) A > + A +.
According to this "calculus" e.g. the figure ++ 00 + can be produced: (1), 2 times (2), then (3).
Each figure that can be created must either have a 0 on the right or a + on the left. Test figure 0++ does not work therefore. If we introduced the additional rule:
(4) A > 0 A +
It would be producible. On the other hand, the following rule would not allow for new figures:
(5) A > + + A.
This is called "redundancy" (in meta-mathematics "admissibility")
Such rule systems can also be referred to as "operative logic".
They can serve the introduction of junctors (I 82 e.g. v) Protologics is therefore still before the logic.
Constructive Philosophy Cambridge 1987
Philosophie und Mathematik Darmstadt 1995