Locus Solum: From the rules of logic to the logic of rules by Jean-Yves Girard, 2000.
The monograph below has been conceived as the project of giving reasonable foundations to
logic, on the largest possible grounds, but not with the notorious reductionist connotation
usually attached to "foundations". Locus Solum would like to be the common playground
of logic, independent of systems, syntaxes, not to speak of ideologies. But wideness of scope
is nothing here but the reward of sharpness of concern : I investigate the multiple aspects of a
single artifact, the design. Designs are not that kind of syntax-versus-semantics whores that
one can reshape according to the humour of the day : one cannot tamper with them, period.
But what one can achieve with them, once their main properties —separation, associativity,
stability— have been understood, is out of proportion with their seemingly banal definition.
Sounds rather controversial, but can make an interesting reading if you believe logic is related to programming (your last name doesn't have to be either Curry or Howard).
Recent comments
25 weeks 6 days ago
25 weeks 6 days ago
25 weeks 6 days ago
48 weeks 13 hours ago
1 year 1 day ago
1 year 1 week ago
1 year 1 week ago
1 year 4 weeks ago
1 year 9 weeks ago
1 year 9 weeks ago