logicism
/ˈlɒdʒ.ɪ.sɪ.zəm/الترجمة: مذهب فلسفي في فلسفة الرياضيات يرى أن جميع الحقائق الرياضية قابلة للاستنتاج من مبادئ المنطق الصوري وحده، وأن الرياضيات ليست إلا فرعًا من المنطق.
noun
C2formalcommonscientific/ˈlɒdʒ.ɪ.sɪ.zəm/غير معدود
A philosophical theory asserting that all mathematical truths can be derived from the principles of formal logic.
- 🇷🇺Философская теория, утверждающая, что все математические истины могут быть выведены из принципов формальной логики.
- 🇪🇸Doctrina filosófica según la cual las verdades matemáticas pueden reducirse o derivarse de principios de la lógica formal.
- 🇫🇷Théorie philosophique selon laquelle toutes les vérités mathématiques peuvent être dérivées des principes de la logique formelle.
- 🇩🇪Philosophische Theorie, die besagt, dass alle mathematischen Wahrheiten aus den Prinzipien der formalen Logik abgeleitet werden können.
- 🇵🇹Doutrina filosófica segundo a qual a matemática pode ser reduzida à lógica formal, sendo suas verdades derivadas de princípios lógicos. Também se refere à corrente que busca fundamentar a matemática na lógica.
- 🇨🇳逻辑主义是一种哲学理论，主张所有数学真理都可以从形式逻辑的原则推导出来，数学可化归为逻辑。
- 🌐مذهب فلسفي في فلسفة الرياضيات يرى أن جميع الحقائق الرياضية قابلة للاستنتاج من مبادئ المنطق الصوري وحده، وأن الرياضيات ليست إلا فرعًا من المنطق.
- Philosophical theory of mathematics C2 formal
The philosophical position that mathematics is reducible to, or an extension of, formal logic.
- Logicism was a central project of early analytic philosophy.
- The attempt to prove logicism was a major goal of Bertrand Russell and Alfred North Whitehead's Principia Mathematica.
- Critics of logicism argue that some mathematical truths cannot be derived from purely logical axioms.
🇷🇺Логицизм🇪🇸logicismo🇫🇷Logicisme🇩🇪Logizismus🇵🇹Logicismo🇨🇳逻辑主义🌐المنطقية
الأضداد: constructivismformalismintuitionism