logicism

incontável

A philosophical theory asserting that all mathematical truths can be derived from the principles of formal logic.

ptDoutrina 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.ruФилософская теория, утверждающая, что все математические истины могут быть выведены из принципов формальной логики.esDoctrina filosófica según la cual las verdades matemáticas pueden reducirse o derivarse de principios de la lógica formal.frThéorie philosophique selon laquelle toutes les vérités mathématiques peuvent être dérivées des principes de la logique formelle.dePhilosophische Theorie, die besagt, dass alle mathematischen Wahrheiten aus den Prinzipien der formalen Logik abgeleitet werden können.zh逻辑主义是一种哲学理论，主张所有数学真理都可以从形式逻辑的原则推导出来，数学可化归为逻辑。arمذهب فلسفي في فلسفة الرياضيات يرى أن جميع الحقائق الرياضية قابلة للاستنتاج من مبادئ المنطق الصوري وحده، وأن الرياضيات ليست إلا فرعًا من المنطق.

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

   ptLogicismoruЛогицизмeslogicismofrLogicismedeLogizismuszh逻辑主义arالمنطقية

   Antônimos: constructivismformalismintuitionism