PHIL 1- Lecture 3 - Week 3 moodle

Содержание

Слайд 2

Summary of Previous Lecture

What is Categorical Logic?
Elements of Categorical Logic
Quantity
Quality
Distribution

Summary of Previous Lecture What is Categorical Logic? Elements of Categorical Logic Quantity Quality Distribution

Слайд 3

Exercises
Rephrase the following statements (When needed)into categorical proposition. Then individuate subject,

Exercises Rephrase the following statements (When needed)into categorical proposition. Then individuate subject,
predicate, copula, and quantifier. Say which type of statement and determine which term (if any) gets distributed
All kittens are adorable
2. Some logic lessons are exciting
3. Some dogs are biters
4. All squirrels are nut-gatherers
5. Atlanta is in Georgia

Слайд 4

6. Heights always make me nauseous
7. The mosquitos are everywhere
8. Newborn babies

6. Heights always make me nauseous 7. The mosquitos are everywhere 8.
aren’t potty-trained
9. Birds are in the backyard
10. Several toys are still on the floor

Слайд 5

TODAY’S PLAN
Propositional Logic
Historical Antecedents
Modern Development
The Basic Unit of Propositional Logic
Connectives

TODAY’S PLAN Propositional Logic Historical Antecedents Modern Development The Basic Unit of
(Logical Operators)
How to Individuate the Top Level Operator
Well formed propositions
Translating propositions into propositional logic
Exercises

Слайд 6

Stoic philosophy
The Stoics = influential and powerful school of thought
KEY concepts: ataraxia

Stoic philosophy The Stoics = influential and powerful school of thought KEY
and virtues
KEY Proponents: Zeno, Crisippus, Epictetus, Cato, Seneca, Marcus Aurelio (yes, the Emperor!)

Historical Antecedents

Слайд 7

STOIC – someone who remain calm under difficult situations
Yet, the Stoic is

STOIC – someone who remain calm under difficult situations Yet, the Stoic
not a passive individual –quite the opposite. Person set on a path of self improvement guided by 4 basic virtues:
Wisdom
Temperance
Justice
Courage
Stoicism inspired Mandela during his time in prison!

Слайд 8

STOICS: Important Contributions to Logic
Crisippus / Aristotle rivalry
Difference: Stoic logic was based

STOICS: Important Contributions to Logic Crisippus / Aristotle rivalry Difference: Stoic logic
on the analysis of propositions rather than terms

Слайд 9

The Fundamental Logical notion (atomic) for the Stoics was not that of

The Fundamental Logical notion (atomic) for the Stoics was not that of
term but rather that of Assertible
Assertible: 4 features
Sound uttered;
The actual things to which the sound referred;
Lekton, the sayable was conveyed by the language;
It possesses a truth value at any point in time

Слайд 10

Atomic Units (Assertibles: ‘it is night’) can be enriched and expanded via

Atomic Units (Assertibles: ‘it is night’) can be enriched and expanded via
connectives (as in propositional logic as we shall see)
Stoics: 3 connectives
Conditional (if)
Conjunctive (and)
Disjunctive (or)
Modern Propositional Logic we have 5
Stoic logic was largely forgotten (only rediscovered in modern times)

Слайд 11

Modern Development : Leibniz

Gottfried Wilhelm Leibniz = philosopher and polymath
Contributions to

Modern Development : Leibniz Gottfried Wilhelm Leibniz = philosopher and polymath Contributions
physics, engineering, philosophy, mathematics, theology, history, law, politics, and philology..
He also discovered the binary number system and created the first calculator

Слайд 12

Leibniz was born in Leipzig to prominent parents.
Age 12 = fluent

Leibniz was born in Leipzig to prominent parents. Age 12 = fluent
in Latin and Greek
Age 13 = . he was deep into the works of Aristotle and scholastic philosophy,
Age 14 = entered the University of Leipzig,
Age 19 = Offered a professorship.

Слайд 13

Leibniz loved a luxurious life… ☺
However, at age 18 he lost

Leibniz loved a luxurious life… ☺ However, at age 18 he lost
his huge inheritance , tricked by his uncle
To satisfy his expensive taste he decided to attach himself to rich people, who would pay for his lectures and intellectual company.
First he worked for the Duke Hannover, then worked for Peter the Great (he is the founder of the Russian Academy of Sciences) and even for Catherine the Great

Слайд 14

English mathematician who helped establish modern propositional logic and whose algebra of logic,

