Abonnez-vous à Universalis pour 1 euro

LOGIQUE

Bibliographie

Études particulières J. Biard, Logique et théorie du signe au XIVe siècle, Vrin, Paris, 1989

L. Couturat, La Logique de Leibniz, Paris, 1901, réimpr. Olms

K. Gödel, « La Logique mathématique de Russell », in Cahiers pour l'analyse, no 10, pp. 84-107, 1969

G. G. Granger, La Théorie aristotélicienne de la science, Aubier, Paris, 1976

G. Heinzmann, Entre intuition et analyse. Poincaré et le concept de prédicativité, A. Blanchard, Paris, 1985

J. Largeault, Logique et philosophie chez Frege, Nauwelaerts, Paris, 1970

J. Łukasiewicz, Aristotle's Syllogistic, Oxford, 2e éd. 1957

G. Patzig, Die aristotelische Syllogistik, Göttingen, 2e éd. 1963

P. de Rouilhan, Le Paradoxe de Frege, Minuit, Paris, 1988

J. Sebestik, Logique et mathématique chez Bernard Bolzano, Vrin, 1992

P. Tichy, The Foundations of Frege's Logic, de Gruyter, Berlin, 1988. Ouvrages généraux R. Blanché, La Logique et son histoire, Armand Colin, Paris, 1970

J. M. Bochenski, Formale Logik, Fribourg-Munich, 1956

F. Enriques, L'Évolution de la logique, Paris, 1926

J. Jörgensen, A Treatise of Formal Logic, vol. I : Historical Development, Copenhague-Londres, 1931

W. & M. Kneale, The Development of Logic, Oxford, 1962

T. Kotarbinski, Leçons sur l'histoire de la logique (Wykłady z dziejów logiki), trad. A. Posner, P.U.F., Paris, 1965

Poincaré, Russell, Zermelo et Peano, G. Heinzmann éd., A. Blanchard, 1986

K. Prantl, Geschichte der Logik im Abendlande, 4 vol., Leipzig, 1855-1870, continuée par W. Risse, Die Logik der Neuzeit, I, 1500-1640, Stuttgart, 1964

F. Rivenc & P. de Rouilhan dir., Logique et fondements des mathématiques : anthologie (1850-1914), Payot, Paris, 1992

H. Scholz, Esquisse d'une histoire de la logique (Abriss der Geschichte der Logik), Aubier-Montaigne, Paris, 1968

J. Van Heijenoort, From Frege to Gödel, Harvard Univ. Press, Cambridge (É.-U.), 1967.

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • : professeur honoraire à la faculté des lettres et des sciences humaines de Toulouse
  • : docteur ès lettres, chargé de recherche au C.N.R.S.

Classification

Médias

Algèbre de Boole - crédits : Planeta Actimedia S.A.© Encyclopædia Universalis France pour la version française.

Algèbre de Boole

Tripartition signe-sens-référence - crédits : Encyclopædia Universalis France

Tripartition signe-sens-référence

Bertrand Russell - crédits : Kurt Hutton/ Picture Post/ Getty Images

Bertrand Russell

Autres références

  • ANALOGIE

    • Écrit par , et
    • 10 427 mots
    Dès les années 1200, et pour une large période, l'analyse du phénomène logico-sémantique de l'équivocité se voit lestée de thèmes directement empruntés à Avicenne. C'est sous son influence que l'équivocité « selon l'antérieur et le postérieur » est reconnue par les logiciens (...
  • ANALYTIQUE PROPOSITION

    • Écrit par
    • 459 mots

    Le mot « analytique » a au moins trois sens.

    1. Au sens large, une proposition est dite analytique si elle est vraie en vertu de la signification des termes qu'elle contient. La simple considération des significations suffit à donner l'assurance de sa vérité. À ce sens se rattachent le...

  • ANTINOMIE

    • Écrit par
    • 372 mots

    N'est pas antinomie n'importe quelle contradiction, mais seulement celle qui joue entre des lois — soit des lois juridiques ou théologiques, soit des lois de la raison (Kant), soit des thèses déduites de lois logiques (théorie des ensembles) —, ni n'importe quel paradoxe...

  • CATÉGORIES

    • Écrit par
    • 6 071 mots
    Körner énonce encore un quatrième fait, la logique sous-jacente aux cadres catégoriaux, selon qu'elle est plus ou moins rigide. En effet, de très nombreux travaux récents ont mis en relief le fonctionnement d'une pensée constructive et stratégique, proche de la logique intuitionniste, dont les exigences...
  • Afficher les 76 références