Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Installer
Accès plus rapide que le navigateur!
 

Gottlob Frege

Indice 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.

147 relations: Alfred Clebsch, Alfred North Whitehead, Alfred Tarski, Allemagne, Allemand, Analyse algébrique, Analyse complexe, Anthony Kenny, Antisémitisme, Aristote, Arithmétique, Arithmétique du second ordre, Armand Colin, Axiomatisation, Éméritat, Équivalence logique, Bad Kleinen, Bataille d'Austerlitz, Bataille de Waterloo, Bertrand Russell, Broderstorf, Calcul des prédicats, Calcul des propositions, Carl Friedrich Gauss, Carl Johannes Thomae, Cercle de Vienne, Claude Imbert (philosophe), Confédération de l'Allemagne du Nord, Constructivisme (mathématiques), David Hilbert, Débarquement de Normandie, Dénotation et connotation, Description définie, Distinction entre concept et objet, Docteur (titre), Edmund Husserl, Emmanuel Kant, Entier naturel, Ernst Abbe, Ernst Schröder, Ernst Zermelo, Finitisme, Fonction et concept, Fonction logique, Fondements des mathématiques, Gallica, Galvanisme, Géométrie, Géométrie analytique, Géométrie complexe, ..., Géométrie projective, Georg Cantor, George Boole, Gottfried Wilhelm Leibniz, Grand-duché de Mecklembourg-Schwerin, Gymnasium, Habilitation universitaire, Haskell, Idéographie, Internet Encyclopedia of Philosophy, Jean Largeault, Jean van Heijenoort, John Searle, Karl Popper, Kuno Fischer, Kurt Gödel, Lac de Schwerin, Langage, Les Fondements de l'arithmétique, Logicisme, Logique, Logique d'ordre supérieur, Logique mathématique, Lois fondamentales de l'arithmétique, Ludwig Wittgenstein, Machine virtuelle Java, Mathématicien, Mathématiques, Mécanique analytique, Mécanique du solide, Mecklembourg, Mecklembourg-Poméranie-Occidentale, Michael Dummett, Nombre premier, Optique, Paradoxe de Russell, Pascal Engel, Philippe de Rouilhan, Philippe Mélanchthon, Philosophie, Philosophie analytique, Philosophie de la religion, Philosophie des mathématiques, Philosophie du langage, Physique, Physique appliquée, Pologne, Positivisme, Principe de Hume, Principia Mathematica, Privatdozent, Psychologisme, Qu'est-ce qu'une fonction ?, Quantification (logique), Que la science justifie le recours à une idéographie, Racisme, République de Weimar, Recherches logiques, Relativité générale, Rudolf Carnap, Rudolf Hermann Lotze, Seconde Guerre mondiale, Sens et Dénotation, Stanford Encyclopedia of Philosophy, Stephen Cole Kleene, Sur le but de l'idéographie, Syllogisme, Théorème d'Euclide sur les nombres premiers, Théorème de Frege, Théorèmes d'incomplétude de Gödel, Théorie des nombres, Théorie sémantique de la vérité, The Principles of Mathematics, Université d'Iéna, Université de Cambridge, Université de Göttingen, Vérité, Wilhelm Eduard Weber, Wismar, (21665) Frege, 1848, 1869, 1871, 1873, 1874, 1879, 1884, 1887, 1893, 1896, 1899, 1902, 1904, 1912, 1918, 1923, 1925. Développer l'indice (97 plus) »

Alfred Clebsch

Rudolf Friedrich Alfred Clebsch (né le à Königsberg, mort le à Göttingen) est un mathématicien prussien, connu pour ses contributions à la géométrie algébrique, la théorie des invariants et les applications de la dualité à la statique graphique.

Nouveau!!: Gottlob Frege et Alfred Clebsch · 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!!: Gottlob Frege et Alfred North Whitehead · Voir plus »

Alfred Tarski

Alfred Tarski, né Alfred Teitelbaum le à Varsovie et mort le à Berkeley en Californie, est un logicien et un philosophe polonais, un des maîtres de l'école polonaise de logique et l'un des mathématiciens logiciens les plus éminents du, fondateur de la théorie des modèles et de la sémantique formelle.

Nouveau!!: Gottlob Frege et Alfred Tarski · Voir plus »

Allemagne

LAllemagne, officiellement la République fédérale d’Allemagne est un État d'Europe centrale, et selon certaines définitions d'Europe de l'Ouest, entouré par la mer du Nord, le Danemark et la mer Baltique au nord, par la Pologne à l'est-nord-est, par la Tchéquie à l'est-sud-est, par l'Autriche au sud-sud-est, par la Suisse au sud-sud-ouest, par la France au sud-ouest, par la Belgique et le Luxembourg à l'ouest, enfin par les Pays-Bas à l'ouest-nord-ouest.

Nouveau!!: Gottlob Frege et Allemagne · Voir plus »

Allemand

Lallemand (autonyme) est l'une des langues indo-européennes appartenant à la branche famille des langues germaniques, parlée notamment en Allemagne, Autriche, Suisse, Liechtenstein, Luxembourg et dans certaines régions limitrophes des pays voisins.

