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

در این مقاله، نظریه ذهن براوئر را معرفی می کنیم. پس از بیان مبانی فلسفی آن، به صورتبندی های مختلف آن می پردازیم و در خاتمه، چند نتیجه معروف ریاضی آن را به اختصار نام می بریم.

حساب هتینگ ha صورت شهودگرایانه حساب پئانو pa است که با حذف اصل طرد شق ثالث pem از آن حاصل می شود. در این پایان نامه توصیفی از نتایج wehmeier درباره ارضاء (زیرنظریه های) pa در جهانهای مدلهای کریپکی ha آورده می شود. برای مثال، هر قضیه ii2 از pa (که در ha نیز برهان پذیر خواهد بود) در هر مدل کریپکی ha موضعا صادق است . به علاوه، مدلهای کریپکی توسیع انتهایی برای ha قالب - 1 گردایه را نیز (که در ha بر...

به نظر می رسد امروزه کمتر ریاضیدانی را می توان یافت که تصویری بنیادگرایانه از ریاضیات نداشته باشد. با این همه، فیلسوفانی هستند که تحقق ریاضیات بدون بنیادها را ممکن می دانند. یکی از ایسان هیلاری پاتنم است که معتقد است ریاضیات نه بنیادی دارد و نه نیازی به آن. در این مقاله سعی داریم تا به شرح دیدگاههای پاتنم در این زمینه بپردازیم و تاثیر این دیدگاهها را بر دیگر فلاسفه ریاضیات شرح دهیم.

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

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

از دیرباز مفهوم شهود، به عنوان یک ابزار شناخت در نظر گرفته شده که هوسرل هیچ گاه آن را در مقابل عقل قرار نداد. وی معنای " شهود" را با اصطلاح خاص خود به صورت اصلی که برای سیستم پدیدار شناسی شناخته شده، به کار برد. در این سیستم، هوسرل از شهود به صورت نظریه ای برای فعل پدیدار شناسی که اُبژه اش به صورت "داده واقعی" تجربه می شود، استفاده می کند. هدف او در این نظریه "بازگشت به خود اشیاء" از طریق یک فعل...

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

در این مقاله، به ساختارگرایی به عنوان یک مبنای پیشنهادی برای ریاضیات می پردازیم.  هرچند ریشه های این مکتبِ فکری در ریاضیات بسیار قدیمی است، بروز آن به عنوان یک نظام فلسفی برای ریاضیات، به چالش هایی بر می گردد که بناسراف، فیلسوف معاصر ریاضی، پیش رویِ واقع گرایی در فلسفۀ ریاضی قرار داد. ساختارگرایی، مکتبی فلسفی است که مختص ریاضیات نیست، بلکه در فلسفۀ علوم تجربی به طور عام نیز می توان ساختارگرا بود....