|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
|I 24 ff
Correctness/judgment/Kant/Brandom: normative, not governed by natural laws - contradictions not prohibited by natural laws.
KantVsDescartes: not correctness of representations, but of inferences is crucial.
Definition correct: an inference from p to q is correct (in the sense of preserving the commitment) if the truth conditions of p are a subset of those of q.
Expressive Vernunft Frankfurt 2000
Begründen und Begreifen Frankfurt 2001