| Information | |
|---|---|
| has gloss | eng: Logicism is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic. Bertrand Russell and Alfred North Whitehead championed this theory fathered by Gottlob Frege. Frege gave up on the project after Russell recognized a paradox exposing an inconsistency in naive set theory. Russell and Whitehead continued on with the project in their Principia Mathematica. Today, the bulk of modern mathematics is believed to be reducible to a logical foundation using the axioms of Zermelo-Fraenkel set theory (or one of its extensions, such as ZFC), which has no known inconsistencies (although it remains possible that inconsistencies in it may still be discovered). |
| lexicalization | eng: Logicism |
| instance of | (noun) English philosopher and mathematician who collaborated with Whitehead (1872-1970) Russell, Earl Russell, Bertrand Russell, Bertrand Arthur William Russell |
| Meaning | |
|---|---|
| German | |
| has gloss | deu: Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik. Sie wurde zuerst von Gottlob Frege Ende des 19. Jahrhunderts formuliert und besagt, dass sich die Mathematik auf die Logik zurückführen lässt. Die Gegenposition zu dieser Theorie ist, dass es sich bei der Logik um einen Zweig der Mathematik handelt, dass also die Mathematik das Fundamentalere ist. Diese Position wurde implizit von den Pionieren der mathematischen Logik im 19. Jahrhundert, Georg Cantor und George Boole, vertreten. |
| lexicalization | deu: Logizismus |
| Modern Greek (1453-) | |
| has gloss | ell: Ο Λογικισμός (ή Λογικοκρατία) (Logicismus ή Logismus) είναι η σχολή σκέψης στη φιλοσοφία των μαθηματικών, σύμφωνα με την οποία, τα μαθηματικά αποτελούν επέκταση της λογικής και επομένως μπορούν να αναχθούν σε αυτή. Η αντίληψη ότι η λογική αποτελεί τη βάση κάθε φιλοσοφικής έρευνας, έρχεται σε αντίθεση προς τον ψυχολογισμό (Psychologismus), φιλοσοφική σχολή που αποχωρίζει από του «ψυχικού» κάθε λογικό στοιχείο, αποδίδοντας σ΄ αυτό υπόσταση ανάλογη προς εκείνη των Πλατωνικών ιδεών γι αυτό και ονομάζεται Υπερβατική Σχολή. |
| lexicalization | ell: Λογικισμός |
| Estonian | |
| has gloss | est: Logitsism (inglise keeles logicism, saksa keeles Logizismus) on seisukoht matemaatikafilosoofias, mis lähtub eeldusest, et matemaatika on loogika laiendus ning kogu matemaatika on taandatav loogikale kui ainsale alusele, st matemaatika mõisted on taandatavad loogika mõistetele ja matemaatika järeldamisviisid on taandatavad loogika järeldamisviisidele. Selline taandamine annaks matemaatikale täiesti ranged alused ja tagaks ühtlasi matemaatika meetodite usaldatavuse. |
| lexicalization | est: logitsism |
| Finnish | |
| has gloss | fin: Logisismi on matematiikan filosofian suuntaus, joka näki matematiikan logiikan laajennoksena ja pyrki palauttamaan osan tai kaiken matematiikasta logiikkaan. Ohjelman isänä voidaan pitää Gottlob Fregeä, ja sitä toteuttivat ennen kaikkea Bertrand Russell (Principles of Mathematics, 1903) ja Alfred North Whitehead. Frege luopui ohjelmasta Russellin havaittua niin sanotun Russellin paradoksin, joka todisti niin sanotun naiivin joukko-opin ristiriitaisuuden. Russell ja Whitehead jatkoivat logisismin kehittämistä teoksessaan Principia Mathematica (1910-1913). |
| lexicalization | fin: logisismi |
| French | |
| has gloss | fra: Le logicisme est la théorie selon laquelle les mathématiques sont une extension de la logique et donc que tous les concepts et théories mathématiques sont réductibles à la logique . Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général . |
| lexicalization | fra: logicisme |
| Italian | |
| has gloss | ita: Il logicismo è il tentativo di ridurre la matematica ai concetti ed alle regole della logica. Per lo sviluppo della matematica non sarebbero necessari altri concetti che quelli della logica, essendo la matematica fondamentalmente un'applicazione specifica delle leggi universali della logica. Ogni concetto, teorema e legge della matematica può essere quindi dedotto e dimostrato partendo dagli assiomi fondamentali della logica. |
| lexicalization | ita: logicismo |
| Japanese | |
| has gloss | jpn: 数学における論理主義（ろんりしゅぎ、、、）は、数学全体を論理学の一部とみなすことで、数学の基礎付け、数学の論理学への還元、つまり論理学の諸規則から数学のそれを演繹することが出来るとする立場である。ゴットロープ・フレーゲの先駆的な仕事を受けて、特にバートランド・ラッセルやアルフレッド・ノース・ホワイトヘッドによって唱えられた。彼らはその主張を三巻に及ぶ大部の書物『プリンキピア・マテマティカ』 (Principia Mathematica)（1910年 - 1913年）のうちである程度実現してみせた。 |
| lexicalization | jpn: 論理主義 |
| Korean | |
| has gloss | kor: 논리주의(論理主義)는 심리주의에 대립되는 말로, 모든 것을 논리적으로 설명할 수 있다고 하거나 혹은 하려는 입장이다. 형식논리학으로 해석하려는 것, 인식론의 근거를 논리에서 찾아보겠다는 것 등 여러 사고방식이 있다. |
| lexicalization | kor: 논리주의 |
| Dutch | |
| has gloss | nld: Het logicisme is een van de scholen van denken in de filosofie van de wiskunde. Het logicisme stelt dat de wiskunde een uitbreiding van de logica is en dat daarom (een deel van) de wiskunde reduceerbaar is tot logica . Bertrand Russell en Alfred North Whitehead maakten zich sterk voor deze theorie, waarvan Gottlob Frege de geestelijke vader was. Frege gaf het project op, nadat Russell een paradox had gevonden die een inconsistentie in de naïeve verzamelingenleer aan het licht bracht. Russell en Whitehead gingen door met het project in hun Principia Mathematica . Heden ten dage wordt geloofd dat het grootste deel van de moderne wiskunde reduceerbaar is tot een logisch fundament dat gebruik maakt van de axioma's van de Zermelo-Fraenkel-verzamelingenleer (of een van haar uitbreidingen, zoals ZFC). De Zermelo-Fraenkel-verzamelingenleer kent zover op dit moment bekend geen inconsistenties. |
| lexicalization | nld: logicisme |
| Polish | |
| has gloss | pol: Logicyzm to kierunek w filozofii matematyki, zakładający, że można oprzeć jej podstawy na bazie rachunku logicznego zdań (porównaj logika). W szczególności sprowadza to matematykę jako naukę do szczególnego rodzaju formalnej teorii logicznej implementującej pewien zestaw aksjomatów i wyprowadzającej z nich wnioski w oparciu o pewien zespół definicji (porównaj: formalizm (matematyka)). |
| lexicalization | pol: logicyzm |
| Portuguese | |
| has gloss | por: Logicismo é a tese que a matemática -- ou uma parte dela -- reduz-se à lógica -- ou a uma parte da lógica. Gottlob Frege foi um dos primeiros lógicos a defendê-la.(Independentemente, Richard Dedekind, em Was sind und was sollen die Zahlen?(1887), desenvolvia seu projeto, centrado na tese que aritmética é parte da lógica, e o conceito de número inteiramente independente das noções ou intuições do espaço e tempo.) Frege examinou , p.ex., nos Fundamentos da Aritmética (1884), como a lógica poderia estar na base de algumas verdades matemáticas -- precisamente aquelas da aritmética -- sem torná-las totalmente triviais. Bertrand Russell, com a colaboração de A.N.Whitehead, p.ex., em Principia Mathematica (1910-13; 1925-7), estendeu essas indagações, e suscitou mais algumas, para todas as verdades matemáticas. |
| lexicalization | por: Logicismo |
| Russian | |
| has gloss | rus: Логицизм — одно из основных направлений математики, ставящее целью обосновать математику путем сведения ее исходных понятий к понятиям логики. |
| lexicalization | rus: Логицизм |
| Slovak | |
| has gloss | slk: Logicizmus je smer v logicko-filozofickom zdôvodňovaní matematiky, ktorý vychádza z Leibnizovej tézy o redukovateľnosti matematiky na logiku. Realizovať tuto ideu sa koncom 19. storočia pokúsil Frege, ktorý si vytýčil za úlohu definovať východiskové matematické pojmy iba pomocou logických termínov. |
| lexicalization | slk: logicizmus |
| Castilian | |
| has gloss | spa: En la filosofía de la matemática, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica. |
| lexicalization | spa: logicismo |
| Serbian | |
| has gloss | srp: Логицизам је ознака за неко филозофско становиште уколико ово придаје логици фундаментални значај, или уколико се у њему суштина моралног деловања поистовећује са расуђивањем и прорачунавањем. |
| lexicalization | srp: Логицизам |
| Swedish | |
| has gloss | swe: Logicismen är ett program i matematisk grundvalsforskning som lär att matematik är detsamma som logik och kan härledas från denna. Logicismen har sitt ursprung hos Gottlob Frege och Bertrand Russell |
| lexicalization | swe: Logicism |
| Chinese | |
| has gloss | zho: 邏輯主義是數學哲學中的一門學派，其理論推測數學是邏輯的延伸，甚至認為一切的數學皆可視為邏輯的原型。 |
| lexicalization | zho: 邏輯主義 |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint