## Philosophy Lexicon of Arguments | |||

Decidability: a question, for example, whether a property applies to an object or not, is decidable if a result can be achieved within a finite time. For this decision process, an algorithm is chosen as a basis. See also halting problem, algorithms, procedures, decision theory._____________ 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 | Excerpt | Meta data |
---|---|---|---|

Books on Amazon |
Berka I 329 Decision problem/Logic/Berka: appeared historically for the first time in Leibniz with the idea of a purely arithmetical "ars iudicandi". Behmann: (1922): "The main problem of modern logic". Ackermann: (1954): I. It is to be decided with exactly stated means, whether a relevant formula of a (logical) calculus is valid. II. If it is not universal, it is to be decided whether it is valid in none of the areas or whether it is valid in an area. If it is valid in any area, one must determine which cardinal number this area has. III. It is to be decided whether a relevant formula is valid in all areas with a finite number of elements or not." Berka: this is a basically semantic formulation of the E problem. E Problem/syntactical: it is to be decided with the help of exactly defined processes that have to fulfill certain conditions whether a relevant formula of a calculus is provable or refutable. Statement Calculus/E-Problem: by Lukasiewicz (1921) Post (19219, Wittgenstein (1921) positively solved. _____________ 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. |
Lei II G. W. Leibniz Philosophical Texts (Oxford Philosophical Texts) Oxford 1998 Brk I K. Berka/L. Kreiser Logik Texte Berlin 1983 |

> Counter arguments against **Leibniz**

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei

Ed. Martin Schulz, access date 2017-07-26