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

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

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

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

داستان­وارگرایی در یک حوزه­­ی گفتمانی را می­توان عجالتاً به عنوان دیدگاهی صورت­بندی کرد که مدعی است بهترین تلقی از اظهاراتی که در ضمن آن حوزه از گفتمان مطرح می­شوند، این نیست که دارای صدق به مفهوم سرراست آن باشند، بلکه بهتر است بدان­ها به مثابه­ی نوعی «داستان» بنگریم. چنان‌که خواهیم دید، این صورت­بندی اولیه از داستان­وارگرایی، از جهات متعددی [بسیار] کلی، ولی به عنوان یک نقطه­ی افتراق سودمند است....

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