Philosophy @ Smith

THE LOGIC PROGRAM

Faculty
Requirements
Five College Links
Events
Related Documents and People

Logic is the study of formal and informal reasoning. Originally a branch of philosophy, logic has also become a mathematical discipline, a tool of modern linguistics, the core of computer science and an object of study for psychologists and cognitive scientists of every description. The field now reaches into virtually every aspect of human (and non-human) thought. The goal of the logic minor is to provide students with the tools, techniques and concepts necessary to appreciate logic and to apply it to other fields.

UMASS
Phillip Bricker, Philosophy
Edmund Gettier , Philosophy
Gary Hardegree, Philosophy
Neil Immerman, Computer Science
Angelika Kratzer , Linguistics

AMHERST COLLEGE
Alexender George, Philosophy
Dan Velleman, Mathematics

HAMPSHIRE COLLEGE
Steven Weisler, Cognitive Science (Linguistics)

MOUNT HOLYOKE
G Lee Bowie, Philosophy

SMITH COLLEGE
Jay Garfield, Doris Silbert Professor in the Humanities and Professor of Philosophy

ADVISERS AND CO DIRECTORS
James Henle, Professor of Mathematics
Albert G Mosley, Professor of Philosophy

LOGIC COURSES
LOG 100: Valid and Invalid Reasoning: What Follows from What?
LOG 101: Plausible and Implausible Reasoning: What Happened? What Will Happen Next?
LOG 404: Special Studies in Logic

CROSS-LISTED COURSES
CSC 111: Computer Science I
CSC 250: Foundations of Computer Science
MTH 153: Introduction to Discrete Mathematics
MTH 217: Mathematical Structures
MTH 224: Topics in Geometry
MTH 233: An Introduction to Modern Algebra
MTH 238: Topics in Number Theory
MTH 350: Topics in the History of Mathematics
PHI 202: Symbolic Logic
PHI 203: Topics in Symbolic Logic
PHI 220: Logic & the Undecidable
PHI 224: Philosophy and History of Scientific Thought
PHI 236: Linguistic Structures
PHI 262: Meaning & Truth
PHI 310: Recent & Contemporary Philosophy
PHI 362: Seminar: Philosophy of Language
PHI 404: Special Studies

REQUIREMENTS
LOG 100: Valid & Invalid Reasoning or PHI 202: Mathematical Structures
PHI 220: Logic & the Undecidable
and any two of the following:
CSC 111: Computer Science I
CSC 250: Foundations of Computer Science
LOG 404: Special Studies in Logic
MTH 153: Introduction to Discrete Mathematics
MTH 224: Topics in Geometry
MTH 233: An Introduction to Modern Algebra
MTH 238: Topics in Number Theory
MTH 350: Topics in the History of Mathematics
PHI 203: Topics in Symbolic Logic
PHI 224: Philosophy and History of Scientific Thought
PHI 236: Linguistic Structures
PHI 262: Meaning & Truth
PHI 310: Recent & Contemporary Philosophy
PHI 362: Seminar: Philosophy of Language
Students with sufficient background may be excused from LOG 100 and PHI 202.

LINKS
Five College Logic Certificate Program

Up-comong EVENTS

TBA

PAST EVENTS
Fifth Annual Alice Ambrose Lazerowitz/Thomas Tymoczko Memorial Logic Lecture
Thursday, December 2, 2004

Anil K. Gupta will be giving a lecture, "The Inference of Perception to Knowledge," at 7:30 PM in the Neilson Browsing Room. Gupta is a Distinguished University Professor of Philosophy, professor of history and philosophy, and a fellow of the Center for Philosophy of Science at the University of Pittsburgh. He is the author of The Logic of Common Nouns and co-author (with Nuel Belnap) of The Revision Theory of Truth. Also among his publications is "Deflationism, the Problem of Representation, and Horwich’s Use Theory of Meaning" in Philosophy and Phenomenological Research (November 2003).