Loading presentation...

Present Remotely

Send the link below via email or IM

Copy

Present to your audience

Start remote presentation

  • Invited audience members will follow you as you navigate and present
  • People invited to a presentation do not need a Prezi account
  • This link expires 10 minutes after you close the presentation
  • A maximum of 30 users can follow your presentation
  • Learn more about this feature in our knowledge base article

Do you really want to delete this prezi?

Neither you, nor the coeditors you shared it with will be able to recover it again.

DeleteCancel

Make your likes visible on Facebook?

Connect your Facebook account to Prezi and let your likes appear on your timeline.
You can change this under Settings & Account at any time.

No, thanks

ToK - Logic

we're gonna pwn this. pwnage to the max.
by

Niki Shi

on 24 October 2011

Comments (0)

Please log in to add your comment.

Report abuse

Transcript of ToK - Logic

LOGiC All men are mortal
All Greeks are men
a. All mortals are men
B. All Greeks are mortal
C. All mortals are Greek
D. All men are Greeks Question 2: I dream about monsters. My brother dreams about monsters.
A. Everyone dreams about monsters
B. Monsters is an image commonly provoked to appear in dreams
C. We will always dream about monsters.
D. My brother and I might be exposed to images of monsters, which may have caused the occurrence of dreams. Are you female?
A. True
B. False Question 4: Using the diagram on the right of a fuzzy representation of height labels. Person A is approximately 185cm tall. What would he be categorized as?
A. Tall
B. Average
C. Average to a degree of 0.2 and tall to a degree of 0.3
D. Average to a degree of 0.6 and tall to a degree of 0.8 B. All Greeks are mortal Answer: D. My brother and I might be exposed to images of monsters, which may have caused the occurrence of dreams. Answer: C.Average to a degree of 0.2 and tall to a degree of 0.3 Formal
Logic Informal
Logic Boolean
Logic Fuzzy Logic Definition:
study of the principles of valid inference and correct reasoning
used in philosophy, mathematics, semantics, and computer science
the formal and systematic tool used to examine different forms of arguments and their validity To what extent do different modes of logic influence our decisions and conclusions? 4 TYPES OF LOGIC

Formal
Informal
Boolean
Fuzzy Jacob is justified in drinking the milk.
Chuck is justified in killing his father. INFORMAL LOGIC

Decent discipline
Precedents in 19th century works on Logic and Rhetoric
Aim to raise general standards of reasoning through public education
A child of the 1960s.



Equivalent to critical thinking
Attempt to develop a logic to assess, analyze and improve ordinary language
In contrast to formal logic, informal logic is the study of particular arguments in the CONTEXTS in which they occur.
Less generalizations and more critical analysis Knowledge Issue 4 Criteria when analyazing informal logic:

Whether all the premises are true.
Whether the conclusion is at least probable, given the truth of the premises.
Whether the premises are relevant to the conclusion.
Whether the conclusion is vulnerable to new evidence. I dream about monsters.
My brother dreams about monsters.

a. Everyone dreams about monsters
b. Monsters is an image commonly provoked to appear in dreams
c. We will always dream about monsters.
d. My brother and I might be exposed to images of monsters, which may have caused the occurrence of dreams. Question 4: Using the diagram on the right of a fuzzy representation of height labels. Person A is approximately 185cm tall. What would he be categorized as?
A. Tall
B. Average
C. Average to a degree of 0.2 and tall to a degree of 0.3
D. Average to a degree of 0.6 and tall to a degree of 0.8 An Example of Russell's Paradox:

There was once a barber. Some say that he lived in Seville. Wherever he lived, all of the men in this town either shaved themselves or were shaved by the barber. And the barber only shaved the men who did not shave themselves. Did the barber shave himself? ? Fuzzy Logic Founders:

The first idea of multifaced truths found by an important person came through Buddha
Bertrand Russell discovered the Russell's Paradox dealing with fuzzy sets in 1901
Theory of fuzzy sets was developed by Lotfi Zadeh in 1965 Lotfi's Fuzzy Sets:

