Logicism

Le Logicism est l'une des écoles de la pensée en philosophie de des mathématiques , mettant en avant la théorie que les mathématiques sont une prolongation de la logique et donc une partie ou toutes les mathématiques est le réductible à la logique. Le Bertrand Russell et le Alfred Whitehead du nord ont soutenu cette théorie engendrée par le Gottlob Frege . Frege a abandonné sur le projet après que Russell ait identifié un paradoxe exposant une contradiction dans la théorie des ensembles naïve . Russell et Whitehead ont continué dessus le projet dans leur Principia Mathematica de .

Le théorème d'imperfection de de s de Gödel Kurt le 'est parfois allégué pour miner le but du projet.

Le Logicism était le développement de la philosophie analytique au 20ème siècle .

Néo--logicism

le Néo--logicism décrit une gamme des vues prétendant être le successeur du programme original de logicist. Plus étroitement, il est défini en tant que tentatives de ressusciter le programme de Frege de par l'utilisation du principe de Hume de . Un des partisans principaux du néo--logicism est Crispin Wright .

Voir également

Nominalism
Fictionalism mathématique

Random links: