Search Results
PHILÂ 42503. Symbolic Logic I. 3 Hours.
Rigorous analyses of the concepts of proof, consistency, equivalence, validity, implication, and truth. Full coverage of truth-functional logic and quantification theory (predicate calculus). Discussion of the nature and limits of mechanical procedures (algorithms) for proving theorems in logic and mathematics. Informal accounts of the basic facts about infinite sets. Prerequisite: ±Ê±á±õ³¢Ìý22003 or ²Ñ´¡°Õ±áÌý26103. (Typically offered: Fall)
This course is cross-listed with ²Ñ´¡°Õ±áÌý42503.
Philosophy (PHIL)
/undergraduatecatalog/collegesandschools/jwilliamfulbrightcollegeofartsandsciences/philosophyphil/
The Department of Philosophy offers an undergraduate major leading to a Bachelor of Arts degree in philosophy as well as a minor in philosophy.
General Education
/undergraduatecatalog/gened/generaleducation/
...PHIL 210H3 3.2 Humanities PHIL 22003 No Humanities PHIL 31003 No Humanities PHIL 42503...
World Languages, Literatures and Cultures (WLLC)
...41003 , HIST 41103 , and PHIL 40003 . French: 15...42203 , SPAN 42403 , SPAN 42503 , SPAN 4700V , SPAN...