Explore UCD

UCD Home >

PHIL20020

Academic Year 2024/2025

Logic (PHIL20020)

Subject:
Philosophy
College:
Social Sciences & Law
School:
Philosophy
Level:
2 (Intermediate)
Credits:
5
Module Coordinator:
Dr Tatjana von Solodkoff
Trimester:
Spring
Mode of Delivery:
On Campus
Internship Module:
No
How will I be graded?
Letter grades

Curricular information is subject to change.

Logic is the study of arguments and formal logic is the study of formal features of arguments. We will look at the formal elements that distinguish good arguments from bad arguments.

Consider the argument:
If statues are constituted of lumps of clay, then two objects can be in the same place at the same time.
Statues aren’t constituted by lumps of clay.
Therefore, two objects cannot be in the same place at the same time.

It’s a bad argument. Its reasoning is flawed. But what is going wrong in this argument? The argument has a bad form. Moreover, any argument of the same form is equally bad.

In this course, you will see why arguments such as the one above are formally flawed, and you will learn a language that will help you uncover the logical form of arguments.
You will first see how to translate ordinary English sentences into the language of propositional logic. With the help of truth tables, we will determine whether a complex argument is formally good or bad.
Once you have familiarized yourself with the language of propositional logic, we will extend the language by a few symbols and rules. This extended language is called the language of quantificational logic. We will translate ordinary English sentences into the language of quantificational logic. This way, it will be easier to spot formally flawed arguments.

Deductive arguments are very common in philosophy where a priori reasoning plays a significant role. As philosophers, we often want our conclusions to strictly follow from our premises. We don’t want our conclusions to be just very likely to be true - we want them to be necessarily true. But no conclusion can strictly follow from its premises unless the argument has a good form (or can be easily turned into an argument that has a good form). This is why the study of formal logic is strongly recommended to philosophy students.

Logical symbols are also frequently used in articles and books in analytic philosophy, especially in the theoretical subdisciplines, such as metaphysics, philosophy of language, philosophy of mind, or epistemology. You might read ~∃x (x=a) in an article on the ontology of numbers or the semantics of fictional names. This course will show you how to read and interpret such symbols.

This module is skills-focused. What that means is that learning mainly happens through practice.
Although formal logic is mathematical in its appearance, it is more like a very simple artificial language to learn, with a handful of symbols and even fewer syntactic rules. No special aptitude for math is necessary for this course. But as with any new language, a willingness to practise is essential to learn it.

About this Module

Learning Outcomes:

If you complete the module, you should be able to
- Identify valid and invalid arguments
- Recognise correct translations of sentences and arguments from ordinary language into the language of propositional logic or quantificational logic - and vice versa
- Construct and interpret truth tables to determine the validity or invalidity of deductive arguments and logical properties (e.g. consistency or contradiction) of complex sentences
- Translate sentences and arguments from ordinary language into the language of propositional logic or quantificational logic

Indicative Module Content:

- logical concepts such as validity and soundness
- propositional logic
- the truth table method
- quantificational logic

Student Effort Hours:
Student Effort Type Hours
Autonomous Student Learning

98

Lectures

20

Tutorial

7

Total

125


Approaches to Teaching and Learning:
Students are expected to attend a mix of lectures and practice sessions.
The use of AI in quizzes or other assignments is prohibited.

Requirements, Exclusions and Recommendations
Learning Requirements:

None

Learning Exclusions:

None

Learning Recommendations:


Module Requisites and Incompatibles
Incompatibles:
MATH30290 - Mathematical Logic


 

Assessment Strategy
Description Timing Component Scale Must Pass Component % of Final Grade In Module Component Repeat Offered
Exam (In-person): Closed-book in-class exam, 2 hrs, all topics from the course will be covered. Week 12 Graded No
70
No
Quizzes/Short Exercises: Weekly MCQs Week 1, Week 2, Week 3, Week 4, Week 5, Week 6, Week 7, Week 8, Week 9, Week 10, Week 11, Week 12 Graded No
30
No

Carry forward of passed components
No
 

Resit In Terminal Exam
Autumn Yes - 2 Hour
Please see Student Jargon Buster for more information about remediation types and timing. 

Feedback Strategy/Strategies

• Feedback individually to students, post-assessment
• Online automated feedback
• Self-assessment activities

How will my Feedback be Delivered?

Not yet recorded.

Name Role
Pepa Mellema Tutor

Timetabling information is displayed only for guidance purposes, relates to the current Academic Year only and is subject to change.
Spring Lecture Offering 1 Week(s) - 20, 21, 22, 23, 24, 25, 26, 29, 30, 31, 32, 33 Tues 14:00 - 15:50
Spring Tutorial Offering 1 Week(s) - 22, 23, 24, 25, 26, 29, 30 Tues 13:00 - 13:50
Spring Tutorial Offering 2 Week(s) - 22, 23, 24, 25, 26, 29, 30 Tues 11:00 - 11:50