5 citations
5 papers
A note on schematic validity and completeness in Prawitz's semantics
Antonio Piccolomini d'Aragona
I discuss two approaches to monotonic proof-theoretic semantics. In the first one, which I call SVA, consequence is understood in terms of existence of valid arguments. The latter…
Historical synthesis supporting Duhem's demonstration of the impossibility of the `experimentum crucis' of comparison of the speed of light in air and water
Olivier Morizot
In 1850, Foucault was the first to compare experimentally the velocity of light in air to its velocity in water. And as the wave and projectile theories competing at the time predi…
David Brewster's and William Herschel's experiments on inflection that delivered the coup de gr{â}ce to Thomas Young's ether distribution hypothesis
Olivier Morizot
In his Theory of Light and Colours, presented to the Royal Society in November 1801, Thomas Young defended a mechanical explanation of the coloured fringes observed outside of the…
The diameter and the Traversale : inside Girard Desargues' workshop
Marie Anglade, Jean-Yves Briend
In his \textit{Brouillon Project} on conic sections, Girard Desargues studies the notion of \textit{traversale}, which generalizes that of diameter introduced by Apollonius. One of…
L'usage de la combinatoire chez Girard Desargues : le cas du théorème de Ménélaüs
Jean-Yves Briend, Marie Anglade
We show in this article how Girard Desargues, in his well known text on conics, the \textit{Brouillon Project,} manages to use Menelaos' theorem with some awesome virtuosity. To th…