PHIL 202

Spring 2019 All Classes

All Classes

Symbolic Logic

Credit: 3 hours.

Introduction to the techniques of formal logic, dealing primarily with truth-functional logic and quantification theory.

This course satisfies the General Education Criteria in Fall 2022 for:

Quantitative Reasoning I

My Favorites

My Schedule

Section Status updates every 10 minutes.

PHIL 202 class schedule data for spring 2019
	CRN	Type	Section	Time	Day	Location	Instructor	Section Details
	35461	Lecture-Discussion	C	2:00PM -3:20PM	TR	217 Gregory Hall	Levinstein, B	Part of Term: 1 Date Range: 01/14/19-05/01/19 Degree Notes: Quantitative Reasoning I course. Section Info: When is it rational to infer one claim from others? The discipline of Logic aims to answer this question and others concerning the rich patterns of inference and reasoning that emerge upon further study. Formal Logic approaches these questions using some mathematical techniques that we will meet and begin to master in this course. In particular, we will study a powerful artificial language called First-Order Logic (FoL) that will allow us to precisely formulate the concepts of proof, truth and valid inference. FoL has been of immense foundational importance to mathematics, philosophy, computer science, linguistics and artificial intelligence, and so through FoL we will be encountering ideas of interest to all of these disciplines. Our study of FoL will focus on using it to represent and evaluate the inferences we normally express in ordinary English and other natural languages. Throughout the course we will rely heavily on the interactive computer software included with the textbook to solidify the understanding of logic that can be achieved by studying FoL.