Nouveau!!: Gottlob Frege et Allemand · Voir plus »

Analyse algébrique

L'analyse algébrique est un domaine des mathématiques qui traite des systèmes d'équations aux dérivées partielles linéaires en utilisant la théorie des préfaisceaux et l'analyse complexe pour étudier les propriétés et les généralisations de fonctions telles que les hyperfonctions et les microfonctions.

Nouveau!!: Gottlob Frege et Analyse algébrique · Voir plus »

Analyse complexe

L'analyse complexe est un domaine des mathématiques traitant des fonctions à valeurs complexes (ou, plus généralement, à valeurs dans un C-espace vectoriel) et qui sont dérivables par rapport à une ou plusieurs variables complexes.

Nouveau!!: Gottlob Frege et Analyse complexe · Voir plus »

Anthony Kenny

Anthony John Patrick Kenny (né le à Liverpool) est un philosophe britannique dont les intérêts résident dans la philosophie de l'esprit, la philosophie ancienne et scolastique, la philosophie de la religion et la philosophie de Wittgenstein dont il est l'exécuteur testamentaire.

Nouveau!!: Gottlob Frege et Anthony Kenny · Voir plus »

Antisémitisme

L'étoile jaune L’antisémitisme est la discrimination et l'hostilité manifestées à l'encontre des Juifs en tant que groupe ethnique, religieux ou supposément racial.

Nouveau!!: Gottlob Frege et Antisémitisme · Voir plus »

Aristote

Aristote (384-322) est un philosophe et polymathe grec de l'Antiquité.

Nouveau!!: Gottlob Frege et Aristote · 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!!: Gottlob Frege et Arithmétique · Voir plus »

Arithmétique du second ordre

En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels.

Nouveau!!: Gottlob Frege et Arithmétique du second ordre · Voir plus »

Armand Colin

Armand Colin est une maison d'édition française créée en 1870 par Auguste Armand Colin et qui devient rapidement une référence dans le monde de l'enseignement jusqu'au début du, devenu un département des Éditions Dunod.

Nouveau!!: Gottlob Frege et Armand Colin · Voir plus »

Axiomatisation

En mathématiques, l'axiomatisation d'une théorie est un procédé qui consiste à organiser celle-ci en la fondant sur des axiomes, et à en déduire rigoureusement des théorèmes, dans un cadre qui peut être purement logique, ou celui de la théorie des ensembles.

Nouveau!!: Gottlob Frege et Axiomatisation · Voir plus »

Éméritat

Léméritat, ou honorariat en Belgique, est un titre honorifique accordé à certains enseignants du supérieur et chercheurs, qui leur permet de poursuivre certains travaux alors qu'ils sont admis à faire valoir leur droit à la retraite.

Nouveau!!: Gottlob Frege et Éméritat · Voir plus »

Équivalence logique

En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.

Nouveau!!: Gottlob Frege et Équivalence logique · Voir plus »

Bad Kleinen

