انجمن منطق ایران
تغییر وضعیت ناوبری
  • خانه
  • سخنرانی‌های ماهانه
  • خبرنامه
  • همایش‌ سالانه
  • روز جهانی منطق
  • تشکیلات
    • اعضای هیئت‌مدیره
    • صورت‌جلسات
  • اخبار بیرون
  • ‌فراخوان‌ها

نگاهی معناشناسانه به برخی منطق‌های غیرکلاسیک

 انجمن منطق ایران سخنرانیِ برخط (آنلاین) برگزار می‌کند

نگاهی معناشناسانه به برخی منطق‌های غیرکلاسیک

سعید صالحی پورمهر (دانشگاه تبریز)

 

  چکیده.

یکی از شناخته‌شده‌ترین منطق‌های غیرکلاسیک منطق شهودی است؛ با اینکه اساس این منطق بر پایه‌های فلسفی استوار است، معناشناسی کریپکی [Kripke] یک جانِ ریاضی‌گونه‌ای به این منطق می‌بخشد. تا جاییکه می‌توان گفت که منطق شهودی (صوری‌سازی شده توسط هیتینگ [Heyting] شاگرد براور [Brouwer] که پدر منطق شهودی هست) همان منطق قابهای کریپکی (بازتابی و تراگذاری) می‌باشد. معناشناسی‌های دیگری نیز برای این منطق و منطق‌های (مصطلح به) میانی (بین شهودی و کلاسیک) معرفی یا پیشنهاد شده‌اند. در این سخنرانی به برخی از این معناشناسی‌ها و منطق‌های مرتبط نگاهی انداخته و نتایج قدیمی و جدیدی را در این‌باره مرور خواهیم نمود. این سخنرانی بر اساس مقالات منتشر شده زیر است:

[1] SALEHI, SAEED (2021); From Intuitionism to Many-Valued Logics through Kripke Models, in: Mojtahedi, M. & Rahman, Sh. & Zarepour, M.S. (eds.) Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, Logic, Epistemology, and the Unity of Science 49. Springer, pp. 339–348.
[2] SAFARI, PARVIN & SALEHI, SAEED (2018); Kripke Semantics for Fuzzy Logics, Soft Computing 22(3):839–844.

[3] پروین صفری و سعید صالحی پورمهر (1398)؛ ارزش ها و رابط ها در برخی منطق‌های غیر کلاسیک، پژوهشهاي نوین در ریاضی، جلد 5 شماره 19 صفحات 36–31. (2019)

 

 دوشنبه ۳۱ مرداد ۱۴۰۱، ساعت ۱۶

سخنرانیِ برخط (آنلاین) به میزبانیِ مَجازی گروه فلسفه‌ی دانشگاه اصفهان، از طریق  پیوند زیر و انتخاب گزینه‌ی میهمان در دسترس است:

https://meeting.ui.ac.ir/ch/mantegh

فایل pdf همین اطّلاعیّه:

 

تاریخ ایجاد در 04 مرداد 1401
آخرین به روز رسانی در 04 مرداد 1401
بازدید: 69
  • منطق ریاضی
  • منطق شهودگرایانه
  • مدلهای‌کریپکی
  1. تأثیر و تأثر منطق و پارادوکس‌ها بر نظریه محاسبات عام (*TC ، زمان فازی)

1 / 2

  • 1
  • 2

آخرین مطالب

  • کمیته‌های اجرایی هیئت‌مدیره‌ی پنجم
  • آگهی شماره 3 انتخابات پنجمین دوره‌ی هیئت‌مدیره‌ انجمن منطق ايران
  • راهنمای شرکت در انتخابات پنجمین هیئت‌مدیره‌ی انجمن منطق
  • فهرست کاندیداهای پنجمین انتخابات
  • فهرست اعضای انجمن منطق ایران در سال ۱۴۰۰

سخنرانی‌ها

  • بازتفسیر و ارزیابی منطق حملی ارسطویی بر مبنای منطق‌های غیرکلاسیک
  • برخی پیامدهای واقع گرایی در معرفت شناسی منطق دانان مسلمان
  • برنامه‌ی سخنرانی‌های ماهانه: سال ۱۴۰۰
  • نقد و بررسی کتاب «فلسفه ریاضی برای ریاضی‍دانان»
  • مباحثی در آنالیز ساختی

کانال تلگرام:      ای-میل: info@ialogic.ir    اساس‌نامه‌ی انجمن:  

بالا

© 2022 انجمن منطق ایران