|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. |
Books on Amazon
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
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
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.
Elementare Logik Göttingen 1969