Evolution et révolution de la logique formelle des présocratiques à Georg Bool

BIBLIOGRAPHIE

I. Ouvrages

1. Aristote, Organon, I catégories, II De l'interprétation, Paris, Librairie philosophique J. Vrin, 1969, 153p.

· Organon, III. Les premiers analytiques, Paris, Librairie philosophique J. Vrin, 1971, 334p

· Organon, IV. Les seconds analytiques, Paris, Librairie philosophique J. Vrin, 1938, 251p

· Organon, V. les topiques, Paris, Librairie philosophique J. Vrin, 1974, 368p

· Organon, VI. Les réfutations sophistiques, Paris, Librairie philosophique J. Vrin, 1939, 155p

2. Avicenne, Le livre de science I (logique, métaphysique), Paris, Les belles lettres, 1955, 241p.

3. Blanché, R., La logique et son histoire. D'Aristote à Russell, Paris Armand colin, 1970, 366p.

4. Bochenski, I.M., Précis de logique mathématique, Bussum (PAYS Bas) F.G Kroonder, 1948, 90p.

5. Boll M., et Reinhart, Histoire de la logique, Paris, PUF, 1961, 128p.

6. Boole G., The mathématical analysis of logic, Oxford, Basil Black well, 1847, 82p.

7. Chauvineaux, J., La logique moderne, Paris, PUF, 1957, 128p.

8. Colerus, E, Les grandes époques des mathématiques et leurs maîtres. De Pythagore à Hilbert, Paris, Flammarion, 1937, 317p.

9. Cori, R et Lascar, D., Logique mathématique, 1. Calcul

propositionnel, algèbre de Boole, Calcul des prédicats, Paris,

Dunod, 2003, 385p.

10. Cori, R et Lascar, D., Logique mathématique, 2. Fonctions

récursives, Théorème de Gödel, Théorie des ensembles, Théorie des modèles, Paris, Dunod, 2003, 347p.

11. Descartes, R, Discours de la méthode, Paris, Hatier, 1924,

12. Dirven, E., Introduction aux logiques, (3^ème éd.), Kinshasa, Ed. Loyala, 1990, p205p.

13. Dopp, J., Notion De logique formelle, Louvain, Nauwelaerts, 1972 ; 304p.

14. Flegg, H., La logique de Boole et son utilisation, Paris, Dunod, 1967, 245p.

15. Husserl, E, Logique formelle et transcendantale, Paris, PUF, 1957, 447p.

16. Imbert, C., Pour une histoire de la logique, Un héritaghe platonicien, Paris, PUF, 1999, 302p.

17. Kotarbinski, T, Leçon sur l'histoire de la logique, Paris, PUF, 1964, 388 p.

18. Kuhn, T.S, Structure des révolutions scientifiques, Paris, Flammarion, 1972.

19. Lewis, C., Logique sans peine, Paris, Hermann, 1966, 288p.

20. MAYOLA MAVUNZA LWANGA, Logique, parémiologie et argumentation, Kinshasa, science et discursivité, 2004, 144p.

21. MUTUNDA MWEMBO, Eléments de logique, Kinshasa, MédiaSpaul, 2006, 112p.

22. Piaget (DIR), Logique et connaissance scientifique, Paris, Gallimard, 1967, 1345p.

23. Scholz, H, Esquisse d'une histoire de la logique, Paris, Ed. Montaigne, 1968, 156p.

24. TATON, R, La science antique et médiévale. Des origines à 1450, Tome I, Paris, PUF, 1957.

II. Articles

1. « Algèbre de Boole ( logique) » in http :www.wikipédia.org/logique

2. Bachimont, B, «  Logique : histoire et formalismes. De liebniz à Boole » , in http://wwwuniversité de technologie de compiègne, org/ligique.

3. Feys R., « Boole as a logician», in varia n° 4/22

4. http://www.wikipédia.org/bernard Bolzano

5. http://www.wikipédia.org/George Boole

6. http://www.wikipédia.org/Leibniz

7. http://www.wikipédia.org/Ernest schröder

8. Mutombo, M, « un petit aperçu sur la logique classique » in revue philosophique de Kinshasa, vol XIV, n° 25-26, 2000, pp.145-169.

III. Notes de cours

1. MBOLOKALA IMBULI, Syllabus d'histoire de la phisophie antique, 2004.

2. NDOBO KOTI, Abstract d'Eléments de logique de Mutunda, cours de logique destiné aux étudiants de premier graduat en sciences économiques, 2004-2005.

3. TSHIAMALENGA NTUMBA, Notes de cours de philosophie orientale.

IV. Dictionnaires et encyclopédie

1. Bailly, M.A., Dictionnaire Grec-Français, Paris, Hachette, 1929.

2. BOISACQ, E, Dictionnaire étymologique de la langue grecque, Paris, librairie C, Klincsieck 1923,

3. Dictionnaire le Petit Larousse, grand format, Paris, Larousse, 2002.

4. Huisman D., (Dir)- Dictionnaire des philosophes,

A-J, Volume 1, Paris, PUF, 1984.

- Dictionnaire des philosophes

K-Z, Volume 2, Paris, PUF, 1984.

5. LALANDE, A, Vocabulaire technique et critique de la philosophie, Paris, PUF, 1991

6. MATTEI J.F., - Encyclopédie philosophique universelle, III. Les oeuvres philosophiques, Dictionnaire, Tome1, Paris, PUF, 1992.

- Encyclopédie philosophique universelle, III. Les oeuvres philosophiques, Dictionnaire, Tome 2, Paris, PUF, 1992.