مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

1,753
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

0
Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

2

اطلاعات مقاله نشریه

عنوان

بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم

صفحات

 صفحه شروع 69 | صفحه پایان 84

چکیده

 منطق مرتبه دوم بخشی از منطق کلاسیک است که واژگان آن با اضافه کردن متغیر محمولی به واژگان منطق مرتبه اول (بدون اینهمانی) شکل می گیرد. به تبع این تغییر واژگان, قواعد ساخت, اصول موضوعه و قواعد استنتاجی آن نیز بر مبنای منطق مرتبه اول (بدون اینهمانی) شکل می گیرد. اصول موضوعه این منطق متشکل از قالبهای اصل موضوعی منطق مرتبه اول (بدون اینهمانی), چند قالب اصل موضوعی که شباهت زیادی به اصول منطق مرتبه اول دارند و همچنین قالبهای اصل موضوعی شمول نسبت و شمول تابع است.در منطق یاد شده می توان اصل موضوع اینهمانی را بر پایه تعریف لایب نیتسی از اینهمانی به دست آورد.برای منطق مرتبه دوم دو معناشناسی مختلف ارایه شده است: معناشناسی استاندارد که مدلهای آن شباهت زیادی به مدلهای معمول در منطق مرتبه اول دارد؛ معناشناسی هنکین که تفاوت اساسی آن با مدلهای استاندارد در توانایی محدود نمودن مجموعه هاست. هر فرمول معتبر در معناشناسی هنکین در معناشناسی استاندارد نیز معتبر است, اما عکس آن صادق نیست. هر فرمول صدق پذیر در معناشناسی استاندارد, در معناشناسی هنکین نیز صدق پذیر است, اما عکس آن صادق نیست. اصل موضوع شمول نسبت در معناشناسی هنکین معتبر نیست. بهنجاری و سازگاری منطق مرتبه دوم, هم بر اساس معناشناسی مدل استاندارد و هم معناشناسی مدل هنکین قابل اثبات است, اما می توان اثبات کرد که منطق مرتبه دوم بر پایه معناشناسی استاندارد ناتمام است. همچنین بر پایه این معناشناسی فراقضیه نافشردگی برای منطق مرتبه دوم قابل اثبات است. اما بر پایه معناشناسی هنکین تمامیت و فشردگی منطق مرتبه دوم اثبات می شود.در این مقاله مساله اصلی مورد بحث ما, بررسی اهمیت تغییر دلالت شناسی و تبعات آن در بخشهای مختلف نحوشناسی (اعم از اصول موضوعه, روشهای استنتاجی و ...) و همچنین فراقضایا با تمرکز بر بخشی از منطق کلاسیک؛ یعنی منطق مرتبه دوم است. در بررسیهای خود نشان داده ایم که تفاوت و تغییر در دلالت شناسی به تغییر در بخشهای فوق الذکر منجر خواهد شد.

استنادها

ارجاعات

  • ثبت نشده است.

    • استناددهی

    APA: کپی

    حجتی، سیدمحمدعلی، و دارابی، علیرضا. (1386). بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم. مجله دانشکده ادبیات و علوم انسانی اصفهان (مطالعات و پژوهش های دانشکده ادبیات و علوم انسانی)، 2(51)، 69-84. SID. https://sid.ir/paper/47781/fa

    Vancouver: کپی

    حجتی سیدمحمدعلی، دارابی علیرضا. بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم. مجله دانشکده ادبیات و علوم انسانی اصفهان (مطالعات و پژوهش های دانشکده ادبیات و علوم انسانی)[Internet]. 1386؛2(51):69-84. Available from: https://sid.ir/paper/47781/fa

    IEEE: کپی

    سیدمحمدعلی حجتی، و علیرضا دارابی، “بررسی و مقایسه دو دلالت شناسی منطق مرتبه دوم،” مجله دانشکده ادبیات و علوم انسانی اصفهان (مطالعات و پژوهش های دانشکده ادبیات و علوم انسانی)، vol. 2، no. 51، pp. 69–84، 1386، [Online]. Available: https://sid.ir/paper/47781/fa

    مقالات مرتبط نشریه ای

    مقالات مرتبط همایشی

  • ثبت نشده است.

    • طرح های مرتبط

  • ثبت نشده است.

    • کارگاه های پیشنهادی






    مرکز اطلاعات علمی SID
    strs
    دانشگاه امام حسین
    بنیاد ملی بازیهای رایانه ای
    کلید پژوه
    ایران سرچ
    ایران سرچ
    فایل موجود نیست.
    بازگشت به بالا