instead of 'x' found within only set A or not in set A, 'x' will be in the set of A to a degree within the range of [0,1] and not in the set of A to a degree within the range of [0,1] also embraces multifaced truths
where an object can be A and not A at once
a method in which quick, simple, and sufficiently good solutions are reached
models reality which is not found in only black and white but rather in shades of grey You tell me. Supposing no transvestites. Named after George Boole
Defined an algebraic system of logic in the mid 19th century
Many applications in electronics, computer hardware and software
The basis of all modern digital electronics.
In 1938, Claude Shannon showed how electric circuits with relays could be modelled with Boolean logic.
Enormously consequential with the emergence of the electronic computer. Binary logic:
Logic that must be used when you take a true or false test.
Clear definite answer; true or false, yes or no, on or off, 1 or 0

In a set, every element is either a member or a non-member. No in between.

Boolean logic:
A complete system for logical operations, used often since popularization of mathematical logic and discussions concerning the foundations of mathematics. Terms:
Element: a member in a set
Universe: all elements being considered
Empty/null set: set of no elements
Subset: Every element in set A is also in set B [A is subset of B]
Superset: Every element in set B is also in set A [A is superset of B]
Identity/equivalence: every element in A is in B and vice versa
Proper subset: subset but sets are NOT identical
Proper superset: superset but sets are NOT identical

OPERATORS
Unary operator: operator applied to only ONE set
. NOT: takes the complement (opposite) with respect to the universe
Binary operators: Applies to TWO sets:
. Basic ones:
. OR: Intersection.
. AND: Union.
. Others:
. XOR: exlusive OR; "one or the other but not both"
. A-B: set difference Formal logic is defined as the branch of logic concerned
exclusively with the principles of deductive reasoning The works of Aristotle are the
earliest known works of formal logic 384 BC - 322 BC Known as the Organo Principal of identity: if a statement is true, then it is true.

Principle of excluded middle: a statement is either true or false
Principle of contradiction: no statement can be both true and false He preferred induction over deduction All men are mortal
All Greeks are men
Therefore...
a) All mortals are men
b) All Greeks are mortal
c) All mortals are Greek
d) All men are Greeks
All A are B
All C are A.
Therefore, all C are B.
Perception and Arts
- Many things in life cannot be sorted into precise categories
- These include music, art, poetry, and even feelings
Popular until the 1600s when it was rejected by Sir Francis Bacon knowledge issues and fallacies o o o Perception and Arts:
many things in life cannot be sorted into precise categories
these can include music, art, dance, and even feelings Mathmatics:
math is very much based on absolutes
however, fuzzy logic can be seen in some aspects of mathmatical sets
it can also be seen in percentages and probability
the mathematical model of fuzzy logic itself is complex Emotions:
we often have contrasting emotions
it is difficult to say exactly how we feel at any given point in time
emotions are often found in ranges rather than in exacts Language
Formal System
1. A set of symbols, such as the alphabet
2. A well-formed formula
3. A set of axioms
4. A set of rules for inferring
The Awkwardness of Formal Logic

All men are mortals
All Socrates are men
All Socrates are mortals

Not necessarily true if there is a woman called Socrates
Reason
Simple decision making

It is raining outside.
Rain can make you sick.
Going outside will make me sick.

This is a reasonable assumption to make given the circumstances.
Irrational Assumptions
Cutting people is a crime.
Surgeons cut people.
Therefore, surgeons are criminals.

A Sweeping Generalization: a dicto simpliciter ad dictum secundum quid Perception and Paradigms
The weather is bad.
Bad weather is caused by angry gods.
Therefore, the gods are angry.

Your location and culture can change your perception on a statement. Ethics

Law says we should not kill.
We should follow laws.
Therefore, we should not kill.

Given a terrorist threatening to kill 500 innocent people:

A deontologist would stick to the law and not kill the terrorist.
A consequentialist would take one life to spare 500 other lives. Ethics:
fuzzy logic contradicts deontological ethics usually
fuzzy logic can aide in consequentialist/utilitarian ethics
generally, fuzzy logic makes it difficult in making exact choices but gives more information in return Language:
Different meanings, implications and connations.
If I work hard, we will do well on the next test.

