Penser la négation: une introduction

Aristote: De l'interprétation, in Tricot, 1946. Aristote: De la métaphysique, in Tricot, 1946. Bain, A.: 1875, Logique déductive et logique inductive, Gernier Boillère, Paris. Boole, G.: 1965, The Mathematical Analysis of Logic Basil Oxford, Oxford (1ère éd. 1847). Castañeda, H.-N.: 1988, ‘Negations, Imperatives, Colors, Indexical Properties, Non-existence, and Russell's Paradox’, in D.F. Austin (éd.), Philosophical Analysis. A Defense by Example, Kluwer, Dordrecht, pp. 169–205. Corcoran, J.: 1973, ‘Gaps Between Logical Theory and Mathematical Practice’, in M. Bunge (éd.), The Methodological Unity of Science, Reidel, Dordrecht, pp. 23–50. Epstein, R.L.: 1990, The Semantic Foundations of Logic. Volume I: Propositional Logics, Kluwer, Dordrecht. Frege, G.: 1962, Funktion, Begriff, Bedeutung, fünf logische Studien, Vandenhoeck und Ruprecht, Göttingen. Gardies, J.-L.: 1975, Esquisse d'une grammaire pure, Vrin, Paris. Gillièron, C.: 1972, ‘Les recherches psychologiques et psycholinguistiques sur la négation’, in Travaux du Centre de Recherches Sémiologiques de l'Université de Neuchâtel, no 14. Gödel, K.: 1986, ‘Zum intuitionistichen Aussagenkalkül’, in S. Feferman et al. (éds.), Collected Works, Oxford University Press, Oxford, pp. 222–225. Grize, J.-B., et G. Piéraut-Le Bonniec: 1983, La contradiction. Essai sur les opérations de la pensée, PUF, Paris. Heyting, A.: 1930, ‘Die formalen Regeln der intuitionistischen Logik’, Press. Akad. Wiss. Phys. Math. Kl., pp. 42–56. Heyting, A.: 1980, Intuitionism. An Introduction, North-Holland, Amsterdam (1ère éd. 1956). Horn, R.L.: 1989, A natural History of Negation, The University of Chicago Press, Chicago. Miéville, D.: 1991, ‘La négation, une étude logique’, in Travaux de Logique de l'Université de Neuchâtel, no 6, p. 78. Strawson, P.F.: 1974, Subject and Predicate in Logic and Grammar, Methuen, London. Tricot, J.: 1946, De la métaphysique, traduction et notes, Vrin, Paris. Tricot, J.: 1946, Catégories. De l'interprétation, traduction et notes, Vrin, Paris. Umezawa, T.: 1959, ‘On Logics Intermediate Between Intuitionistic and Classical Predicate Logic’, The Journal of Symbolic Logic 24 (2), 141–153.