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 in
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
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) Knig
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
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