Logique

Husserl, la volonté de démontrer est apparue en Grèce antique, aussi bien dans le domaine mathématique que dans celui de la logique. Être rationnel, l'homme a en effet la possibilité d'articuler des jugements prédicatifs (du type « Sujet est Prédicat ») dans des raisonnements en trois temps nommés syllogismes, et qui sont la forme même de la démonstration. 1. Qu'est-ce que la logique formelle ? Il existe différents genres de jugements prédicatifs qui vont permettre différents types de combinaisons. Il

paraphrase Pour éviter la paraphrase, il faut analyser le texte, en dégager du sens. Il faut donc procéder de la manière suivante : Il faut reconstruire, et expliciter l’argumentation de l’auteur : il faut dégager les idées principales, les liens logiques entre idées, les étapes du raisonnement, les chaînons manquants (parfois l’auteur ne précise pas comment on passe d’une idée à une autre, c’est alors à vous de clarifier ce point Il faut définir, analyser le sens des notions et des distinctions utilisées

......................................................................... 14 5.2. LE CALCUL..................................................................................................................................... 15 5.3. LA MÉCANIQUE LOGIQUE .................................................................................................................. 15 5.4. LA COMPLEXITÉ DE LA PENSÉE ................................................................................................

demandée a existé ou existe. Il s’agit également de savoir s’il est possible qu’une telle chose existe. Dans ce cas il faut réfléchir aux conditions qui rendent possible l’existence de la chose. Ces conditions peuvent être physiques, matérielles ou bien logiques et rationnelles. La notion de vérité se comprend d’abord par sa définition traditionnelle comme « adéquation [ concordance ou conformité] entre la chose et l’esprit ». Est vrai non pas un être ou une chose ou encore un fait historique, mais un énoncé

symbole. Du fait de leur utilisation répandue, il existe un grand nombre de façons différentes de représenter certains symboles. Ce tableau ne saurait prétendre à l'exhaustivité. Sommaire[masquer] * 1 Logique * 2 Autres branches * 3 Autres symboles mathématiques * 4 Liens externes | Logique[modifier] Symbole (TeX) | Symbole (utf8) | Nom | Signification | Exemples | | | Prononciation | | | | | Branche | | | | ⇒ | Implication | signifie « si A est vraie, alors B est vraie

Vienne : réunion de philosophes et mathématiciens qui vont donner naissance au positivisme. Le positivisme veut absolument ramener la théorie aux faits, les faits doivent la contrôler. A Vienne, un positivisme logique apparaît, les théories doivent correspondre à des faits. Pour le positivisme logique, le langage doit uniquement parler des faits c'est une position anti-méthaphysique ( = âme, Dieu …). Popper n'a jamais participé au cercle de Vienne mais a côtoyé certains de ses membres. Ce texte est un

sein d’une démonstration, chaque étape ne peut pas ne pas apparaître, du fait qu’elle est la conséquence logique de tout ce qui précède. Ainsi chaque point de la démonstration est justifié par les précédents. C’est ce qui fait son objectivité, puisque ce n’est jamais moi qui décide de ce qui en découlera. L’enchaînement se fait même malgré moi et nous allons nous concentrer sur l’enchaînement logique des étapes et non sur les propositions mêmes de la démonstration. Peu importe ce qui est dit, mais au

PLAN DU COURS Bases de logique, théorie des ensembles Rappels… 5 2 ou 3 évaluations en TD Note de TD Examen final en janvier 2012 Note d’examen 6 7 8 9 BASES DE LOGIQUE ET THÉORIE DES ENSEMBLES Opérations logiques  Ensembles et parties d’un ensemble ; quantificateurs  Apprendre à raisonner par l’absurde  Raisonner par contraposition  Compter, calculer, ordonner, raisonner par récurrence  Notion de fonction  10 OPÉRATIONS LOGIQUES Objets, assertions, relations

activits de lesprit Le raisonnement 1. mise en uvre par lhomme de ses capacits comprendre et juger, pour savoir comment se conduire. 2. suite logique dides, aboutissant une conclusion une argumentation La logique ensemble des rgles qui permettent de raisonner juste Logique tes ides ne se suivent pas selon les rapports que tu tudies en analyse logique cause, consquence, condition, comparaison ou analogie, concession, but cohrent, rigoureux mthodique Une classe ensemble dlments ayant des caractres

raisonnement basé sur des faits vérifiables ou des données objectives ; dans ce cas-là, les arguments sont irréfutables (on ne peut pas dire que ce n’est pas vrai) car ils sont liés à des données scientifiques. Les arguments sont montrés de façon logique et la rigueur est essentielle et implique la mise en ordre des arguments. Les modes de raisonnement - La forme de raisonnement la plus utilisée est le raisonnement par déduction : les arguments se suivent logiquement et vont du général au particulier