پاورپوینت در مورد نسب اربع-18 اسلاید
قسمتی از اسلاید ها
•مجموعه صدق:
•تعريف وجهي: مجموعه صدق گزاره p = مجموعه جهان‌هاي ممكني كه p در آن‌ها صادق است.
•تعريف ربطي: مجموعه صدق گزاره p = مجموعه حالت‌هايي كه p در آن‌ها صادق است.
•تناظر ميان نسب اربع مصداقي و صدقي
•نسبت صدقي ميان دو گزاره = نسبت مصداقي ميان مجموعه صدق‌هاي آن دو گزاره:
•دو گزاره مساوي‌اند ات‌ا مجموعه صدق آن‌ها مساوي باشند
•دو گزاره متباين‌اند ات‌ا مجموعه صدق آن‌ها متباين باشند
•گزاره الف عام‌تر از گزاره ب است ات‌ا مجموعه صدق الف عام‌تر از مجموعه صدق ب باشد
• مجموعه صدق يك گزاره همان مصداق گزاره است! (مقايسه كنيد با اين آموزه فرگه كه ارزش گزاره مصداق گزاره است.)
•مثال:
•گزاره «هر الف ب است» خاص‌تر است از گزاره «برخي الف ب است» زيرا مستلزم آن است.
•ميان «الف داراي قلب است» و «الف داراي كليه است» عموم و خصوص جزيي برقرار است نه تساوي زيرا هيچ يك از اين دو مستلزم ديگري نيست.
معناي استلزام در نسب اربع صدقي
•1. مراد از «استلزام»، استلزام ربطي است نه استلزام تابع ارزشي
•زيرا منطق‌دانان قديم غالبا استلزام ربطي را مورد توجه داشته‌اند.
•2. مي‌توان، مانند منطق جديد، نسب اربع صدقي را بر اساس استلزام تابع ارزشي نيز بنيان نهاد.
•در اين صورت، دو گزاره مربوط به قلب و كليه، به دليل هم‌ارزي در جهان واقع، مساوي خواهند شد.
•3. در اصول فقه، به عكس (2) عمل شده است: ميان مفاهيم، نسب اربعي برقرار شده است كه معنايي است نه مصداقي
• در اين معنا، ميان دو مفهوم «داراي قلب» و «داراي كليه» ديگر تساوي برقرار نيست بلكه عموم و خصوص جزيي برقرار است
•زيرا هرچند در جهان واقع اين دو مفهوم هم‌مصداق هستند اما در جهان‌هاي ممكن ديگر و اوضاع و احوال ديگر، مصداق‌هاي غير مشترك مي‌توانند داشته باشند. مي‌توان تصور كرد كه در جهاني ديگر، نوعي حيوان باشد با قلب و بدون كليه و برعكس.
تقسيم‌هاي فوق را به صورت زير مي‌توان خلاصه كرد:
ص 122 س 2
تعبير سور زماني براي شرطي از خواجه
تعبير سور زماني براي شرطي از خواجه
گزارة «هرگاه P آنگاه Q»
تقسيمات وضعيت
ص 122
سالبة اللزوم و لازمة السلب
سالبة اللزوم و لازمة السلب
كليت شرطي اتفاقي
و سایر توضیحات ...
