הסמנטיקה הלוגית, המכונה גם סמנטיקה פורמאלית, היא גישה תיאורטית לסמנטיקה של השפה הטבעית העושה שימוש במונחים ובעקרונות מן הלוגיקה ומן המתמטיקה. הבנת העקרונות הללו, ולו באופן השטחי ביותר, מחייבת היכרות עם שפה ייחודית ועם עולם מושגים שלם. לפיכך יעדיה של יחידת לימוד זו הם צנועים: מטרתנו לערוך היכרות ראשונית עם עולם המושגים ועם הנחות היסוד של הסמנטיקה הלוגית.