Cours et TDs |
---|
Divers |
|
Package : Package des cours | actualisé le 27 mai 2004 |
| Ces fichiers compressés contiennent tous les documents du site. Ils vous éviteront de les télécharger un à un, et vous feront gagner du temps de téléchargement. Les deux fichiers sont à peu près aussi gros: 300 Ko.
Le premier est au format .zip. Essayez d'abord de l'enregistrer sur votre disque et de le lancer. S'il n'est pas reconnu par votre système, vous avez besoin d'un outil de décompression comme Stuffit expander (une version simplifiée est téléchargeable gratuitement sur www.stuffit.com, et existe pour Mac, PC, Linux).
Le second s'extrait de lui-même, mais n'est compatible qu'avec Windows. Enregistrez-le et double-cliquez dessus. |
- Fichier Package des cours .zip |
- Fichier Package des cours Windows |
Autre : Glossaire | actualisé le 26 mai 2004 | | Glossaire des termes principaux du cours (Dokic - Cozic - Dutant). |
- Divers Glossaire |
Semaine 1 |
|
Cours : Introduction | actualisé le 13 fev 2004 |
| Qu'est-ce qu'un argument? Arguments et raisons. Problèmes sceptiques (insuffisance ou absence de raisons) et paradoxes (excès de raisons). |
- Cours Théorie de la rationalité - introduction (J. Dokic) |
TD : TD 1 (Dutant): Introduction | actualisé le 17 mar 2004 | | Raison, raisonnement, raisons: la théorie de la rationalité est une théorie du bien croire, du bien vouloir et du bien agir. Qu'est-ce qu'un argument? Prémisses et conclusion. |
- Cours Texte du TD (Dutant) - Texte du TD |
- Exercices Exercices 1.1 et 1.2 (Cozic - Dutant) - Exercices donnés par M. Cozic, avec quelques ajouts de J. Dutant |
- Exercices Correction des exercices 1.1-1.2 (Dutant) |
TD : TD3 (P Egré) Introduction | actualisé le 16 fev 2004 | | Qu'est-ce qu'argumenter? Persuader et convaincre. Argument, énoncé assertorique. Identifier les prémisses et la conclusion. |
- Cours Texte du TD (Egre) |
Semaine 2 |
|
Cours : Langage naturel et langage de la logique | actualisé le 19 fev 2004 |
| Récapitulatif: énoncé, valeur de vérité, argument, proposition. Langage naturel et langage de la logique. "Imperfections" du langage naturel: ambiguïté lexicale, ambiguïté structurale, irrégularités syntaxiques, vague, indexicalité. |
- Cours Langage naturel et langage de la logique (J Dokic) |
TD : TD1 (Dutant) Pensée et langage | actualisé le 17 mar 2004 | | Argument et procédé rhétorique, convaincre et persuader. Identifier les arguments (exercice 1.1). Reconstruire les arguments (exercice 1.2). Difficultés liées à l'expression de la pensée dans le langage : énoncés et propositions. |
- Cours Pensée et langage (Dutant) |
- Exercices Exercices 2.2 à 2.4 - NB: intitulés révisés |
- Exercices Correction des exercices 2.2-2.4 (Dutant) |
Semaine 3 |
|
Cours : Evaluation des arguments | actualisé le 08 mar 2004 |
| Dimensions logique, matérielle et rhétorique d'un argument. Validité d'un argument. Argument sain. Validité déductive et inductive. Selon Hume, l'induction n'est pas rationnelle. Selon Descartes (et Kant), la déduction est stérile. Discussion de la critique de Descartes: argument et raisonnement. |
- Cours Evaluation des arguments (Dokic) - Texte du cours |
TD : TD1 (Dutant) Phrases et énoncés | actualisé le 17 mar 2004 | | Phrase, énoncé. Interpréter une phrase. Force et mode. Difficultés du langage naturel: ambiguïtés lexicales, structurales, anaphoriques; irrégularités syntaxiques: quantificateurs, pluriels, nombres; vague quantitatif et qualitatif; indexicalité.
Validité et vérité. |
- Cours Présentation (Dutant) |
Semaine 4 |
|
Cours : Probabilité et validité inductive | actualisé le 17 mar 2004 |
| Probabilité: probabilité conditionnelle. Proportion, fréquence, crédibilité. Validité inductive. Difficulté de son évaluation.
|
- Cours Probabilité et validité inductive (J Dokic) |
TD : TD1 (Dutant) Exercices sur les difficultés du langage naturel | actualisé le 17 mar 2004 | | Correction des exercices 2.2-2.4 (en ligne: cf. semaine 2 ci-dessus). |
Semaine 5 |
|
Cours : Les expressions logiques: connecteurs et quantificateurs. La conjonction. | actualisé le 29 mar 2004 |
| Les expressions logiques: connecteurs et quantificateurs. Connecteurs binaires et unaires. La conjonction. La conjonction peut relier des énoncés, ou des parties d'énoncés. Table de vérité. Conjonction logique et conjonction ordinaire. La conjonction logique est commutative, mais il semble que la conjonction ordinaire a souvent un sens temporel, non commutatif. Distinction de Paul Grice entre ce qui est littéralement dit, et les implicatures. Le sens temporel de "et" est une implicature.
|
- Cours Les expressions logiques: les connecteurs. La conjonction. (Dokic) |
TD : TD1 (Dutant) Validité: déductive et inductive | actualisé le 17 mar 2004 | | Validité. Arugments valides. Arguments sains ou corrects. Validité inductive et déductive.
|
- Cours Présentation (Dutant) |
- Exercices Exercices 3.1-3.2 (Dutant) - Exercices 3.1 et 3.2. Faire l'exercice 3.1. sur une feuille à rendre le 23 mars |
Semaine 6 |
|
Cours : Sens et implicature. Négation. Disjonction. | actualisé le 29 mar 2004 |
| Le sens et l'implicature. Implicature conversationnelle et conventionnelle. Seules les implicatures conversationnelles sont annulables. Implicature conventionnelle et tonalité d'éclairage de Frege.
La négation. La négation est un connecteur unaire. Contradiction: Un énoncé et sa négation se contredisent. Formes de la négation: "in-", "sans". Négation interne et négation externe: dans certains cas le sens des énoncés concernés diverge, en particulier lorsque la négation est combinée à un quantificateur.
La disjonction. La disjonction peut relier des énoncés, ou des parties d'énoncés. "Ni... ni...". Disjonction inclusive et exclusive.
|
- Cours Sens et implicature. Négation, disjonction. (Dokic) |
TD : TD 1 (Dutant): Types d'arguments, connecteurs logiques | actualisé le 10 avr 2004 | | Types d'arguments valides: inductifs, déductifs. Validité formelle (connecteurs, quantificateurs) et validité substantielle (termes non-logiques).
NB: pour la deuxième moitié de ce TD, sur les connecteurs logiques, voir la semaine 7. |
- Cours Types d'arguments (première partie du cours) (Dutant) |
Semaine 7 |
|
Cours : Les conditionnels | actualisé le 10 avr 2004 |
| Conditionnels en "si... alors...". Conditionnels sous d'autre formes. Antécédent et conséquent. Condition nécessaire et condition suffisante. Analyse standard des conditionnels: Un énoncé conditionnel est vrai si et seulement si l’antécédent est faux ou le conséquent est vrai. Difficultés de l'analyse standard. Une réponse appuyée sur les implicatures. Les conditionnels non indicatifs. |
- Cours Les conditionnels (J Dokic) |
TD : TD 1 (Dutant): Les connecteurs logiques. La conjonction logique. | actualisé le 24 mai 2004 | | Qu'est-ce qu'un connecteur logique? La conjonction logique. Problème du "et" temporel et des conjonctions "plus que" logiques. |
- Cours Les connecteurs logiques. La conjonction logique. (Dutant) |
- Exercices Exercices 4.1-4.6 (Dutant) |
- Exercices Correction de 4.1-4.6 (Dutant) |
Semaine 8 |
|
Cours : Les paradoxes sorites | actualisé le 27 mai 2004 |
| Qu'est-ce qu'un paradoxe? Les paradoxes sorites. La forme logique des paradoxes sorites. |
- Cours Les paradoxes sorites (Dokic) |
TD : TD 1 (Dutant) : Implicatures | actualisé le 24 mai 2004 | | Implications et implicatures: définitions. Application au problème du "et" temporel. |
- Cours Les implicatures. Application à la conjonction logique. (Dutant) |
Semaine 9 |
|
Cours : Les paradoxes sémantiques | actualisé le 27 mai 2004 |
| Le paradoxe du pont. Le paradoxe du menteur. La machine véridictive. Le paradoxe de Russell. Quelle solution aux paradoxes sémantiques? |
- Cours Les paradoxes sémantiques (Dokic) |
TD : TD 1 (Dutant) : Contrôle continu | actualisé le 24 mai 2004 | | Sujet et corrigé. Voir aussi les remarques générales dans le cours de la semaine n°11. |
- Exercices Contrôle continu (Dutant) |
- Cours Corrigé du contrôle continu (Dutant) |
Semaine 10 |
|
Cours : Contrôle continu | actualisé le 04 juin 2004 |
| Texte du contrôle continu de 103B et son corrigé (les questions sont reproduites dans le corrigé). |
- Exercices Contrôle continu (Dokic) - Contrôle continu |
- Exercices Correction du contrôle continu (Dokic) - Corrigé du contrôle continu |
TD : TD 1 (Dutant) : Symbolisation, conditionnelles. | actualisé le 24 mai 2004 | | Introduction à la symbolisation dans le langage du calcul propositionnel. Conditionnelles. L'implication matérielle: définition. Condition nécessaire et suffisante.
|
- Cours Symbolisation. Conditionnelles. Conditions nécessaire et suffisante. (Dutant) |
- Exercices Exercices 5.1-5.3 (Dutant) |
- Exercices Correction de 5.1-5.3 (Dutant) |
Semaine 11 |
|
TD : TD 1 (Dutant) : Correction du TD. Contradiction, négation, validité, implication | actualisé le 24 mai 2004 |
| Correction du TD: remarques générales. Mise au point sur la notion d'ambiguïté. Reprise des notions fondamentales: contradiction, négation, validité, implication. |
- Cours Remarques sur le contrôle continu. Contradiction, négation, validité,implication (Dutant) |
Semaine 12 |
|
TD : TD 1 (Dutant) : La disjonction | actualisé le 26 mai 2004 |
| Définition, symbole et table de vérité. Disjonction inclusive, exclusive et indéterminée. Solution par les implicatures. |
- Cours La disjonction (Dutant) |
Semaine 13 |
|
TD : TD 1 (Dutant) : Arguments ampliatifs et théorie de la décision | actualisé le 26 mai 2004 |
| Arguments ampliatifs. Types d'arguments ampliatifs: formels (arguments inductifs au sens étroit) et substantiels (arguments abductifs ou inférence à la meilleure explication, autres arguments inductifs). Sophismes de l'induction. Introduction à la théorie de la décision.
|
- Cours Les arguments inductifs et la théorie de la décision (Dutant) |
- Exercices Sophismes inductifs et exercices 6.1-6.2 (théorie de la décision) (Dutant) |