پاورپوینت درباره نسب اربع

لینک دانلود و خرید پایین توضیحات

دسته بندی : پاورپوینت

نوع فایل :  .ppt ( قابل ویرایش و آماده پرینت )

تعداد اسلاید : 18 اسلاید

 قسمتی از متن .ppt : 

نسب اربع

مجموعه صدق:

تعریف وجهی: مجموعه صدق گزاره p = مجموعه جهان‌های ممکنی که p در آن‌ها صادق است.

تعریف ربطی: مجموعه صدق گزاره p = مجموعه حالت‌هایی که p در آن‌ها صادق است.

تناظر میان نسب اربع مصداقی و صدقی

نسبت صدقی میان دو گزاره = نسبت مصداقی میان مجموعه صدق‌های آن دو گزاره:

دو گزاره مساوی‌اند ات‌ا مجموعه صدق آن‌ها مساوی باشند

دو گزاره متباین‌اند ات‌ا مجموعه صدق آن‌ها متباین باشند

گزاره الف عام‌تر از گزاره ب است ات‌ا مجموعه صدق الف عام‌تر از مجموعه صدق ب باشد

مجموعه صدق یک گزاره همان مصداق گزاره است! (مقایسه کنید با این آموزه فرگه که ارزش گزاره مصداق گزاره است.)

مثال:

گزاره «هر الف ب است» خاص‌تر است از گزاره «برخی الف ب است» زیرا مستلزم آن است.

میان «الف دارای قلب است» و «الف دارای کلیه است» عموم و خصوص جزیی برقرار است نه تساوی زیرا هیچ یک از این دو مستلزم دیگری نیست.

معنای استلزام در نسب اربع صدقی

1. مراد از «استلزام»، استلزام ربطی است نه استلزام تابع ارزشی

زیرا منطق‌دانان قدیم غالبا استلزام ربطی را مورد توجه داشته‌اند.

2. می‌توان، مانند منطق جدید، نسب اربع صدقی را بر اساس استلزام تابع ارزشی نیز بنیان نهاد.

در این صورت، دو گزاره مربوط به قلب و کلیه، به دلیل هم‌ارزی در جهان واقع، مساوی خواهند شد.

3. در اصول فقه، به عکس (2) عمل شده است: میان مفاهیم، نسب اربعی برقرار شده است که معنایی است نه مصداقی

در این معنا، میان دو مفهوم «دارای قلب» و «دارای کلیه» دیگر تساوی برقرار نیست بلکه عموم و خصوص جزیی برقرار است

زیرا هرچند در جهان واقع این دو مفهوم هم‌مصداق هستند اما در جهان‌های ممکن دیگر و اوضاع و احوال دیگر، مصداق‌های غیر مشترک می‌توانند داشته باشند. می‌توان تصور کرد که در جهانی دیگر، نوعی حیوان باشد با قلب و بدون کلیه و برعکس.

تقسیم‌های فوق را به صورت زیر می‌توان خلاصه کرد:

ص121 س 14 سور زمانی برای شرطی

ارسطو -› گزاره‌های حمل

منطق رواقی- مگاری --› گزاره‌های شرطی بدون سور

ابن سینا ---› گزاره‌های شرطی به همراه سور

سورهای زمانی: «همیشه»، «هرگز»، و «گاهی»

سورهای زمانی شرطی: «هرگاه»، «همواره اگر»، «گاهی اگر»، «هرگز چنین نیست که اگر»، «هرگز چنین نیست که الف و ب» و «گاهی چنین نیست که اگر».

افزودن سور زمانی به شرطی‌ها = انحراف‌ در منطق

دلیل انحرافی بودن سورپردازی زمانی برای شرطی‌ها:

اولا، کلیت و جزئیت زمانی اختصاصی به شرطی‌ها ندارد و در حملی‌ها نیز به کار می‌رود (همواره هر انسان حیوان است و گاهی همه دانشجویان این کلاس حاضر هستند!)

دلیل دوم: سورپردازی زمانی برای شرطی‌ها، اصولا، ممکن نیست زیرا شرطی‌های دارای سور زمانی، در حقیقت، گزاره‌های حملی سوردار هستند که محمول آن‌ها شرطی است: گزاره «هرگاه الف آنگاه ب» معادل است با «هر زمان، اگر الف آنگاه ب» و یا «هر زمان زمانی است که در آن، اگر الف آنگاه ب».

دلیل سوم: ابهام در سور زمانی جزیی: «گاهی اگر» -- «گاهی و»

حُسن این سورپردازی:

بسیاری از ناگفته‌های منطق قدیم در باب تحلیل گزاره‌های حملی و سورها و جهت‌ها، در مبحث شرطی‌ها گفته می‌شود