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

خواص ساختاری چه هستند؟

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

خواص ساختاری چه هستند؟

مرتضیٰ منیری

دانشگاه شهید بهشتی

 

 چکیده.

خواص ساختاری یک دستگاه ریاضی خواصی هستند که به رابطهٔ بین اشیاء آن دستگاه اشاره می‌کنند و نه به ماهیت خود این اشیا. مشخص کردن این خاصیتها، به ویژه برای آنهایی که دیدگاه ساختارگرایانه نسبت به ریاضیات دارند،‌ اهمیت دارد. در این سخنرانی، مروری خواهیم داشت بر برخی تعریفهای شهودی ممکن خواص ساختاری.‌ به دنبال آن، به راههای ممکن برای دقیق کردن تعریف این خواص در زمینهٔ منطق ریاضی و به ویژه نظریهٔ مدل اشاره خواهیم کرد. در نهایت، به مقایسه این روشها،‌ بررسی تفاوت آنها، و امتیازها و معایب هر یک خواهیم پرداخت.

 

 

دوشنبه ۳۰ فروردین ۱۴۰۰، ساعت ۱۶-۱۷

سخنرانیِ برخط (آنلاین) از طریق  Skype در دسترس است:

https://join.skype.com/AeQwgLYfg5Vf

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

تاریخ ایجاد در 11 مرداد 1398
آخرین به روز رسانی در 23 فروردين 1400
بازدید: 66
  • سخنرانی ماهانه
  • اسلاید

نخستین مدرسه‌ی بهاری‌ انجمن منطق ایران

spring school low 2021

نسخه‌ی با کیفیت همین پوستر:

تاریخ ایجاد در 23 فروردين 1400
آخرین به روز رسانی در 23 فروردين 1400
بازدید: 54
  • مدرسه

آخرین مطالب

  • برنامه‌ی سخنرانی‌های ماهانه: شش‌ماه نخست ۱۴۰۰
  • دومین بزرگ‌داشت روز جهانیِ منطق
  • سومین بزرگ‌داشت روز جهانیِ منطق
  • در باره‌ی طراح لوگوی انجمن منطق ایران
  • اعضای انجمن منطق ایران (۹۹-۹۸)

سخنرانی‌ها

  • منطق (وجهی) احتمال
  • ساده آری، پیچیده خیر
  • وامداری سهروردی به ابن‌سینا در نظریۀ قیاس
  • درباره‌ی استدلالی غیرصوری در مقاله‌ی کلاسیکِ گودل (۱۹۳۱)
  • در باره‌ی زمان: پنجره‌ای جدید به دنیای منطق‌های زیرشهودی

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

بالا

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