Also known as: Formal Reasoning, Philosophy of Logic
A program that focuses on the systematic study of valid inference, argument, and sound reasoning. Includes instruction in Classical logic, properties of argument, validity, proof, fallacies, formal and material logic, symbolic and mathematical logic, analysis, specific schools of logic, and applica
Graduates pursue careers in academia, law, and philosophy, or apply their analytical skills in fields like software development, data analysis, and technical writing. Their expertise in structured reasoning is highly valued in consulting and research roles.
Impact of AI on this Study
Logic is fundamental to artificial intelligence, underpinning areas such as automated reasoning, knowledge representation, and the development of intelligent systems. AI tools also assist in the formal verification and analysis of complex logical structures.