在这个世纪, logic has grown into a major discipline with applications to 数学, 哲学, 计算机科学, linguistics and cognitive science. The goal of the logic minor is to provide students with the tools, techniques and concepts necessary to appreciate logic and to apply it to other fields.
逻辑 courses include the following:
LOG 100 Valid and Invalid Reasoning: What Follows from What?
Formal logic and its application to the evaluation of everyday arguments, the abstract properties of logical systems, the implications of inconsistency. 法律上的例子, 哲学, 经济学, 文学批评, 政治理论, 广告, 数学, 心理学, 计算机科学, off-topic debating and the popular press. Deduction and induction, logical symbolism and operations, paradoxes and puzzles. May not be taken for credit with PHI 202.
LOG 335 Conditionals in Formal and Natural Languages
Consider the following argument: 'If you don't buy a lottery ticket, then you can't win the lottery. But you can win the lottery. Therefore, you do buy a lottery ticket.' Modus tollens is a classically valid argument form. But this appears to be a counterexample. You might well not buy a ticket. 在这个研讨会上, we'll study different theories of conditionals - statements of the form 'If A, then B' - in formal and natural languages. We'll do so in the context of the paradox above and others, seeking a theory that can solve them. 报名人数限12人. Prerequisities: 逻辑 100 or equivalent. (E) {M} 学分:4
特蕾莎Helke
LOG 404特别研究
Offered both semesters each year.
PHI 101 Plausible and Implausible Reasoning: What Happened? 接下来会发生什么??
This course is designed for students who are uncomfortable with symbolic systems. It will provide an elementary introduction to the structure and function of propositional and predicate logic. 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, indirect and conditional proof techniques in propositional and predicate logic. The course will also survey topics in inductive logic involving probabilistic and statistical reasoning and elements of decision theory. 报名人数限24人.
