خلاصه‌ای از مباحث و نکات طرح شده در جلسه به همراه متون مربوطه:

* استدلالی که طبق قواعد سیستم صوری باشد را صحیح و اگر طبق قواعد سمنتیکی زبان هم صادق باشد، آن را معتبر گویند. لذا اصطلاحاتی که جلسه قبل مطرح شد، گویا اشکال داشته است.

* فرد در فضای منطق جدید سه جور است: فرد مشخص معمول موجود که با متغیر x نشان می‌دهند و فرد فرضی که با y آن را نشان می‌دهند و فرد مردد را با z نشان می‌دهند (مثال برای فرد مردد جمله یک شخصی به خانه ما آمد که مصداق شخص یک فرد مردد است).

* در صورتبندی پارادوکس خرمن، n نمایانگر شماره ترتیبی در زنجیره است و نه تعداد دانه‌ها اگرچه در اینجا هر دو یکی هستند.