lecture 2: arguments s. choi - kaist 수리과학과mathsci.kaist.ac.kr/~schoi/logiclec2.pdf ·...

120
Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea Fall semester, 2012 S. Choi (KAIST) Logic and set theory September 9, 2012 1 / 21

Upload: others

Post on 22-Jul-2020

3 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Logic and the set theoryLecture 2: Arguments

S. Choi

Department of Mathematical ScienceKAIST, Daejeon, South Korea

Fall semester, 2012

S. Choi (KAIST) Logic and set theory September 9, 2012 1 / 21

Page 2: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.

Argument diagramsArgument evaluation: Nolt Ch. 2Fallacies Ch 8. ( no need to memorize here.)Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.krGrading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 3: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.Argument diagrams

Argument evaluation: Nolt Ch. 2Fallacies Ch 8. ( no need to memorize here.)Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.krGrading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 4: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.Argument diagramsArgument evaluation: Nolt Ch. 2

Fallacies Ch 8. ( no need to memorize here.)Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.krGrading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 5: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.Argument diagramsArgument evaluation: Nolt Ch. 2Fallacies Ch 8. ( no need to memorize here.)

Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.krGrading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 6: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.Argument diagramsArgument evaluation: Nolt Ch. 2Fallacies Ch 8. ( no need to memorize here.)Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.kr

Grading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 7: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

About this lecture

Arguments, Nolt. Ch. 1.Argument diagramsArgument evaluation: Nolt Ch. 2Fallacies Ch 8. ( no need to memorize here.)Course homepages:http://mathsci.kaist.ac.kr/~schoi/logic.html andthe moodle page (KLMS) http://edu3.kaist.ac.krGrading and so on in KLMS. Ask questions in KLMS.

S. Choi (KAIST) Logic and set theory September 9, 2012 2 / 21

Page 8: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library

"Mookja" (1977) Mozi in our library"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longmanhttp://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 9: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library"Mookja" (1977) Mozi in our library

"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longmanhttp://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 10: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library"Mookja" (1977) Mozi in our library"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )

Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longmanhttp://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 11: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library"Mookja" (1977) Mozi in our library"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)

Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longmanhttp://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 12: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library"Mookja" (1977) Mozi in our library"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longman

http://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 13: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Introduction

Some helpful references

"Susahak" in our library"Mookja" (1977) Mozi in our library"Nonuh", Lunyu (English: Analects)[1] (also known as theAnalects of Confucius )Modern rhetoric / Brooks, Cleanth / Harcourt Brace Jovanovich(1979)Ancient Rhetorics, S. Crowley, D. Hawhee, 3rd Edition,Pearson,Longmanhttp://plato.stanford.edu/contents.html has muchresource. Search for rhetoric, informal logic, Mozi.

S. Choi (KAIST) Logic and set theory September 9, 2012 3 / 21

Page 14: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?

It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 15: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.

This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 16: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).

The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 17: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)

Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 18: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.

Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 19: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)

Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 20: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)

Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 21: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 22: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

ArgumentWhat is an “argument"?It is an attempt to convince some one of certain beliefs.This was developed as ancient rhetorics by Greek Sophists ,Roman Orators (Cecero), Arab philosophers, and Chinesephilosophers (Mozi).The Logicians or School of Names was a Chinese philosophicalschool that grew out of Mohism in the Warring States Period. (SeeStanford)Confucius arguments are mainly about how to bring humanenatural compulses out of any one.Indian logic (Very developed and complete)Buddhism (The west learned it mostly from the Japanese.)Mostly, these involve much emotional components. Seizing themoments...

S. Choi (KAIST) Logic and set theory September 9, 2012 4 / 21

Page 23: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Socratic methods. Examine people’s arguments. Definitions exist?What are undefined and used freely? Find self-contradictions inthe reasoning.

