Orientation bibliographique

Ouvrages d’introduction à la logique de niveau « Licence »

L1 - L2
HALBACH Volker, The Logic Manual, Oxford University Press, 2010 [excellent, niveau L2].
HODGES W., An Introduction to Elementary Logic, Penguin, 2e éd. 2005 [lisible dès la L1].
LEPAGE François, Eléments de logique contemporaine, Presses universitaires de Montréal, 3e
éd. 2010 [très utilisé, niveau L1 et L2].
RIVENC François Introduction à la logique, Paris, Payot, 1989 [niveau L2, assez formel].
RUYER Bernard, Logique, Paris, PUF, 1990.
SMITH Peter, An Introduction of Formal Logic, Cambridge U. P., 2003 [excellent, niveau L2].
VERNANT Denis, Introduction à la logique standard, Paris, Flammarion, 2001 [niv. L1 et L2].
WAGNER Pierre, La logique, Paris, PUF, 2007, 2e éd. révisée 2011 [ouvrage généraliste sur la
logique dans la collection « Que sais-je ? »].
WAGNER Pierre, Logique et philosophie, Paris, Ellipses, 2014.
L3
JEFFREY Richard, Formal Logic. Its Scope and Limits, Hackett, 4e éd. 2006 [un classique,
niveau L2 et L3].
SIDER Theodore, Logic for Philosophy, Oxford University Press, 2010 [nombreux sujets
couverts, orientés vers des questions philosophiques, niveau L2 et L3].
VAN DALEN Dirk, Logic and Structure, Berlin, Springer, 1980, 5e éd. 2012 [un classique,
niveau L3 ou M1].

Ouvrages de logique de niveau « Master »

INTRODUCTION A LA LOGIQUE
BOOLOS G. et JEFFREY R., Computability and Logic, Cambridge U. P., 3e éd., 1989.
CORI R. et D. LASCAR, Logique Mathématique, Paris, Masson, 2003.
ENDERTON H., A Mathematical Introduction to Logic, Academic Press, 1972, 2e éd. 2001.
PABION Jean-François, Logique mathématique, Paris, Hermann, 1976.

1
THEORIE DE LA CALCULABILITE
CORI R. et LASCAR D., Logique mathématique vol. II., chap. 5, Paris, Dunod, 2005.
CUTLAND N., Computability, Cambridge University Press, 1980.
ENDERTON H., Computability Theory, Academic Press, 2011.

THÉORÈMES DE GÖDEL
FRANZEN T., Gödel’s theorem. An Incomplete Guide to Its Use and Abuse, A.K. Peters, 2005.
SMITH P., An Introduction to Gödels’s Theorems, Cambridge U. P., 2007, 2e éd., 2013.
SMULLYAN R., Gödel’s Incompleteness Theorems, Oxford University Press, 1992.

THEORIE DES ENSEMBLES

ENDERTON H., Elements of Set Theory, Academic Press, 1977.
JECH Th., Introduction to set theory, Marcel Dekker, 3e éd. 1999.
DEVLIN K., The Joy of Sets, Springer, 2e éd. 1993.
MACHOVER M., Set Theory, Logic, and Theirs Limitations, Cambridge U.P., 1996.

THEORIE DES MODELES

CORI R. et LASCAR D., Logique mathématique, Paris, Dunod, 2005.
MANZANO Maria, Model Theory, Oxford University Press, 1999.
VAN DALEN Dirk, Logic and Structure, Berlin, Springer, 1980, 5e éd. 2012.

LOGIQUE MODALE
BLACKBURN P., M. RIJKE et Y. VENEMA, Modal Logic, Cambridge U. P., 2002.
CHELLAS B., Modal Logic. An Introduction, Cambridge University Press, 1980.
FITTING Melvin et Richard MENDELSOHN, First Order Modal Logic, Springer, 1998.
GARSON James, Modal Logic for Philosophers, MIT Press, 2e éd. 2013.

