Notion de système formel. Prolégomènes à une logique cognitiviste

Néanmoins, nous osons croire que les résultats obtenus à l'issue de cette enquête pourront servir de base à l'autres chercheur intéressés par les questions de logique et de cognition et qu'ils pourrons l'exploiter en vue d'élaborer des systèmes logiques plus performants que ceux qui existent.

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. BLANCHE, 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. DAVIDSON, D., Action et événements, Paris, PUF, 1993.

12. DAVIDSON, D., Enquêtes sur la vérité et l'interprétation, Nîmes, éd. Jacqueline

chambon, 1993.

13. DESCARTES, R, oeuvres et lettres, Paris, Gallimard, 1978,

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

15. DOPP, J., Notion De logique formelle, Louvain, Nauwelaerts, 1972 ; 304p.

16. ENGEL, P., Davidson et la philosophie du langage, Paris, PUF, 1994.

17. FLEGG, H., La logique de Boole et son utilisation, Paris, Dunod, 1967, 245p.

18. HUSSERL, E, Logique formelle et transcendantale, Paris, PUF, 1957, 447p.

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

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

21. KRISTEVA, J., Séméiôtikè. Recherches pour une sémanalyse, Paris, Seuil, 1969.

22. KUHN, T.S, Structure des révolutions scientifiques, Paris, Flammarion, 1972.

23. LEWIS, C., Logique sans peine, Paris, Hermann, 1966, 288p.

24. MARCONI, D., La philosophie du langage au 20^ème siècle, L'Eclat (en ligne :http://www.lyberéclat.net/lyber/marconi/24.html#27.

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

26. MUTOMBO MATSUMAKIA, Opacité référentielle et quantification. Une introduction à la sémantique intentionnelle, Paris, Perter lang, 1998.

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

28. PIAGET (DIR), Logique et connaissance scientifique, Paris, Gallimard, 1967, 1345p.

29. RIVENC, F., Sémantique et vérité : de Tarski à Davidson, Paris, PUF, 1998.

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

31. 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. Daniel VANDERVEKEN, «Sémantique et pragmatique », in la philosophie d'expression française au canada, Québec, PUL, 1998.

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

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

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

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

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

9. http://www.wikipédia.org/théorie_new foundations

10. http://www.wikipédia.org/théorie_des types

11. Michel DE GLAS, « Logique et sciences cognitives », in intellectica, 1996/2,23 (enligne :http://www.intellectica.revues.org)

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

13. Pierre STEINER, « Introduction au Cognitivisme et aux sciences cognitives » In http://Labyrinthe.revues.org/index 754.httml

III. Notes de cours

1. Gaspard OKITADJONGA, Notes de cours de philosophie du Langage I, destinées aux étudiants de L1 Philosophie (2007-2008) inédit.

2. KINANGA MASALA, Notes de cours de questions approfondies de Logique I, destinées aux étudiants de L1 Philosophie (2007-2008) inédit.

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

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

5. 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.