Logique mathématique

Introduction Nous sommes parties voir une exposition s'appelant « Mathématiques, un dépaysement soudain ». Elle se trouve à Denfert-Rocherau et dure encore jusqu'au 18 mars. C'est enfaite une version philosophique des maths. Cette exposition retrace le travail des grands mathématiciens et ainsi ça nous permet de voir que malgré que les maths soient de la logique pure et dure, les bases elles, qui forment les maths sont d'abord basés sur des idées plus ou moins philosophique. On espère que notre

si l'on considère l'être profond comme une idée pure . Grand mathématicien, Platon révèle une conception du monde proche de celle de Pythagore . Les mathématiques constituent probablement le meilleur exemple de sa théorie : si l'on prend une orange, c'est un objet sphérique pourtant, c'est une sphère imparfaite, mais elle renvoie à l'idée mathématique de la sphère qui, elle, est parfaite et ne trouve pas d'équivalent dans le monde sensible . De la même manière une orange quelconque renvoie à l'idée

Kant interdit en effet à chacun de mentir, car ne pas dire à autrui la vérité, c’est non seulement le tromper, mais aussi s’en servir pour parvenir à un but, voire le réduire à une chose. Avec le mensonge, le dialogue et donc le logos : langage, logique, raison — se trouvent anéantis. En effet, dire la vérité nous permet d’être en harmonie avec nous même, et aussi avec les autres. Fonder ses relations avec autrui sur le principe de vérité permet de préserver une certaine confiance. Ne pas dire la

structures de la cité d'un point de vue théorique. Enfin, la philosophie, à la différence des mathématiques ou de la logique formelle, ne s’est jamais décidée à travailler uniquement au moyen de symboles formels, bien que Leibniz ait pu rêver résoudre les problèmes philosophiques au moyen d’un calcul logique universel10. Et si la philosophie analytique contemporaine est impensable sans la logique mathématique, elle utilise encore massivement le langage naturel.

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é

peuvent être dits vrais ou faux, exacts ou inexacts. 2. Pour le scientifique, la vérité n'est pas donnée, elle est établie. Elle est l' effet d' une activité de probation. Il y a trois manières d' établir la vérité : -la démonstration ( rationalité logique ); -la vérification ( rationalité expérimentale ); -la production des faits dans les circonstances d' une instruction ( rationalité de l'investigation juridique ). Et l' imagination et l' intuition sont mises au service de l' entendement. 3. Pour

Transfert de compétences 13 TABLES DES ANNEXES 14 INTRODUCTION Ce rapport (partie 1/2) est le fruit d’un stage de deux mois (21 mai au 21 juillet 2002) dans le « Service Universitaire de Bio mathématiques, Statistiques Médicales et Epidémiologique, Informatique » de la faculté de médecine de la TIMONE sous la direction du Professeur Michel ROUX, chef du Laboratoire, dans le cadre de ma première année à l’IUP « Système d’information, communication

Logique et discours - Synthèse UNINE Logique naturelle - Grize Ce texte fait office de synthèse des présentations qui ont eu lieu en classe, au sujet de la logique naturelle de Grize (La théorie de la logique naturelle selon Grize, l’argumentation, le signe, la communication discursive, la contradiction et aspects de mes réflexions). La théorie de la logique naturelle selon Grize La logique naturelle, selon Grize, cherche des traces des opérations de pensées dans le discours. Elle cherche

Définitions Pourquoi ? Pour qui ? Comment ? Définitions Un défi-maths est une épreuve en temps limité durant laquelle on propose de résoudre collectivement un certain nombre de problèmes concrets, motivants, voire ludiques faisant appel au raisonnement logique, au bon sens et aux connaissances des programmes. Un défi-maths est un projet coopératif qui contribue à l’éducation civique des élèves. Les moments de recherche sont plus efficaces si l’on s’entraide. Les moments de débat permettent de travailler

Ses origines remontent à l'Antiquité grecque. La sémiotique s’est développée dès 1867-68, à partir des travaux du philosophe, logicien et épistémologue américain Charles Sanders Peirce (1839 –1914). Selon lui, la sémiotique est l’autre nom de la logique : « La doctrine quasi nécessaire ou formelle des signes. » La sémiologie s’est développée en Europe à l’instigation du linguiste et philologue Suisse Ferdinand de Saussure (1857-1913) aux alentours de 1908-09. Selon son expression « C’est une science