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

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

در این نوشته برهانی جدید برای نامتناهی بودن اعداد اول ارائه می شود. این برهان بر اساس یک ایده شمارش ساده با استفاده از اصل شمول- طرد همراه با فرمولی صریح می باشد.

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

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

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

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

در این پایان نامه با استفاده از عملگر سریواستاوا-اتیّه کلاسهای خاصی از توابع چند ارز و تحلیلی بر دیسک واحد ‎ u ‎ تعریف می گردد و با استفاده از قضایای پیروی و نتایج مربوط به ساندویچ، خواص هندسی این کلاسها مورد بررسی قرار می گیرد .

هیوم در کتاب مزبور این بحث را فرع بر این موضوع قرار داده که تمایزات اخلاقی از عقل ناشی نمی شوند و منشأ آن ها احساسات درونی می باشند و عقل تنها روابط تصورات و استنتاج امور واقع را بررسی می کند. هیوم در عین حال، منکر رابطه ی منطقی بین «بایدها» و «هست ها» بوده او در اخلاق بیشتر به نتایج علمی می اندیشد. علامه طباطبایی فیلسوف مشرق زمین، نیز با طرح نظریه ی اعتباریات خود و تفکیک اعتباریات از حقایق به...

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