In this century, 逻辑学已经发展成为一门应用于数学的主要学科, philosophy, computer science, 语言学与认知科学. 逻辑辅修课程的目标是为学生提供工具, 理解逻辑并将其应用于其他领域所必需的技术和概念.
逻辑课程包括以下内容:
有效和无效的推理:由什么引出什么?
形式逻辑及其在日常论证评价中的应用, 逻辑系统的抽象属性, 不一致的含义. Examples drawn from law, philosophy, economics, literary criticism, political theory, commercials, mathematics, psychology, computer science, 离题辩论和大众媒体. 演绎和归纳,逻辑符号和运算,悖论和谜题. 可以不计入PHI 202学分吗.
形式语言和自然语言中的条件句
考虑下面的论点:“如果你不买彩票,那么你就不可能中彩票。. 但是你可以中彩票. 因此,你买了一张彩票.共同模态是一种经典的有效论证形式. 但这似乎是一个反例. 你最好不要买票. In this seminar, 我们将学习不同的条件句理论——以“如果A”为形式的陈述, 然后是形式语言和自然语言中的B' -. 我们将在上述悖论和其他悖论的背景下这样做,寻求一种可以解决它们的理论. Enrollment limited to 12. 前提条件:Logic 100或同等水平. (E) {M} Credits: 4
Theresa Helke
LOG 404 Special Studies
每年两个学期提供.
PHI 101似是而非的推理:发生了什么? What Will Happen Next?
本课程是为不熟悉符号系统的学生设计的. 它将提供一个基本的介绍结构和功能的命题和谓词逻辑. This will include translating ordinary language statements and arguments into symbolic form; using truth tables to calculate truth values and determine the validity of arguments in finite universes; quantification in infinite universes; direct, 命题和谓词逻辑中的间接和条件证明技术. 本课程也将探讨归纳逻辑的主题,包括机率与统计推理,以及决策理论的要素. Enrollment limited to 24.