Difference between “good”, “well”, “not bad”, and “alright”?

To what extent can we trust logic in deriving our conclusions if such simple linguistic words can provoke such different interpretations?

To what extent does personal experience elude expression in language?
Feelings, Emotions and Intuition

If you add vodka to your life, your sleepy life will be transformed into a life of cosmopolitan excitement
A life of cosmopolitan excitement is desirable.
You desire vodka. Should emotion play a role in the evaluation of knowledge claims?
Are there circumstances under which, in order to evaluate a knowledge claim, one should ignore or pay attention to one’s emotions?
Do we follow emotions and intuition more than logic in making decisions? If so, should we attempt to encourage or avoid it?
AND/OR

In certain cases AND and OR can be used interchangeably.
"I always carry an umbrella for when it rains and snows" Language
Ambiguity of logical operators Religion

Informal fallacy:
An argument whose stated premises fail to support their proposed conclusions

Science is the only way to test claims
Science disproved God a long time ago
Hence, God does not exist. Christianity believes in free will.
You are a Christian.
You believe in free will. Begging the question, aka. Cicurla argument
Aristotle – when a proposition which require proof is assumed without proof.
Religious person and atheist? How do we apply logical thinking in religion? To what extent are we able to justify the truth of our premises in matters of religions? Reason
What we do when we make a transition from a preise to a conclusion.
True, justified premises, but incorrect reasoning.

Everytime I wash my car, it snows within an hour.
Washing my car brings snow.
What constitutes as a good argument?
What is the value of learning to distinguis between valid and invalid arguments? Boolean Logic AND/OR

The English words "and" and "or" have a meaning that usually applies more to sets of things than specific characteristics of items.
"Give me all the red and blue berries" Formal Logic Informal Logic Fuzzy Logic Boolean Logic Formal Logic Informal Logic Fuzzy Logic OR/XOR
"or" may correspond to either logical OR (and/or) or logical XOR (either/or)
. OR: "Would you like cream or sugar with your coffee?"
. -set taking precedence over item
. XOR: "Would you like soup or salad with your meal?"
. -item taking precedence over set Example
Computer programming in English:
-"The program should verify that the applicant has checked the male or female box."
-Should be XOR (can't be male AND female) Ambiguity of terms
"Are you in the IB program?"
Can be viewed as "Do you take any IB courses?" (Jamilyn; takes only some IB courses)
Do you take only IB courses at your school? (summer school excluded) A Fallacy of Boolean Logic Existential fallacy
Assuming that a set contains elements
Any argument whose conclusion implies that a class has at least one member, but whose premisses do not so imply. Example:
All trespassers will be prosecuted.
Therefore, some of those prosecuted will have trespassed.

Existential Import
There are trespassers. Dilemmas

Mapping more complex problems
In between yes or no, 1 or 0, true or false, etc
For this there is Fuzzy logic as discussed Jacob is hungry.
If one is hungry, one eats.
Therefore Jacob should eat. The law allows for killing in self defense.
Chuck killed in self defense.
Therefore Chuck did not break that law. Has Jacob eaten anything today?

No, he has not. There is no food.
However, milk is filling.
He should drink milk. He is not famished but is relatively hungry and thus does not need to drink all of the milk. He will drink some of it. Was Chuck's father pointing a gun at him?
Yes. All of the 500 innocent victims have family. Chuck wants to save their family members from suffering. Chuck should try his best to prevent the victims from getting killed. Though he did not know whether his dad would kill him for sure or not kill him at all, the percentage of his dad doing so was on the higher end of killing him. Counter-Example:
All unicorns are animals.
Therefore, some animals are unicorns.

No Existential Import
There are no unicorns. Despite the extremities of binary logic, is it possible to assess situations without binary logic? Final Decision will need to use it:
"Do I carry out the decision or not" Can boolean logic be used to arrive at knowledge claims on its own, independent from other types of logic? Mathematics
Only binary logic
Either Right or wrong Can NO binary logic be used to arrive to a claim? Almost anything can be rephrased as a question requiring binary logic.
Do you like school more than you dislike it?
Full transcript