مرکز اطلاعات علمی 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

بازدید:

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

دانلود:

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

استناد:

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

عنوان

ارزش ها و رابط ها در برخی منطق های غیرکلاسیک

صفحات

 صفحه شروع 31 | صفحه پایان 35

چکیده

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

استنادها

  • ثبت نشده است.
  • ارجاعات

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

    APA: کپی

    صفری، پروین، و صالحی پور، سعید. (1398). ارزش ها و رابط ها در برخی منطق های غیرکلاسیک. پژوهش های نوین در ریاضی (علوم پایه دانشگاه آزاد اسلامی)، 5(19 )، 31-35. SID. https://sid.ir/paper/396757/fa

    Vancouver: کپی

    صفری پروین، صالحی پور سعید. ارزش ها و رابط ها در برخی منطق های غیرکلاسیک. پژوهش های نوین در ریاضی (علوم پایه دانشگاه آزاد اسلامی)[Internet]. 1398؛5(19 ):31-35. Available from: https://sid.ir/paper/396757/fa

    IEEE: کپی

    پروین صفری، و سعید صالحی پور، “ارزش ها و رابط ها در برخی منطق های غیرکلاسیک،” پژوهش های نوین در ریاضی (علوم پایه دانشگاه آزاد اسلامی)، vol. 5، no. 19 ، pp. 31–35، 1398، [Online]. Available: https://sid.ir/paper/396757/fa

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

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

  • ثبت نشده است.
  • طرح های مرتبط

  • ثبت نشده است.
  • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button