The Exact Intuitionistic Meaning of the Square of Opposition

Joseph Vidal-Rosset (1)

1 LHSP - Laboratoire d'Histoire des Sciences et de Philosophie - Archives Henri Poincaré

This paper aims at providing a complete analysis of the intuitionistic version of the square of opposition and a reply to an article published by Mélès (Around and Beyond the Square of Opposition, ed. by J.-Y. Béziau, D. Jacquette (Studies in Universal Logic, Birkhaüser, 2012), pp. 201–218) on the same topic.

Mots clés: Intuitionistic logic; Square of opposition; Tableau methods

Domaines: Philosophie; Logique [math.LO]

Joseph Vidal-Rosset. The Exact Intuitionistic Meaning of the Square of Opposition. Jean-Yves Béziau, Gianfranco Basti The Square of Opposition: A Cornerstone of Thought, Springer International Publishing, pp.201-303, 2017, Studies in Universal Logic, 978-3-319-45061-2 (Print) 978-3-319-45062-9 (Online). ⟨10.1007/978-3-319-45062-9_17⟩. ⟨hal-01534557⟩