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 Brace
Jovanovich, 1992. The principle difference is that
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 Tejeda, Tatevik Yolyan
S.R. Levy
Lecture: Wednesday, Fr
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
Repetition:
ModusPonens:
DoubleNegation :
~
ModusTollens:
Symbolizationswith
Quantifiers
Resultsof1stMidterm
36
%
B
24
%
A
C
3%
D 31
6%
%
F
3WeekSchedule
Breaking down formulas
BiconditionalPonensandBiconditionalTolens
Argument
Allmenaremortal.
Socratesisaman.
ThereforeSocratesismortal.
P:Allmenaremortal
Q:So
Derivations!
TheRealFunBegins!
You are here.
*10/22
GalaReviewSession
Derivations!
TheFunStuff!
Aderivationhasthreecolumns:
1:LineNumber2:Formula3:Justification
Threetypesofproofs:1:Direct
1.ShowP
P
ConditionalDerivation
Example
1. Show:PQ
2. P
n.Q
Assume
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 Symbolic Logic
TIM
E
S.R. Levy
2
Minutes
31 Symbolic L
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 Symbolic Logic
SRL I 002
S.R. Levy
31 Symbolic Logic
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 throwing
the dice, then she wins the
game on the first throw
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 Tejeda, Chengqi Wang
S.R. Levy
Lecture: Wednesday, Friday
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 pizza, then he will get sick.
If Herbie does not eat pizza,
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, Central Asia, or East Asia. Strangely, more women were
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
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
S.R. Levy
Our
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: Tues and Thurs 11:30-12:30
Mailbox: 378 Humanities Build
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
2017 S.R. Levy
S.R. Levy
31 Symbolic Logic
S.R. Levy
Our
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
Class Lecture: TR 2-3:15, Humanities A51
Section 1G: Friday