Bad Kleinen (Kleinen jusqu'en 1915) est une commune allemande située dans l'arrondissement du Mecklembourg-du-Nord-Ouest du Land de Mecklembourg-Poméranie-Occidentale.

Nouveau!!: Gottlob Frege et Bad Kleinen · Voir plus »

Bataille d'Austerlitz

La bataille d’Austerlitz (aujourd’hui en République tchèque), affrontement décisif de la campagne d'Allemagne, se déroule le lundi, entre Brünn et Austerlitz, dans le sud de la Moravie, alors possession autrichienne. Cette bataille oppose la Grande Armée commandée par Napoléon Bonaparte, sacré empereur des Français un an jour pour jour auparavant, aux troupes de, empereur d'Autriche et du Saint-Empire romain germanique, et aux forces russes d', tsar de Russie. Les trois souverains sont présents sur le champ de bataille, d'où son surnom de « bataille des Trois Empereurs ». Après neuf heures de combats, la Grande Armée de Napoléon, malgré son infériorité numérique, met en déroute, encercle et bat de façon décisive les forces de la Troisième Coalition qui se dissout à la suite de la bataille, obligeant l'Autriche à signer la paix de Presbourg. Outre son importance stratégique, cette bataille, la campagne qui l'a précédée, menant la Grande Armée de Boulogne-sur-Mer (Pas-de-Calais) jusqu’à Austerlitz, et les ruses de Napoléon, sont considérées comme un chef-d'œuvre tactique de, enseignée dans toutes les académies militaires au monde. Le Royaume-Uni, membre et financeur de la coalition, n'a que marginalement contribué aux opérations terrestres: ses petits contingents débarqués en Italie et en Allemagne du nord n'ont pas affronté la Grande Armée. Victorieux sur mer à la bataille de Trafalgar en, le Royaume-Uni demeure la seule grande puissance à continuer de s’opposer à l'empire napoléonien.

Nouveau!!: Gottlob Frege et Bataille d'Austerlitz · Voir plus »

Bataille de Waterloo

La bataille de Waterloo s'est déroulée le, en Belgique, à vingt kilomètres au sud de Bruxelles, dans l'actuelle province du Brabant wallon.

Nouveau!!: Gottlob Frege et Bataille de Waterloo · 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!!: Gottlob Frege et Bertrand Russell · Voir plus »

Broderstorf

Broderstorf est une commune allemande du Mecklembourg-Poméranie-Occidentale située dans l'arrondissement de Rostock.

Nouveau!!: Gottlob Frege et Broderstorf · Voir plus »

Calcul des prédicats

En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.

Nouveau!!: Gottlob Frege et Calcul des prédicats · Voir plus »

Calcul des propositions

Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.

Nouveau!!: Gottlob Frege et Calcul des propositions · Voir plus »

Carl Friedrich Gauss

Johann Carl Friedrich Gauß (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.; traditionnellement transcrit Gauss en français; Carolus Fridericus Gauss en latin), né le à Brunswick et mort le à Göttingen, est un mathématicien, astronome et physicien allemand.

Nouveau!!: Gottlob Frege et Carl Friedrich Gauss · Voir plus »

Carl Johannes Thomae

Carl Johannes Thomae (né le à Laucha an der Unstrut, mort le à Iéna) est un mathématicien allemand.

Nouveau!!: Gottlob Frege et Carl Johannes Thomae · Voir plus »

Cercle de Vienne

Le cercle de Vienne, ou Wiener Kreis, est un groupement de savants et philosophes.

Nouveau!!: Gottlob Frege et Cercle de Vienne · Voir plus »

Claude Imbert (philosophe)

Claude Imbert, née le, est une philosophe et logicienne française.

Nouveau!!: Gottlob Frege et Claude Imbert (philosophe) · Voir plus »

Confédération de l'Allemagne du Nord

La confédération de l'Allemagne du Nord (en allemand: Norddeutscher Bund) est une fédération constituée de vingt-deux États allemands situés au nord de la ligne du Main, qui a existé de 1867 à 1871.

Nouveau!!: Gottlob Frege et Confédération de l'Allemagne du Nord · Voir plus »

Constructivisme (mathématiques)

En philosophie des mathématiques, le constructivisme est une position vis-à-vis des mathématiques qui considère que l'on ne peut effectivement démontrer l'existence d'objets mathématiques qu'en donnant une construction de ceux-ci, une suite d'opérations mentales qui conduit à l'évidence de l'existence de ces objets.

Nouveau!!: Gottlob Frege et Constructivisme (mathématiques) · Voir plus »

David Hilbert

David Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand.

Nouveau!!: Gottlob Frege et David Hilbert · Voir plus »

Débarquement de Normandie

Le débarquement de Normandie, également appelé débarquement en Normandie, ou encore débarquement allié en Normandie, nom de code opération NeptuneBien qu'il soit quelquefois affirmé que l'opération Neptune n'est que la partie navale de l'opération Overlord, elle-même souvent limitée au seul débarquement allié et à l'établissement des têtes de pont sur la côte normande, les sources historiques établissent clairement que l'opération Neptune est la partie débarquement et l'établissement d'une tête de pont côtière au sein de la plus vaste opération Overlord, qui vise quant à elle à l'établissement d'une tête de pont de plus grande échelle dans le Nord-Ouest de l'Europe.

Nouveau!!: Gottlob Frege et Débarquement de Normandie · Voir plus »

Dénotation et connotation

En linguistique, pour un signe quelconque (en particulier des mots et expressions du langage parlé ou écrit), le sens signifié dénotatif, la dénotation, est distinct du sens ou signifié connotatif, la connotation.

Nouveau!!: Gottlob Frege et Dénotation et connotation · Voir plus »

Description définie

Une description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »).

Nouveau!!: Gottlob Frege et Description définie · Voir plus »

Distinction entre concept et objet

En philosophie du langage, la distinction entre le concept et l'objet fut énoncée par le philosophe allemand Gottlob Frege.

Nouveau!!: Gottlob Frege et Distinction entre concept et objet · Voir plus »

Docteur (titre)

Le titre de docteur est décerné aux titulaires du grade universitaire de doctorat.

Nouveau!!: Gottlob Frege et Docteur (titre) · Voir plus »

Edmund Husserl

Edmund Husserl (-) est un philosophe et logicien, autrichien de naissance, puis prussien, fondateur de la phénoménologie, qui eut une influence majeure sur l'ensemble de la philosophie du.

Nouveau!!: Gottlob Frege et Edmund Husserl · Voir plus »

Emmanuel Kant

Emmanuel Kant, né le à Königsberg en Prusse (aujourd'hui appelée Kaliningrad en Russie), et mort le dans cette même ville, est un philosophe prussien, fondateur du criticisme et de la doctrine dite « idéalisme transcendantal ».

Nouveau!!: Gottlob Frege et Emmanuel Kant · Voir plus »

Entier naturel

En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).

Nouveau!!: Gottlob Frege et Entier naturel · Voir plus »

Ernst Abbe

Ernst Karl Abbe, né le à Eisenach et mort le à Iéna, est un physicien et un industriel allemand.

Nouveau!!: Gottlob Frege et Ernst Abbe · Voir plus »

Ernst Schröder

Ernst Schröder (1841-1902) est un mathématicien allemand.

