8/10/13 Syllabus | Logic I | Linguistics and Philosophy | MIT OpenCourseWare

ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2005/syllabus/ 1/2
Subscribe to the
OCW Newsletter
Enter Email
Help | Contact Us
Search
Advanced
Search
Home Courses Linguistics and Philosophy Logic Syllabus
6\OODEXV
&2856(+20(
6<//$%86
5($',1*6
$66,*10(176
'2:1/2$'&2856(
0$7(5,$/6
Course Meeting Times
Lectures: 2 sessions / week, 1.5 hours / session
Course Description
This course provides an introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic
will aim to understand what makes a correct argument good, that is, what is it about the structure of a correct argument that guarantees that, if the
premises are all true, the conclusion will be true as well? Our subject (though, to be sure, we can only scratch the surface) will be truth and proof,
and the connection between them.
Course Requirements
There will be a homework assignment every week or every other week, and a mandatory 3-hour, open-book final exam. The final will carry the
same weight as three homework assignments.
CoIIaboration PoIicy
encourage you to work together on the problems, but when you sit down to write up your final answers, do it by yourself, without looking at
anyone else's work.
Course CaIendar
The calendar below provides information on the course topics, which are taken from chapters in the course manuscript. The manuscript entitled
Logic: The Art of Persuasion and the Science of Truth was written by the faculty member and is available in the readings section.
CHAPTER # TOPICS
1 Introduction: The Place of Logic Among the Sciences
2 Sets and Functions
3 Sentential Calculus Introduction
4 Sentential Calculus Semantics
5 Extension Theorem
6 State Descriptions, Disjunctive Normal Form, and Expressive Completeness
7 SC Substitutions
8 The Search-for-Counterexample Test for Validity
9 Compactness Theorem
10 SC Derivations
11 SC Completeness
12 Substitution of Equivalents
13 SC Translations
14 Trouble with "If"s
15 Monadic Predicate Calculus
16 Derivations in the Monadic Predicate Calculus
17 Completeness in the Monadic Predicate Calculus
18 Predicate Calculus
19 Predicate Calculus Derivations
20 Identity
Courses About Donate Featured Sites
8/10/13 Syllabus | Logic I | Linguistics and Philosophy | MIT OpenCourseWare
ocw.mit.edu/courses/linguistics-and-philosophy/24-241-logic-i-fall-2005/syllabus/ 2/2
20 Identity
21 Russell's Theory of Definite Descriptions
22 Sense and Reference
23 Function Signs
24 Sentential Calculus Revisited: Boolean Algebra
&2856(6
Find by Topic
Find by Course Number
Find by Department
Audio/Video Courses
OCW Scholar Courses
Most Visited Courses
New Courses
Translated Courses
Supplemental Resources
$%287
About OpenCourseWare
Site Stats
OCW Stories
OCW Consortium
Media Coverage
Newsletter
Press Releases
OCW's Next Decade
'21$7(
Make a Donation
Why Donate?
Become a Course
Champion
Our Supporters
Other Ways to Contribute
Shop OCW
Become a Corporate
Sponsor
)($785('6,7(6
Highlights for High School
edX
722/6
Help & FAQs
Contact Us
Advanced Search
Site Map
Privacy & Terms of Use
$%2870,723(1&2856(:$5(
MT OpenCourseWare makes the materials used in the
teaching of almost all of MT's subjects available on the
Web, free of charge. With more than 2,000 courses
available, OCW is delivering on the promise of open
sharing of knowledge.

20012013
Massachusetts nstitute of Technology
Your use of the MT OpenCourseWare site and materials is subject to our Creative Commons License and other terms of use.
285&25325$7(6833257(56