The syllabus covers the fundamentals of formal logic, including Sentential Logic (SL) , truth-tables, validity, soundness, and natural deduction.
: To improve the ability to think clearly, rationally, and systematically by mastering formal evaluation methods. Key Content Areas Sentential Logic phil1068 hku
I argue that relying solely on traditional individual moral responsibility is insufficient for the AI age. Following the work of philosopher Helen Nissenbaum, we should shift toward a model of . Instead of looking for a single "moral agent," we must recognize that the responsibility lies within a network involving the programmers, the data trainers, the regulatory bodies, and the end-users. The syllabus covers the fundamentals of formal logic,
: Introducing quantifiers, interpretations, and derivations in monadic predicate logic. Critical Concepts including Sentential Logic (SL)