Nouveau!!: Gottlob Frege et Ernst Schröder · Voir plus »

Ernst Zermelo

Ernst Zermelo (à Berlin - à Fribourg-en-Brisgau, à l'état civil, Ernst Friedrich Ferdinand Zermelo) est un mathématicien allemand.

Nouveau!!: Gottlob Frege et Ernst Zermelo · Voir plus »

Finitisme

Le finitisme est une philosophie des mathématiques qui ne prend en considération que les objets mathématiques finis.

Nouveau!!: Gottlob Frege et Finitisme · Voir plus »

Fonction et concept

Fonction et concept (Funktion und Begriff) est une conférence de Gottlob Frege, prononcée le devant la Société savante d'Iéna pour la médecine et les sciences naturelles, et publiée la même année sous la forme d'un livret d'une trentaine de pages.

Nouveau!!: Gottlob Frege et Fonction et concept · Voir plus »

Fonction logique

Il existe deux grands types de fonctions logiques.

Nouveau!!: Gottlob Frege et Fonction logique · Voir plus »

Fondements des mathématiques

Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science.

Nouveau!!: Gottlob Frege et Fondements des mathématiques · Voir plus »

Gallica

Gallica est la bibliothèque numérique de la Bibliothèque nationale de France et de ses partenaires.

Nouveau!!: Gottlob Frege et Gallica · Voir plus »

Galvanisme

Le docteur Ure galvanisant le corps de l'assassin Clydsdale (L. Figuier, ''Les merveilles de la science'', 1867). En physique et chimie, le galvanisme est le processus de création d'un courant électrique par réaction chimique d'oxydo-réduction, typiquement entre deux espèces chimiques de potentiels redox différents.

Nouveau!!: Gottlob Frege et Galvanisme · Voir plus »

Géométrie

La géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne).

Nouveau!!: Gottlob Frege et Géométrie · Voir plus »

Géométrie analytique

La géométrie analytique est une approche de la géométrie dans laquelle les objets sont décrits par des équations ou des inéquations à l'aide d'un système de coordonnées.

Nouveau!!: Gottlob Frege et Géométrie analytique · Voir plus »

Géométrie complexe

La géométrie complexe est un pan entier de la géométrie, intéressé dans l'étude des ouverts de l'espace vectoriel complexe Cn, et par extension des variétés holomorphes.

Nouveau!!: Gottlob Frege et Géométrie complexe · Voir plus »

Géométrie projective

En mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et dhorizon.

Nouveau!!: Gottlob Frege et Géométrie projective · 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!!: Gottlob Frege et Georg Cantor · Voir plus »

George Boole

George Boole, né le à Lincoln (Royaume-Uni) et mort le à Ballintemple (Irlande), est un logicien, mathématicien et philosophe britannique.

Nouveau!!: Gottlob Frege et George Boole · Voir plus »

Gottfried Wilhelm Leibniz

Gottfried Wilhelm Leibniz (Prononciation en allemand standard retranscrite phonémiquement selon la norme API.), parfois francisé en Godefroid-Guillaume Leibniz, né à Leipzig le et mort à Hanovre le, est un philosophe, scientifique, mathématicien, logicien, diplomate, juriste, historien, bibliothécaire et philologue allemand.

Nouveau!!: Gottlob Frege et Gottfried Wilhelm Leibniz · Voir plus »

Grand-duché de Mecklembourg-Schwerin

