| rdfs:comment
| - المَنْطِقانِيَّة (بالإنجليزية: Logicism) هي ، في فلسفة الرياضيات، الذي يرى أن الرياضيات ليست سوى امتداد لـ المنطق وأن المفاهيم والنظريات الرياضياتية يمكن ردُّها (أو اختزالها) إلى المنطق. ومن ثم، فلو أمكن تحقيق هذا البرنامج، لأدى إلى دعم الوضعانية المنطقية، وبالأخص الاختزالية. (ar)
- In the philosophy of mathematics, logicism is a programme comprising one or more of the theses that — for some coherent meaning of 'logic' — mathematics is an extension of logic, some or all of mathematics is reducible to logic, or some or all of mathematics may be modelled in logic. Bertrand Russell and Alfred North Whitehead championed this programme, initiated by Gottlob Frege and subsequently developed by Richard Dedekind and Giuseppe Peano. (en)
- 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. Si ce programme était réalisable, il pourrait soutenir le positivisme logique en particulier, et le réductionnisme en général. Bertrand Russell et Alfred North Whitehead ont défendu cette approche, créée par le mathématicien Gottlob Frege. Le logicisme a joué un rôle clé dans le développement de la philosophie analytique au XXe siècle. (fr)
- 논리주의(論理主義)는 심리주의에 대립되는 말로, 모든 것을 논리적으로 설명할 수 있다고 하거나 혹은 하려는 입장이다. 형식논리학으로 해석하려는 것, 인식론의 근거를 논리에서 찾아보겠다는 것 등 여러 사고방식이 있다. (ko)
- 数学についての論理主義（ろんりしゅぎ、英: Logicism、仏: Logicism、独: Logizismus）は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。 なお、哲学では、強力な還元主義が主要な立場になることは稀である。 (ja)
- 邏輯主義是數學哲學中的一門學派，其理論推測數學是邏輯的延伸，甚至認為一切的數學皆可視為邏輯的原型。 創始者為戈特洛布·弗雷格。伯特蘭·羅素和阿弗烈·諾夫·懷海德在理論提出後擁戴此論。戈特洛布·弗雷格在伯特蘭·羅素提出羅素悖論後放棄了產生矛盾的樸素集合論。羅素和懷海德將此有關概念著於《数学原理》(Principia Mathematica)一書。哥德爾不完全定理有時被聲稱妨礙了此計劃的目的。它亦為二十世紀分析哲學的重要指標。 (zh)
- El logicisme en la filosofia de la matemàtica, és la doctrina que sosté que la matemàtica és, en algun sentit, reductible a la lògica. De vegades s'argumenta que els teoremes d'incompletesa de Gödel soscaven el propòsit del projecte. (ca)
- Ο Λογικισμός (ή Λογικοκρατία) (Logicismus ή Logismus) είναι η σχολή σκέψης στη φιλοσοφία των μαθηματικών, σύμφωνα με την οποία, τα μαθηματικά αποτελούν επέκταση της λογικής και επομένως μπορούν να αναχθούν σε αυτή. Η αντίληψη ότι η λογική αποτελεί τη βάση κάθε φιλοσοφικής έρευνας, έρχεται σε αντίθεση προς τον (Psychologismus), φιλοσοφική σχολή που αποχωρίζει από του «ψυχικού» κάθε λογικό στοιχείο, αποδίδοντας σ΄ αυτό υπόσταση ανάλογη προς εκείνη των Πλατωνικών ιδεών γι αυτό και ονομάζεται Υπερβατική Σχολή. (el)
- Der Logizismus oder das logizistische Programm bezeichnet eine bestimmte Position in der Philosophie der Mathematik, die auch in anderen philosophischen Teildisziplinen in der ersten Hälfte des 20. Jh. einflussreich war. Der Ansatz wurde zuerst von Gottlob Frege Ende des 19. Jahrhunderts formuliert und besagt im Kern, dass sich die Mathematik auf die Logik zurückführen lässt. (de)
- En filosofía de las matemáticas, el logicismo es la doctrina que sostiene que la matemática es en algún sentido importante reducible a la lógica, o en otras palabras que las matemáticas son básicamente una extensión de la lógica. Los logicistas sostienen que las matemáticas se pueden conocer a priori, pero sugieren que nuestro conocimiento de las matemáticas es solo parte de nuestro conocimiento de la lógica en general, y por lo tanto es analítico y no requiere ninguna facultad especial de intuición matemática. Desde este punto de vista, la lógica es el fundamento adecuado de las matemáticas y todas las afirmaciones matemáticas son verdades lógicas necesarias. (es)
- Per logicismo si intende il tentativo di ridurre la matematica ai concetti ed alle regole della logica. Secondo le posizioni logiciste per lo sviluppo dell'aritmetica (e conseguentemente, della matematica stessa) 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. (it)
- Logicyzm – 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)). (pl)
- 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 gebruikmaakt van de axioma's van de Zermelo-Fraenkel-verzamelingenleer (of een van haar uitbreidingen, zoals ZF (nl)
- Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм. Мысль о сведе́нии математики к логике высказывалась Лейбницем в конце 17 в. Практическое осуществление логицистического тезиса было предпринято в конце 19 — начале 20 вв. в работах Фреге, и в «Principia mathematica» за авторством Уайтхеда и Рассела. (ru)
- 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. Logicismen som filosofiskt program har betytt mycket för forskningen om matematikens grundvalar och för utvecklingen av den symboliska logiken. Freges system för att härleda aritmetiken ur logiska lagar övergavs, sedan Russell funnit att ett avgörande antagande i systemet ledde till motsägelser (se Russells paradox). Russell utvecklade därför ett eget logiskt system, kallat typteori, tillsammans med Alfred North Whitehead i Principia Mathematica, vars mål var att slutgiltigt sammanföra den filosofiska logiken och matematiken. (sv)
- 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.') Frede 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 , p.ex., em Principia Mathematica (1910-13; 1925-7), estendeu essas indagações, e suscitou mais algumas, para todas as verdades matemát (pt)
- Логіцизм — один з основних напрямків обґрунтування математики і філософії математики, що ставить за мету зведення вихідних математичних понять до понять логіки. Двома іншими основними напрямками є інтуіціонізм і формалізм. Думка про зведення математики до логіки була висловлена Ляйбніцем наприкінці 17ст. Практичне здійснення логіцестичної тези було зроблено наприкінці 19 — початку 20 ст. у роботах Фреге, і у «Principia mathematica» під авторством Вайтхеда і Расселла. (uk)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)