Towards an Understanding of Girard's Transcendental Syntax: Syntax by Testing
Through his work in ludics and Geometry of Interaction, Jean-Yves Girard invites us to a change of paradigm in the study of logic: the quest for a transcendental syntax, some kind of idealized language that emerges from the rules of logic. Amongst these rules, "testing" plays a leading ro...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
Université d'Ottawa / University of Ottawa
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10393/23680 http://dx.doi.org/10.20381/ruor-6402 |