Lecture 1
07 September 2012
12:39
Homework
Read pages 5 - 11
Read intro and sections 1.1 - 1.4 of the book
then try exercises 1.1 - 1.7
Logic is primarily a study of what follows from what or val
Lecture 9
03 October 2012
12:43
Knowing logical equivalents (and hence knowing tautological equivalents) is very useful since
this simplifies things.
(Cuba(a) ^ Small(a) is logically equivalent to (
Lecture 16
Until 17/29
October 31, 2012
12:40 PM
There are a number of different types of quantifiers in FOL
A standard way of making assertions is to make what we call quantified sentences by combi
Lecture 15
29 October 2012
12:42
If the system for soundness we've introduced adequate?
For example, given disjunctive syllogism as a rule of V Elim, we can derive the ordinary rule of
V Elim
Conti
PHYS 230
Fall 2007
Assignment 1
1. At 12:00 hours ship A is 10 km east and 20 km north of a certain port. It is steaming at 40 km/hr in a direction 30 east of north. At the same time ship B is 50 k
3.3. PARTICULAR ADVICE
19
3.3 Particular Advice
Some particular examples to focus on:
13.11 (Invalid.)
13.22 (Ditto. See earlier 12.3.)
13.13 (Very like the one we had before.)
13.39 (Crucial to s
Supplementary Handout IV: The Denition of First-Order Languages without Quantiers
Dening a First-Order Language without Quantiers
As soon as the Boolean connectives that is: the negation-symbol, ; the
A Quick Handout on Intro, Intro and Intro
Note: Intro and Intro both require that you make (and discharge) assumptions as part of the
argument. In our proof system, we indicate this through use of sco
Supplementary Handout VIII: Rules-of-Thumb for Fitch-Proofs
How to approach Fitch-Proofs
In the construction of any Fitch-proof there are two things to consider:
I. How to tackle the problem as a whol
Supplementary Handout I: The Denition of a Formal Language
The Denition of a Formal Language
A formal language is fully determined by three factors: (a) which symbols occur in its expressions,
(b) whi
SBASTI
EN
1) a) We know that R is a tautological consequence of both P1Pn, P and P1Pn, Q, since it
was stated in the question. This means that there is no truth-value assignment that
assigns true to a
Sbastien Nunes (PHIL 210 1st Assignment)
260668247
1) QUESTIONS ABOUT FOL
a) Part A
i) This is neither a term nor a sentence. Even though the expression on the right is an
atomic sentence, the express
I. a ) 1. This expression is an non atomic sentence because the two parts in
themselves are not sentences. c is a simple term P(e) is an atomic sentence on
its own but when combined with the simple te
Marguerite Fournier
260669377
Phil 210 Midterm
Question 1
a) This FOL language arithmetic sentence is not properly formed as the
binary symbols for arithmetic atomic sentences do not include the
negat
Lesson 6
Representative Sampling
There is an average height of Canadians, but determining that height involves taking a (relatively small)
sample of Canadians and determining their average height.
How
Supplementary Handout IIIa: Translating Atomic Sentences
Some Rules-of-Thumb for Translating
This is intended as a supplement to sections 11.3-6 of the textbook.
Here youll nd some more basic, as well
CHAPTER 3. EXAMPLES AND EXAM ADVICE
34
3.5 Exam Practice
Some general things:
1. The questions youll be asked will be similar in form to the questions on the
two assignments and the mid-term exam. Man
Phil 210:
M ICHAEL H ALLETT
Introduction to Deductive Logic
E-mail: [email protected]
Autumn 2017
Office: Ferrier 462. Office Hours To be Announced.
Lectures: Mondays and Wednesdays: 08:3509:2
First Assignment, September 2015
Distributed by MyCourses:
Due IN CLASS:
Value:
1
PHIL 210: F IRST A SSIGNMENT, S EPTEMBER 2015
Wednesday, 30th September, 2015
Wednesday, 7th October, 2015
12.5%
Instr
Phil 210:
M ICHAEL H ALLETT
Introduction to Deductive Logic
E-mail: [email protected]
Autumn 2015
Office: Ferrier 462. Office Hours To be Announced.
Lectures: Mondays and Wednesdays: 12:3513:2
Chapter 3
Examples and Exam Advice
3.1 Selected Examples
The following are some examples that I have been asked about over the last few
days:
13.7
To prove: x (Cube( x ) y( Dodec(y) F( x, y)
Note that
PHIL 210, First Assignment, September 2017
Distributed by MyCourses:
Due IN CLASS:
Value:
1
PHIL 210: F IRST A SSIGNMENT, S EPTEMBER 2017
Wednesday, 27th September, 2017
Wednesday, 4th October, 2017
1
Mid-Term Examination, 2017
1
PHIL 210: M ID -T ERM E XAM , 2017
Distributed by MyCourses, 08h30, Monday, 23rd October 2017.
Due in class at 08h35, Wednesday, 25th October 2017.
Professor Michael Halle
Mid-Term Examination, 2015
1
PHIL 210: M ID -T ERM E XAM , 2015
Distributed by MyCourses, 20h00, Monday, 27 October 2015.
Due in class at 10h35, Wednesday, 28 October 2015.
Professor Michael Hallett
V
Second Assignment, November 2017
Distributed by MyCourses:
Due in class:
Value:
1
PHIL 210: S ECOND A SSIGNMENT, N OVEMBER 2017
13 November 2017
20 November 2017
12.5%
Instructions There are 120 point
Supplementary Handout X: The Full Denition of a First-Order Language
Dening First-Order Languages with Quantiers
With the addition of quantiers, the denition of a rst-order language becomes yet more c