PHIL 2420
Introduction to Symbolic Logic
Course Description
Disciplines
Quantification, Computation & Data Analysis
Introduces the concepts and techniques of modern formal logic, including both sentential and quantifier logic, as well as proof, interpretation, translation, and validity. For more details on this class, please visit the department website at http://www.virginia.edu/philosophy/.
Instructors
Ross Cameron
Fall 2026
tuth 8:00am - 9:15am
2.9
Rating
3.7
Difficulty
3.08
GPA
William Welchance
Fall 2023
Fr 10:00am - 10:50am
—
Rating
—
Difficulty
—
GPA
To Announced
Fall 2022
Fr 10:00am - 10:50am
—
Rating
—
Difficulty
—
GPA
William Vincent
Fall 2022
Fr 10:00am - 10:50am
—
Rating
—
Difficulty
—
GPA
Kirra Hyde
Fall 2021
—
Rating
—
Difficulty
—
GPA
Faculty Staff
Fall 2021
5.0
Rating
1.0
Difficulty
—
GPA
Nazim Adakli
Spring 2021
—
Rating
—
Difficulty
—
GPA
Ethan Butt
Spring 2021
—
Rating
—
Difficulty
—
GPA
Matthew Andler
Fall 2019
—
Rating
—
Difficulty
—
GPA
Zachary Puetz
Fall 2019
—
Rating
—
Difficulty
—
GPA
Elyse Oakley
Spring 2018
—
Rating
—
Difficulty
—
GPA
Joshua Schwartz
Spring 2018
4.7
Rating
2.0
Difficulty
3.25
GPA
Derek Lam
Fall 2017
—
Rating
—
Difficulty
—
GPA
Chunling Yan
Fall 2017
—
Rating
—
Difficulty
—
GPA
Sheung Lam
Fall 2016
—
Rating
—
Difficulty
—
GPA
Andrei Marasoiu
Spring 2016
—
Rating
—
Difficulty
—
GPA
Nicholas Rimell
Spring 2016
—
Rating
—
Difficulty
—
GPA
Adam Tiller
Spring 2016
—
Rating
—
Difficulty
—
GPA
Corin Fox
Fall 2013
—
Rating
—
Difficulty
—
GPA
Paul Humphreys
Fall 2013
2.7
Rating
3.7
Difficulty
2.89
GPA
Ralph DiFranco
Fall 2012
—
Rating
—
Difficulty
—
GPA
Nicolas Frank
Fall 2011
—
Rating
—
Difficulty
—
GPA
James Cargile
Spring 2011
4.1
Rating
3.7
Difficulty
3.04
GPA
Ana Balan
Fall 2010
—
Rating
—
Difficulty
—
GPA
Paul Nedelisky
Fall 2010
—
Rating
—
Difficulty
—
GPA
Ashley Kennedy
Fall 2009
—
Rating
—
Difficulty
—
GPA
Charles Rathkopf
Fall 2009
—
Rating
—
Difficulty
—
GPA