|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
T-Theory/T-Def/Field: Problem: the form of the sentence "x is true iff p" does not indicate whether the sentence is correct -> correctness._____________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.
Realism, Mathematics and Modality Oxford New York 1989
Truth and the Absence of Fact Oxford New York 2001
Science without numbers Princeton New Jersey 1980