THEORIE DE LA DEMONSTRATION
DAVID R., NOUR K. et RAFFALLI Ch., Introduction à la logique. Théorie de la démonstration,
Paris, Dunod, 2001.
GIRARD J.-Y., Le Point aveugle, Paris, Hermann, t.1, 2006, t.2, 2007.
NEGRI S. et J. VON PLATO, Structural Proof Theory, Cambridge University Press, 2001.
TROELSTRA A. S. et H. SCHWICHTENBERG, Basic Proof Theory, Cambridge U. P., 2000.

2
LOGIQUES NON CLASSIQUES
BEALL J. C. et Bas Van Fraassen, Possibilities and Paradox, Oxford U. P., 2003.
PRIEST Graham, An Introduction to Non-Classical Logic, Cambridge U. P., 2e éd. 2008.
RIVENC François, Introduction à la logique pertinente, Paris, PUF, 2005.

THEORIES DE LA VERITE
BURGESS Alexis et John BURGESS, Truth, Princeton U.P., 2011.
HORSTEN Leon, The Tarskian Turn. Deflationism and Axiomatic Truth, MIT Press, 2011.
KIRKHAM Richard, Theories of Truth. An Introduction, MIT Press, 1995.

LOGIQUE PHILOSOPHIQUE
BURGESS John, Philosophical logic, Princeton U. P., 2009.
GABBAY Dov et GUENTHER Franz, éd. Handbook of Philosophical Logic, 1re éd. vol. 1 à 4,
1983-1989 ; 2e éd. vol. 1 à 17, 2001-2014.
GOBLE Lou, The Blackwell Guide to Philosophical Logic, Wiley-Blackwell, 2001.
HORSTEN Leon et Richard PETITGREW, The Continuum Companion to Philosophical Logic,
Continuum, 2011.
JACQUETTE Dale, éd., A Companion to Philosophical Logic, Blackwell, 2005.

Articles de la Stanford Encyclopedia of Philosophy http://plato.stanford.edu/

Algebra of logic tradition, Aristotle’s Logic, Arthur Prior, Bolzano’s Logic, Boole, Boolean
algebra, The Church-Turing thesis, Computability and complexity, Conditionals,
Consequence, Contradiction, Curry’s paradox, Dedekind’s contributions to the foundations of
mathematics, Definitions, Descriptions, Dialetheism, Disjunction, Epistemic paradoxes,
Fitch’s paradox of knowability, Frege, The Frege-Hilbert controversy, Future contingents,
Gödel, Gödel’s incompleteness theorems, Identity, Hilbert’s program, Identity, Indexicals,
Insolubles, Impossible worlds, Intuitionism in the philosophy of mathematics, Liar paradox,
Logic (renvoie à 39 articles plus spécifiques : classical logic, linear logic, etc.), Logic (History
of) (renvoie à 5 articles), Logic and information, Logic and ontology, Logical consequence,
Logical constants, Logical form, Logical Truth, Logicism and neologicism, Mathematics
(philosophy of) (renvoie à 9 articles plus spécifiques), Medieval theories of modality,
Medieval theories of future contingents, Modality, Model theory, Paradox (renvoie à 11
articles plus spécifiques), Paradox and contemporary logic, Plural quantification, Possible
worlds, Recursive function, Russell’s paradox, Self reference, Set theory, Stanislaw
Lesniewski, Tarski, Truth (renvoie à 8 articles plus spécifiques), Truth values, Turing, Turing
machines, Type theory, Vagueness.

3
 Histoire et philosophie de la logique

