Philosophy Lexicon of Arguments

Correctness, Logik: is a property of systems or calculi, not of conclusions. A system is correct when all the statements provable in it are true. The system is complete when all valid statements in it are also provable. Completeness and correctness are complementary; they are complementing each other to adequacy. (R. Stuhlmann-Laeisz, Philosophische Logik, Paderborn, 2002). B. Correctness, accuracy, philosophy contrary to the concept of truth, the concept of accuracy refers to an implicitly or explicitly presupposed rule system, which is fulfilled or not fulfilled. While truth is something that is attributed or denied to sentences, accuracy is rather applied to actions - also verbal acting - as well as to illustrations. Unlike truth, accuracy allows gradations. See also truth, truth conditions, indeterminacy, systems, theory, fulfillment, satisfiability.

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
I 16
Correctness Criterion/Correct/Mates: the criterion needs "true" and "possible": "impossible to reach false conclusion from true premises - I 18 Correctness does not provide any information about the truth value of the conclusion
I 19
Def correct: is a conclusion if the associated subjunction is analytical - Def analytical: is a statement that cannot be wrong - or if it cannot be the conclusion of an incorrect conclusion - i.e. a conclusion with mathematical truth as a conclusion cannot be incorrect - Point: this demonstrates that you cannot equate concepts like "correct conclusion" and "proof" - proof requires more
I 128
Def orrect derivation/Mates: carried out according to rules (to be specified)

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.

Mate I
B. Mates
Elementare Logik Göttingen 1969

Mate II
B. Mates
0226509869 1981

> Counter arguments against Mates

> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
Ed. Martin Schulz, access date 2017-07-27