Κύριο αντικείμενο του μαθήματος είναι οι σημασιολογικές και λογικές ιδιότητες διαφόρων κατηγοριών εκφράσεων των φυσικών γλωσσών. Καλύπτει τα ακόλουθα θέματα: 1) εισαγωγή: βασικές έννοιες· 2) η διάκριση του Frege ανάμεσα στο νόημα και την αναφορά· 3) η θεωρία του Russell για τις οριστικές περιγραφές και αντιρρήσεις σε αυτή· 4) η άποψη του Russell ότι τα κύρια ονόματα είναι συντομογραφίες οριστικών περιγραφών και η άποψη του Kripke ότι είναι άκαμπτοι αναφορείς· 5) είναι το «υπάρχει» κατηγόρημα; η λογικοσημασιολογική έννοια του κατηγορήματος· 6) θεωρίες για την αλήθεια· 7) οι υποθετικοί λόγοι του πραγματικού· 8) έννοιες αναγκαιότητας και δυνατότητας και απόψεις για τους δυνατούς κόσμους· 9) οι υποθετικοί λόγοι του αντίθετου προς το πραγματικό· 10) λογική και σημασιολογία της ασάφειας.