Logique II (PH106) | GSÜ - ECTS Guide d'Information

Contenus

Objectif du Cours

Permettre à l’étudiant d’acquérir le vocabulaire, les concepts de la logique du premier ordre

Contenu du Cours

LE langage formel PQ et le système formel PFQ.

Acquis d'Apprentissage du Cours

Apprendre l’analyse sémantique des formules du langage formel PQ et acquérir la capacité de prouver les théorèmes du système formel PFQ.

Méthodes d'Enseignement

L’enseignement est dispensé sous forme de cours magistraux.

Ressources

Introduction to Logic II, 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

Intitulés des Sujets Théoriques
Semaine	Intitulés des Sujets
1	Le langage formel PQ : alphabet et grammaire
2	La sémantique du langage formel PQ : La théorie des ensembles.
3	La sémantique du langage formel PQ : La partition et l'énumération d'un ensemble, les séquences dénombrables.
4	L'interprétation du langage formel PQ
5	L'interprétation d'une formule du langage formel PQ : la domaine d'interprétation, la relation à n-place et la fonction à n-place
6	L'analyse sémantique des formules grammatiques du langage formel PQ
7	L'implication sémantique et le méta-théorème de déduction pour le langage formel PQ
8	L'examen partiel
9	Le système formel PFQ
10	La déduction et la preuve dans le système formel PFQ
11	L'implication syntaxique pour le système formel PFQ
12	Le méta-théorème de déduction pour le système formel PFQ
13	Le méta-théorème de consistance pour le système formel PFQ
14	Le méta-théorème de complétude pour le système formel PFQ

Système d'évalution

Contribution à la Note Finale
Activités	Numéro	Contribution
Contribution du contrôle continu à la note finale	1	0
Contribution de l'examen final à la note finale	1	0
Total	2	0

Contrôle Continu
Activités	Numéro	Contribution
Examen partiel (temps de préparation inclu)	1	0
Total	1	0

Evalution de la Compétence

No	Objectifs Pédagogiques du Programme	Contribiton
No	Objectifs Pédagogiques du Programme	1	2	3	4	5
1	Est capable de faire l’analyse critique des textes philosophiques ;
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é ;					X
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 ;					X
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 ;					X
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.