Philosophy Dictionary of ArgumentsHome
| |||
|
| |||
| 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 | Concept | Summary/Quotes | Sources |
|---|---|---|---|
|
Benson Mates on Correctness - Dictionary of Arguments
I 16 Correctness Criterion/Correct/Mates: the criterion needs "true" and "possible": "impossible to reach false conclusion from true premises. >Conditional, >Premises, >Truth, cf. >Validity. I 18 Correctness does not provide any information about the truth value of the conclusion. >Truth values, >Conclusion. I 19 Def correct: is a conclusion if the associated subjunction is analytical. >Subjunction, >Analyticity/Syntheticity. Def analytical: is a statement that cannot be wrong - or if it cannot be the conclusion of an incorrect conclusion. >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. >Proofs, >Provability. I 128 Def correct derivation/Mates: carried out according to rules (to be specified). >Derivation, >Derivability._____________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. Translations: Dictionary of Arguments The note [Concept/Author], [Author1]Vs[Author2] or [Author]Vs[term] resp. "problem:"/"solution:", "old:"/"new:" and "thesis:" is an addition from the Dictionary of Arguments. If a German edition is specified, the page numbers refer to this edition. |
Mate I B. Mates Elementare Logik Göttingen 1969 Mate II B. Mates Skeptical Essays Chicago 1981 |
||
> Counter arguments against Mates
> Counter arguments in relation to Correctness
Ed. Martin Schulz, access date 2024-04-16