Formal Logic

PHIL20142 Formal Logic 20 Semester 2 Undergraduate Level 5 Graham Stevens Unit coordinator Philosophy 1 FHEQ level (Framework for Higher Education Qualifications) ' Middle part of Bachelors ' European Credit Transfer & Accumulation System Rating : 10.0 The course unit will cover the syntax and semantics of propositional logic (PL). Next a natural deduction system will be introduced for proving the validity of sequents and theorems in PL. Subsequently the course will extend the grammar and proof procedure developed for PL to encompass a language of first-order predicate logic with identity (QL). The course unit will cover the syntax and semantics of propositional logic (PL). Next a natural deduction system will be introduced for proving the validity of sequents and theorems in PL. Subsequently the course will extend the grammar and proof procedure developed for PL to encompass a language of first-order predicate logic with identity (QL). The unit aims to:<ul><li>Introduce students to the elements of a formal propositional and first-order predicate logic;</li><li>Introduce two systems of logic and provide a proof-procedure for each.</li></ul> Students should be able to:<ul><li>Identify and construct well formed formulas of PL and QL by implementing rules of generative grammar;</li><li>Prove sequents/theorems of PL and QL;</li><li>Translate English sentences, including with definite descriptions, into QL.</li></ul> Students should be able to:<ul><li>Understand the basic idea of a proof-theoretic approach to formal logic;</li><li>Reflect on and analyse the relationship between natural and formal languages;</li><li>Prove theorems in PL and QL;</li><li>Identify logical structures in natural language constructions.</li></ul> Students should be able to:<ul><li>Apply and clearly communicate formal, abstract reasoning.</li></ul> Analytical skills Oral communication Problem solving Research Written communication One two-hour lecture and one one-hour tutorial per week. 0 Other 100% Exam (6 hours) 33%Exam (2 hours) 67% The School of Social Sciences (SoSS) is committed to providing timely and appropriate feedback to students on their academic progress and achievement, thereby enabling students to reflect on their progress and plan their academic and skills development effectively. Students are reminded that feedback is necessarily responsive: only when a student has done a certain amount of work and approaches us with it at the appropriate time is it possible for us to feed back on the student's work. The main forms of feedback on this course are written feedback responses to assessed essays and exam answers.We also draw your attention to the variety of generic forms of feedback available to you on this as on all SoSS courses. These include: meeting the lecturer/tutor during their office hours; e-mailing questions to the lecturer/tutor; asking questions from the lecturer (before and after lecture); presenting a question on the discussion board on Canvas; and obtaining feedback from your peers during tutorials. Y <ul><li><span class="TextRun SCXW4553624 BCX8 NormalTextRun" style="-webkit-tap-highlight-color:transparent;-webkit-text-stroke-width:0px;-webkit-user-drag:none;font-family:Arial, Arial_EmbeddedFont, Arial_MSFontService, sans-serif;font-size:11pt;font-style:normal;font-variant-caps:normal;font-variant-ligatures:none !important;font-weight:400;letter-spacing:normal;line-height:17.2667px;margin:0px;orphans:2;padding:0px;text-align:left;text-decoration-color:initial;text-decoration-style:initial;text-decoration-thickness:initial;text-indent:0px;text-transform:none;user-select:text;white-space:normal;widows:2;word-spacing:0px;" data-contrast="none" xml:lang="EN-GB" lang="EN-GB">R.L. Simpson, <span class="TextRun SCXW4553624 BCX8 NormalTextRun" style="-webkit-tap-highlight-color:transparent;-webkit-text-stroke-width:0px;-webkit-user-drag:none;font-family:Arial, Arial_EmbeddedFont, Arial_MSFontService, sans-serif;font-size:11pt;font-variant-caps:normal;font-variant-ligatures:none !important;font-weight:400;letter-spacing:normal;line-height:17.2667px;margin:0px;orphans:2;padding:0px;text-align:left;text-decoration-color:initial;text-decoration-style:initial;text-decoration-thickness:initial;text-indent:0px;text-transform:none;user-select:text;white-space:normal;widows:2;word-spacing:0px;" data-contrast="none" xml:lang="EN-GB" lang="EN-GB">Essentials of Symbolic Logic<span class="TextRun SCXW4553624 BCX8 NormalTextRun" style="-webkit-tap-highlight-color:transparent;-webkit-text-stroke-width:0px;-webkit-user-drag:none;font-family:Arial, Arial_EmbeddedFont, Arial_MSFontService, sans-serif;font-size:11pt;font-style:normal;font-variant-caps:normal;font-variant-ligatures:none !important;font-weight:400;letter-spacing:normal;line-height:17.2667px;margin:0px;orphans:2;padding:0px;text-align:left;text-decoration-color:initial;text-decoration-style:initial;text-decoration-thickness:initial;text-indent:0px;text-transform:none;user-select:text;white-space:normal;widows:2;word-spacing:0px;" data-contrast="none" xml:lang="EN-GB" lang="EN-GB">, Broadview Press, 2008.</li></ul> Lectures 20 Tutorials 10 0 170