تبلیغات
تحقیق و پروژه های دانشجویی - مقاله قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین
 
تحقیق و پروژه های دانشجویی
درباره وبلاگ



مدیر وبلاگ : نگار موسوی
نویسندگان
مقاله قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین  شامل 16صفحه به صورت فایل ورد و قابل ویرایش می باشد که یکی از تحقیق های جامع و کامل در مورد قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین می باشد و دارای منابع معتبر می باشد

چکیده

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

در این مقاله، با نشان دادن ضعف‏هاى بنیادین منطق این‏همانى و منطق مرتبه دوم در تحلیل قضایاى خارجیه و با نشان دادن تعارض اصل این‏همانى با قاعده فرعیه، منطقى ضعیف‏تر از منطق این‏همانى به نام «منطق حذف این‏همانى» را طراحى کرده‏ایم که به خوبى توان بیان قضایاى خارجیه را دارد. همچنین، منطق ضعیف‏ترى نسبت به منطق مرتبه دوم استاندارد را، که به نام «منطق مرتبه دوم هنکین» شناخته مى‏شود، به خدمت گرفته و نشان داده‏ایم که این منطق، برخلاف منطق مرتبه دومِ استاندارد، مى‏تواند قضایاى خارجیه را به خوبى صورت‏بندى کند. در ضمن، نشان داده‏ایم که منطق هنکین با مفاهیم ماهوى و معقولات اولى، و منطق استاندارد با مفاهیم انتزاعى و معقولات ثانیه تناسب دارد.

کلیدواژه‏ها: قضیه حقیقیه، قضیه خارجیه، منطق حذف این‏همانى، منطق مرتبه دومِ استاندارد، منطق مرتبه دوم هنکین، معقولات اولى، معقولات ثانیه.

 

مقدّمه

قضایاى حقیقیه و خارجیه را به روش‏هاى گوناگونى به زبان منطق جدید صورت‏بندى کرده‏اند. جدیدترین صورت‏بندى از قضایاى حقیقیه را نگارنده در دو مقاله اخیر خود در منطق وجهى و منطق محمول‏ها و وجود ارائه کرده است. تحلیل نگارنده از قضایاى حقیقیه و خارجیه در منطق وجهى بدین‏گونه است:۱


خارجیه

حقیقیه

هر الف ب است

$x Ax Ù “x ( Ax → Bx )

¸ $x Ax Ù £ “x ( Ax → Bx )

هیچ الف ب نیست

“x ( Ax → ~Bx )

£ “x ( Ax → ~Bx )

بعضی الف ب است

$x ( Ax Ù Bx )

¸ $x ( Ax Ù Bx )

بعضی الف ب نیست

~ $x Ax Ú $x (Ax Ù ~Bx (

~ ¸ $x Ax Ú ¸ $x ( Ax Ù ~Bx )

تحلیل نگارنده از همین قضایا در منطق محمول‏ها و وجود نیز به قرار زیر است:۲


خارجیه


حقیقیه

هر الف ب است

$x ( E!x ÙAx ) Ù “x [ E!x → ( Ax → Bx ) ]


$x Ax Ù “x ( Ax → Bx )

هیچ الف ب نیست

“x [ E!x → ( Ax → ~Bx ) ]


“x ( Ax → ~Bx )

بعضی الف ب است

$x [ E!x Ù ( Ax Ù Bx ) ]


$x ( Ax Ù Bx )

بعضی الف ب نیست

~ $x ( E!x ÙAx ) Ú $x [ E!x Ù ( Ax Ù ~Bx ) ]


~ $x Ax Ú $x ( Ax Ù ~Bx )

نگارنده در مقاله اخیر خود، چهار تعریف زیر براى وجود محمولى (یعنى براى E!x) از منطق آزاد و منطق مرتبه دوم نقل مى‏کند:۳

وجود

۱٫ اتحاد با یک شیء

منطق آزاد

$y ( x = y )

محمولی

۲٫ اتحاد با خود

منطق آزاد

x = x

در منطق

۳٫ داشتن صفت

منطق مرتبه دوم

$F Fx

جدید

۴٫ داشتن صفت امکانی

منطق مرتبه دوم

$F ( Fx Ù ~ £ Fx )

به نظر مى‏رسد که هریک از این تعاریف را مى‏توان در صورت‏بندى قضایاى خارجیه جایگزین E!xکرد؛ امّا به دلیل اینکه سه تعریف نخست، قضیه‏اند و بنابراین در ترکیب عطفى و در مقدّم شرطى، حذف مى‏شوند، جایگزین کردن سه تعریف نخست، سبب مى‏شود فرمول‏هاى قضایاى خارجیه، معادل و هم‏ارزِ فرمول‏هاى قضایاى حقیقیه شود و همین مسئله، تمایز میان این قضایا را نابود مى‏سازد. تعریف چهارم نیز چندان مقبول به نظر نمى‏رسد؛

جهت دانلود متن کامل مقاله قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین کلیک نمایید




نوع مطلب :
برچسب ها : قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین، مقاله قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین، تحقیق قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین، مقاله در مورد قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین، تحقیق در مورد قضیه خارجیه در منطق حذف این‏همانى و منطق مرتبه دوم هنکین،
لینک های مرتبط :
 
لبخندناراحتچشمک
نیشخندبغلسوال
قلبخجالتزبان
ماچتعجبعصبانی
عینکشیطانگریه
خندهقهقههخداحافظ
سبزقهرهورا
دستگلتفکر


آمار وبلاگ
  • کل بازدید :
  • بازدید امروز :
  • بازدید دیروز :
  • بازدید این ماه :
  • بازدید ماه قبل :
  • تعداد نویسندگان :
  • تعداد کل پست ها :
  • آخرین بازدید :
  • آخرین بروز رسانی :