Timeline for Is there something wrong in breaking the symmetry of Natural Deduction?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6, 2017 at 23:32 | comment | added | Bumble | The mature statement of Michael Dummett's position can be found in his book, The Logical Basis of Metaphysics, Harvard UP, 1991. For Prawitz's view, see Dag Prawitz, The epistemic significance of valid inference, Synthese, Vol. 187, No. 3, 2012, pp. 887-898. | |
| Mar 6, 2017 at 18:33 | comment | added | Boris | Thanks for you answer ! Do you have more general references on the proof-theoretic justification of logic for instance and what you call "verification-based semantics for language" ? | |
| Mar 6, 2017 at 18:31 | vote | accept | Boris | ||
| Mar 6, 2017 at 1:23 | history | answered | Bumble | CC BY-SA 3.0 |