Skip to main content
University of Rochester

Arts, Sciences and Engineering

Cluster Search Engine


Return to Search

Philosophy Department Clusters

Logic N1PHL001

This cluster begins with the basic course in symbolic logic and is followed by two courses that explore theoretical questions about logic and computation and develop more advanced logical systems.

Fulfills the Natural Sciences and Engineering area of the Rochester Curriculum. Declare This Cluster

This cluster begins with the basic course in symbolic logic and is followed by two courses that explore theoretical questions about logic and computation and develop more advanced logical systems.

Fulfills the Natural Sciences and Engineering area of the Rochester Curriculum.
Declare This Cluster

Required
PHIL110 Introductory Logic
Required
PHIL110 Introductory Logic
Choose one or two of the following
PHIL214 Logical Methods Philosophy
PHIL215 Intermediate Logic
PHIL216 Mathematical Logic
PHIL218 Philosophy of Math
Valid Starting Fall 2019
PHIL212 Probability, Inference, and Decision
Valid Starting Fall 2020
Choose one or two of the following
PHIL214 Logical Methods Philosophy
PHIL215 Intermediate Logic
PHIL216 Mathematical Logic
PHIL218 Philosophy of Math
Valid Starting Fall 2019
PHIL212 Probability, Inference, and Decision
Valid Starting Fall 2020
You may also choose one of the following
CSC171 Science Of Programming
CSC172 Science Of Data Structures
LING265 Formal Semantics
MATH199 The Infinitie
Valid Starting Fall 2016
PHIL212 Probability, Inference And Decision
Valid Starting Fall 2017
Expired Spring 2020
PHIL217 Logic and Set Theory
Valid Starting Spring 2017
You may also choose one of the following
CSC171 Science Of Programming
CSC172 Science Of Data Structures
LING265 Formal Semantics
MATH199 The Infinitie
Valid Starting Fall 2016
PHIL212 Probability, Inference And Decision
Valid Starting Fall 2017
Expired Spring 2020
PHIL217 Logic and Set Theory
Valid Starting Spring 2017