Philosophy Lexicon of Arguments

Correctness: 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).
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)

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-05-30