Exams are coming!
Get ready with premium notes and study guides!

Textbook Notes for PHIL 210 at McGill University

MCGILLPHIL 210Michael Frank HallettFall

PHIL 210 Chapter Notes - Chapter 1: Infix Notation, Arity, Binary Relation

OC16697702 Page
0
Simply, symbols that are used to refer to some fixed individual or language. Work the same way that names work in the english language. Some names in t
View Document
MCGILLPHIL 210Michael Frank HallettFall

PHIL 210 Chapter Notes - Chapter 2: Logical Consequence, Validity

OC16697704 Page
0
Chapter 2 - the logic of atomic sentences. We say that this argument is logically valid. The argument"s conclusion (socrates is mortal) is correct, ass
View Document
MCGILLPHIL 210Michael HallettFall

PHIL 210 Chapter Notes - Chapter 4: Negation Normal Form, Logical Truth, Logical Possibility

OC23535093 Page
0
&, v, - are truth-functional connectives i. e. truth value can be determined with just the truth values of constituents. It is necessarily the case tha
View Document
MCGILLPHIL 210Michael HallettFall

PHIL 210 Chapter Notes - Chapter 2: Logical Consequence, Validity, Formal System

OC23535093 Page
0
Main concern in logic is logical consequence fol was designed so that it could be. 2. 0 easy to make logical consequences clear as opposed to ambiguiti
View Document
MCGILLPHIL 210Michael HallettFall

PHIL 210 Chapter Notes - Chapter 5: Logical Truth, Natural Deduction, Truth Table

OC23535093 Page
0
Truth table limitations: 2n rows is too many rows for arguments with many atomics, and more importantly, truth tables cannot be easily extended to reas
View Document
MCGILLPHIL 210Michael HallettFall

PHIL 210 Chapter Notes - Chapter 1: Arity, Atomic Sentence, Set Theory

OC23535093 Page
0
Lpl language: cube(b) means b is a cube; larger(c, f) means c > f; between(b, c, d) means c is between b and d. note: this must mean that cube/larger/b
View Document
MCGILLPHIL 210Michael HallettFall

PHIL 210 Chapter Notes - Chapter 3: Atomic Sentence, Sentence Clause Structure, Truth Table

OC23535093 Page
0
To form complex claims from atomic claims, fol provides us with connectives and quantifiers and, or, not conjunction, disjunction, negation. Boolean co
View Document
Showing 1 — 7 of 7 result
View all professors (2+)

Textbook Notes (270,000)
CA (160,000)
McGill (5,000)
PHIL (40)
PHIL 210 (7)