Département de philosophie et d'éthique appliquée PHI-111 Plan de cours – Automne 2014 Lundi Ce cours est une introduction à la logique formelle L' objectif
Previous PDF | Next PDF |
LA PHILOSOPHIE DE LA LOGIQUE
Cité 4 fois — philosophie du langage ont influencé au cours de ce siècle les positions défendues par les philosophes
Cours de logique - CNRS
Philosophie Il va ainsi développer la logique des propositions et la logique
INTRODUCTION A LA LOGIQUE
ATION Ce texte n'est pas un cours de logique ; c'est la transcription d' exposés faits et qui donna des développements plus philosophiques que mathématiques à la logique
Philosophie de la notation logique - Archipel UQAM
s grammaires formelles (Frege, Russell, Husserl et l'école de logique polonaise
COURS SUR LA LOGIQUE FORMELLE - Université Jean Monnet
En réalité la logique d'Aristote avait plus un but philo- sophique C'est plus Euclide qui
LOGIQUE
Cours de deuxi`eme année de bachelier en Philosophie P Gribomont 2003-2008
PHI-111 – Introduction à la logique (3 cr) - Université de
Département de philosophie et d'éthique appliquée PHI-111 Plan de cours – Automne 2014 Lundi Ce cours est une introduction à la logique formelle L' objectif
Questions approfondies de philosophie du langage et de
cours-2014-L PDF
[PDF] cours de macroéconomie 1
[PDF] cours de macroéconomie approfondie pdf
[PDF] cours de macroéconomie licence 1
[PDF] cours de macroéconomie licence 1 pdf
[PDF] cours de macroéconomie licence 2 pdf
[PDF] cours de macroéconomie s2
[PDF] cours de maintenance biomedicale gratuit
[PDF] cours de management des entreprises pdf
[PDF] cours de management des organisations pdf
[PDF] cours de management des projets gratuit
[PDF] cours de management general pdf
[PDF] cours de management s1 pdf
[PDF] cours de maquillage pdf
[PDF] cours de marketing 1ere année pdf
Faculté des lettres et sciences humaines
Département de philosophie et d'éthique appliquéePHI-111 - Introduction à la logique (3 cr.)
Plan de cours
Automne 2014
Lundi, 08 h 50 à 11 h 40, local A4-377
Enseignant : Yves Bouchard
Bureau
: A5-215Téléphone : 819-821-8000,
poste 62335Courriel : yves.bouchard@usherbrooke.ca
Page web : http://ybouchard.espaceweb.usherbrooke.ca/cours/Moodle : http://www.usherbrooke.ca/moodle/
Démonstrateur : Benoît Côté
Courriel : benoit.cote4@usherbrooke.ca
OBJECTIF
Ce cours est une introduction à la logique formelle. L'objectif principal est de permettre à l'étudiantd'acquérir la maîtrise de deux outils de calcul logique, soit le calcul des propositions et le calcul des
prédicats de premier ordre. Nous aborderons ces calculs par le biais de méthodes sémantiques et
syntaxiques (tables de vérité, arbres de consistance, déduction naturelle).CONTENU
1.Calcul des propositions
1.1Connecteurs logiques
1.2 Tables de vérité
1.3 Calcul par réduction
1.4 Tautologie
1.5Formes normales disjonctives
1.6Arbres de consistance
1.7Déduction naturelle
2.Calcul des prédicats de premier ordre
2.1Quantification
2.2 Arbres de consistance
2.3 Déduction naturelle
11-08-2014 Page 2
PLANIFICATION DU COURS
Dates Description du contenu
08 .09 1. Calcul des propositions1.1 Connecteurs logiques
15.09 1.2 Tables de vérité
1.3Calcul par réduction
1.4 Tautologie
22.09 1.5 Formes normales disjonctives
1.6 Arbres de consistance
29.09 1.6 Arbres de consistance 06 .10 1.7 Déduction naturelle 13 .10 Relâche 20 .10 1.7 Déduction naturelle
Remise de l'exercice écrit
27.10 Démonstration 03 .11 Examen 1 10 .11 2. Calcul des prédicats
2.1 Quantification
17 .11 2.2 Arbres de consistance 24.11 2.2 Arbres de consistance
01.12 2.3 Déduction naturelle
08.12 Démonstration
15 .12 Examen 2MODALITÉS DE L'ÉVALUATION DU COURS
L'évaluation sera répartie sur trois points : un exercice (15%), un examen de mi-session (45%) et un
examen final (40%).MATÉRIEL REQUIS
Les notes de cours sont disponibles au comptoir de Photadme situé au local A8-151 (pavillon Albert-
Leblanc).
Lepage, François. 2010.
Éléments de logique contemporaine. 3e édition. Montréal: Presses de l'Université de Montréal (disponible à la librairie COOP, pavillon B5).11-08-2014 Page 3
BIBLIOGRAPHIE SÉLECTIVE
Bergmann, Merrie, James Moor et Jack Nelson.
1990.The Logic Book. 2e édition. New York:
McGraw-Hill.
Blais, Michel J. 1985.
La logique: une introduction
. Montréal: Presses de l'Université de Montréal etÉditions de l'Université de Sherbrooke.
Boolos, George S., John P. Burgess et Richard C. Jeffrey. 2002.Computability and Logic. 4e édition.
Cambridge: Cambridge University Press.
Church, Alonzo. 1956.
Introduction to Mathematical Logic. Princeton: Princeton University Press.Imbert, Claude.
1999.Pour une histoire de la logique. Paris: Presses universitaires de France.
Jeffrey, Richard. 1981.
Formal Logic: Its Scope and Limits. 2e édition. New York: McGraw-Hill.Kneale, William et Martha Kneale. 1962.
The Development of Logic. Oxford: Clarendon Press.Leblanc, Hugues et William A. Wisdom. 1976.
Deductive Logic
. 2e édition. Boston: Allyn andBacon.
Lemmon, E. J. 1978. Beginning Logic. Indianapolis: Hackett.Lepage, François. 2010. Éléments de logique contemporaine. 3e édition. Montréal: Presses de
l'Université de Montréal.Mates, Benson. 1972.
Elementary Logic. 2e édition. New York: Oxford University Press. Mendelson, Elliott. 1987. Introduction to Mathematical Logic. 3e édition. New York: Chapman and Hall.Parry, William T. et Eward A. Hacker. 1991.
Aristotelian Logic. Albany: State University of NewYork Press.
Quine, Willard van Orman. 1982.
Methods of Logic. 4e édition. Cambridge: Harvard UniversityPress.
Quine, Willard van Orman. 1986.
Philosophy of Logic. 2e édition. Cambridge: Harvard UniversityPress.
Rivenc, François. 1989.
Introduction à la logique. Paris: Petite bibliothèque Payot.Smullyan, Raymond
M. 1968. First-Order Logic. New York: Springer-Verlag.Stolyar, Abram Aronovich. 1970.
Introduction to Elementary Mathematical Logic. New York: DoverPublications.
Vax, Louis. 1982.
Lexique logique. Paris: Presses universitaires de France.LE PLAGIAT
SOUS TOUTES SES FORMES SERA SANCTIONNÉ,
CONFORMÉMENT AU RÈGL
EMENT DES ÉTUDES.
11-08-2014 Page 4
SYSTÈME DE NOTATION
Lettre Note chiffrée Pointage Niveau
A+ 92% 4,3 Excellent A 87
% 4,0 Excellent A 84
% 3,7 Excellent B+ 81
% 3,3 Très bien B 78
% 3,0 Très bien B- 75
% 2,7 Très bien C+ 72
% 2,3 Bien C 69
% 2,0 Bien C 66
% 1,7 Bien D+ 63
% 1,3 Passable D 60
% 1,0 Passable E 59
% et - 0,0 Échec
Cette échelle de notation peut varier en fonction de divers facteurs : type d'activité, taille du groupe,
niveau du cours, atteinte des objectifs, résultats obtenus, etc.quotesdbs_dbs22.pdfusesText_28