Mar 18: Truth-trees and quan<ca<onal consistency.
Using truth-trees to test for quan<ca<onal truth,
quan<ca<onal falsehood, quan<ca<onal
indeterminacy, quan<ca<onal equivalence,
quan<ca<onal entailment, quan<ca<
PHIL-COIS 2410H Wednesday Feb 25 2015
example: show that the set cfw_~ (B A), A, B is inconsistent
~ (B A)
5 (6,7), I
Jan.7: Introduc:on. Review of Syllabus.
Sentences. Truth-Values. Arguments.
Logical Validity and Logical Soundness.
Examples of sentences in senten:al
We will be using The L
PHIL-COIS 2410H ASSIGNMENT #2 DUE TUES. OCT.6
Assignments will be not be accepted after class on Tuesday. The symbols used in class
and in the text must be used. Make your work as clear as possible, paying particular
attention to the columns of your truth
PHIL-COIS 2410H ASSIGNMENT #4 DUE TUES. NOV.3
Assignments will not be accepted after class on Tuesday. The symbols, the rules, and the
justifications used in class must be used. (See lecture overheads from Oct.13 and Oct.20.)
Make your work as clear as po
PHIL-COIS 2410H ASSIGNMENT #5 - DUE TUES.NOV.10
Assignments will be not be accepted after class on Tuesday. Make sure you pay
particular attention to brackets and the scope of quantifiers. Hand-written assignments
must be in pen. This assignment counts fo
PHIL-COIS 2410H ASSIGNMENT #3 - DUE TUES.OCT.13
Assignments will be not be accepted after class on Tuesday. The symbols and the
conventions for justifications used in class and in the text must be used. Make your
work as clear as possible, paying particul
PHIL-COIS 2410H ASSIGNMENT #7 DUE THURS. DEC.3
Assignments will be not be accepted after 3pm on Thursday. All derivations are to be
done using the intelim rules for PD used in class and posted on the learningSystem site.
Do not use derived rules of infere
PHIL-COIS 2410H ASSIGNMENT #6 DUE TUES. NOV.24
Assignments will not be accepted after class on Tuesday. The symbols, the rules, and
the conventions for justifications used in class and in the text must be used. All five
questions are to be answered using
March 9: Truth-condi<ons for sentences of PL.
Quan<ca<onal truth, quan<ca<onal falsehood,
quan<ca<onal indeterminacy. Quan<ca<onal
equivalence and quan<ca<onal consistency.
Quan<ca<onal entailment and quan<ca<on
Jan.14: Symboliza:on in SL. Truth-
func:onal connec:ves: conjunc:on,
disjunc:on, nega:on material
condi:onal, material bicondi:onal.
Sentences in SL have a truth-value
An argument in SL is vali
Feb.25 - More deriva:ons. Basic
concepts of SD: Derivability. Validity.
Theorems. Equivalence. Inconsistency.
Derivability in SD
A sentence P of SL is derivable in SD from a
nite set of sentences
Feb 6: SD. Deriva9ons. Reitera9on
rule. Intelim rules of SD not requiring
Reitera9on Rule: R
You must reiterate an assump9on before you
can use it.
You may reiterate only assump9ons
Jan.12: Logical truth. Logical falsity. Logical
indeterminacy. Logical equivalence. Logical
consistency. Syntax of SL. Use and menFon.
Sentences of SL. Sentence LeGers.
SentenFal ConnecFves. PunctuaFon.
Jan 19: More symboliza>ons. Non
neither . nor .
Neither of her children is a lawyer.
(Her rst child is not a lawyer) and (her second
child is not a lawyer).
Jan.28: Decomposi<on rules for material
condi<onals and material bicondi<onals.
Using truth-trees to test for truth-func<onal
consistency. Strategies for construc<ng
Truth-func<onal falsehood, t
Mar.2: PL. Terms. Predicates.
Quan>ers. Symboliza>ons. Syntax.
Sentences of PL. Symboliza>on
Formal syntax of PL
predicates of PL: A, B, C, . (dont worry about
iden>fying the number
Jan.26: Truth-func;onal proper;es and
truth-func;onal consistency. Truth-
trees. Literals. Decomposi;on rules for
conjunc;on, disjunc;on, and nega;on.
Using truth-tables to establish:
Notes on assignment #7:
1. You are not permitted to use QN rules (see instructions on assignment).
2. You cannot introduce the universal quantifier over a term if that term appears in
an undischarged assumption under which you are working. (See rule for I