Le grand-duché de Mecklembourg-Schwerin (en Großherzogtum Mecklenburg-Schwerin) fut un État du nord-est de l'Allemagne de 1815 à 1918, situé sur le littoral de la Baltique et issu de l'érection du duché de Mecklembourg-Schwerin en grand-duché (celui-ci est né lui-même d'une partition du duché de Mecklembourg qui exista de 1352 à 1815).

Nouveau!!: Gottlob Frege et Grand-duché de Mecklembourg-Schwerin · Voir plus »

Gymnasium

L'école de l'abbaye de Melk. Le terme latin gymnasium, utilisé par l'allemand et d'autres langues, vient du grec γυμνάσιον (gymnásion).

Nouveau!!: Gottlob Frege et Gymnasium · Voir plus »

Habilitation universitaire

L'habilitation est la plus haute qualification universitaire qu'une personne puisse recevoir dans certains pays, notamment européens.

Nouveau!!: Gottlob Frege et Habilitation universitaire · Voir plus »

Haskell

Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.

Nouveau!!: Gottlob Frege et Haskell · Voir plus »

Idéographie

Begriffschrift'' (''Idéographie''). L'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 mathématique.

Nouveau!!: Gottlob Frege et Idéographie · Voir plus »

Internet Encyclopedia of Philosophy

Internet Encyclopedia of Philosophy (IEP) est une encyclopédie en ligne d'accès gratuit sur la philosophie fondée par James Fieser en 1995.

Nouveau!!: Gottlob Frege et Internet Encyclopedia of Philosophy · Voir plus »

Jean Largeault

Jean Largeault (né le au Mans et mort le à Créteil) est un philosophe français, spécialiste de logique et de philosophie des mathématiques, et défenseur de la logique intuitionniste.

Nouveau!!: Gottlob Frege et Jean Largeault · Voir plus »

Jean van Heijenoort

Jean Louis Maxime van Heijenoort, (–) est un pionnier français de la logique mathématique.

Nouveau!!: Gottlob Frege et Jean van Heijenoort · Voir plus »

John Searle

John Rogers Searle est un philosophe américain né à Denver dans l'État du Colorado le, il appartient au courant analytique, et est un spécialiste de la philosophie du langage, ainsi que de la philosophie de l'esprit.

Nouveau!!: Gottlob Frege et John Searle · Voir plus »

Karl Popper

Karl Popper, né le à Vienne en Autriche et mort le à Londres (Croydon) au Royaume-Uni, est un enseignant et philosophe des sciences du, autrichien naturalisé britannique.

Nouveau!!: Gottlob Frege et Karl Popper · Voir plus »

Kuno Fischer

Ernst Kuno Berthold Fischer, (Tschistey -, Heidelberg) est un philosophe allemand.

Nouveau!!: Gottlob Frege et Kuno Fischer · 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!!: Gottlob Frege et Kurt Gödel · Voir plus »

Lac de Schwerin

Le lac de Schwerin (Schweriner See) est un lac du Mecklembourg occidental, entre Schwerin et Hohen Viecheln.

Nouveau!!: Gottlob Frege et Lac de Schwerin · Voir plus »

Langage

Le langage est la capacité d'exprimer une pensée et de communiquer au moyen d'un système de signes (vocaux, gestuel, graphiques, tactiles, olfactifs, etc.) doté d'une sémantique, et le plus souvent d'une syntaxe — mais ce n'est pas systématique (la cartographie est un exemple de langage non syntaxique).

Nouveau!!: Gottlob Frege et Langage · Voir plus »

Les Fondements de l'arithmétique

Couverture de l'édition originale allemande. Les Fondements de l'arithmétique (Die Grundlagen der Arithmetik) est une œuvre de Gottlob Frege.

Nouveau!!: Gottlob Frege et Les Fondements de l'arithmétique · Voir plus »

Logicisme

Le logicisme est une attitude vis-à-vis des mathématiques selon laquelle celles-ci sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique, définition tirée de S Korner, Philosophy of Mathematics (1960), chs 2, 3.

Nouveau!!: Gottlob Frege et Logicisme · 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!!: Gottlob Frege et Logique · Voir plus »

Logique d'ordre supérieur

Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats.

Nouveau!!: Gottlob Frege et Logique d'ordre supérieur · Voir plus »

Logique mathématique

La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.

Nouveau!!: Gottlob Frege et Logique mathématique · Voir plus »

Lois fondamentales de l'arithmétique

Lois fondamentales de l'arithmétique (titre original en allemand: Grundgesetze der Arithmetik) est l'ouvrage principal de Gottlob Frege, et une base de la logique moderne.

Nouveau!!: Gottlob Frege et Lois fondamentales de l'arithmétique · Voir plus »

Ludwig Wittgenstein

Ludwig Josef Johann Wittgenstein, né à Vienne en Autriche le et mort à Cambridge au Royaume-Uni le, est un philosophe, mathématicien, ingénieur, pédagogue et architecte de nationalité autrichienne, puis, à partir de 1939, britannique, ayant exploré de manière décisive certains domaines fondamentaux de la connaissance tels que la logique, les fondements des mathématiques et la philosophie du langage.

Nouveau!!: Gottlob Frege et Ludwig Wittgenstein · Voir plus »

Machine virtuelle Java

Machine virtuelle Java - Spécification Java 7 La machine virtuelle Java (en anglais Java virtual machine, abr. JVM) est un appareil informatique fictif qui exécute des programmes compilés sous forme de bytecode Java.

Nouveau!!: Gottlob Frege et Machine virtuelle Java · Voir plus »

Mathématicien

Carl Friedrich Gauss, aussi appelé « prince des mathématiciens ». Emmy Noether Un mathématicien ou une mathématicienne est au sens restreint un chercheur ou une chercheuse en mathématiques, par extension toute personne faisant des mathématiques la base de son activité principale.

Nouveau!!: Gottlob Frege et Mathématicien · 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!!: Gottlob Frege et Mathématiques · Voir plus »

Mécanique analytique

La mécanique analytique est une formulation de la mécanique classique basée sur le calcul variationnel.

Nouveau!!: Gottlob Frege et Mécanique analytique · Voir plus »

Mécanique du solide

La mécanique du solide est la partie de la mécanique qui s'intéresse aux objets que l'on ne peut réduire en un point matériel.

Nouveau!!: Gottlob Frege et Mécanique du solide · Voir plus »

Mecklembourg

Le Mecklembourg (en Mecklenburg; Mäkel(n)borg en mecklembourgeois-poméranien) est une région historique de l'Allemagne septentrionale s'étendant le long de la baie du Mecklembourg sur la mer Baltique.

Nouveau!!: Gottlob Frege et Mecklembourg · Voir plus »

Mecklembourg-Poméranie-Occidentale

Le Mecklembourg-Poméranie-OccidentaleParfois appelé Mecklembourg-Poméranie-Antérieure Prononciation en français de France (français standard) retranscrite selon la norme API.

Nouveau!!: Gottlob Frege et Mecklembourg-Poméranie-Occidentale · Voir plus »

Michael Dummett

Sir Michael Anthony Eardley Dummett (né le à Londres et mort le à Oxford) est l'un des principaux philosophes britanniques du et l'un des principaux auteurs de la philosophie analytique.

Nouveau!!: Gottlob Frege et Michael Dummett · Voir plus »

Nombre premier

Entiers naturels de zéro à cent. Les nombres premiers sont marqués en rouge. 7 est premier car il admet exactement deux diviseurs positifs distincts. Un nombre premier est un entier naturel qui admet exactement deux diviseurs distincts entiers et positifs.

Nouveau!!: Gottlob Frege et Nombre premier · Voir plus »

Optique

L'optique est la branche de la physique qui traite de la lumière, de son comportement et de ses propriétés, du rayonnement électromagnétique à la vision en passant par les systèmes utilisant ou émettant de la lumière.

Nouveau!!: Gottlob Frege et Optique · 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!!: Gottlob Frege et Paradoxe de Russell · Voir plus »

Pascal Engel

Pascal Engel, né le à Aix-en-Provence, est un philosophe français, dont les écrits portent principalement sur la philosophie du langage, la philosophie de la logique, et la philosophie de la connaissance.

Nouveau!!: Gottlob Frege et Pascal Engel · Voir plus »

Philippe de Rouilhan

Philippe de Rouilhan (né le) est un philosophe français, directeur de recherches émérite à l'Institut d'histoire et de philosophie des sciences et des techniques de l'Université Paris 1 Panthéon-Sorbonne.

Nouveau!!: Gottlob Frege et Philippe de Rouilhan · Voir plus »

Philippe Mélanchthon

Philippe Mélanchthon, né le à Bretten (Palatinat du Rhin) et mort le à Wittemberg (Électorat de Saxe), est un érudit humaniste, philosophe et réformateur protestant allemand.

Nouveau!!: Gottlob Frege et Philippe Mélanchthon · Voir plus »

Philosophie

La philosophie, du grec ancien (composé de, « aimer », et de, « sagesse, savoir »), signifiant littéralement « amour du savoir » et communément « amour de la sagesse », est une démarche qui vise à une compréhension du monde et de la vie par une réflexion rationnelle et critique.

Nouveau!!: Gottlob Frege et Philosophie · 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!!: Gottlob Frege et Philosophie analytique · Voir plus »

Philosophie de la religion

La philosophie de la religion est la partie de la philosophie qui pose la question de savoir ce qu'est une religion.

Nouveau!!: Gottlob Frege et Philosophie de la religion · 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!!: Gottlob Frege et Philosophie des mathématiques · Voir plus »

Philosophie du langage

La philosophie du langage est la branche de la philosophie qui s'intéresse aux langages, et plus particulièrement à la signification, à la référence ou au sens en général, à son usage, à son apprentissage et à ses processus de création, ainsi qu'à sa compréhension, à la communication en général, à l'interprétation et à la traduction.

Nouveau!!: Gottlob Frege et Philosophie du langage · Voir plus »

Physique

La physique est la science qui essaie de comprendre, de modéliser et d'expliquer les phénomènes naturels de l'Univers.

Nouveau!!: Gottlob Frege et Physique · Voir plus »

Physique appliquée

La physique appliquée est la branche de la physique qui s'intéresse à l'étude de ses applications industrielles, notamment du point de vue de l'équipement dans les secteurs primaires et secondaires (moteur, machine d'usinage, transformateur, poste de soudage...).

