دانلود فایل پاورپوینت نسب اربع

بخشی از پاورپوینت

--- پاورپوینت شامل تصاویر میباشد ----

اسلاید 1 :

• مجموعه صدق:
• تعريف وجهي: مجموعه صدق گزاره p = مجموعه جهان‌هاي ممكني كه p در آن‌ها صادق است.
• تعريف ربطي: مجموعه صدق گزاره p = مجموعه حالت‌هايي كه p در آن‌ها صادق است.
• تناظر ميان نسب اربع مصداقي و صدقي
• نسبت صدقي ميان دو گزاره = نسبت مصداقي ميان مجموعه صدق‌هاي آن دو گزاره:
• دو گزاره مساوي‌اند ات‌ا مجموعه صدق آن‌ها مساوي باشند
• دو گزاره متباين‌اند ات‌ا مجموعه صدق آن‌ها متباين باشند
• گزاره الف عام‌تر از گزاره ب است ات‌ا مجموعه صدق الف عام‌تر از مجموعه صدق ب باشد
• مجموعه صدق يك گزاره همان مصداق گزاره است! (مقايسه كنيد با اين آموزه فرگه كه ارزش گزاره مصداق گزاره است.)
• مثال:
• گزاره «هر الف ب است» خاص‌تر است از گزاره «برخي الف ب است» زيرا مستلزم آن است.
• ميان «الف داراي قلب است» و «الف داراي كليه است» عموم و خصوص جزيي برقرار است نه تساوي زيرا هيچ يك از اين دو مستلزم ديگري نيست.

اسلاید 2 :

• 1. مراد از «استلزام»، استلزام ربطي است نه استلزام تابع ارزشي
• زيرا منطق‌دانان قديم غالبا استلزام ربطي را مورد توجه داشته‌اند.
• 2. مي‌توان، مانند منطق جديد، نسب اربع صدقي را بر اساس استلزام تابع ارزشي نيز بنيان نهاد.
• در اين صورت، دو گزاره مربوط به قلب و كليه، به دليل هم‌ارزي در جهان واقع، مساوي خواهند شد.
• 3. در اصول فقه، به عكس (2) عمل شده است: ميان مفاهيم، نسب اربعي برقرار شده است كه معنايي است نه مصداقي
• در اين معنا، ميان دو مفهوم «داراي قلب» و «داراي كليه» ديگر تساوي برقرار نيست بلكه عموم و خصوص جزيي برقرار است
• زيرا هرچند در جهان واقع اين دو مفهوم هم‌مصداق هستند اما در جهان‌هاي ممكن ديگر و اوضاع و احوال ديگر، مصداق‌هاي غير مشترك مي‌توانند داشته باشند. مي‌توان تصور كرد كه در جهاني ديگر، نوعي حيوان باشد با قلب و بدون كليه و برعكس.

اسلاید 3 :

• ارسطو -› گزاره‌هاي حمل
• منطق رواقي- مگاري --›   گزاره‌هاي شرطي بدون سور
• ابن سينا ---›  گزاره‌هاي شرطي به همراه سور
• سورهاي زماني: «هميشه»، «هرگز»، و «گاهي»
• سورهاي زماني شرطي: «هرگاه»، «همواره اگر»، «گاهي اگر»، «هرگز چنين نيست كه اگر»، «هرگز چنين نيست كه الف و ب» و «گاهي چنين نيست كه اگر».
• افزودن سور زماني به شرطي‌ها = انحراف‌ در منطق
• دليل انحرافي بودن سورپردازي زماني براي شرطي‌ها:
• اولا، كليت و جزئيت زماني اختصاصي به شرطي‌ها ندارد و در حملي‌ها نيز به كار مي‌رود (همواره هر انسان حيوان است و گاهي همه دانشجويان اين كلاس حاضر هستند!)
• دليل دوم: سورپردازي زماني براي شرطي‌ها، اصولا، ممكن نيست زيرا شرطي‌هاي داراي سور زماني، در حقيقت، گزاره‌هاي حملي سوردار هستند كه محمول آن‌ها شرطي است: گزاره «هرگاه الف آنگاه ب» معادل است با «هر زمان، اگر الف آنگاه ب» و يا «هر زمان زماني است كه در آن، اگر الف آنگاه ب».
• دليل سوم: ابهام در سور زماني جزيي: «گاهي اگر» -- «گاهي و»
• حُسن اين سورپردازي:
• بسياري از ناگفته‌هاي منطق قديم در باب تحليل گزاره‌هاي حملي و سورها و جهت‌ها، در مبحث شرطي‌ها گفته مي‌شود

اسلاید 4 :

