Logique
asagiroglu@gsu.edu.tr
Contenus
Objectif du Cours
Permettre à l’étudiant d’acquérir le vocabulaire, les concepts de la logique propositionnelle
Contenu du Cours
l’analyse sémantique des formules du langage formel P et les théorèmes du système formel PF.
Acquis d'Apprentissage du Cours
Apprehension de l’analyse sémantique des formules du langage formel P et acquisition de la capacité de prouver les théorèmes du système formel PF.
Méthodes d'Enseignement
L’enseignement est dispensé sous forme de cours magistraux.
Ressources
Introduction to Logic I, Yalçın Koç ,Boğaziçi University Publications,1980.
Naive Set Theory, Paul Richard Halmos, D. Van Nostrand Company, Princeton, NJ, 1960.
Introduction to Mathematical Logic, Eliot Mendelson, D. Van Norstand Company, Princeton NJ, 1964
Sembolik Mantık, Tarık Necati Ilgıcıoğlu, Anadolu Üniversitesi Yayınları, Ankara 2013.
Introduction to Mathematical Logic, Church, A., Princeton University Press, Princeton NJ, 1956.
Introduction to Logic, Suppes, P., D. Van Norstrand Company, Princeton NJ, 1957.
Logique formelle et argumentation, Laurence Bouquiaux & Bruno Leclercq, De Boeck, Brüksel, 2009.
Intitulés des Sujets
| Semaine | Intitulés des Sujets |
|---|---|
| 1 | Le langage formel P : alphabet et grammaire |
| 2 | La complétude définitionnelle pour le langage formel P |
| 3 | La sémantique du langage formel P : Les fonctions booléennes sur l'ensemble T :{v, f} |
| 4 | La complétude fonctionnelle des fonctions booléennes sur T |
| 5 | L'interprétation du langage formel P |
| 6 | L'implication sémantique et le méta-théorème de déduction |
| 7 | L'analyse sémantique des formules grammatiques du langage formel P |
| 8 | L'examen partiel |
| 9 | Le système formel PF |
| 10 | La déduction dans le système formel PF |
| 11 | L'implication syntaxique dans le système formel PF |
| 12 | Le méta-théorème de déduction pour le système formel PF |
| 13 | Le méta-théorème de consistance et le méta-théorème de complétude pour le système formel PF |
| 14 | Consistance absolu et simple du système formel PF |
Système d'évalution
| Activités | Numéro | Contribution |
|---|---|---|
| Contribution du contrôle continu à la note finale | 1 | 40 |
| Contribution de l'examen final à la note finale | 1 | 60 |
| Total | 2 | 100 |
| Activités | Numéro | Contribution |
|---|---|---|
| Devoir | 15 | 15 |
| Présentation | 0 | 0 |
| Examen partiel (temps de préparation inclu) | 1 | 30 |
| Projet | 0 | 0 |
| Travail de laboratoire | 0 | 0 |
| Autres travaux pratiques | 0 | 0 |
| Quiz | 0 | 0 |
| Devoir/projet de session | 0 | 0 |
| Portefeuille | 0 | 0 |
| Rapport | 0 | 0 |
| Journal d'apprentissage | 0 | 0 |
| Mémoire/projet de fin d'études | 0 | 0 |
| Séminaire | 0 | 0 |
| Autre | 15 | 15 |
| Total | 31 | 60 |
Evalution de la Compétence
| No | Objectifs Pédagogiques du Programme | Contribiton | ||||
|---|---|---|---|---|---|---|
| 1 | 2 | 3 | 4 | 5 | ||
| 1 | Est capable de faire l’analyse critique des textes philosophiques ; | X | ||||
| 2 | Acqiert une connaissance exhaustive sur l’histoire de la philosophie : depuis l’antiquité au 20e siècle ; | |||||
| 3 | Obtient une connaissance et une spécialisation dans des disciplines de la philosophie systématique, telles que l’éthique, l’esthétique, l’histoire de la science, la philosophie de la société ; | |||||
| 4 | Peut mettre la philosophie en relation avec d’autres disciplines telles que l’histoire, la psychologie, l’anthropologie, la sociologie et les sciences positives ; | |||||
| 5 | Apprend des théories de la science politique, l’évaluation philosophique des événements historiques et actuels ; | |||||
| 6 | Arrive à un niveau suffisant de français et d’anglais afin de pouvoir suivre les débats philosophiques ; | |||||
| 7 | Arrive à un niveau suffisant de grec ancien, de latin et d’ottoman pour la lecture des textes philosophiques écrits en ces langues ; | |||||
| 8 | Développement une pensée créative et la connaissance des théories esthétiques qui permettront l’analyse de l’œuvre et de l’histoire de l’art ; | |||||
| 9 | Acquiert des méthodes de rédaction et de recherche académique ainsi que le développement de l’aptitude à l’analyse, à l’interprétation et à la critique. | |||||
Tableau de la Charge de Travail
| Activités | Nombre | Durée | Charge totale de Travail |
|---|---|---|---|
| Durée du cours | 0 | 42 | 0 |
| Préparation pour le cours | 0 | 15 | 0 |
| Devoir | 0 | 15 | 0 |
| Examen partiel (temps de préparation inclu) | 0 | 10 | 0 |
| Examen final (temps de préparation inclu) | 0 | 10 | 0 |
| Quiz | 0 | 8 | 0 |
| Charge totale de Travail | 0 | ||
| Charge totale de Travail / 25 | 0.00 | ||
| Crédits ECTS | 0 | ||