English mathematician who helped establish modern propositional logic and whose algebra of
now called Boolean algebra, is basic to the design of digital computer circuits.

Modern Development : Boole

*Poor Family, unlike Leibnitz
Another genius …. who died because of pneumonia, which he caught because he delivered a lecture with wet clothes….

Слайд 15

Proposition!
A proposition refers to the meaning of a claim. So, an argument

Proposition! A proposition refers to the meaning of a claim. So, an
may have many propositions which are labelled by different letters or numbers (1,2, 3, etc)
Propositional Logic more natural tool for studying validity and truth of proposition than Categorical Logic

The Basic Unit of Propositional Logic

Слайд 16

EXAMPLE: Prof Farina is a clown and Prof Farina likes little kids
How

EXAMPLE: Prof Farina is a clown and Prof Farina likes little kids
can symbolise this?
Prof Farina is a clown (proposition 1)
Prof Farina likes little kids (proposition 2)
And (connective, logical operator)

We need to introduce all possible connectives

Слайд 17

WHAT ARE THE DIFFERENT LOGICAL OPERATORS?*

CONNECTIVES

WHAT ARE THE DIFFERENT LOGICAL OPERATORS?* CONNECTIVES

Слайд 19

DIFFERENCE BETWEEN SIMPLE STATEMENTS AND COMPOUND STATEMENT?
So, negation can exist and be

DIFFERENCE BETWEEN SIMPLE STATEMENTS AND COMPOUND STATEMENT? So, negation can exist and
found in simple statements (statements that have 1 proposition)
Whereas the other 4 logical operators can only exist in compound sentences (that is statements that consist of two or more propositions)
The great thing about propositional logic is precisely that allows us to study the level of truth and validity of complex statements

Слайд 20

IMPORTANT: Basic way to learn how to use logical operators and build

IMPORTANT: Basic way to learn how to use logical operators and build complex statements
complex statements

Слайд 22

WHAT HAPPENS WHEN THERE ARE TWO CONNECTIVES IN THE SAME STATEMENTS?
George is

WHAT HAPPENS WHEN THERE ARE TWO CONNECTIVES IN THE SAME STATEMENTS? George
a clown and doesn’t like to wear hats
It is not the case the George is a clown and he likes hats

Слайд 23

What is the top logic operator?

What is the top logic operator?

Слайд 28

A condition A is said to be necessary for a condition B, if (and only if) the

A condition A is said to be necessary for a condition B,
falsity (/nonexistence /non-occurrence) [as the case may be] of A guarantees (or brings about) the falsity (/nonexistence /non-occurrence) of B
A condition A is said to be sufficient for a condition B, if (and only if) the truth (/existence /occurrence) [as the case may be] of A guarantees (or brings about) the truth (/existence /occurrence) of B.
[Air is necessary for human life] –> necessary but not sufficient [John is a king" implies that John is male. So knowing that John is a king is sufficient to knowing that he is a male.]
See:
https://www.sfu.ca/~swartz/conditions1.htm#:~:text=Examples%208.2%20%2D%20The%20first%20is,%2C%20for%20being%20a%20male.%22&text=%22Winning%20a%20lottery%20is%20a,%2C%20for%20having%20a%20ticket.%22

Слайд 29

EXAMPLE:
Hilton’s opening a new hotel is a sufficient condition for Marriott’s doing

EXAMPLE: Hilton’s opening a new hotel is a sufficient condition for Marriott’s
so
Hilton’s opening a new hotel is a necessary condition for Marriott’s doing so

Слайд 30

Like in Algebra we need to be careful where we put our

Like in Algebra we need to be careful where we put our parenthesis and brackets
parenthesis and brackets

Слайд 31

EXERCISES
If MIG changing its logo implies that Sukhoi increases sales, then Antonov

EXERCISES If MIG changing its logo implies that Sukhoi increases sales, then
will reorganise
If Gazprom and Lukoil lower prices or Rosneft downsizes, then Novatek will expand production

Слайд 32

I will not pass this class unless I go to class every

I will not pass this class unless I go to class every
day and do all of the homework exercises.
I lock the doors and close the windows whenever I leave to go to work.

Слайд 33

Getting up on time and getting ready quickly is sufficient for arriving

Getting up on time and getting ready quickly is sufficient for arriving
at work on time.
Practicing an hour a day and getting private lessons twice a week is necessary for playing in the wind ensemble.
Имя файла: PHIL-1--Lecture-3---Week-3-moodle.pptx
Количество просмотров: 34
Количество скачиваний: 0