• كلية الحكم الايجابي في المتصلة اللزومية بحصول التالي عند وضع المقدم في جميع اوقات الوضع بل و بتعميم الاحوال التي يمكن فرضها مع وضع المقدم :
• كليت حكم ايجابي در شرطي متصل لزومي، معادل صدق تالي در همه زمان‌هاي صدق مقدم است؛ بلكه معادل صدق تالي در همه حالت‌هايي است كه صدق مقدم در آنها ممكن است.
• منطق رواقي، شرطي‌ها، سور زماني در برابر تعبير زماني
• ديودورس، گزارة «اگر الف آنگاه ب» را به «هرگز چنين نيست كه الف و نقيض ب» تعبير كرده است
• ديودوروس مفهوم ضرورت را با «دوام» و «هميشگي» يكي مي‌دانسته است.
• شايد به همين دليل باشد كه ابن سينا قيد احوال را مي‌افزايد.
• احوال به معناي خاص = جهان‌هاي ممكن possible worlds
• احوال به معناي عام = situations يا states of affairs، (چه ممكن باشد يا نباشد و چه جهان باشد يا نباشد)
• اگر «احوال» = جهان‌هاي ممكن Ü كليت شرطي = ضرورت شرطي فيلوني
• اگر احوال = احوال به معناي عام Ü كليت شرطي =  شرطي ربطي
• خروسيپوس، اولين كسي كه مفهوم ربط (connection) را به تعبير شرطي ها افزوده است.

اسلاید 5 :

• گزاره‌هاي فاقد زمان يا جهت = مهمل زماني يا وجهي
• در گزاره مهمل، متغيرهاي آزادي وجود دارد كه مي‌توان آن‌ها را ظاهر كرد.
• «اين گل زيبا است» = «در لحظه t، اين گل زيبا است»
• و يا بسيار دقيق‌تر، «در لحظه t و در جهان ممكن w و در وضعيت s، اين گل زيبا است».
• گزارة P = Pt، Pwt، Pwts ... و Ps

اسلاید 6 :

• سالبة اللزوم مانند: «چنين نيست كه هرگاه روز باشد خورشيد ديده شود».
• اين تركيب كه لزوم را سلب مي‌كند نقيض لزومي ايجابي است: ~"s(Ps É Qs)
• لازمة السلب مانند: «هرگز چنين نيست كه اگر روز باشد شب باشد».
• اين تركيب معادل مانع جمع است: "s(Ps É ~Qs)
• به زبان منطق ربط، P→~Q.
• اين قسم، نقيض لزومي ايجابي نيست.

اسلاید 7 :

• و اما كلية الحكم الايجابي في الاتفاق
• فهي تعميم اوقات صدق التالي مع صدق المقدم، فقط، بالاتفاق من غير استلزام المقدم للتالي
• اتفاق امري است كه واقع شده بدون اينكه بايد واقع شود.
• مفهوم «بايد» وجهي يا ربطي است.
• كليت گزاره اتفاقي صرفا زماني و غيروجهي و غيرربطي است.

اسلاید 8 :

• شرطي خلاف واقع و شرطي اعم در منطق قديم مورد توجه قرار نگرفته‌اند.
• شرطي لزومي خلاف واقع را فيلسوفان علم براي اولين بار مطرح كردند
• شرطي اتفاقي خلاف واقع و شرطي اتفاقي اعم را نگارنده براي اولين بار معرفي مي‌كند.
• مثال شرطي اتفاقي خاص: اگر دروس ادبي آسان است دروس رياضي دشوار است
• مثال شرطي اتفاقي عام: حتي اگر باران ببارد به گردش مي‌روم
• مثال شرطي اتفاقي خلاف واقع: اگر ايران برزيل را ببرد اسمم را عوض مي‌كنم
• مثال شرطي اتفاقي اعم: اگر هوا خوب باشد به گردش مي‌روم

اسلاید 9 :

• سالبة الاتفاق مانند:
• «چنين نيست كه هرگاه روز است اتفاقا خورشيد ديده مي‌شود» زيرا گاهي در روز، آسمان ابري يا كسوف است.
• «چنين نيست كه هرگاه روز است اتفاقا خورشيد در آسمان است» زيرا ميان اين دو لزوم است نه اتفاق.
• اين تركيب كه اتفاق را سلب مي‌كند نقيض اتفاقي ايجابي است: ~["t(PtÙQt) Ù ~"s(PsÉQs)] .
• در نظر منطق قديم، صدق مقدم و تالي در اتفاقي جزء معناي آن است.
• اتفاق السلب مانند:
• «هرگاه توان داشته‌ام از بذل و بخشش دريغ نورزيده‌ام«.
• "t(PtÉ~Qt) Ù ~"s(PsÉQs)
• «همواره، هرچند توان مالي كمي داشته‌‌ام از بذل و بخشش دريغ نورزيده‌ام».
• "t(PtÙ~Qt) Ù ~"s(PsÉ~Qs)