Logique mathématique

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

origines, un rapport plutôt étroit avec la logique formelle, discipline scientifique qui n’existait quasiment pas avant Frege; et la recherche la plus récente interagit souvent avec la linguistique, et particulièrement avec la linguistique générative, fondée par Chomsky à la fin des années cinquante (cf. § 3). Il faut toutefois préciser que ces deux interactions ne sont pas sans précédents: dans la philosophie de la fin du Moyen Âge, la relation entre logique et philosophie du langage était très étroite

certains, elle serait universelle, pour d’autres, elle serait relative. Traditionnellement, qu’est-ce que la vérité ? La vérité serait l’adéquation entre la pensée et le réel. Cependant, la vérité peut se présenter sous plusieurs formes : les vérités mathématiques par exemple, ou bien scientifiques. Pouvons-nous donc affirmer que les vérités sont prouvées ? Si, on en suit les méthodes empiristes (Kepler, Aristote) alors, nous sommes tentés de répondre oui. Donc, la vérité serait-elle, ici, universelle ?

ses thèmes fondamentaux. Le vrai, le bien, le beau (Platon). Savoir, agir, espérer (Kant). Le vrai ou la logique et ses méthodes, l’objectivité ou la science et ses techniques, le bien ou la morale et son ascèse, beau ou l’esthétique et la formation du goût, le juste ou le droit et la politique, le parfait ou religion et croyance. ses systèmes : Aristote ou la philosophie antique : logique ou philosophie première, philosophie théorique (physique, cosmologie, psychologie, zoologie) et philosophie

vérité c’est la logique, càd l’art du discours rationnel. Fondateur de la logique c’est Aristote. (Eleve de Socrate par Platon). o Les sophistes vont dire que ce qui conduit à la vérité c’est la rhétorique, càd l’art du discours communicatif. Les grecs posent les problèmes de communication : différence entre communication et raison. Fondateur : Gorias.  Les philosophes ne nient pas la rhétorique, elle conduit au vraisemblable mais pas au vrai.  Les sophistes ne nient pas la logique mais disent

Notion de base de logique mathématique | Vocabulaire : Proposition : phrase qui représente une affirmation, un événement, une propriété. Axiome : proposition évidente par elle même et qui n'est pas démontrable. Théorème : proposition qui peut être démontrée. Lemme : proposition auxiliaire pour faciliter la démonstration d'une autre proposition. Conjecturer : fonder son opinion sur des apparences, avoir une idée de la propriété sans l'avoir démontré. Incompatibles : deux propositions sont

point de vue logique et épistémologique. Robert BLANCHÉ La notion de vérité est ambiguë. On peut parler d'une proposition vraie ; mais on peut parler également de la vérité de son contenu, comme Platon a posé celle des objets hypostasiés en Idées, que vise d'après lui la connaissance. Une première exigence à remplir pour que la vérité acquière un statut prédicatif a donc été de séparer les noms et les choses. Faute d'une telle séparation, la conception, devenue traditionnelle, de la logique comme science

Ayer est, après Russell, le plus grand représentant du positivisme logique du siècle dernier. Selon lui, seules les propositions empiriquement vérifiables ont un sens. En étendant le principe de la vérifiabilité à la philosophie, il rejette la possibilité d'une connaissance « a priori »[1] absolue, cette impossibilité exclut le métaphysicien du domaine de la philosophie, car « (...) jusqu'à ce qu'il nous ait fait comprendre comment la proposition qu'il désire exprimer pourrait être vérifiée, il n'a

................................. 14 La critique de la Culture ............................................................ 16 1. Les débuts ............................................................................ 17 La renaissance de la logique .......................................................17 La théorie des descriptions........................................................ 27 2. Positivisme et phénoménologie ......................................... 40 Les incertitudes du

formelles et des sciences humaines, auxquelles elle est intimement liée par son histoire, la philosophie ne se donne pas un objet d'étude particulier et unique. On trouve toutefois au sein de la philosophie des domaines d'étude distincts, tels la logique, l’éthique, la métaphysique, la philosophie politique et la théorie de la connaissance. Au cours de l’histoire, d’autres disciplines se sont jointes à ces branches fondamentales de la philosophie, comme l’esthétique, la philosophie du droit, la philosophie