پروژة منطق‌گرایی در ریاضیات: از بولتزانو تا راسل

غلامحسین مقدم حیدری

دوره 3، شماره 5 ، فروردین 1392، ، صفحه 73-97

چکیده
  آموزة منطق‌گرایی عبارت است از فروکاستن مفاهیم و قضایای ریاضی به مفاهیم و قضایای منطقی. این آموزه که یکی از مکاتب مهم فلسفة ریاضی است، را نخستین بار برنارد بولتزانو صورت‌بندی کرد و سپس گوتلپ فرگه سعی کرد با ارائة نسخة جدیدی از منطق آن را ادامه دهد. درنهایت این آموزه را به صورت پروژه‌ای، برتراند راسل و آلفرد نورث وایتهد عملی کردند. ...  بیشتر