3 papers
math.LO2016
Aristotle's square of opposition in the light of Hilbert's epsilon and tau quantifiers
Fabio Pasquali, Christian Retoré
Aristotle considered particular quantified sentences in his study of syllogisms and in his famous square of opposition. Of course, the logical formulas in Aristotle work were not m…
math.LO2016
Classical logic and intuitionistic logic: equivalent formulations in natural deduction, Gödel-Kolmogorov-Glivenko translation
Richard Moot, Christian Retoré
This report first shows the equivalence bewteen several formulations of classical logic in intuitionistic logic (tertium non datur, reductio ad absurdum, Pierce's law). Then it est…
math.LO2011
Quantification in ordinary language
Michele Abrusci, Christian Retoré
We firstly show that the standard interpretation of natural quantification in mathematical logic does not provide a satisfying account of its original richness. In particular, it i…