Nouveau!!: Gottlob Frege et Physique appliquée · Voir plus »

Pologne

La Pologne, en forme longue république de Pologne (Rzeczpospolita Polska), est un État d'Europe centrale, frontalier avec l'Allemagne à l'ouest, la Tchéquie au sud-ouest, la Slovaquie au sud, l'Ukraine à l'est-sud-est et la Biélorussie à l'est-nord-est, et enfin l'enclave russe de Kaliningrad et la Lituanie au nord-est.

Nouveau!!: Gottlob Frege et Pologne · Voir plus »

Positivisme

Le positivisme est un courant philosophique fondé au par Auguste Comte, à la fois héritier et critique des Lumières du et qui soumet de manière rigoureuse les connaissances acquises à l'épreuve des faits.

Nouveau!!: Gottlob Frege et Positivisme · 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!!: Gottlob Frege 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!!: Gottlob Frege et Principia Mathematica · Voir plus »

Privatdozent

Caricature, ''Fliegende Blätter'' (1848): "Un privat-docent allemand, qui, enveloppé dans ses espoirs, devient une momie". Sur la momie, on peut lire: "Nomination au poste de ''Hofrat''; nomination à Berlin; augmentation de salaire; nomination au poste de professeur ordinaire; nomination au poste de professeur extraordinaire". Privatdozent (Privat docent avant la réforme orthographique allemande de décembre 1902) est depuis le un titre universitaire de tradition allemande en Europe.

