Mohammadi2 در ‏۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳

2019-07-24T05:23:50Z

صفحهٔ تازه

منطق‌گرایی (Logicism)

آموزه‌ای که براساس آن ریاضیات بخشی از منطق قیاسی محسوب می‌شود. غالباً گفته می‌شود که گوتلوب فرِگه<ref>Gottlob Frege</ref> و برتراند راسل<ref>Bertrand Russell </ref> نخستین حامیان چنین نظری بوده‌اند؛ این گفته چندان دقیق نیست، زیرا که فرگه در مورد همۀ ریاضیات چنین ادعایی نمی‌کرد. از سوی دیگر، شایسته است که در میان کسانی که نخستین‌بار ریاضیات را شعبه‌ای از منطق اعلام کردند از ریشارد دِدِکیند<ref>Richard Dedekind

</ref> نام برده شود. دعوی منطق‌گرایان دو بخش دارد: ۱. دانش ما دربارۀ قضیه‌های ریاضی<ref>mathmatical theorems </ref> کاملاً مبتنی است بر استدلال‌های منطقیِ<ref>logical demonstrations </ref> برگرفته از حقایق بنیادین<ref>basic truths </ref> منطق؛ ۲. مفهوم‌های مندرج در چنین قضیه‌هایی، و اشیا و موضوع‌هایی که این مفهوم‌ها بر وجودشان دلالت می‌کنند، ماهیّتی مطلقاً منطقی دارند. از این رو، فرگه عقیده داشت که علم حساب به پیش‌فرض‌هایی غیر از پیش‌فرض‌های منطقی نیازی ندارد؛ مفهوم عدد یکی از مفهوم‌های منطق ناب<ref>pure logic</ref> است؛ و خود اعداد، به گفتۀ وی، موضوع‌هایی منطقی‌اند.

 

----

[[Category:ریاضیات]] [[Category:مفاهیم، اصطلاحات و شاخه ها]]

منطق گرایی - تاریخچهٔ نسخه‌ها

Mohammadi2 در ‏۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