{"id":183,"date":"2018-11-11T15:30:14","date_gmt":"2018-11-11T15:30:14","guid":{"rendered":"http:\/\/blog.metu.edu.tr\/esayan\/?page_id=183"},"modified":"2018-11-11T15:31:04","modified_gmt":"2018-11-11T15:31:04","slug":"phil402","status":"publish","type":"page","link":"https:\/\/blog.metu.edu.tr\/esayan\/phil402\/","title":{"rendered":"Phil402"},"content":{"rendered":"<p><strong>PHIL 402 Philosophy of Logic and Mathematics<\/strong><br \/>\nSpring 2007-2008<\/p>\n<p><strong>OFFICE MATTERS :<\/strong><\/p>\n<p><strong>Office :<\/strong> Room B139 in the Social Sciences Building.<br \/>\n<strong>Office hours :<\/strong>Tuesday 14:40-15:30 &amp; 16:40-17:30; Friday 14:40-15:30. Other meeting times with the instructor are also possible by prior appointment.<br \/>\n<strong>Office phone :<\/strong> On campus: 5339; off campus: 210-5339. You can leave a message on the answering machine.<br \/>\n<strong>E-mail :<\/strong> esayan@metu.edu.tr<\/p>\n<p><strong>COURSE DESCRIPTION :<\/strong><br \/>\nThe two \u201cincompleteness theorems\u201d proved by Kurt G\u00f6del in 1931 (when he was only 25 years old) are probably the most interesting and important results in entire logic. In this course, our primary aim will be to try to understand G\u00f6del\u2019s proofs without recourse to any highly technical formalism of logic and mathematics. In the meantime, we shall talk about the following: the nature of philosophy and of logic, proposition, argument, deduction vs. induction, Aristotelian vs. Modern Logic, contradiction, tautology, paradox, the Liar Paradox, proof, axiom, axiomatic system, non-Euclidean geometries, Russell\u2019s Paradox, Peano\u2019s axiomatization of arithmetic, the question of the consistency of axiomatic systems, Hilbert\u2019s programme, language vs. metalanguage, Cantor\u2019s diagonal argument, transfinite numbers, continuum hypothesis, Frege and Russell\u2019s Logicism. We shall also discuss, time permitting, the alleged relevance of G\u00f6del\u2019s proofs to some important philosophical issues, such as whether the human mind is a machine and whether, more generally, the materialistic view of reality is correct.<\/p>\n<p>Our emphasis will be on grasping of concepts rather than on formal technicalities. Nevertheless, prior acquaintance with symbolic logic at an elementary level will prove very helpful to the student.<br \/>\n.<br \/>\n<strong>COURSE REQUIREMENTS :<\/strong><\/p>\n<ul>\n<li>There will be two midterms and one <em>comprehensive<\/em> final exam. All three exams will be composed, for the most part, of questions requiring short answers, such as true-false, fill-in-the blank, and multiple-choice questions. There may be, however, a couple of \u201cclassical-style\u201d questions on the exams, each requiring at most half-a-page-long answer.<\/li>\n<li>Attendance to classes is required. You will be expected not only to attend but also to actively participate in class discussions by asking questions, answering questions, and showing genuine interest in the problems being discussed. Class attendance will be taken randomly throughout the semester. Students can have three unexcused absences without hurting their grades. After three absences, the student\u2019s <em>total score<\/em> will be lowered by 3 points per unexcused absence. Class attendance may be taken at the beginning of the class period as well as at the end. When it is taken at the beginning, latecomers will be counted as absent.<\/li>\n<li>The requirements of the course will be weighted as follows:<\/li>\n<\/ul>\n<p style=\"padding-left: 60px\">1. Midterm : 30 pts.<br \/>\n2. Midterm : 30 pts.<br \/>\nFinal : 40 pts.<br \/>\nTOTAL : 100 pts.<br \/>\nParticipation in class discussion : up to +8 pts.<br \/>\nEvery unexcused absence after 3 unexcused absences : -3 pts.<\/p>\n<p style=\"padding-left: 30px\">The final letter grades for the course will be assigned via an \u201cinformal curve\u201d to be set up on the basis of the students\u2019 total scores at the end of the semester.<\/p>\n<ul>\n<li>The first midterm will be given some time between March 29-31, and the second midterm will be given between May 10-12. The exact day and hour of the midterms will be decided by the vote of the students in due time. The final exam day and hour is largely out of our control\u2014it is determined by the Registrar\u2019s Office.<\/li>\n<li>Make-ups for the exams will normally be given in cases of certified illness or certified emergency. Be warned that the make-ups will tend to be harder than the regular exams. The make-up will be especially harder in the case of students who present less than compelling reasons to take a make-up.<\/li>\n<li>If our class hours conflict with those of another course you are taking, then you are expected to spend <em>half<\/em> of those conflicting hours in our class, rather than spending them entirely in the other class during the whole semester. At the end of the semester, you will be given a form which will be signed by the teacher of the other course as proof of the class-hour conflict, and your absences during those hours will be discounted to an appropriate extent.<\/li>\n<\/ul>\n<p><strong>SEQUENCE OF READINGS :<\/strong><\/p>\n<p>A. <em>What is philosophy?<\/em>: Hospers, pp.4-5; Moody, pp.1-4.<br \/>\nB. <em>Basic concepts of logic.<\/em><br \/>\nC. <em>Euclidean Geometry<\/em>: Barker, pp.15-26.<br \/>\nD. Nagel and Newman, pp.1-8.<br \/>\nE. <em>Cantor&#8217;s diagonal argument<\/em>: \u201cDiagonal Procedure\u201d in <em>Penguin Dictionary of Philosophy<\/em>; \u201cCantor, Georg\u201d in <em>The Cambridge Dictionary of Philosophy<\/em>; \u201cCantor\u2019s Paradox\u201d in <em>The Oxford Companion to Philosophy<\/em>.<br \/>\nF. Nagel and Newman, pp.8-37, 41-44, 57-59, 66-114.<br \/>\nG. <em>Lucas&#8217; argument<\/em>: Pieces by Flew, Hofstadter, Benacerraf, and Steprans.<\/p>\n<p><strong>OPTIONAL BUT HIGHLY RECOMMENDED READINGS :<\/strong><\/p>\n<p>*. <em>Kurt G\u00f6del<\/em>: \u201cG\u00f6del, Kurt (1906-78)\u201d in <em>Routledge Encyclopedia of Philosophy<\/em>.<br \/>\n*. <em>Non-Euclidean Geomety<\/em>: Barker, pp.32-55.<br \/>\n*. <em>The Axiomatic Method<\/em>: Y\u0131ld\u0131r\u0131m, pp.235-251.<br \/>\n*. <em>G\u00f6del Sentences<\/em>: Honderich, pp.350-351.<br \/>\n*. <em>Meaning of G\u00f6del\u2019s Theorems, Examples of Undecidable Statements, Misconceptions about G\u00f6del\u2019s Theorems, Minds and Machines<\/em> : Sections of the Wikipedia article \u201cG\u00f6del\u2019s Incompleteness Theorem\u201d<br \/>\n(http:\/\/en.wikipedia.org\/wiki\/Goedels_incompleteness_theorem).<br \/>\n*. <em>The Nature of Mathematical Truth<\/em> : Hempel, pp.222-237.<\/p>\n<p>The longer readings in the two reading lists above are from the following texts:<\/p>\n<p>Barker: Steven F. Barker, <em>Philosophy of Mathematics<\/em> (Englewood Cliffs: Prentice-Hall, 1964).<\/p>\n<p>Hempel: Carl G. Hempel, \u201cOn the Nature of Mathematical Truth,\u201d in Herbert Feigl and Wifrid Sellars (eds.), <em>Readings in Philosophical Analysis<\/em> (New York: Appleton-Century-Crofts., 1949), pp.222-237.<\/p>\n<p>Nagel and Newman: Ernest Nagel and James R. Newman, <em>G\u00f6del\u2019s Proof<\/em> (New York U. P., 1958).<\/p>\n<p>Y\u0131ld\u0131r\u0131m: Cemal Y\u0131ld\u0131r\u0131m, Logic: <em>The Study of Deductive Reasoning<\/em> (Ankara: Middle East Technical University publication, 1973).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>PHIL 402 Philosophy of Logic and Mathematics Spring 2007-2008 OFFICE MATTERS : Office : Room B139 in the Social Sciences Building. Office hours :Tuesday 14:40-15:30 &amp; 16:40-17:30; Friday 14:40-15:30. Other meeting times with the instructor are also possible by prior appointment. Office phone : On campus: 5339; off campus: 210-5339. &#8230;<\/p>\n","protected":false},"author":6101,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"class_list":["post-183","page","type-page","status-publish","hentry","column","twocol"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/pages\/183","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/users\/6101"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/comments?post=183"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/pages\/183\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/esayan\/wp-json\/wp\/v2\/media?parent=183"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}