Nouveau!!: Gottlob Frege et Privatdozent · Voir plus »

Psychologisme

Le psychologisme est un terme apparu au qui désigne, au sens large et parfois péjoratif, une tendance à interpréter le comportement des individus au travers du spectre de la psychologie, et de faire de la psyché individuelle le noyau dur permettant de comprendre le monde.

Nouveau!!: Gottlob Frege et Psychologisme · Voir plus »

Qu'est-ce qu'une fonction ?

Qu'est-ce qu'une fonction ? (Was ist eine Funktion ?) est un article de Gottlob Frege, publié en 1904 en hommage à Ludwig Boltzmann.

Nouveau!!: Gottlob Frege et Qu'est-ce qu'une fonction ? · Voir plus »

Quantification (logique)

236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.

Nouveau!!: Gottlob Frege et Quantification (logique) · Voir plus »

Que la science justifie le recours à une idéographie

Que la science justifie le recours à une idéographie est un article de Gottlob Frege publié en 1882 dans le Zeitschrift für Philosophie und philosophische Kritik. À travers ce texte de seulement quatre pages, le logicien et philosophe de Iéna se propose de montrer pour quelles raisons une écriture idéographique est nécessaire dans les sciences abstraites.

Nouveau!!: Gottlob Frege et Que la science justifie le recours à une idéographie · Voir plus »

Racisme

Le racisme est une idéologie qui, partant du postulat de l'existence de races au sein de l'espèce humaineDans l'article « Racisme » de lEncyclopaedia Universalis, l'écrivain Albert Memmi souligne que, extrait «, sur universalis.fr, considère que certaines catégories de personnes sont intrinsèquement supérieures à d'autres.

Nouveau!!: Gottlob Frege et Racisme · Voir plus »

République de Weimar

La république de Weimar est le nom donné par les historiens au régime politique en place en Allemagne de 1918 à 1933.

Nouveau!!: Gottlob Frege et République de Weimar · Voir plus »

Recherches logiques

Les Recherches logiques (publiées sous le titre Prolégomènes à la logique pure) est un ouvrage du philosophe allemand Edmund Husserl paru en 1900-1901.

Nouveau!!: Gottlob Frege et Recherches logiques · Voir plus »

Relativité générale

La relativité générale est une théorie relativiste de la gravitation, c'est-à-dire qu'elle décrit l'influence de la présence de matière, et plus généralement d'énergie, sur le mouvement des astres en tenant compte des principes de la relativité restreinte.

Nouveau!!: Gottlob Frege et Relativité générale · Voir plus »

Rudolf Carnap

Rudolf Carnap, né le à Ronsdorf et mort le à Santa Monica, est un philosophe allemand naturalisé américain en 1941.

Nouveau!!: Gottlob Frege et Rudolf Carnap · Voir plus »

Rudolf Hermann Lotze

Rudolf Hermann Lotze (-) est un philosophe, médecin et logicien allemand.

Nouveau!!: Gottlob Frege et Rudolf Hermann Lotze · Voir plus »

Seconde Guerre mondiale

La Seconde Guerre mondiale, ou Deuxième Guerre mondiale, est un conflit armé à l'échelle planétaire qui dure du au.

Nouveau!!: Gottlob Frege et Seconde Guerre mondiale · Voir plus »

Sens et Dénotation

Sens et Dénotation, aussi traduit par Sens et Référence, est un article de Gottlob Frege publié en 1892 dans la revue Zeitschrift für Philosophie und philosophische Kritik.

Nouveau!!: Gottlob Frege et Sens et Dénotation · Voir plus »

Stanford Encyclopedia of Philosophy

La Stanford Encyclopedia of Philosophy (SEP) est une encyclopédie de philosophie en ligne mise en place et gérée par l'université Stanford.

Nouveau!!: Gottlob Frege et Stanford Encyclopedia of Philosophy · Voir plus »

Stephen Cole Kleene

Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.

Nouveau!!: Gottlob Frege et Stephen Cole Kleene · Voir plus »

Sur le but de l'idéographie

Sur le but de l'idéographie est un article de Gottlob Frege, publié en 1882-1883, dans le Jenaische Zeitschrift für Naturwissenschaft.

Nouveau!!: Gottlob Frege et Sur le but de l'idéographie · Voir plus »

Syllogisme

En logique, le syllogisme est un raisonnement logique mettant en relation au moins trois propositions: deux ou plus d'entre elles, appelées « prémisses », conduisent à une « conclusion ».

Nouveau!!: Gottlob Frege et Syllogisme · Voir plus »

Théorème d'Euclide sur les nombres premiers

En arithmétique, le théorème d'Euclide sur les nombres premiers affirme qu'il existe une infinité de nombres premiers.

Nouveau!!: Gottlob Frege et Théorème d'Euclide sur les nombres premiers · Voir plus »

Théorème de Frege

En métalogique et en métamathématique, le théorème de Frege est un métathéorème qui affirme que les axiomes de l'arithmétique de Peano sont dérivables en logique du second ordre à partir du principe de Hume.

