PK cQO imsmanifest.xml
IMS Content
1.1
OCW
CWSpace
0.1
Logic I
OCW Master Course Number
24.241
Fall 2009
OCW_LOMv1.0
Author
Glick, Ephraim
2020-12-28
OCW Course Topics
Humanities
Philosophy
Logic
contents/index.htm.xml
Logic I
-
Logic I
-
24-241f09.jpg
-
24-241f09-th.jpg
-
Calendar
-
Readings
-
Lecture Notes
-
MIT24_241F09_handout02.pdf
-
MIT24_241F09_lec11.pdf
-
MIT24_241F09_lec13.pdf
-
MIT24_241F09_lec23.pdf
-
MIT24_241F09_handout04.pdf
-
MIT24_241F09_lec09.pdf
-
MIT24_241F09_lec22.pdf
-
MIT24_241F09_handout14.pdf
-
MIT24_241F09_lec18.pdf
-
MIT24_241F09_lec10.pdf
-
MIT24_241F09_handout18.pdf
-
MIT24_241F09_lec24.pdf
-
Assignments
-
MIT24_241F09_hw08_sol.pdf
-
MIT24_241F09_hw02_sol.pdf
-
MIT24_241F09_hw08.pdf
-
MIT24_241F09_hw07_sol.pdf
-
MIT24_241F09_hw01_sol.pdf
-
MIT24_241F09_hw04_sol.pdf
-
MIT24_241F09_hw05.pdf
-
MIT24_241F09_hw09_sol.pdf
-
MIT24_241F09_hw04.pdf
-
MIT24_241F09_hw02.pdf
-
MIT24_241F09_hw10_sol.pdf
-
MIT24_241F09_hw09.pdf
-
MIT24_241F09_hw03_sol.pdf
-
MIT24_241F09_hw05_sol.pdf
-
MIT24_241F09_hw07.pdf
-
MIT24_241F09_hw06.pdf
-
MIT24_241F09_hw01.pdf
-
MIT24_241F09_hw03.pdf
-
MIT24_241F09_hw06_sol.pdf
-
MIT24_241F09_hw10.pdf
-
Exams
-
MIT24_241F09_quiz6.pdf
-
MIT24_241F09_quiz3.pdf
-
MIT24_241F09_quiz1.pdf
-
MIT24_241F09_final.pdf
-
MIT24_241F09_quiz2.pdf
-
MIT24_241F09_quiz4.pdf
-
MIT24_241F09_quiz5.pdf
-
MIT24_241F09_final_study_guide.pdf
-
Syllabus
-
MIT24_241F09_errata.pdf
-
Legal Notices
-
Privacy Statement
-
Trademark Notices
contents/lecture-notes/index.htm.xml
contents/lecture-notes/MIT24_241F09_lec22.pdf.xml
contents/assignments/MIT24_241F09_hw10.pdf.xml
contents/24-241f09-th.jpg.xml
contents/exams/MIT24_241F09_final.pdf.xml
contents/exams/MIT24_241F09_quiz3.pdf.xml
contents/assignments/MIT24_241F09_hw01_sol.pdf.xml
contents/lecture-notes/MIT24_241F09_lec11.pdf.xml
contents/exams/MIT24_241F09_final_study_guide.pdf.xml
contents/lecture-notes/MIT24_241F09_lec13.pdf.xml
contents/assignments/MIT24_241F09_hw06.pdf.xml
contents/assignments/MIT24_241F09_hw04_sol.pdf.xml
contents/lecture-notes/MIT24_241F09_handout02.pdf.xml
contents/assignments/MIT24_241F09_hw09.pdf.xml
contents/assignments/MIT24_241F09_hw03_sol.pdf.xml
contents/exams/MIT24_241F09_quiz5.pdf.xml
contents/readings/index.htm.xml
contents/assignments/MIT24_241F09_hw07_sol.pdf.xml
contents/assignments/MIT24_241F09_hw08_sol.pdf.xml
contents/lecture-notes/MIT24_241F09_lec09.pdf.xml
contents/assignments/MIT24_241F09_hw05.pdf.xml
contents/exams/MIT24_241F09_quiz4.pdf.xml
contents/lecture-notes/MIT24_241F09_lec24.pdf.xml
contents/assignments/MIT24_241F09_hw01.pdf.xml
contents/assignments/MIT24_241F09_hw08.pdf.xml
contents/calendar/index.htm.xml
contents/assignments/MIT24_241F09_hw03.pdf.xml
contents/lecture-notes/MIT24_241F09_handout14.pdf.xml
contents/assignments/MIT24_241F09_hw06_sol.pdf.xml
contents/exams/MIT24_241F09_quiz1.pdf.xml
contents/exams/index.htm.xml
contents/exams/MIT24_241F09_quiz2.pdf.xml
contents/syllabus/index.htm.xml
contents/assignments/MIT24_241F09_hw09_sol.pdf.xml
contents/exams/MIT24_241F09_quiz6.pdf.xml
contents/lecture-notes/MIT24_241F09_lec10.pdf.xml
contents/assignments/MIT24_241F09_hw04.pdf.xml
contents/lecture-notes/MIT24_241F09_lec23.pdf.xml
contents/index.htm.xml
contents/assignments/MIT24_241F09_hw02.pdf.xml
contents/syllabus/MIT24_241F09_errata.pdf.xml
contents/24-241f09.jpg.xml
contents/assignments/MIT24_241F09_hw05_sol.pdf.xml
contents/assignments/index.htm.xml
contents/assignments/MIT24_241F09_hw02_sol.pdf.xml
contents/lecture-notes/MIT24_241F09_lec18.pdf.xml
contents/lecture-notes/MIT24_241F09_handout04.pdf.xml
contents/assignments/MIT24_241F09_hw10_sol.pdf.xml
contents/lecture-notes/MIT24_241F09_handout18.pdf.xml
contents/assignments/MIT24_241F09_hw07.pdf.xml
PK ǕQ~3! 24-241-fall-2009/ReadMe.txtThis zip package contains the HTML pages and files associated with the course.
Some materials - such as videos, java applets, and other special content - are not posted on the OCW server, and are therefore not part of this package. This prevents zip packages from becoming too large for download. To download these resources to your computer, please read the FAQ at https://ocw.mit.edu/help/faq-technology/ .
Use of the materials in this package are governed by the same Creative Commons license as all other materials published on MIT OpenCourseWare. For more information, see https://ocw.mit.edu/terms .
If you have any trouble using this package, please contact us at ocw@mit.edu .PK ǕQ%aD6 6 24-241-fall-2009/START.htm
MIT OpenCourseWare | Welcome
Welcome to MIT Open Course Ware. You will be automatically redirected to Home. If you aren not forwarded to the new page, Click here to access the home page of the downloaded Click Here
PK AQPNx' ' . 24-241-fall-2009/contents/24-241f09-th.jpg.xml
24-241f09-th.jpg
New image Upload
en
LOMv1.0
2
Fall 2009
OCW_LOMv1.0
Author
Glick, Ephraim
2020-12-28
/courses/linguistics-and-philosophy/24-241-logic-i-fall-2009/24-241f09-th.jpg
image/jpeg
12421
LOMv1.0
Browser
LOMv1.0
Chrome
40.0
LOMv1.0
Browser
LOMv1.0
Safari
8.0
LOMv1.0
Browser
LOMv1.0
Mozilla Firefox
38.0
LOMv1.0
Browser
LOMv1.0
Internet Explorer
9.0
LOMv1.0
Browser
LOMv1.0
Edge
13.1
LOMv1.0
Other
OCW_LOMv1.0
Undergraduate
LOMv1.0
yes
This site (c) Massachusetts Institute of Technology 2020. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license") unless otherwise noted. The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions.
LOMv1.0
ispartof
OCW Master Course Number
24.241 Logic I Fall 2009
In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.
CIP
sentential logic
predicate logic
mathematical induction
meta-theory
PK ZQQiֿ ֿ ' 24-241-fall-2009/contents/24-241f09.jpg JFIF H H 5Exif II* b j ( 1 r 2 i H H Adobe Photoshop 7.0 2010:08:16 12:46:28 H @ RAFFAELLO Sanzio
(b. 1483, Urbino, d. 1520, Roma)
The School of Athens (detail)
1509
Fresco
Stanza della Segnatura, Palazzi Pontifici, Vatican
Plato and Aristotle are standing in the centre of the picture at the head of the steps. Diogenes is lying carefree on the steps to show his philosophical attitude: he despised all material wealth and the lifestyle associated with it. Below on the right is a great block of stone whose significance is probably connected with the first epistle of St Peter. It symbolizes Christ, the "cornerstone" which the builders have rejected, which becomes a stumbling block and a "rock of offence" to the unbeliever.
--- Keywords: --------------
Author: RAFFAELLO Sanzio
Title: The School of Athens (detail)
Time-line: 1501-1550
School: Italian
Form: painting
Type: religious
j r ( z H H JFIF H H Adobe_CM Adobe d
b" ?
3 !1AQa"q2B#$Rb34rC%Scs5&DTdE£t6UeuF'Vfv7GWgw 5 !1AQaq"2B#R3$brCScs4%&5DTdEU6teuFVfv'7GWgw ? ߉lhqKSu6Ma
?w.~c}C^k19hX~}Tumqvcj34[C[nn{thՃeXC-` i.rלo!EocA8&[\=p} )TjX,ŵZO~9i[9#q?Ro:֗"anH˜퍲Ѯ啝i< d1v@?FLY?X]+o[CqhM,n;ְlKFn.&GBfS#cKIgޚq%l@$0Wiݬ]'?y=Nzvpohg]wY^7ظ*mT>k]V=Uߪ?M4dkc8cwl ՞q}Slx#\&zwZ=XP$wli#Q:'S:asl9LPvcP_Ϗ)*<餛kĿ~n=溋}[j nkswTl:W{0P;Xǻ7~z:9Y)\Aiovt5="^#shaޅ5UpGF̢xjum3͗ ۹~}tKjh-?kSl}V ,cw=h?+>X߷`J{g}6"u*'B/a0u\ڬsޞ?}vxF
s}^}c5Fʚ*)x
\%5o61.Ĺ՟^on͟>ѿ^6=e-n\W9J43896^Kّ_浗=WYlgof k\]Iamv+^YG)#]ii}-ҲkkAnvٶ6?.u<|rI-la̜Q[@;kTΣU7ePgҶ=2#^;=5oK 2#M\G݇GԽE@pit~Tr|dҼ@o߷:߅F~oRYz