Full Idea
Validity (truth by virtue of logical form alone) and demonstrability (provability by virtue of logical form alone) have correlative notions of logical possibility, 'satisfiability' and 'consistency', which come apart in some logics.
Gist of Idea
Validity (for truth) and demonstrability (for proof) have correlates in satisfiability and consistency
Source
John P. Burgess (Philosophical Logic [2009], 3.3)
Book Reference
Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.47
Related Idea
Idea 15417 Logical necessity has two sides - validity and demonstrability - which coincide in classical logic [Burgess]