مبانی فلسفی منطق شهودی

لطف الله نبوی; سید محمدعلی حجتی; حمید علایی نژاد

مبانی فلسفی منطق شهودی

محل انتشار: دوفصلنامه متافیزیک، دوره: 4، شماره: 14

سال انتشار: 1391

نوع سند: مقاله ژورنالی

زبان: فارسی

مشاهده: 186

فایل این مقاله در 14 صفحه با فرمت PDF قابل دریافت می باشد

دریافت فایل کامل مقاله

صدور گواهی نمایه سازی
من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

https://civilica.com/doc/1278436

شناسه ملی سند علمی:

JR_MPHU-4-14_005

تاریخ نمایه سازی: 7 مهر 1400

چکیده مقاله:

منطق شهودی، به عنوان منطقی فلسفی و غیر کلاسیک، بیش از همه بر فلسفه شهودگرایی براوئر (Brouwer) و نظریات فلسفی او در مورد ریاضیات و منطق بنا شده است. این نظریات، رویکردی کاملا متفاوت را با رویکرد کلاسیک به منطق و ریاضیات عرضه می دارد. شهودگرایی براوئری، منطق را مقدم بر ریاضیات نمی شمرد و آن را نتیجه ای برساخته از روندهای ساخت هویات و براهین ریاضی می داند. در مقاله حاضر، به تبیین مبانی نظری منطق شهودی پرداخته خواهد شد. این نظریات شامل انتقادهای براوئر به ریاضیات و منطق کلاسیک و رویکرد خاص خود او به ریاضیات و منطق است.

کلیدواژه ها:

براوئر ، منطق شهودی ، شهودگرایی ، ساخت گرایی براوئری ، اصل طرد شق ثالث

نویسندگان

لطف الله نبوی

دانشیار فلسفه دانشگاه تربیت مدرس

سید محمدعلی حجتی

دانشیار فلسفه دانشگاه تربیت مدرس

حمید علایی نژاد

دانشجوی دکتری دانشگاه تربیت مدرس

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :

اردشیر، محمد (۱۳۷۶) شهودگرایی براوئری، نشر ریاضی ، سال ۹ ...
Blum, K, (۲۰۰۵) Construction, Solipsism, and Intuitionistic Mathematics, Macalester Journal ...
Bridges, D (۲۰۰۹) »Constructive Mathematicshttp://plato.stanford.edu/entries/mathematics-constructive.. ...
(۱۹۰۷) »On the Foundations of Mathematics«, Thesis, Amsterdam; English translation ...
(۱۹۰۸) »The Unreliability of the Logical Principles«, English translation in ...
(۱۹۱۳) »Intuisionism and Formalism«, Bulletin of the American Mathematical Society, ...
(۱۹۲۳) reprinted in ۱۹۵۴, »On the significance of the principle ...
(۱۹۴۸) »Consciousness, philosophy and mathematics«, originally published (۱۹۴۸), reprinted in ...
(۱۹۵۲) »Historical Background, Principles and Methods of Intuitionism«, South African ...
Burgess, P. John (۲۰۰۹) Philosophical Logic, Princeton Foundation of Contemporary ...
Dummett, M. (۱۹۷۵) »the Philosophical Basis of Intuitionistic Logic«, printed ...
Heyting, A (۱۹۶۸) L. E. J. Brouwer, in Contemporary Philosophy, ...
(۱۹۷۱) Intuitionism, an Introduction, North-Holland publishing Company. ...
Iemhoff, R. (۲۰۰۸) »Intuitionism in the Philosophy of Mathematics«, Stanford ...
Kleene, S. C. (۱۹۵۲) Introduction to Mathematics, North-Holland, Amesterdam. ...
Kolmogorov, A. (۱۹۲۵) »on the Principle of the Excluded Middle«, ...
Kreisel, G. (۱۹۶۲) Foundations of Intuitionistic Logic, Logic, Methodology and ...
Moschovakis, J (۲۰۱۰) »Intuitionistic Logic«, in the Stanford Encyclopedia of ...
Placek, T. (۱۹۹۷) »On Brouwer’s Criticism of Classical Logic and ...
Posy, C. (۲۰۰۵) Intuitionism and Philosophy, the Oxford Handbook of: ...
Snapper, E. (۱۹۷۹)»the Three Crises in Mathematics: Logicism, Intuiotionism and ...
Tait, W. (۲۰۰۶) »Gödel’s Interpretation of Intuitionism", Philosophia Mathematica, Series ...
Troelstra, A. S., Van Dalen, D., (۱۹۸۸), Constructivism in Mathematics: ...
(۱۹۹۹b) aBibliography of L. E. J. Brouwer, Utrecht Logic Group ...
(۲۰۰۲) »Intuitionistic Logic«, Handbook of Philosophical Logic, ۲nd Edition, Volume ...
Van Atten, M. (۲۰۰۲) »Intuitionism, a Companion to Philosophical Logic«, ...

نمایش کامل مراجع