PHIL 3505 - Modern Logic & Dev at Virginia Tech


Logic and logical theory and the history of its development. 3505: Validity of arguments. Syllogistic logic from Aristotle to modern times. Deductive methods in truth functional and quantificational logic through the theory of identity. Translation from English into symbolic form. 3506: Metalogic and the history and philosophy of modern logical theory. Decidability and undecidability, completeness and incompleteness of formal systems. Developments from Cantor to Goedel. Must have 3505 to take 3506.

Course Stats for
PHIL 3505 - Modern Logic & Dev
Avg Prof Rating
# Professors
Past Tests & Quizzes
Teacher Ratings
Wall posts
Course Grade Breakdown
3, "/var/app/current/tmp/"