Nouveau!!: Gottlob Frege et Théorème de Frege · 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!!: Gottlob Frege et Théorèmes d'incomplétude de Gödel · Voir plus »

Théorie des nombres

Traditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs).

Nouveau!!: Gottlob Frege et Théorie des nombres · Voir plus »

Théorie sémantique de la vérité

Une théorie sémantique de la vérité est une théorie de la vérité en philosophie du langage qui soutient que la vérité est une propriété des phrases.

Nouveau!!: Gottlob Frege et Théorie sémantique de la vérité · Voir plus »

The Principles of Mathematics

The Principles of Mathematics (Les Principes des Mathématiques) est un livre publié par Bertrand Russell en 1903.

Nouveau!!: Gottlob Frege et The Principles of Mathematics · Voir plus »

Université d'Iéna

L’université d'Iéna, baptisée du nom de Friedrich Schiller, (ou FSU) est une université allemande située à Iéna en Thuringe.

Nouveau!!: Gottlob Frege et Université d'Iéna · Voir plus »

Université de Cambridge

L'université de Cambridge (en anglais: University of Cambridge) est une université britannique située à Cambridge, en Angleterre.

Nouveau!!: Gottlob Frege et Université de Cambridge · Voir plus »

Université de Göttingen

L’université Georg-August de Göttingen — en allemand Georg-August-Universität Göttingen, est une des plus célèbres universités allemandes, dont sont issus notamment des mathématiciens de grand renom.

Nouveau!!: Gottlob Frege et Université de Göttingen · Voir plus »

Vérité

Walter Seymour Allward, ''Veritas'', 1920 ''Nec mergitur'' ou ''La Vérité sortant du puits'', toile de Édouard Debat-Ponsan, 1898. La vérité (du latin veritas, « vérité », dérivé de verus, « vrai ») est la correspondance entre une proposition et la réalité à laquelle cette proposition réfère.

Nouveau!!: Gottlob Frege et Vérité · Voir plus »

Wilhelm Eduard Weber

Wilhelm Eduard Weber (à Wittemberg - à Göttingen) est un physicien prussien qui a raccordé différentes unités de mesures électriques et magnétiques par des expériences précises, et a joué un rôle décisif dans l'invention du télégraphe électrique.

Nouveau!!: Gottlob Frege et Wilhelm Eduard Weber · Voir plus »

Wismar

Wismar est une ville hanséatique du Mecklembourg-Poméranie-Occidentale, dans le nord-est de l'Allemagne, au bord de la baie de Wismar sur la mer Baltique.

Nouveau!!: Gottlob Frege et Wismar · Voir plus »

(21665) Frege

(21665) Frege est un astéroïde de la ceinture principale.

Nouveau!!: Gottlob Frege et (21665) Frege · Voir plus »

1848

L'année 1848 est une année bissextile qui commence un samedi.

Nouveau!!: Gottlob Frege et 1848 · Voir plus »

1869

L'année 1869 est une année commune qui commence un vendredi.

Nouveau!!: Gottlob Frege et 1869 · Voir plus »

1871

L'année 1871 est une année commune qui commence un dimanche.

Nouveau!!: Gottlob Frege et 1871 · Voir plus »

1873

L'année 1873 est une année commune qui commence un mercredi.

Nouveau!!: Gottlob Frege et 1873 · Voir plus »

1874

L'année 1874 est une année commune qui commence un jeudi.

Nouveau!!: Gottlob Frege et 1874 · Voir plus »

1879

L'année 1879 est une année commune qui commence un mercredi.

Nouveau!!: Gottlob Frege et 1879 · Voir plus »

1884

L'année 1884 est une année bissextile qui commence un mardi.

Nouveau!!: Gottlob Frege et 1884 · Voir plus »

1887

L'année 1887 est une année commune qui commence un samedi.

Nouveau!!: Gottlob Frege et 1887 · Voir plus »

1893

L'année 1893 est une année commune qui commence un dimanche.

Nouveau!!: Gottlob Frege et 1893 · Voir plus »

1896

L'année 1896 est une année bissextile qui commence un mercredi.

Nouveau!!: Gottlob Frege et 1896 · Voir plus »

1899

L'année 1899 est une année commune qui commence un dimanche.

Nouveau!!: Gottlob Frege et 1899 · Voir plus »

1902

L'année 1902 est une année commune qui commence un mercredi.

Nouveau!!: Gottlob Frege et 1902 · Voir plus »

1904

L'année 1904 est une année bissextile qui commence un vendredi.

Nouveau!!: Gottlob Frege et 1904 · Voir plus »

1912

L'année 1912 est une année bissextile qui commence un lundi.

Nouveau!!: Gottlob Frege et 1912 · Voir plus »

1918

L'année 1918 est une année commune qui commence un mardi.

Nouveau!!: Gottlob Frege et 1918 · Voir plus »

1923

L'année 1923 est une année commune qui commence un lundi.

Nouveau!!: Gottlob Frege et 1923 · Voir plus »

1925

L'année 1925 est une année commune qui commence un jeudi.

Nouveau!!: Gottlob Frege et 1925 · Voir plus »

Redirections ici:

Frege, Friedrich Ludwig Gottlob Frege.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »