Accès plus rapide que le navigateur!
38 relations: Abraham Adolf Fraenkel, Alfred North Whitehead, Arithmétique, Axiome, Bertrand Russell, Cambridge University Press, Concept (philosophie), Congrès mondial de philosophie, Crispin Wright, Dover Publications, Empirisme logique, Georg Cantor, Gottlob Frege, Introduction à la philosophie mathématique, Ivor Grattan-Guinness, Kurt Gödel, Logique, Louis Couturat, Mario Livio, Mathématiques, Mathématiques modernes, Oxford University Press, Paradoxe de Russell, Philosophie analytique, Philosophie de la logique, Philosophie des mathématiques, Princeton University Press, Principe de Hume, Principia Mathematica, Réductionnisme, Richard Dedekind, Rudolf Carnap, Scientific American, Théorèmes d'incomplétude de Gödel, Théorie, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel, Théorie naïve des ensembles.
Abraham Adolf Fraenkel
Abraham Adolf Halevi Fraenkel, né le à Munich et mort le à Jérusalem, plus connu sous le nom de Abraham Adolf Fraenkel, ou plus simplement Abraham Fraenkel, est un mathématicien d'abord allemand puis israélien.
Nouveau!!: Logicisme et Abraham Adolf Fraenkel · Voir plus »
Alfred North Whitehead
Alfred North Whitehead, né le à Ramsgate (dans le Kent, en Angleterre) et mort le à Cambridge (Massachusetts), est un philosophe, logicien et mathématicien britannique.
Nouveau!!: Logicisme et Alfred North Whitehead · Voir plus »
Arithmétique
L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels (\N), relatifs (\Z) et rationnels (\Q), voire réels (\R), ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires: addition (+), soustraction (−), multiplication (×), division (÷, /, ou), puissance et racine.
Nouveau!!: Logicisme et Arithmétique · Voir plus »
Axiome
Un axiome (en grec ancien, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de, « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique.
Nouveau!!: Logicisme et Axiome · Voir plus »
Bertrand Russell
Bertrand Arthur William Russell,, né le à Trellech (Monmouthshire) et mort le près de Penrhyndeudraeth (pays de Galles), est un mathématicien, logicien, philosophe, épistémologue, homme politique et moraliste britannique.
Nouveau!!: Logicisme et Bertrand Russell · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Logicisme et Cambridge University Press · Voir plus »
Concept (philosophie)
En logique, un concept est un contenu de pensée, qui, lorsqu'il est appliqué à un objet, peut former une proposition.
Nouveau!!: Logicisme et Concept (philosophie) · Voir plus »
Congrès mondial de philosophie
Le Congrès mondial de philosophie est une rencontre mondiale de philosophes, organisée tous les 5 ans depuis 1948 par la Fédération internationale des sociétés de philosophie, en collaboration avec une des sociétés membres, laquelle assume la responsabilité de l'organisation du congrès.
Nouveau!!: Logicisme et Congrès mondial de philosophie · Voir plus »
Crispin Wright
Crispin Wright, né le, est un philosophe britannique, professeur de logique et métaphysique à l’université de St Andrews, spécialisé en philosophie de la logique, des mathématiques et du langage.
Nouveau!!: Logicisme et Crispin Wright · Voir plus »
Dover Publications
Dover Publications est une maison d'édition américaine fondée en 1941 par Hayward Cirker et sa femme, Blanche.
Nouveau!!: Logicisme et Dover Publications · Voir plus »
Empirisme logique
L'empirisme logique (parfois nommé positivisme logique, néo-positivisme, ou empirisme rationnel) est une école philosophique principalement illustrée par le Cercle de Vienne, fondée par un groupe réunissant des scientifiques et philosophes viennois dans les années 1920.
Nouveau!!: Logicisme et Empirisme logique · Voir plus »
Georg Cantor
Georg Cantor est un mathématicien allemand, né le à Saint-Pétersbourg (Empire russe) et mort le à Halle (Empire allemand).
Nouveau!!: Logicisme et Georg Cantor · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Logicisme et Gottlob Frege · Voir plus »
Introduction à la philosophie mathématique
Introduction à la philosophie mathématique est un livre de Bertrand Russell, publié en 1919, exposant entre autres, de manière moins technique, les principales idées contenues dans les Principia Mathematica (de lui-même et de Whitehead, 1910–1913).
Nouveau!!: Logicisme et Introduction à la philosophie mathématique · Voir plus »
Ivor Grattan-Guinness
Ivor Grattan-Guinness (né le à Bakewell, en Angleterre et mort le) est un historien des mathématiques et de la logique.
Nouveau!!: Logicisme et Ivor Grattan-Guinness · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Logicisme et Kurt Gödel · Voir plus »
Logique
La logique — du grec logikê, qui est un terme dérivé de lógos signifiant à la fois « raison », « langage » et « raisonnement » — est, dans une première approche, l'étude de l'inférence, c'est-à-dire des règles formelles que doit respecter toute argumentation correcte.
Nouveau!!: Logicisme et Logique · Voir plus »
Louis Couturat
Louis Couturat, né le à Paris et mort le à Melun, est un philosophe, logicien et mathématicien français.
Nouveau!!: Logicisme et Louis Couturat · Voir plus »
Mario Livio
Mario Livio (né en 1945 à Bucarest, en Roumanie) est un astrophysicien israélien.
Nouveau!!: Logicisme et Mario Livio · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Logicisme et Mathématiques · Voir plus »
Mathématiques modernes
Les « mathématiques modernes » (souvent appelées familièrement les « maths modernes ») étaient une façon d'enseigner les mathématiques dans les pays occidentaux durant les années 1960 et 1970.
Nouveau!!: Logicisme et Mathématiques modernes · Voir plus »
Oxford University Press
L’Oxford University Press (OUP ou OxUP, littéralement: « Presses universitaires d'Oxford ») est une maison d'édition universitaire britannique de renom.
Nouveau!!: Logicisme et Oxford University Press · Voir plus »
Paradoxe de Russell
Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles qui a joué un rôle important dans la formalisation de celle-ci.
Nouveau!!: Logicisme et Paradoxe de Russell · Voir plus »
Philosophie analytique
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 et au début du, pour éclairer les grandes questions philosophiques.
Nouveau!!: Logicisme et Philosophie analytique · Voir plus »
Philosophie de la logique
La philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
Nouveau!!: Logicisme et Philosophie de la logique · Voir plus »
Philosophie des mathématiques
La philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage.
Nouveau!!: Logicisme et Philosophie des mathématiques · Voir plus »
Princeton University Press
La Princeton University Press est une maison d'édition indépendant liée de près à l'université de Princeton.
Nouveau!!: Logicisme et Princeton University Press · Voir plus »
Principe de Hume
Le principe de Hume ou HP (pour Hume's principle) déclare que le nombre de " F " est égal au nombre de " G " si et seulement s'il y a une correspondance biunivoque (une bijection) entre les " F " et les " G ". Le principe de Hume peut être énoncée formellement dans des systèmes de logique de second ordre.
Nouveau!!: Logicisme et Principe de Hume · Voir plus »
Principia Mathematica
Les sont une œuvre en trois volumes d'Alfred North Whitehead et Bertrand Russell, publiés en 1910-1913.
Nouveau!!: Logicisme et Principia Mathematica · Voir plus »
Réductionnisme
Au sens le plus large, on appelle réductionnisme la position selon laquelle une théorie, un domaine de discours ou un concept peut être expliqué, défini ou subsumé sous un autre.
Nouveau!!: Logicisme et Réductionnisme · Voir plus »
Richard Dedekind
Julius Wilhelm Richard Dedekind (né le à Brunswick et mort le dans la même ville) est un mathématicien allemand et un proche disciple de Ernst Kummer en arithmétique.
Nouveau!!: Logicisme et Richard Dedekind · Voir plus »
Rudolf Carnap
Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.
Nouveau!!: Logicisme et Rudolf Carnap · Voir plus »
Scientific American
Scientific American est un magazine de vulgarisation scientifique américain à parution mensuelle (initialement hebdomadaire) existant depuis le, ce qui en fait la plus ancienne revue des États-Unis parue de façon continue.
Nouveau!!: Logicisme et Scientific American · Voir plus »
Théorèmes d'incomplétude de Gödel
Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »).
Nouveau!!: Logicisme et Théorèmes d'incomplétude de Gödel · Voir plus »
Théorie
Une théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée: théorie des matrices, des torseurs, des probabilités.
Nouveau!!: Logicisme et Théorie · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Logicisme et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Logicisme et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Théorie naïve des ensembles
Les ensembles sont d'une importance fondamentale en mathématiques; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles.
Nouveau!!: Logicisme et Théorie naïve des ensembles · Voir plus »