Socratic methods can be used constructively to produce soundreasonings.Plato condemned the Sophists.Aristotelian Syllogism:(http://en.wikipedia.org/wiki/Syllogism) supercededby Frege and Russell.Aristoles Rhetoric (a book to Alexander). There are also books bySophists (for example by Isocrates).

S. Choi (KAIST) Logic and set theory September 9, 2012 5 / 21

Page 24: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Socratic methods. Examine people’s arguments. Definitions exist?What are undefined and used freely? Find self-contradictions inthe reasoning.Socratic methods can be used constructively to produce soundreasonings.

Plato condemned the Sophists.Aristotelian Syllogism:(http://en.wikipedia.org/wiki/Syllogism) supercededby Frege and Russell.Aristoles Rhetoric (a book to Alexander). There are also books bySophists (for example by Isocrates).

S. Choi (KAIST) Logic and set theory September 9, 2012 5 / 21

Page 25: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Socratic methods. Examine people’s arguments. Definitions exist?What are undefined and used freely? Find self-contradictions inthe reasoning.Socratic methods can be used constructively to produce soundreasonings.Plato condemned the Sophists.

Aristotelian Syllogism:(http://en.wikipedia.org/wiki/Syllogism) supercededby Frege and Russell.Aristoles Rhetoric (a book to Alexander). There are also books bySophists (for example by Isocrates).

S. Choi (KAIST) Logic and set theory September 9, 2012 5 / 21

Page 26: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Socratic methods. Examine people’s arguments. Definitions exist?What are undefined and used freely? Find self-contradictions inthe reasoning.Socratic methods can be used constructively to produce soundreasonings.Plato condemned the Sophists.Aristotelian Syllogism:(http://en.wikipedia.org/wiki/Syllogism) supercededby Frege and Russell.

Aristoles Rhetoric (a book to Alexander). There are also books bySophists (for example by Isocrates).

S. Choi (KAIST) Logic and set theory September 9, 2012 5 / 21

Page 27: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Socratic methods. Examine people’s arguments. Definitions exist?What are undefined and used freely? Find self-contradictions inthe reasoning.Socratic methods can be used constructively to produce soundreasonings.Plato condemned the Sophists.Aristotelian Syllogism:(http://en.wikipedia.org/wiki/Syllogism) supercededby Frege and Russell.Aristoles Rhetoric (a book to Alexander). There are also books bySophists (for example by Isocrates).

S. Choi (KAIST) Logic and set theory September 9, 2012 5 / 21

Page 28: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".

Opinions of majority of people (or experts) are considered facts.Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 29: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.

Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 30: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.Use examples.

Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 31: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.

One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 32: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.

This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 33: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)

Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 34: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Modern rhetorics

In the modern times, we use "just the facts, please".Opinions of majority of people (or experts) are considered facts.Use examples.Mathematical arguments are limited to logical steps only. So thisis very much distinctive.One follows the logic of Russell and Frege as only valid forms ofarguments.This is the formal logic (This is the content of Nolt, Ch. 3-7)Informal logic is the attempt to develop a logic to assess, analyzeand improve ordinary language (or "everyday") reasoning

S. Choi (KAIST) Logic and set theory September 9, 2012 6 / 21

Page 35: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Mathematical arguments

All humans are mortal. Socrates is human. Therefore, Socrates ismortal.

Since the U.S. federal reserve has issued too much money, therewill be inflation.China has many intelligent people. Thus, China must soonbecome very rich.Which of the above is right?The arguments involve premises (for, since, because, assumingthat) and conclusions. (Therefore, thus, hence, accordingly...)

S. Choi (KAIST) Logic and set theory September 9, 2012 7 / 21

Page 36: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Mathematical arguments

All humans are mortal. Socrates is human. Therefore, Socrates ismortal.Since the U.S. federal reserve has issued too much money, therewill be inflation.

China has many intelligent people. Thus, China must soonbecome very rich.Which of the above is right?The arguments involve premises (for, since, because, assumingthat) and conclusions. (Therefore, thus, hence, accordingly...)

S. Choi (KAIST) Logic and set theory September 9, 2012 7 / 21

Page 37: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Mathematical arguments

All humans are mortal. Socrates is human. Therefore, Socrates ismortal.Since the U.S. federal reserve has issued too much money, therewill be inflation.China has many intelligent people. Thus, China must soonbecome very rich.

Which of the above is right?The arguments involve premises (for, since, because, assumingthat) and conclusions. (Therefore, thus, hence, accordingly...)

S. Choi (KAIST) Logic and set theory September 9, 2012 7 / 21

Page 38: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Mathematical arguments

All humans are mortal. Socrates is human. Therefore, Socrates ismortal.Since the U.S. federal reserve has issued too much money, therewill be inflation.China has many intelligent people. Thus, China must soonbecome very rich.Which of the above is right?

The arguments involve premises (for, since, because, assumingthat) and conclusions. (Therefore, thus, hence, accordingly...)

S. Choi (KAIST) Logic and set theory September 9, 2012 7 / 21

Page 39: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Mathematical arguments

All humans are mortal. Socrates is human. Therefore, Socrates ismortal.Since the U.S. federal reserve has issued too much money, therewill be inflation.China has many intelligent people. Thus, China must soonbecome very rich.Which of the above is right?The arguments involve premises (for, since, because, assumingthat) and conclusions. (Therefore, thus, hence, accordingly...)

S. Choi (KAIST) Logic and set theory September 9, 2012 7 / 21

Page 40: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.

One often needs to break down the sentences into “atomic”pieces.This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integersI Every rational number is expressible as a ratio of two integers.I Thus,

√2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 41: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.One often needs to break down the sentences into “atomic”pieces.

This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integersI Every rational number is expressible as a ratio of two integers.I Thus,

√2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 42: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.One often needs to break down the sentences into “atomic”pieces.This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integersI Every rational number is expressible as a ratio of two integers.I Thus,

√2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 43: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.One often needs to break down the sentences into “atomic”pieces.This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integers

I Every rational number is expressible as a ratio of two integers.I Thus,

√2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 44: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.One often needs to break down the sentences into “atomic”pieces.This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integersI Every rational number is expressible as a ratio of two integers.

I Thus,√

2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 45: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Some exercises

Arguments have to be put in order of premises and thenconclusion.One often needs to break down the sentences into “atomic”pieces.This means that you break them down until no furtherdecomposition can be done. (Linguistically always possible. Sowe assume or enforce.)

I√

2 cannot be expressed as a ratio of two integersI Every rational number is expressible as a ratio of two integers.I Thus,

√2 is not a rational number.

S. Choi (KAIST) Logic and set theory September 9, 2012 8 / 21

Page 46: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument diagram

Label the atomic sentences.

One groups atomic sentences into groups that implies anotheratomic sentence excluding any sentence that is not needed.The result has no cycles for the argument to be valid.Outside the formal logic, one can still draw argument diagrams..

S. Choi (KAIST) Logic and set theory September 9, 2012 9 / 21

Page 47: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument diagram

Label the atomic sentences.One groups atomic sentences into groups that implies anotheratomic sentence excluding any sentence that is not needed.

The result has no cycles for the argument to be valid.Outside the formal logic, one can still draw argument diagrams..

S. Choi (KAIST) Logic and set theory September 9, 2012 9 / 21

Page 48: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument diagram

Label the atomic sentences.One groups atomic sentences into groups that implies anotheratomic sentence excluding any sentence that is not needed.The result has no cycles for the argument to be valid.

Outside the formal logic, one can still draw argument diagrams..

S. Choi (KAIST) Logic and set theory September 9, 2012 9 / 21

Page 49: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument diagram

Label the atomic sentences.One groups atomic sentences into groups that implies anotheratomic sentence excluding any sentence that is not needed.The result has no cycles for the argument to be valid.Outside the formal logic, one can still draw argument diagrams..

S. Choi (KAIST) Logic and set theory September 9, 2012 9 / 21

Page 50: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 51: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.

People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 52: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.

Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 53: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.

Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 54: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.

Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 55: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.

Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 56: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.

We must disperse the population to other places.I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 57: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 58: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

I Seoul has most of the resources of Korea.People need resources to be in their city.Therefore, many people came to Seoul.Hence, Seoul has too much population.Too much people in Seoul create problems.Seoul should not have the problems.We must disperse the population to other places.

I I I I I I 1-+ 2 -> 3 -> 4 + 5+6 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 10 / 21

Page 59: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.

China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 60: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.

If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 61: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.

China is large.South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 62: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.

South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 63: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.

South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 64: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.South Korea must not suffer.

Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 65: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.

3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 66: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

China must grow fast or there will be instabilites.China must not become unstable.If a large country becomes unstable, then the nearby countrysuffers.China is large.South Korea is a nearby country.South Korea must not suffer.Therefore China must grow fast.3+4+5+6-> 2 + 1 -> 7

S. Choi (KAIST) Logic and set theory September 9, 2012 11 / 21

Page 67: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.

Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 68: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premises

Deductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 69: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.

Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 70: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.

Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 71: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argument

Invalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 72: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)

Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 73: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Argument evaluation

This is mostly in informal logic.Truth of premisesDeductive argument: If all the premises are true, then theconclusion must be true. i.e., the conclusion is necessary.Inductive argument (Strong, weak): here, the conclusion is notnecessary but often with large probability.Valid arguments: A deductive argumentInvalid arguments: non-deductive argument (includes inductiveones)Any conclusion follows deductively from inconsistent premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 12 / 21

Page 74: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.

All winged things sing.Therefore, pigs sing.All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 75: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.

Therefore, pigs sing.All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 76: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.Therefore, pigs sing.

All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 77: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.Therefore, pigs sing.All mathematical theorems are always true.

The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 78: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.Therefore, pigs sing.All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.

Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 79: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.Therefore, pigs sing.All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.

See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 80: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Arguments

Examples

Some pigs have wings.All winged things sing.Therefore, pigs sing.All mathematical theorems are always true.The Black-Scholes equation is a mathematical theorem.Therefore, the Black-Scholes equations are always true under allsituations.See also the Black Swan theory. (There is a book by NassimNicholas Taleb)

S. Choi (KAIST) Logic and set theory September 9, 2012 13 / 21

Page 81: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevanceI Circular reasoningI Semantic fallaciesI Formal fallaciesI False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 82: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevance

I Circular reasoningI Semantic fallaciesI Formal fallaciesI False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 83: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevanceI Circular reasoning

I Semantic fallaciesI Formal fallaciesI False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 84: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevanceI Circular reasoningI Semantic fallacies

I Formal fallaciesI False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 85: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevanceI Circular reasoningI Semantic fallaciesI Formal fallacies

I False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 86: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies

Mistakes or deceptions in arguments. See Stanford under informallogic. There are criticisms against classifying fallacies but ....

I Fallacies of relevanceI Circular reasoningI Semantic fallaciesI Formal fallaciesI False premises.

S. Choi (KAIST) Logic and set theory September 9, 2012 14 / 21

Page 87: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominem

The kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 88: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 89: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 90: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keeps

I Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 91: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.

I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 92: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greed

I Circumstantial ad hominem: a proponent is endorsing conflictingpropositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 93: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance

Ad hominemThe kind

I Ad hominem abuse: attacks a person’s age, character, ethnicity,personality,...

I guilt by association: attacks the company he or she keepsI Tu quoque: attacks that a person has a double standard.I Vested interest: a proponent is motivated by greedI Circumstantial ad hominem: a proponent is endorsing conflicting

propositions.

S. Choi (KAIST) Logic and set theory September 9, 2012 15 / 21

Page 94: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.

Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 95: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.

Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 96: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authority

Ad populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 97: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the people

Ad misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 98: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pity

Ad ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 99: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignorance

Ignoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 100: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.

Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 101: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance II

Straw man argument: refutes a claim by confusing with lessplausible claim.Ad baculum: Apeal to force.Ad verecundiam: Apeal to authorityAd populum: Apeal to the peopleAd misericordiam: Apeal to pityAd ignoratium: Apeal to ignoranceIgnoratio elechi: missing the point.Red herring: tangential matter to divert attention.

S. Choi (KAIST) Logic and set theory September 9, 2012 16 / 21

Page 102: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance: examples

Teachers are opposing teaching evaluations. They will livecomfortably if there are no teaching evaluations. Therefore, wemust implement teaching evaluations.

The minister of education said that there will be no collegeenterance exams in five years. I am going to college 5 years later.Therefore, I don’t have to study.Since the father of former president ZZZ is a fraudulent person,we cannot trust ZZZ.(These are used often by political partyspokesmen/spokeswomen. )

S. Choi (KAIST) Logic and set theory September 9, 2012 17 / 21

Page 103: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance: examples

Teachers are opposing teaching evaluations. They will livecomfortably if there are no teaching evaluations. Therefore, wemust implement teaching evaluations.The minister of education said that there will be no collegeenterance exams in five years. I am going to college 5 years later.Therefore, I don’t have to study.

Since the father of former president ZZZ is a fraudulent person,we cannot trust ZZZ.(These are used often by political partyspokesmen/spokeswomen. )

S. Choi (KAIST) Logic and set theory September 9, 2012 17 / 21

Page 104: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance: examples

Teachers are opposing teaching evaluations. They will livecomfortably if there are no teaching evaluations. Therefore, wemust implement teaching evaluations.The minister of education said that there will be no collegeenterance exams in five years. I am going to college 5 years later.Therefore, I don’t have to study.Since the father of former president ZZZ is a fraudulent person,we cannot trust ZZZ.

(These are used often by political partyspokesmen/spokeswomen. )

S. Choi (KAIST) Logic and set theory September 9, 2012 17 / 21

Page 105: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Fallacies of relevance: examples

Teachers are opposing teaching evaluations. They will livecomfortably if there are no teaching evaluations. Therefore, wemust implement teaching evaluations.The minister of education said that there will be no collegeenterance exams in five years. I am going to college 5 years later.Therefore, I don’t have to study.Since the father of former president ZZZ is a fraudulent person,we cannot trust ZZZ.(These are used often by political partyspokesmen/spokeswomen. )

S. Choi (KAIST) Logic and set theory September 9, 2012 17 / 21

Page 106: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Circular reasoning

Circular reasoning: the argument assume the conclusion

I Question begging epithets: phrases that prejudice discussion"When did you stop cheating on your exams?".

I Complex question: question tricks people into the desiredconclusion

I These are more subtle. (Confucius scholars often. Such and suchmen are big and big persons do so and so...)

S. Choi (KAIST) Logic and set theory September 9, 2012 18 / 21

Page 107: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Circular reasoning

Circular reasoning: the argument assume the conclusionI Question begging epithets: phrases that prejudice discussion

"When did you stop cheating on your exams?".

I Complex question: question tricks people into the desiredconclusion

I These are more subtle. (Confucius scholars often. Such and suchmen are big and big persons do so and so...)

S. Choi (KAIST) Logic and set theory September 9, 2012 18 / 21

Page 108: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Circular reasoning

Circular reasoning: the argument assume the conclusionI Question begging epithets: phrases that prejudice discussion

"When did you stop cheating on your exams?".I Complex question: question tricks people into the desired

conclusion

I These are more subtle. (Confucius scholars often. Such and suchmen are big and big persons do so and so...)

S. Choi (KAIST) Logic and set theory September 9, 2012 18 / 21

Page 109: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Circular reasoning

Circular reasoning: the argument assume the conclusionI Question begging epithets: phrases that prejudice discussion

"When did you stop cheating on your exams?".I Complex question: question tricks people into the desired

conclusionI These are more subtle. (Confucius scholars often. Such and such

men are big and big persons do so and so...)

S. Choi (KAIST) Logic and set theory September 9, 2012 18 / 21

Page 110: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Semantic fallacies

Ambiguity (equivocation): multiple meaning

Amphiboly: ambiguity in the level of sentence structures.Vagueness: indistinctiveness of words

I doublethink: every sentence cancels outs its predecessor and itssuccessor. Orwell’s 1984."War is Peace, Freedom is Slavery, and Ignorance is Strength"

I Accent; generate multiple interpretations.

S. Choi (KAIST) Logic and set theory September 9, 2012 19 / 21

Page 111: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Semantic fallacies

Ambiguity (equivocation): multiple meaningAmphiboly: ambiguity in the level of sentence structures.

Vagueness: indistinctiveness of words

I doublethink: every sentence cancels outs its predecessor and itssuccessor. Orwell’s 1984."War is Peace, Freedom is Slavery, and Ignorance is Strength"

I Accent; generate multiple interpretations.

S. Choi (KAIST) Logic and set theory September 9, 2012 19 / 21

Page 112: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Semantic fallacies

Ambiguity (equivocation): multiple meaningAmphiboly: ambiguity in the level of sentence structures.Vagueness: indistinctiveness of words

I doublethink: every sentence cancels outs its predecessor and itssuccessor. Orwell’s 1984."War is Peace, Freedom is Slavery, and Ignorance is Strength"

I Accent; generate multiple interpretations.

S. Choi (KAIST) Logic and set theory September 9, 2012 19 / 21

Page 113: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Semantic fallacies

Ambiguity (equivocation): multiple meaningAmphiboly: ambiguity in the level of sentence structures.Vagueness: indistinctiveness of words

I doublethink: every sentence cancels outs its predecessor and itssuccessor. Orwell’s 1984."War is Peace, Freedom is Slavery, and Ignorance is Strength"

I Accent; generate multiple interpretations.

S. Choi (KAIST) Logic and set theory September 9, 2012 19 / 21

Page 114: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Semantic fallacies

Ambiguity (equivocation): multiple meaningAmphiboly: ambiguity in the level of sentence structures.Vagueness: indistinctiveness of words

I doublethink: every sentence cancels outs its predecessor and itssuccessor. Orwell’s 1984."War is Peace, Freedom is Slavery, and Ignorance is Strength"

I Accent; generate multiple interpretations.

S. Choi (KAIST) Logic and set theory September 9, 2012 19 / 21

Page 115: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Inductive fallacies

Hasty generalization: generalizing from an insufficient number ofcases

Faulty analogy:Gambler’s fallacy: something will keep being so.False cause : confusing cause.

S. Choi (KAIST) Logic and set theory September 9, 2012 20 / 21

Page 116: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Inductive fallacies

Hasty generalization: generalizing from an insufficient number ofcasesFaulty analogy:

Gambler’s fallacy: something will keep being so.False cause : confusing cause.

S. Choi (KAIST) Logic and set theory September 9, 2012 20 / 21

Page 117: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Inductive fallacies

Hasty generalization: generalizing from an insufficient number ofcasesFaulty analogy:Gambler’s fallacy: something will keep being so.

False cause : confusing cause.

S. Choi (KAIST) Logic and set theory September 9, 2012 20 / 21

Page 118: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Inductive fallacies

Hasty generalization: generalizing from an insufficient number ofcasesFaulty analogy:Gambler’s fallacy: something will keep being so.False cause : confusing cause.

S. Choi (KAIST) Logic and set theory September 9, 2012 20 / 21

Page 119: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Formal fallacies: logical mistakes

Fallacies of false premise (slipperly slope also)

S. Choi (KAIST) Logic and set theory September 9, 2012 21 / 21

Page 120: Lecture 2: Arguments S. Choi - KAIST 수리과학과mathsci.kaist.ac.kr/~schoi/Logiclec2.pdf · Logic and the set theory Lecture 2: Arguments S. Choi Department of Mathematical Science

Fallacies

Formal fallacies: logical mistakesFallacies of false premise (slipperly slope also)

S. Choi (KAIST) Logic and set theory September 9, 2012 21 / 21