# 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

## Popular Professors

View all professors (2+)

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