PHIL V3411 / PHIL G4415 Introduction to Symbolic Logic
Lecture 1
Introduction and Overview
Introduction
Logic is the study of arguments. An argument is a sequence of statements of which one is intended as a conclusion and the others, the premise
PHIL V3411 / PHIL G4415 Introduction to Symbolic Logic
Lecture 2
Sentential Logic: Preliminaries; the Negation Connective
Two more preliminary remarks
Logic is useful for the purpose of assessing the goodness of certain arguments (put forward by
PHIL V3411 / PHIL G4415 Introduction to Symbolic Logic
Lecture 3
Sentential Logic: The Conjunction Connective
The Conjunction Connective (Section 2.1.2)
! For every pair of sentences A and B there is another sentence called the conjunction of A a
PHIL V3411 / PHIL G4415 Introduction to Symbolic Logic
Lecture 4
Sentential Logic: Truth-tables, Logical equivalence
A Puzzle
You are on an island where there are two kinds of inhabitants: 1) Knights, who always tell the truth 2) Knaves, who alwa
PHIL V3411 / PHIL G4415 Introduction to Symbolic Logic
Lecture 5
Sentential Logic: The Disjunction Connective; Tautologies and Contradictions
The Disjunction Connective (Section 2.2.2)
! For every pair of sentences A and B there is another senten