TEXTES HISTORIQUES
ARISTOTE, Organon (Catégories, De l’interprétation, Premiers analytiques, Seconds
analytiques, Topiques, Réfutations sophistiques).
ARNAULD Antoine et Pierre NICOLE, La Logique ou l’art de penser, 1662.
BOLZANO B., Théorie de la science, 1837, trad. d’extraits des livres I et II, Paris, Gallimard,
2011.
BOOLE George, Les Lois de la pensée, 1854, trad. fr. Paris, Vrin 1992.
FREGE Gottlob, Idéographie, 1879, trad. fr. Paris, Vrin, 1999.
FREGE Gottlob, Ecrits logiques et philosophiques, Paris, Seuil, 1970.
RUSSELL Bertrand, Principles of Mathematics, Cambridge, At the University Press, 1903.
RUSSELL B. et A. N. WHITEHEAD, Principia Mathematica, Cambridge, At the University
Press, 3 vol. 1910-1913, 2e éd. 1925-1927.

MANUELS DE LOGIQUE QUI ONT EU UNE IMPORTANCE HISTORIQUE

CHURCH A., Introduction to Mathematical Logic, Princeton U. P., 1944, 2e éd. 1956.
COHEN M. et E. NAGEL, An Introduction to Logic and Scientific Method, Routledge, 1934.
HILBERT D. et W. ACKERMANN, Principles of Mathematical Logic, Springer, 1928, 2e éd.
1938, trad. angl. 1950.
HILBERT D. et P. BERNAYS, Fondements des mathématiques, vol. 1 1934, vol. 2 1939, trad. fr.
Paris, L’Harmattan, 2001.
KLEENE S., Mathematical Logic, Dover, 1967.
KLEENE S., Introduction to Metamathematics, North Holland, 1952.
LEWIS C.I. et C. H. LANGFORD, Symbolic Logic, 1932.
QUINE W. V. O., Méthodes de logique, 1950, trad. fr. Paris, Armand Colin, 1973.
TARSKI A., Introduction à la logique, 1936, trad. angl. 1941, trad. fr. Gauthiers-Villars, 1960.

SUR L’HISTOIRE DE LA LOGIQUE

BELNA Jean-Pierre, Histoire de la logique, Paris, Ellipses, 2005 ; 2e éd. 2014.
BLANCHE R. et J. DUBUCS, Histoire de la logique, (1970), Paris, Armand Colin, 1996.
GABBAY D. et WOODS J., éd., Handbook of the History of Logic, Amsterdam, Elsevier,
11 vol., 2004-2013.

4
HAAPARANTA Leila, The Development of Modern Logic, Oxford University Press, 2009.
KNEALE W. et M. KNEALE, The Development of Logic, Oxford, Clarendon Press, 1962.

ANTHOLOGIES
BONNAY Denis et COZIC Michael, éd., Philosophie de la logique, Paris, Vrin, 2009.
JACQUETTE Dale, éd., Philosophy of Logic. An Anthology, Blackwell, 2002.
LARGEAULT Jean, Intuitionisme et théorie de la démonstration, Paris, Vrin, 1992.
LARGEAULT Jean, Logique mathématique. Textes, Paris, Armand Colin, 1972.
RIVENC F. et Ph. de ROUILHAN, éd., Logique et fondements des mathématiques. Anthologie
(1850-1914), Paris, Payot, 1992.
VAN HEIJENOORT J., From Frege to Gödel, Cambridge (Mass.), Harvard U.P., 1967.

PHILOSOPHIE DE LA LOGIQUE

ENGEL Pascal, La Norme du vrai. Philosophie de la logique, Paris, Gallimard, 1989.

HAACK Susan, Philosophy of Logics, Cambridge U. P., 1978.
KRIPKE Saul, La Logique des noms propres, 1980.
QUINE W. V. O. , Philosophie de la logique, 1970, trad. fr. Paris, Aubier, 1975, 2008.
QUINE W. V. O., Du point de vue logique, 1953, trad. fr. Paris, Vrin, 2003.
READ Stephan. Thinking About Logic, Oxford University Press, 1995.
SHAPIRO Stuart, éd., The Oxford Handbook of Philosophy of Mathematics and Logic, Oxford
University Press.

Blog de logique
http://www.logicmatters.net/

On trouvera d’autres indications bibliographiques in P. Wagner, Logique et philosophie, Paris,

Ellipses, 2014.