منطق گرایی

دانشنامه آزاد فارسی

منطق گرایی (Logicism)
آموزه ای که براساس آن ریاضیات بخشی از منطق قیاسی محسوب می شود. غالباً گفته می شود که گوتلوب فرِگه و برتراند راسل نخستین حامیان چنین نظری بوده اند؛ این گفته چندان دقیق نیست، زیرا که فرگه در مورد همۀ ریاضیات چنین ادعایی نمی کرد. از سوی دیگر، شایسته است که در میان کسانی که نخستین بار ریاضیات را شعبه ای از منطق اعلام کردند از ریشارد دِدِکیند نام برده شود. دعوی منطق گرایان دو بخش دارد: ۱. دانش ما دربارۀ قضیه های ریاضی کاملاً مبتنی است بر استدلال های منطقیِ برگرفته از حقایق بنیادین منطق؛ ۲. مفهوم های مندرج در چنین قضیه هایی، و اشیا و موضوع هایی که این مفهوم ها بر وجودشان دلالت می کنند، ماهیّتی مطلقاً منطقی دارند. از این رو، فرگه عقیده داشت که علم حساب به پیش فرض هایی غیر از پیش فرض های منطقی نیازی ندارد؛ مفهوم عدد یکی از مفهوم های منطق ناب است؛ و خود اعداد، به گفتۀ وی، موضوع هایی منطقی اند.

پیشنهاد کاربران

بپرس