• Student home
• Things to know this week
• Student news
• Student events
• New students' welcome
• Studying at York
  • Semesters
  • Teaching hours
  • Enrolment
  • Manage your studies
    • Enrol or re-enrol
    • Your student record
    • Your timetable
    • Change your plan
    • Programmes and modules
      • Programme specifications
      • Studying beyond your department
      • Module catalogue
    • University study spaces
  • Student Visa holders
  • Study skills
  • Assessment and examination
  • Academic progress issues
  • Graduation
• York Online students
• Support and advice
• Health and wellbeing
• Work, volunteering and career planning
• Study and work abroad
• Accommodation
• IT and online services
• Finance
• Student life in York
• If things go wrong

Intermediate Logic (Short) - PHI00095I

« Back to module search

• Department: Philosophy
• Module co-ordinator: Dr. Simon Thunder
• Credit value: 10 credits
• Credit level: I
• Academic year of delivery: 2022-23
  • See module specification for other years: 2021-22

Module summary

The module introduces students to formal logic. Students learn how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.

Related modules

Module will run

Occurrence	Teaching period
A	Autumn Term 2022-23

Module aims

The module aims to introduce students to formal logic, in contrast to Reason & Argument which focuses on the logic of natural languages. Students learn how to construct natural deduction proofs for arguments formalised in Truth-Functional Logic and First-Order Logic. Students also learn how to construct counter-interpretations to arguments formalised in First-Order Logic.

Module learning outcomes

By the end of the module, students should be able to:

• construct natural deduction proofs to demonstrate that arguments formalised in Truth-Functional Logic or First-Order Logic are valid
• construct counter-interpretations to demonstrate that arguments formalised in First-Order Logic are invalid
• identify some of their strengths and weaknesses by evaluating their own work in relation to departmental marking criteria
• apply simple strategies for improving their work, based on critical reflection, advice, and feedback

Assessment

Task	Length	% of module mark
Online Exam - 24 hrs (Centrally scheduled) PHI00095I Intermediate Logic (Short) - Key Ideas	8 hours	100

Special assessment rules

None

Reassessment

Task	Length	% of module mark
Online Exam - 24 hrs (Centrally scheduled) PHI00095I Intermediate Logic (Short) - Key Ideas	8 hours	100

Module feedback

Feedback on formative work will be returned within 2 weeks of submission, and by the end of term at the latest. Feedback on summative work will be returned within 4 weeks of the assessment deadline.

Indicative reading

Allen & Hand, Logic Primer

Sainsbury, ‘What Logic Should We Think With?’;

Bostock, Intermediate Logic, ch. 8.

Melia, Modality, ch. 2;

Kripke, ‘Semantical Considerations on Modal Logic’

Fine, ‘Vagueness, Truth, and Logic’;

Williamson, ‘Vagueness and Ignorance’

Grice, Studies in the Way of Words, chs. 1-4;

Edgington, ‘Conditionals’, Stanford Encyclopedia of Philosophy.