Abstracts
Résumé
Il s’agit de comprendre dans cet article l’opposition formulée par Gilles-Gaston Granger entre deux types de négation : la négation « radicale », d’un côté, et les négations « appliquées » de l’autre. Nous examinerons les propriétés de cette opposition, ainsi que les enseignements à en tirer sur la philosophie de la logique de Granger. Puis nous proposerons une théorie constructive des valeurs logiques considérées comme des objets structurés, consolidant à la fois l’unité de la théorie logique de Granger et son pluralisme philosophique.
Abstract
The point of the present paper is to understand the opposition formulated by Gilles-Gaston Granger between two kinds of negation, namely : ‘radical’ negation, on the one hand, and ‘applied’ negations on the other hand. We will examine the properties of this opposition, as well as the lessons to be drawn from Granger’s philosophy of logic. Then we will propose a constructive theory of logical values considered as structured objects, consolidating both the unity of Granger’s logical theory and its philosophical pluralism.
Appendices
Bibliographie
- Belnap, N. “A Useful Four-Valued Logic”. In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, Dordrecht Reidel Publishing Company, Dordrecht, 1977, 8-37.
- Béziau, J. Y. “Classical Negation Can Be Expressed By One of its Halves”. Logic Journal of the Interest Group in Pure and Applied Logics, Vol. 7, 1999, 145-151.
- Blanché, R. Structurelles intellectuelles, Vrin, Paris, 1966.
- Bochvar, D. A. “On a Three-Valued Logical Calculus and Its Application to the Analysis of the Classical Extended Functional Calculus”. History and Philosophy of Logic, Vol. 2 (1981), 87-112.
- da Costa, N. C. A. “On the Theory of Inconsistent Formal Systems”. Notre Dame Journal of Formal Logic, Vol. 15, 1974, 497-510.
- Englebretsen, G. & Sommers, F. An Invitation to Formal Reasoning, Routledge, 2017.
- Feghaly, N. Science et philosophie : études sur la pensée de Granger. Thèse de doctorat, Université d’Aix-Marseille, 2016, 228p.
- Gonseth, F. Qu’est-ce que la logique ? Hermann et Cie, 1937.
- Gottschalk, W. H. “The Theory of Quaternality”. The Journal of Symbolic Logic, vol. 18, 1953, 193-196.
- Granger, G.-G. « La contradiction ». Travaux du Centre de recherches sémiologiques, vol. 57 (1988), 39-53.
- Granger, G.-G. Formes, opérations, objets, Vrin, Paris, 1994.
- Granger, G.-G. Science et réalité, Odile Jacob, Paris, 2001.
- Granger, G.-G. « Logique, mathématique, métamathématique ». In P. Pellegrin & R. Rashed (dir.), Philosophie des mathématiques et théorie de la connaissance : L’oeuvre de Jules Vuillemin, Paris, Albert Blanchard, 2005, 205-213.
- Jaspers, D. “Logic and Colour”. Logica Universalis, Vol. 6 (2012), 227-248.
- Kleene, S. K. “On a Notation for Ordinal Numbers”. The Journal of Symbolic Logic, Vol. 3 (1938), 150-155.
- Łukasiewicz, J. “On Three-Valued Logic”. In S. McCall (ed.), Polish Logic 1920-1939, Oxford : Clarendon, 1967, 16-18.
- Łukasiewicz, J. Selected Works. In L. Borkowski (ed.), Amsterdam : North-Holland, and Warsaw : PWN, 1970.
- Moretti, A. The Geometry of Logical Opposition. Thèse de doctorat de philosophie, Université de Neuchâtel, 2009.
- Mulligan, K. “Introduction : On the History of Continental Philosophy”. Topoi, Vol. 10 (1991), 115-120.
- Nelson, D. “Constructible Falsity”. Journal of Symbolic Logic, Vol. 14 (1949), 16-26.
- Piaget, J. Traité de logique (Essai de logistique opératoire), A. Colin, 1949 (2e éd., 1972).
- Priest, G. “The Logic of Paradox”. Journal of Philosophical Logic, Vol. 8 (1979), 219-241.
- Priest, G. “Hypercontradiction”. Logique et analyse, Vol. 27 (1984), 237-43.
- Schang, F. « L’opposition : analyse logique d’une notion flottante », Syntaxe et sémantique, vol. 13, 2013, 65-85.
- Schang, F. “On Negating”, in Ontology of Negativity, Dragalina-Chernaya (ed.), Moscow, Kanon, 2014, 329-376.
- Schang, F. “No, No, and No”, à paraître dans Logic in Question, Springer, 2020a.
- Schang, F. “A General Semantics for Logics of Affirmation and Negation”, à paraître dans Journal of Applied Logics, Springer, 2020b.
- Schang, F. & Costa-Leite, A. « Une sémantique générale des croyances justifiées », CLE e-prints, vol. 16, 2016, 1-24.
- Shramko, Y. & Wansing H. “Some Useful 16-valued Logics : How a Computer Network Should Think”. Journal of Philosophical Logic, Vol. 34 (2005), 121-153.
- Slater, H. “Paraconsistent logics ? ”. Journal of Philosophical Logic, Vol. 24 (1995), 451-454.
- Suszko, R. “The Fregean Axiom and Polish Mathematical Logic in the 1920’s”. Studia Logica, Vol. 36 (1977), 373-380.
- Varzi, A. & Warglien, M. “The Geometry of Negation”. Journal of Applied Non-Classical Logics, Vol. 13 (2003), 9-19
- von Wright, G. H. “Truth-Logics”. Logique et analyse, Vol. 303 (1987), 311-334.