|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).|
Books on Amazon
|EMD II 83
Correctness: below truth conditions: simplest assertions: we can distinguish situations where they are correct or incorrect - no knowledge of the truth conditions required - ((s) E.g. polite lie: you may not even know if it is a lie.)
EMD II 124
Correctness/Dummett: is not a basic concept for assertions - Assertions are no answers.
EMD II 125
Instead: incorrectness as the basic concept: this includes undecidable cases - even for names without a bearer.
Ursprünge der analytischen Philosophie Frankfurt 1992
Wahrheit Stuttgart 1982
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989