Gottlob Frege

béhavioristes. •  Tous les processus de l’esprit ne sont pas accessibles à l’introspection. •  L’introspection peut même nous égarer –  Exemple des chaussettes (Nisbett & Wilson, 1977) 13 14/03/10 •  Courant issu des philosophies de Gottlob Frege (1848-1925), Bertrand Russell (1872-1970), George Edward Moore (1873-1958) et Ludwig Wittgenstein (1889-1951). •  L’accent est mis sur la logique et sur l’analyse du langage. •  Au milieu du XXème siècle se produit un tournant dit ‘cognitif’. • 

L'expression « philosophie analytique » désigne un mouvement philosophique qui se fonda dans un premier temps sur la nouvelle logique contemporaine, issue des travaux de Gottlob Frege et Bertrand Russell à la fin du xixe siècle et au début du xxe siècle, pour éclairer les grandes questions philosophiques. Sa démarche s'appuie sur une analyse logique du langage cherchant à mettre en évidence les erreurs de raisonnement que celui-ci peut induire et faisant ainsi de la « clarification logique de la

1 On Sense and Reference Gottlob Frege Equality* gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift1 I assumed the latter. The reasons which seem to favour this are the following: a ˆ a and a ˆ b are obviously statements of differing cognitive value; a ˆ a holds a priori and, according to Kant, is to be labelled analytic, while statements of the form a ˆ b often

découlait des autres axiomes d'Euclide (même si on ne l’a pas prouvé); or, pour être reconnue comme axiome, une proposition doit être indépendante, c'est-à-dire que l’on ne peut pas démontrer mais qui est admise car évidente… 10) L'apport de Gottlob Frege à la philosophie de la logique fut très important : il est considéré comme le père de la logique moderne, dont il créa les nouvelles notations : en inventant des symboles logiques, il a permit de formaliser la logique et de réaliser de véritables

fin de la guerre, il est démobilisé en Italie et entre dans les services de police de la ville de Trieste. En 1949, il obtient son doctorat en langues modernes et philosophie à Venise où il a étudié la logique (influence de Ludwig Wittgenstein, Gottlob Frege et Kurt Gödel). De 1949 à 1954, il se forme à l'institut Carl Jung à Zurich, puis obtient un poste pour les Nations Unies en Italie. Après un séjour à Bombay, il enseigne la psychologie analytique et la psychothérapie à l'université d'El Salvador

qu'on donnerait à Dieu pour prouver l'existence de ce dernier. Pour soutenir l'argument de Kant et en revenant sur le sujet, Gottlob Frege (mathématicien, logicien et philosophe allemand; 1848-1925), revient dans The Fondation of Arithmetics sur la question du statut de la notion d’« existence », dont le rôle est essentiel dans la preuve ontologique. D’après Frege, la notion d’existence est plus proche des nombres que des qualités. Si on dit « ces objets sont blancs », la qualité s’applique à

qu'ils signifient (relations internes entre signifiant et signifié ou relation externe entre le signe global et le référent). Travaux du logicien Alfred Tarski, de Roland Barthes. la syntaxe : les relations entre signes. Travaux des philosophes Gottlob Frege, Bertrand Russell, Rudolf Carnap, Richard Montague. la pragmatique : la relation entre les signes et leurs utilisateurs. Travaux de Charles Peirce, William James, George Herbert Mead, John Dewey, Charles W. Morris. La sémiotique, qui plonge ses

mais va dans une école polytechnique à Berlin et se passionne pour l’aéronautique. Va ensuite à l’Université de Manchester pour faire un doctorat sur les hélices. Découvre la pertinence des questions de logique dans les mathématiques. Rencontre Gottlob Frege qui l’encourage à faire des études de Philosophie. Se passionne alors pour la logique mathématique. Travaille auprès de Bertrand Russell qui l’amène à abandonner l’aéronautique et à se consacrer uniquement à la philosophie (à Cambridge). Va ensuite

résout-elle le problème ? • En fait, lorsque Descartes affirme que le modèle de la vérité, c'est l'intuition immédiatement certaine du cogito, il présuppose que sa définition de la vérité est la vraie définition. • Comme l'a montré le logicien Frege, la vérité se présuppose toujours elle-même, quelle que soit la définition que j'en donne : que je définisse la vérité comme adéquation, comme cohérence logique de la proposition ou comme intuition certaine, je présuppose déjà le « sens » de la vérité

CHAP. V. AU-DELA DE LA LOGIQUE CLASSIQUE, UNE PLURALITE DE LOGIQUES. Au début du 20ème siècle, la logique aristotélicienne était considérée comme la logique classique, celle de Frege, développé par Russel, devenant la logique moderne. Mais « classique » et « moderne » sont des termes relatifs. De nos jours, c’est la logique de Fregge-Russell qui est dite « classique » ou « standard ». Le 20ème siècle a en effet vu naître d’autres logiques. Il n’y a donc pas une logique, mais des logiques, avec