Find Logic Classes in the US: Course Code & Info

[HeLiXe]

I would really like to take a logic class, but I can only find philosophy classes that have logic. Have you ever taken a logic class with philosophy? If so, did it cover logic exhaustively? Do you know if there are any classes that have logic solely? If so, what was the course code for that class? Thank you for your help!

 

[jeffasinger]

I'm under the impression that many math departments offer a junior or senior level math elective called Mathematical Logic, covering most of the topics in Enderton's An Introduction to Mathematical Logic.

My home school has a class in Logic from the philosophy department, and also one in the Math Department, and from talking to other undergrads, it seems that its not at all an uncommon situation.

 

[HeLiXe]

Thanks Jeffasinger. I'll look for a course description of mathematical logic.

 

[tcbh]

I took a couple classes in symbolic logic from the philosophy department that were based on an updated version of https://www.amazon.com/dp/0195155041/?tag=pfamazon01-20 book. The classes focused on predicate and quantifier logic as well as symbolizing written English. The philosophy department also offers metalogic and modal logic. None of the classes teach the same material as the class on Mathematical Logic (Description: Introduction to mathematical logic, aiming primarily at completeness and incompleteness theorems of Gödel. Propositional and predicate logic; syntax and semantics; formal deduction; completeness, compactness, and Löwenheim/Skolem theorems. Formal number theory: nonstandard models; Gödel incompleteness theorem.) There's also computability theory and set theory.

 

[kote]

A single course won't be exhaustive. Upper level logic courses in philosophy departments will cover Goedel and contemporary topics. Philosophy departments cover the topic exhaustively, and philosophy is the right department for logic. Logic in math or CS may touch on foundations but they will typically have a more applied focus.

If by logic you just mean rational, analytical thinking or argument, you might want to check out and intro philosophy course.

 

[HeLiXe]

I took a couple classes in symbolic logic from the philosophy department that were based on an updated version of https://www.amazon.com/dp/0195155041/?tag=pfamazon01-20 book. The classes focused on predicate and quantifier logic as well as symbolizing written English. The philosophy department also offers metalogic and modal logic. None of the classes teach the same material as the class on Mathematical Logic (Description: Introduction to mathematical logic, aiming primarily at completeness and incompleteness theorems of Gödel. Propositional and predicate logic; syntax and semantics; formal deduction; completeness, compactness, and Löwenheim/Skolem theorems. Formal number theory: nonstandard models; Gödel incompleteness theorem.) There's also computability theory and set theory.

Great! Thanks for the information. I had logic class throughout elementary school which was basically predicate logic -- like first order without symbolism if that makes sense. Some types of logic you mention, I have never heard of before, so I will look into them further. Thank you very much, I really appreciate your response!

 

[HeLiXe]

A single course won't be exhaustive. Upper level logic courses in philosophy departments will cover Goedel and contemporary topics. Philosophy departments cover the topic exhaustively, and philosophy is the right department for logic. Logic in math or CS may touch on foundations but they will typically have a more applied focus.

If by logic you just mean rational, analytical thinking or argument, you might want to check out and intro philosophy course.

Thanks kote, I realize that a single course will not be entirely exhaustive...and there are some areas of logic I am not acquainted with (which is why I would appreciate taking some classes). In my search for classes that have logic, I could only find intro to philosophy or lower level philosophy courses--which is not what I am interested in. I am actually in a lower level philosophy class now. Thanks for the information, I appreciate your response.