An
Introduction
to
Symbolic Logic
Copyright 2006-10 by Terence Parsons
all rights reserved
To the Instructor:
The system of logic used here is essentially that of Kalish, Montague and Mar, Harcourt Br
Philosophy 31
Symbolic Logic
Fall, 2016
Prof. Steven R. Levy
T.A. Antti Hiltunen
Tutors: Samuel Birns, Jesse Comer, Mary Drake, Mario Gomes da Norbrega,
Zoe (Youngzie) Lee, Hongrui (Ryan) Miao, Chely
Derivationswith~,
andthenwith
GalaReviewSession
An available line is a prior line in the derivation that is
not preceded by an uncancelled SHOW and is not in
a box.
ReviewingtheInferenceRules
Repetit
Symbolizationswith
Quantifiers
Resultsof1stMidterm
36
%
B
24
%
A
C
3%
D 31
6%
%
F
3WeekSchedule
Breaking down formulas
BiconditionalPonensandBiconditionalTolens
Argument
Allmenaremortal.
Socratesisa
Derivations!
TheRealFunBegins!
You are here.
*10/22
GalaReviewSession
Derivations!
TheFunStuff!
Aderivationhasthreecolumns:
1:LineNumber2:Formula3:Justification
Threetypesofproofs:1:Direct
1.ShowP
P
C
31 Symbolic Logic
Chapter 3
Symbolizations and
Inference Rules
S.R. Levy
31 Symbolic Logic
Schedule
S.R. Levy
31 Symbolic Logic
You are here.
A
7 pm-9 pm
S.R. Levy
31 Symbolic Logic
S.R. Levy
31
31 Symbolic Logic
Validity and Invalidity
S.R. Levy
31 Symbolic Logic
The Home Stretch
S.R. Levy
31 Symbolic Logic
S.R. Levy
The next two weeks and the Final Exam
31 Symbolic Logic
S.R. Levy
31 S
31 Symbolic Logic
Symbolization/
Truth Tables
S.R. Levy
31 Symbolic Logic
S.R. Levy
Symbolizations
If Alfred and Mary are
playing dice together, it is
the first throw of the
game, and Mary is throwi
Philosophy 31
Symbolic Logic
Winter, 2017
Prof. Steven R. Levy
T.A. Adam Fontenot
Tutors: Samuel Birns, Mary Drake, Greg Gao, Mario Gomes da Norbrega, Zoe
(Youngzie) Lee, Hongrui (Ryan) Miao, Chely Te
31 Symbolic Logic
Derivations!
The Fun Stuff!
S.R. Levy
31 Symbolic Logic
You are here.
S.R. Levy
31 Symbolic Logic
You are here.
S.R. Levy
31 Symbolic Logic
S.R. Levy
Argument
If Herbie eats pizz
ANCIENT NEAR EAST 15
Women and Power in the Ancient World
Winter 2017
Almost no evidence of successful, long-term female leaders exists from the ancient world in the
Mediterranean, Near East, Africa,
31 Symbolic Logic
Symbolization
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
You are here.
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
You are here.
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
201
Women and Power in the
Ancient World
Instructor: Kathlyn (Kara) Cooney,
Associate Professor of Egyptian Art and
Architecture
Office: 393 Humanities Building
Email: [email protected]
Office hours: Tu
31 Symbolic Logic
Symbolizatio
n
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
You are here.
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
You are here.
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
20
WOMEN AND POWER IN THE ANCIENT WORLD
Ancient Near East 15 Winter 2017
TA:
Office:
Office Hours:
Email:
Mailbox:
Andrew Danielson
Humanities A78
Friday 2-4pm
[email protected]
Humanities A78
Clas