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

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

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

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

در زبان روسی به واژه ای که به تنهایی و یا به کمک دیگر واژه های دیگر بتوانند نقش گزاره را ایفا نماید‘ شبه گزاره می گویند. واژه های شبه گزاره در زبان روسی کلماتی هستند که نهاد واقعی جمله را معمولاً در حالت به ای قرار میدهند. در این گونه جملات‘ در صورتیکه فعل همراه با شبه گزاره ‘ بکار رفته باشد‘ تحت تأثیر خاصیت نحوی شبه گزاره‘ فعل جمله به صورت مصدر بیان می شود. در زبان روسی شبه واژه می تواند قید وی...

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

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

در این پایان نامه ارتباطی بین معناشناسی اندازه بنیاد دانا اسکات برای منطق وجهی s4 و منطق توپولوژیک دینامیک، برقرار خواهد شد. منطق s4c در سیستم های توپولوژیک دینامیک یا فضاهای توپولوژیک با تابع پیوسته روی فضای مورد نظر، تعبیر می شود. دانا اسکات زبان منطق s4 را در جبر اندازه لبگ یا سیکما جبر زیرمجموعه ی بورل [0,1] به پیمانه مجموعه هایی با اندازه ی صفر، که در آن مربع- وجه با عملگر درون روی جبر ا...