|Proof in logic, mathematics: finite string of symbols, which derives a statement in a system from the axioms of the system together with already proven statements.|
Books on Amazon:
Proof/Argument/Chalmers: to argue against something, one can proceed on three levels:
1. The Unimaginability
2. The lack of recognizability (epistemic)
3. The conceptual analysis.
For the irreducibility of conscious experience, I will argue on all three levels.
This will be about an a priori version of the logical necessity with regard to primary intensions.
The Conscious Mind Oxford New York 1996
Constructing the World Oxford 2014