Résultats de la recherche

...La référence indirecte chez [[Bertrand Russell|Russell]], [[Gottlob Frege|Frege]] === ==== La critique de Mill par Frege ==== ...

...riffsschrift Titel.png|thumb|Page de titre de l'ouvrage de [[Gottlob Frege|Frege]] de 1879, ''{{Langue|de|Begriffschrift}}'' (''Idéographie'').]] ...}}) est un langage entièrement formalisé inventé par le logicien [[Gottlob Frege]] et qui a pour but de représenter de manière parfaite la [[logique|logique ...

...e les calculs logiques existants, mais les commentateurs sur la logique de Frege considèrent ce fait comme l'une de ses principales réalisations. ...

...[[logique]] de [[Giuseppe Peano]] aux notions logiques de [[Gottlob Frege|Frege]], et est utilisé dans l'écriture des ''[[Principia Mathematica]]'' en coll ...

...aphie (Begriffsschrift)'']] de 1879<ref>{{Ouvrage|langue=de|auteur1=Frege, Gottlob (1848-1925)|titre=Begriffsschrift, eine der arithmetischen nachgebildete Fo ...

...rente pour ressusciter le programme de logique défendu par [[Gottlob Frege|Frege]] et [[Bertrand Russell|Russell]]<ref>{{Chapitre|prénom1=Chris|nom1=Mortens * [[Gottlob Frege|Frege, Gottlob]]. "Negation." ''Logical Investigations''. Trans. P. Geach and R. H Stootho ...

Pas plus que ses prédécesseurs, [[Gottlob Frege]] n’essaie de définir correctement les notions de proposition et de [[valeu ...

[[Gottlob Frege]], s’inspirant de Leibniz, considérait que deux objets sont égaux si et seu *[[Gottlob Frege]] ...

...usions dangereuses si on simplifie trop vite, comme le signalait [[Gottlob Frege]] dans ''Qu’est-ce qu’une fonction ?''. ...

...èmes]]. Les systèmes à la Hilbert héritent du système défini par [[Gottlob Frege]] et constituent les premiers systèmes déductifs, avant l'apparition de la ...

...ment dans l'[[idéographie]] (''{{lang|de|Begriffsschrift}}'') de [[Gottlob Frege]] ([[1848]]-[[1925]]), mais aussi dans le [[Formulaire de mathématiques|for Frege assigne comme but à son idéographie une formalisation qui est non seulement ...

...books.google.com/books?id=4ktC0UrG4V8C&pg=PA279#v=onepage&q=&f=false ''The Frege Reader'', p.279] </ref>. ...elo, qui travaillait dans ce contexte et ne connaissait pas les travaux de Frege, ne chercha pas à le diffuser plus largement.</ref>. Le [[paradoxe de Bural ...

...férence de Frege était contradictoire. Dans une annexe au deuxième volume, Frege a reconnu que l'un des axiomes de son système a en fait conduit au paradoxe ...vait prévu. Pour plus d'informations, voir "Davis (2000) Chapitres 3 et 4: Frege: From Breakthrough to Despair and Cantor: Detour through Infinity". Voir va ...

Le [[logicisme]] a été prôné notamment par [[Gottlob Frege]] et [[Bertrand Russell]]<ref>{{Ouvrage |langue=fr |prénom1=Vernant, Denis, ...alyse et plus généralement les mathématiques. De son côté, [[Gottlob Frege|Frege]] avait formulé des règles formelles précises et explicites pour une théori ...

...et prédicat (Strawson s'inspire largement dans ce cadre de [[Gottlob Frege|Frege]] pour discuter les conceptions de [[Peter Geach|Geach]] et de [[Willard Va ...

=== Définition de Frege === ...s découvert quand ce dernier adressa une lettre critique à [[Gottlob Frege|Frege]]<ref>. Une solution, due à [[Dana S. Scott]], consiste à utiliser l'ensemb ...

...ttlob Frege|url=https://www.bibmath.net/bios/index.php?action=affiche&quoi=frege|site=www.bibmath.net}}</ref> comme une formalisation du langage des [[mathé ...d’Aristote ne dit rien ou presque sur la logique des relations. [[Gottlob Frege]] et beaucoup d'autres ont comblé cette lacune en définissant le calcul des ...

En 1879, [[Gottlob Frege|Frege]] énonce trois caractéristiques qu'une théorie mathématique devrait avoir : ...mme de recherche qui s'articule autour des trois questions énoncées par G. Frege : les mathématiques sont-elles complètes, cohérentes, et décidables ? ...

Les travaux de [[George Boole]], [[William Stanley Jevons]], [[Gottlob Frege]] ont permis depuis le {{s|XIX|e}} le développement fulgurant d'une approch ...ation logique.|vignette|Le ''[[Idéographie|Begriffschrift]]'' de [[Gottlob Frege]] a introduit la notion de [[Quantificateur (logique)|quantificateurs]] dan ...

...France n'est pas en Australie}}), qui fut redécouverte par [[Gottlob Frege|Frege]] en 1879 et [[Charles Sanders Peirce|Peirce]] en 1885. La pertinence de ce ...