Today: Key Terms and Skills
Review
Skills:
I
Symbolizing sentences with multiple quantiers
Chapter 10: Predicate Logic
1/1
Two Important Types of Sentences
Chapter 10: Predicate Logic
Review
2/1
Two Important Types of Sentences
General Pattern: All P s ar
Today: Key Terms and Skills
Terms:
I
Identity
Identity
Skills:
I
Translating sentences into predicate logic with identity
I
Derivations with identity
Chapter 10: Identity and Functions
1/1
Inferences involving identity
Chapter 10: Identity and Functions
I
Today: Key Terms and Skills
Question: Conor, remind me again, why should I care about producing
derivations in predicate logic?
Terms:
I
Validity
I
Tautology
Answer: Derivations provide step-by-step processes to produce valid
arguments.
Skills:
I
I
Recogn
Today: Key Terms and Skills
Chapter 8: Syntax and Semantics II
Skills:
I
Symbolizing sentences with multiple quantiers
Conor Mayo-Wilson
University of Washington
Philosophy 120
November 20th, 2015
Chapter 8: Syntax and Semantics II
1 / 21
Chapter 8: Synta
Today: Key Terms and Skills
Terms:
Chapter 9: Derivations
I
8I, 8E, 9I, 9E.
Skills:
I
Conor Mayo-Wilson
Recognizing and explaining restrictions on quantier rules
University of Washington
Philosophy 120
November 23rd, 2013
Chapter 9: Derivations
1 / 24
Cha
Today: Key Terms and Skills
Derivations with quantiers
Question: Is the following a correct application of E?
Terms:
Identity
(x)(y)M (x, y)
(y)M (y, y)
Skills:
Recognizing and explaining restrictions E and I
Answer: No. You cannot instantiate a universal
Philosophy 120: Introduction to Logic (Autumn 2015)
Directions: Complete the following exercises in groups of four to ve students.
Turn in a copy of your answers, with all your group members names listed at
the top, by the end of lecture. Dont worry if yo
Today: Key Terms and Skills
Terms:
I
I
Quantiers
Existential quantier
Universal quantier
Concepts:
I
Symbolizing sentences with quantiers
Chapter 10: Predicate Logic
1/1
Quantiers
I
Example 1: Something stinks.
I
Example 2: Every logic professor tells bad
Key Terms and Skills
Terms:
I
I
Tautology, Contradiction, and Contingent formula
I
University of Washington
Validity in sentential logic
I
Conor Mayo-Wilson
Truth table
I
Chapter 3: Semantics
Truth-value assignment
Truth tree
Skills:
I
Philosophy 120
Cons
Key Terms and Skills
Terms:
I
Counterexample
I
Chapter 3: Semantics
Truth Trees
Open and Closed Branch
Skills:
I
University of Washington
Constructing truth trees
I
Conor Mayo-Wilson
Using truth trees and truth tables to evaluate validity
Philosophy 120
O
Today: Key Terms and Skills
Terms:
I
I
8I, 8E, 9I, 9E.
Positive subformula in predicate logic
Skills:
I
Recognizing and explaining restrictions on quantier rules
I
Identifying positive subformula
Chapter 9: Derivations
1 / 36
Quantier Rules
Chapter 9: Der
PHIL 120: Intro to Logic Exam 1 Review
10/08/2012
valid argument (1): an argument in which the premises guarantee the conclusion; an argument in which it is
impossible for the premises to be true and the conclusion to be false; an argument whose conclusio
4
Natural Deduction in Sentential Logic
The method of demonstrating validity explained in Chapter 3 has two weaknesses.
First, it does not match up with our normal reasoning process. We dont intuitively
think that the following argument is valid because w
Stat 311 Written Assignment 1 Solutions
Part 1 Review Exercises starting on page 139Required Problems
Problem 6
a) The distribution of the number of loaves sold each day in the last 100 days at the Clarksburg
Bakery is unimodal and skewed to the right. Th
PHIL 338A
WINTER 2015
PHIL 338A. FINAL EXAM REVIEW QUESTIONS
The Final Exam will take place in PCAR 192 on Friday March 20 at 2:30 pm . PLEASE BRING ONE OR
MORE BLANK EXAM BOOKS AND A PEN TO THE EXAM. EXAM BOOKS WITH NOTES WRITTEN ON
THEM OR WITH PAGES MI
One Kind of Absolutism and Three Kinds of
Relativism About Morality
1. Normative Cultural Absolutism About Morality
(NCA) = The view that the norms of one culture
(typically ones own) are infallible and universal
that is, they apply to all cultures.
2. De
THE DEVELOPMENT OF WOMEN'S RIGHTS AS
A MICROCOSM OF THE HISTORY OF HUMAN
RIGHTS
1. Internal Cultural Norms That Discriminate
Against Women Are a Near Cultural Universal:
Examples from Hinduism, Judaism, Christianity,
Islam, and other traditional cultures.
David Keyt
Mathematical Induction
Weak induction
Any property that belongs to 0 and to the successor of any number that has the property
belongs to all natural numbers:
1. 0 has the property P.
2. If any given natural number has the property P, then its s
THE POLITICS AND LAW OF INTERNATIONAL HUMAN RIGHTS (LSJ 320/Pol S 368)
University of Washington, Autumn 2014
https:/canvas.uw.edu/courses/917467
Instructor: Professor Jamie Mayerfeld
Office: Gowen 35
Office Hours: Tue. 2:00-3:30 and Fri. 11:30-12:00
Lectu
Exam 1 Study Guide
Instructions: Our rst exam takes place in section on Tuesday, October 9th. It covers Chapter 1,
Chapter 2 (sections 2.12.5), and Chapter 3 (sections 3.13.3). You should be able to:
1. Dene validity, invalidity, soundness, etc.
2. Use an
Chapter 1: What is logic?
Tyler Hildebrand
Fall Quarter 2012
Table of Contents
1.1 Arguments
Logical form and validity
A practical tool (not in text)
Limitations
Two examples:
Example A:
1. If the Seahawks win tonight then they will improve in the
standin
Chapter 2: First Steps in Symbolization
Tyler Hildebrand
Fall Quarter 2012
Table of Contents
The concept of a sentential connective
Elements of Language
Elements of natural English
Elements of the Language of Sentential Logic
Translation: The Basics
Trans
Chapter 2: First Steps in Symbolization
(continued)
Tyler Hildebrand
Fall Quarter 2012
Table of Contents
Review
Translation: The Basics
Translating conditionals
The ocial lexicon and syntax of LSL
Announcements
Quick Review
atomic sentence: a sentence con
3
Semantics for Sentential Logic
We possess a rudimentary understanding of the semantics of LSL through translation. has a meaning similar to that of if. . . then. . . . But one of the primary
motivations for generating a formal language is to remove ambi
PHIL 120: Introduction to Logic
Summer 2016
In class: Weds., 1:103:20 p.m. in MUS 223
(and exam dates)
This is a hybrid class! That means that much of the course content will be delivered
online (via our Canv
Philosophy 120: Introduction to Logic (Autumn 2015)
Handwritten Exercise Week 7
Exercise 1: Translate the following sentences into the language of firstorder predicate logic. Be sure to specify the intended interpretation of all
predicate and constant sym
Key Terms
Chapter 1: Statements and arguments and
Chapter 2: Syntax and Symbolization
Conor Mayo-Wilson
I
Valid
I
Sound
I
Statement (as opposed to sentence)
I
Sentential Operator
I
Truth-functional
University of Washington
Philosophy 120
October 2nd, 2015
Philosophy 120: Introduction to Logic (Autumn 2015)
Handwritten Exercise Week 4
Exercise 1: Fill in the justifications in the following proof. Remember to
provide both the rule of inference and the appropriate line numbers (in the
correct order) in each j