سهشنبه ۱۱ آبان ۱۳۹۵
خلاصهای از مباحث و نکات طرح شده در جلسه به همراه متون مربوطه:
* استدلالی که طبق قواعد سیستم صوری باشد را صحیح و اگر طبق قواعد سمنتیکی زبان هم صادق باشد، آن را معتبر گویند. لذا اصطلاحاتی که جلسه قبل مطرح شد، گویا اشکال داشته است.
* فرد در فضای منطق جدید سه جور است: فرد مشخص معمول موجود که با متغیر x نشان میدهند و فرد فرضی که با y آن را نشان میدهند و فرد مردد را با z نشان میدهند (مثال برای فرد مردد جمله یک شخصی به خانه ما آمد که مصداق شخص یک فرد مردد است).
* در صورتبندی پارادوکس خرمن، n نمایانگر شماره ترتیبی در زنجیره است و نه تعداد دانهها اگرچه در اینجا هر دو یکی هستند.