Équivalence logique

Nozick et surtout dans ses notes, il apparaît important pour la suite de cette étude de revenir sur le formalisme qu’il souhaite utiliser et notamment le symbole suivant(. Il met en garde le lecteur qui aurait la tentation d’y voir le symbole de logique renvoyant à la notion d’implication mathématique. Contrairement à la notion mathématique, ce symbole n’élimine pas toute notion de causalité, il signifie « si… alors », ainsi P(Q se lira si P alors Q. De même, on ne saurait nier ce signe à la manière

frises islamiques, etc… Pour atteindre ces objectifs, la formation mathématique met en place un savoir commun à toutes les formations de transition qui comprend : • La transposition, dans des contextes non mathématiques, de notions de logique :implication, équivalence, thèse - hypothèse, négation,… • les aspects utilitaires des nombres, des grandeurs, des rapports, du calcul numérique … ; • les formules et les fonctions en algèbre ; • les propriétés des figures classiques planes et dans l’espace

envoyées à : mustapha.mechab@gmail.com Pr. Mustapha Mechab. Table des matières 1 ELÉMENTS DE LOGIQUE 1.1 Opérations Logiques . . . . . . . 1.1.1 La négation ¬ : . . . 1.1.2 La Conjonction ∧ . . . 1.1.3 La Disjonction ∨ : . . . 1.1.4 Règles de De Morgan . . . 1.1.5 L’Implication =⇒ : . 1.1.6 La contraposée. . . . . . 1.1.7 La réciproque . . . . . . . 1.2 Propriétés des opérations logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

être envoyées à : mustapha.mechab@gmail.com Pr. Mustapha Mechab. Table des matières 1 ELÉMENTS DE LOGIQUE 1.1 Opérations Logiques . . . . . . . 1.1.1 La négation ¬ : . . . 1.1.2 La Conjonction ∧ . . . 1.1.3 La Disjonction ∨ : . . . 1.1.4 Règles de De Morgan . . . 1.1.5 L’Implication =⇒ : . 1.1.6 La contraposée. . . . . . 1.1.7 La réciproque . . . . . . . 1.2 Propriétés des opérations logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

du système, tantôt celle du procès» (DS: 16); c’est dire qu’un «faire peut être à la fois transcrit comme un algorithme processuel et transcodé comme un savoir-faire systématique et virtuel» (DS: 16). Une telle approche lui permet d’assurer une «équivalence entre les axiologies d’ordre systématique et les idéologies qui sont des représentations – récurrentes – des procès de transformation» (DS: 16). En somme, Greimas élabore ainsi un des théorèmes clés de sa sémiotique formelle, à savoir l’idée que

complexes Nombres rationnels . . . . . . . . . . Nombres r´eels . . . . . . . . . . . . . Densit´e des rationnels et irrationnels Nombres complexes . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . 2 Logique et langage des ensembles 2.1 Propositions et op´erateurs logiques 2.2 Quantificateurs . . . . . . . . . . . 2.3 Techniques de d´emonstration . . . 2.3.1 R´ecurrence . . . . . . . . . 2.3.2 Contrapos´ee . . . . . . . . . 2.3.3 D´emonstration par l’absurde 2.4 Langage des ensembles

condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas télécharger les fichiers de mon site pour les installer sur le vôtre. ENSEMBLES, STRUCTURES ALGEBRIQUES PLAN I : Vocabulaire 1) Règles usuelles et notations 2) Logique 3) Introduction à la démonstration 4) Fonctions, injections, surjections 5) Ensembles finis 6) Relation d'ordre a) Définition b) Ordre total, ordre partiel c) Majorant, minorant, maximum, minimum II : Structures algébriques 1) Loi de composition interne

D. Andler. Logique, raisonnement et psychologie 1 In J. Dubucs & P. Lepage, dir., Méthodes logiques pour les sciences cognitives, Paris : Hermes, 1995, pp. 25-75. Repris dans D. Andler, dir., Introduction aux sciences cognitives, Paris : Gallimard, nouv. éd. 2004, pp. 31-405. LOGIQUE, RAISONNEMENT ET PSYCHOLOGIE Les rapports entre logique et raisonnement ont longtemps été fort étroits. Ce commerce s’était établi à l’abri de la digue que Frege, Husserl et leurs successeurs avaient érigée

parallèle avec l’histoire de l’alchimie, il tente de montrer à quel point celle-ci peut se révéler trompeuse, et explique comment l’éliminativisme est compatible avec l’idée abstraite d’états internes. Il s’ensuit une discussion autour de la conception logique et rationnelle utilisée dans la psychologie populaire, ceci afin de réduire au final la psychologie populaire à une théorie très enracinée culturellement sur le fonctionnement des animaux intelligents. A ce titre, et compte tenu de ce qui a été dit

situations de parole. L'histoire de la rhétorique montre d'ailleurs que les normes qu'on a définies étaient infiniment variées et discutables: tantôt on a pris pour norme le discours le plus rationnel (à l'époque classique notamment sous l'influence de la Logique de Port-Royal), tantôt on a considéré que le discours le plus normal était aussi le plus passionnel (à partir de L'Essai sur l'origine des langues de Rousseau), tantôt on a identifié la norme au discours objectif de la science (comme dans les stylistiques