Syllogisms in Aristotle and Boethius
|
|
|
- Quentin Shanon Lee
- 5 years ago
- Views:
Transcription
1 Syllogisms in Aristotle and Boethius Can BAŞKENT ILLC, UvA June 23, 2006
2 Categorical Syllogism in Aristotle Definitions Figures of Categorical Syllogism Hypothetical Syllogism in Aristotle Hints in Texts Categorical Syllogism in Boethius Boethius Definitions Alterations Hypothetical Syllogism in Boethius Further Works
3 Syllogisms in Aristotle
4 Categorical Syllogism in Aristotle Definitions Back to the Basics All philosophers are mortal. Socrates is a philosopher. Therefore, Socrates is mortal. [Major Premise] [Minor Premise] [Conclusion]
5 Categorical Syllogism in Aristotle Definitions Back to the Basics All philosophers are mortal. Socrates is a philosopher. Therefore, Socrates is mortal. [Major Premise] [Minor Premise] [Conclusion]
6 Categorical Syllogism in Aristotle Definitions Back to the Basics All philosophers are mortal. Socrates is a philosopher. Therefore, Socrates is mortal. [Major Premise] [Minor Premise] [Conclusion]
7 Categorical Syllogism in Aristotle Definitions Wiki definition Categorical syllogism, is a kind of logical argument in which one proposition (the conclusion) is inferred from two others (the premises).
8 Categorical Syllogism in Aristotle Definitions Aristotle s Definition and Critics a discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so.. I mean by the last phrase that they produce the consequence, and by this, that no further term is required from without to make the consequence necessary. from Prior Analytics
9 Categorical Syllogism in Aristotle Definitions Aristotle s Definition and Critics a discourse in which, certain things being stated, something other than what is stated follows of necessity from their being so.. I mean by the last phrase that they produce the consequence, and by this, that no further term is required from without to make the consequence necessary. Rusinoff: This definition does not distinguish syllogism from other forms of inference.
10 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Categorical Senteces (A) A belongs to all B. (AaB) (I) A belongs to some B. (AiB) (E) A does not belong to any B. (AeB) (O) A does not belong to some B. (AoB)
11 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Categorical Senteces (A) A belongs to all B. (AaB) (I) A belongs to some B. (AiB) (E) A does not belong to any B. (AeB) (O) A does not belong to some B. (AoB)
12 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Categorical Senteces (A) A belongs to all B. (AaB) (I) A belongs to some B. (AiB) (E) A does not belong to any B. (AeB) (O) A does not belong to some B. (AoB)
13 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Categorical Senteces (A) A belongs to all B. (AaB) (I) A belongs to some B. (AiB) (E) A does not belong to any B. (AeB) (O) A does not belong to some B. (AoB)
14 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Three Figures I. II. III. A - B B - A A - B B - C B - C C - B A - C A - C A - C where A is the major, B is the middle and C is the minor term.
15 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Conversion Rules AaB BiA. AiB BiA. AeB BeA.
16 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Conversion Rules AaB BiA. AiB BiA. AeB BeA.
17 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Conversion Rules AaB BiA. AiB BiA. AeB BeA.
18 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Four Figures - 1 First Figure Barbara Celarent Darii Ferio AaB AeB AaB AeB BaC BaC BiC BiC AaC AeC AiC AoC Second Figure Camestres Cesare Festino Baroco BaA BeA BeA BaA BeC BaC BiC BoC AeC AeC AoC AoC
19 Categorical Syllogism in Aristotle Figures of Categorical Syllogism Four Figures - 2 Third Figure Darapti Felapton Disamis Datisi Bocardo Ferison AaB AeB AiB AaB AoB AeB CaB CaB CaB CiB CaB CiB AiC AoC AiC AiC AoC AoC Fourth Figure [not mentioned in Aristotle explicitly] Bramantip Camenas Dimaris Fesapo Fresison BaA BaA BiA BeA BeA CaB CeB CaB CaB CiB AiC AeC AiC AoC AoC
20 Categorical Syllogism in Aristotle Figures of Categorical Syllogism First Figure Barbara Celarent Darii Ferio AaB AeB AaB AeB BaC BaC BiC BiC AaC AeC AiC AoC
21 Categorical Syllogism in Aristotle Figures of Categorical Syllogism First Figure as a Set of Axioms Barbara Celarent Darii Ferio AaB AeB AaB AeB BaC BaC BiC BiC AaC AeC AiC AoC First figure was evidently clear for Aristotle. Nothing needs to be added to make it more evident. No proof for the first figure was given. Reduced other figures to the first figure.
22 Categorical Syllogism in Aristotle Figures of Categorical Syllogism First Figure as a Set of Axioms Barbara Celarent Darii Ferio AaB AeB AaB AeB BaC BaC BiC BiC AaC AeC AiC AoC First figure was evidently clear for Aristotle. Nothing needs to be added to make it more evident. No proof for the first figure was given. Reduced other figures to the first figure.
23 Categorical Syllogism in Aristotle Figures of Categorical Syllogism First Figure as a Set of Axioms Barbara Celarent Darii Ferio AaB AeB AaB AeB BaC BaC BiC BiC AaC AeC AiC AoC First figure was evidently clear for Aristotle. Nothing needs to be added to make it more evident. No proof for the first figure was given. Reduced other figures to the first figure.
24 Hypothetical Syllogism in Aristotle Hints in Texts Excerpt from Prior Analytics It is possible that the premises from which the syllogism is formed are true; and it is possible, likewise, that they are false, or that one is true and the other false. The conclusion is necessarily either true or false. If two things are related to each other in such a way that the existence of one entails necessarily the existence of the other, [then] the non-existence of the last one will entail the non-existence of the first. It is impossible that B should necessarily be great since A is white and that B should necessarily be great since A is not white. For whenever since this, A, is white it is necessary that, B, should be great, and since B is great that C should not be white, then it is necessary if is white that C should not be white.
25 Hypothetical Syllogism in Aristotle Hints in Texts Excerpt from Prior Analytics It is possible that the premises from which the syllogism is formed are true; and it is possible, likewise, that they are false, or that one is true and the other false. The conclusion is necessarily either true or false. If two things are related to each other in such a way that the existence of one entails necessarily the existence of the other, [then] the non-existence of the last one will entail the non-existence of the first. It is impossible that B should necessarily be great since A is white and that B should necessarily be great since A is not white. For whenever since this, A, is white it is necessary that, B, should be great, and since B is great that C should not be white, then it is necessary if is white that C should not be white.
26 Hypothetical Syllogism in Aristotle Hints in Texts Excerpt from Prior Analytics It is possible that the premises from which the syllogism is formed are true; and it is possible, likewise, that they are false, or that one is true and the other false. The conclusion is necessarily either true or false. If two things are related to each other in such a way that the existence of one entails necessarily the existence of the other, [then] the non-existence of the last one will entail the non-existence of the first. It is impossible that B should necessarily be great since A is white and that B should necessarily be great since A is not white. For whenever since this, A, is white it is necessary that, B, should be great, and since B is great that C should not be white, then it is necessary if is white that C should not be white.
27 Hypothetical Syllogism in Aristotle Hints in Texts Interpretation From true premises, one cannot draw a false conclusion, but from false premises one can draw a true conclusion If when A is, B must be, then when B is not, necessarily A cannot be. If from A follows necessarily B, and from B follows non-c, then necessarily from A follows non-c.
28 Hypothetical Syllogism in Aristotle Hints in Texts Interpretation From true premises, one cannot draw a false conclusion, but from false premises one can draw a true conclusion If when A is, B must be, then when B is not, necessarily A cannot be. If from A follows necessarily B, and from B follows non-c, then necessarily from A follows non-c.
29 Hypothetical Syllogism in Aristotle Hints in Texts Interpretation From true premises, one cannot draw a false conclusion, but from false premises one can draw a true conclusion If when A is, B must be, then when B is not, necessarily A cannot be. If from A follows necessarily B, and from B follows non-c, then necessarily from A follows non-c.
30 Hypothetical Syllogism in Aristotle Hints in Texts Opinions on the relation between HS and Aristotle - 1 Dumitriu (History of Logic): Aristotle did not develop a theory of HS. For Aristotle, reasoning must lead to necessary conclusions, not to per accidens conclusions. Kneale and Kneale (The Development of Logic): Aristotle did not recognize the conditional form of statement and argument based on it as an object of logical inquiry.
31 Hypothetical Syllogism in Aristotle Hints in Texts Opinions on the relation between HS and Aristotle - 2 Stoics, having nominalist concept of truth, studied HS extensively. Peripatetic School also studied HS extensively. Theophrastus and Eudemus were the leading figures.
32 Syllogisms in Anicius Manlius Severinus Boethius
33 Categorical Syllogism in Boethius Boethius Definitions Belong versus Is (A ) Every B is A. (I ) Some B is A. (E ) No B is A. (O ) Some B is not A.
34 Categorical Syllogism in Boethius Boethius Definitions Belong versus Is (A ) Every B is A. (I ) Some B is A. (E ) No B is A. (O ) Some B is not A.
35 Categorical Syllogism in Boethius Boethius Definitions Belong versus Is (A ) Every B is A. (I ) Some B is A. (E ) No B is A. (O ) Some B is not A.
36 Categorical Syllogism in Boethius Boethius Definitions Belong versus Is (A ) Every B is A. (I ) Some B is A. (E ) No B is A. (O ) Some B is not A.
37 Categorical Syllogism in Boethius Boethius Definitions Square of Opposition
38 Categorical Syllogism in Boethius Boethius Definitions Aristotle vs Boethius: Categorical Sentences Aristotle Boethius A belongs to all B Every B is A. A belongs to some B Some B is A. A does not belong to any B No B is A. A does not belong to some B Some B is not A.
39 Categorical Syllogism in Boethius Alterations Critics - 1 Boethius was accused of obscuring the theory of the syllogism, since his translation of belong to is, is claimed to make it unclear why the first figure (of Aristotle) was evident and was not in need of a proof.
40 Categorical Syllogism in Boethius Alterations Critics - 2 Boethius added a fourth conversion rule: as universal affirmative can be converted to particular affirmative, universal negative can be converted to particular negative: AeB AoB
41 Categorical Syllogism in Boethius Alterations Critics - 3 Boethius Four Categorical Sentences I. II. III. IV. B - A A - B B - A A - B C - B C - B B - C B - C C - A C - A C - A C - A
42 Categorical Syllogism in Boethius Alterations Categorical Sentences: Aristotle vs. Boethius Boethius Four Categorical Sentences I. II. III. IV. B - A A - B B - A A - B C - B C - B B - C B - C C - A C - A C - A C - A Aristotle s Three Categorical Sentences I. II. III. A - B B - A A - B B - C B - C C - B A - C A - C A - C
43 Hypothetical Syllogism in Boethius Introduction - 1 Boethius extended and enlarged Aristotle s works on HS. Devoted a lot of his time to a tiresome but efficient work on this. For this reason he was considered for a long time as the discoverer of HS.
44 Hypothetical Syllogism in Boethius Introduction - 1 Boethius extended and enlarged Aristotle s works on HS. Devoted a lot of his time to a tiresome but efficient work on this. For this reason he was considered for a long time as the discoverer of HS.
45 Hypothetical Syllogism in Boethius Introduction - 1 Boethius extended and enlarged Aristotle s works on HS. Devoted a lot of his time to a tiresome but efficient work on this. For this reason he was considered for a long time as the discoverer of HS.
46 Hypothetical Syllogism in Boethius Introduction - 2 Draws distinction between categorical sentences and hypothetical sentences. Relates the theory of HS with Theopharastus and Eudeomos. Claimed Aristotle wrote nothing on HS, could not find any representation of HS in Latin scholars.
47 Hypothetical Syllogism in Boethius Introduction - 2 Draws distinction between categorical sentences and hypothetical sentences. Relates the theory of HS with Theopharastus and Eudeomos. Claimed Aristotle wrote nothing on HS, could not find any representation of HS in Latin scholars.
48 Hypothetical Syllogism in Boethius Introduction - 2 Draws distinction between categorical sentences and hypothetical sentences. Relates the theory of HS with Theopharastus and Eudeomos. Claimed Aristotle wrote nothing on HS, could not find any representation of HS in Latin scholars.
49 Hypothetical Syllogism in Boethius Hypothetical Syllogism for Boethius - 1 Two kinds of hypothetical sentence: simple and complex. Simple ones are of the form If A is, then B is whereas the complex ones are of the form If A is, then, in case B is, C is too. He gave the four possible examples: 1. If it is day, it is light. 2. If it is not an animal, it is not a man. 3. If it is day, it is not night. 4. If it is not day, it is night.
50 Hypothetical Syllogism in Boethius Hypothetical Syllogism for Boethius - 2 Distinguished between perfect and imperfect HS. Perfect HS requires no demonstration whereas imperfect one needs a demonstration.
51 Hypothetical Syllogism in Boethius Hypothetical Syllogism for Boethius - 3 Boethius considered accidental conditionals and gave the following example: If fire is hot, the heavens are spherical. It is clear that the statement is true, as both the antecedant and concequent are true. However, there is no relation between what both sentence talk about. This is what makes this kind of sentences accidental.
52 Further Works Algebraizing Syllogisms Susan Russinof in discussed syllogisms in an algebraic setting and gives an algebraic interpretation of categorical statements quoting Christine Ladd-Franklin s 1883 paper: (A) AaB becomes A < B or A B = 0 (I) AiB becomes A < B or A.B = 0 (E) AeB becomes (A < B) or A.B 0 (O) AoB becomes (A < B) or A B 0 Reference: RUSSINOFF, I. S.: The syllogisms final solution. The Bulletin of Symbolic Logic vol. 5, no. 4 (December 1999), pp
53 Thanks for your attention
SYLLOGISTIC LOGIC CATEGORICAL PROPOSITIONS
Prof. C. Byrne Dept. of Philosophy SYLLOGISTIC LOGIC Syllogistic logic is the original form in which formal logic was developed; hence it is sometimes also referred to as Aristotelian logic after Aristotle,
MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness
MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.
6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism
M06_COPI1396_13_SE_C06.QXD 10/16/07 9:17 PM Page 255 6.5 Exposition of the Fifteen Valid Forms of the Categorical Syllogism 255 7. All supporters of popular government are democrats, so all supporters
Ancient Philosophy Handout #1: Logic Overview
Ancient Philosophy Handout #1: Logic Overview I. Stoic Logic A. Proposition types Affirmative P P Negative not P ~P Conjunction P and Q P Q Hypothetical (or Conditional) if P, then Q Disjunction P or Q
Aristotle s Theory of the Assertoric Syllogism
Aristotle s Theory of the Assertoric Syllogism Stephen Read June 19, 2017 Abstract Although the theory of the assertoric syllogism was Aristotle s great invention, one which dominated logical theory for
Ibn Sīnā on Logical Analysis. Wilfrid Hodges and Amirouche Moktefi
Ibn Sīnā on Logical Analysis Wilfrid Hodges and Amirouche Moktefi Draft January 2013 2 Contents 1 Ibn Sīnā himself 5 1.1 Life................................. 5 1.2 Colleagues and students.....................
Aristotelian temporal logic: the sea battle.
Aristotelian temporal logic: the sea battle. According to the square of oppositions, exactly one of it is the case that p and it is not the case that p is true. Either it is the case that there will be
Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical Study
Marquette University e-publications@marquette Dissertations (2009 -) Dissertations, Theses, and Professional Projects Essence and Necessity, and the Aristotelian Modal Syllogistic: A Historical and Analytical
The Birth of Logic in Ancient Greek.
Modulo CLIL Titolo del modulo: Autore: Massimo Mora Lingua: Inglese Materia: Filosofia The Birth of Logic in Ancient Greek. Contenuti: Aristotelian theory of logic, the difference between truth, falsehood
logic, symbolic logic, traditional
Hughes, R. I. G. The Structure and Interpretation of Quantum Mechanics. Cambridge, MA: Harvard University Press, 1989. Kripke, Saul. Is There a Problem about Substitutional Quantification? In Truth and
To better understand VALIDITY, we now turn to the topic of logical form.
LOGIC GUIDE 2 To better understand VALIDITY, we now turn to the topic of logical form. LOGICAL FORM The logical form of a statement or argument is the skeleton, or structure. If you retain only the words
translated from: Die griechische Tradition der aristotelischen Syllogistik in der Spätantike Tae-Soo Lee
translated from: Die griechische Tradition der aristotelischen Syllogistik in der Spätantike Tae-Soo Lee 1 79 V. Conversion (antistroph ē) Before we move on to syllogistic, this chapter will discuss the
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing
What is a logical argument? What is deductive reasoning? Fundamentals of Academic Writing Logical relations Deductive logic Claims to provide conclusive support for the truth of a conclusion Inductive
Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres
[ Loyola Book Comp., run.tex: 0 AQR Vol. W rev. 0, 17 Jun 2009 ] [The Aquinas Review Vol. W rev. 0: 1 The Place of Conversion in Aristotelian Logic From at least the time of John of St. Thomas, scholastic
Philosophy of Logic. A tree of logic. 1. Traditional Logic. A. Basic Logic. 2. Orthodox Modern Logic. Chap2 Brief History of Logic
Chap2 Brief History of Logic Philosophy of Logic qjshao@fudan.edu.cn I. II. A Map of Logic Logic in Western III. Logic in Ancient India IV. Logic in Ancient China V. The status of Logic in contemporary
The Form of Inference
._- -------"""'-=~~~-- The Form of Inference BERNARD LONERGAN M R. JOSEPH'S thorough Introduction to Logic consistently opposes the idea of reduction. In convincing analysis are set forth the three or
Indeterminate Propositions in Prior Analytics I.41
2. Korrektur/pdf - mentis - PLA/12 / Rhema 16.09.09 / Seite: 165 Indeterminate Propositions in Prior Analytics I.41 Marko Malink, Humboldt-Universität zu Berlin In Analytica Priora I.41 stellt Aristoteles
IS THE SYLLOGISTIC A LOGIC? it is not a theory or formal ontology, a system concerned with general features of the
IS THE SYLLOGISTIC A LOGIC? Much of the last fifty years of scholarship on Aristotle s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning,
Critical Thinking is:
Logic: Day 1 Critical Thinking is: Thinking clearly and following rules of logic and rationality It s not being argumentative just for the sake of arguing Academics disagree about which departments do
Pastor-teacher Don Hargrove Faith Bible Church September 8, 2011
Pastor-teacher Don Hargrove Faith Bible Church http://www.fbcweb.org/doctrines.html September 8, 2011 Building Mental Muscle & Growing the Mind through Logic Exercises: Lesson 4a The Three Acts of the
Thinking and Reasoning
Syllogistic Reasoning Thinking and Reasoning Syllogistic Reasoning Erol ÖZÇELİK The other key type of deductive reasoning is syllogistic reasoning, which is based on the use of syllogisms. Syllogisms are
Selections from Aristotle s Prior Analytics 41a21 41b5
Lesson Seventeen The Conditional Syllogism Selections from Aristotle s Prior Analytics 41a21 41b5 It is clear then that the ostensive syllogisms are effected by means of the aforesaid figures; these considerations
Venn Diagrams and Categorical Syllogisms. Unit 5
Venn Diagrams and Categorical Syllogisms Unit 5 John Venn 1834 1923 English logician and philosopher noted for introducing the Venn diagram Used in set theory, probability, logic, statistics, and computer
Deduction. Of all the modes of reasoning, deductive arguments have the strongest relationship between the premises
Deduction Deductive arguments, deduction, deductive logic all means the same thing. They are different ways of referring to the same style of reasoning Deduction is just one mode of reasoning, but it is
Logic, by Gordon H. Clark. A Review & Essay Rough Draft. We could solve * in the following way: 3x = 15 x = 5. Copyright 2005, 2011 by Vern Crisler
Logic, by Gordon H. Clark. A Review & Essay Rough Draft Copyright 2005, 2011 by Vern Crisler A. Preliminary Note: This review was originally written for the Clark List at: http://groups.yahoo.com/group/ghclark
10.3 Universal and Existential Quantifiers
M10_COPI1396_13_SE_C10.QXD 10/22/07 8:42 AM Page 441 10.3 Universal and Existential Quantifiers 441 and Wx, and so on. We call these propositional functions simple predicates, to distinguish them from
Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 1. Background Material for the Exercise on Validity
Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 1 Background Material for the Exercise on Validity Reasons, Arguments, and the Concept of Validity 1. The Concept of Validity Consider
Artificial Intelligence: Valid Arguments and Proof Systems. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence: Valid Arguments and Proof Systems Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 02 Lecture - 03 So in the last
Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
Philosophy 1100: Ethics
Philosophy 1100: Ethics Topic 1 - Course Introduction: 1. What is Philosophy? 2. What is Ethics? 3. Logic a. Truth b. Arguments c. Validity d. Soundness What is Philosophy? The Three Fundamental Questions
Reply to Bronstein, Leunissen, and Beere
Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. XC No. 3, May 2015 doi: 10.1111/phpr.12181 2015 Philosophy and Phenomenological Research, LLC Reply to Bronstein,
The Appeal to Reason. Introductory Logic pt. 1
The Appeal to Reason Introductory Logic pt. 1 Argument vs. Argumentation The difference is important as demonstrated by these famous philosophers. The Origins of Logic: (highlights) Aristotle (385-322
A Judgmental Formulation of Modal Logic
A Judgmental Formulation of Modal Logic Sungwoo Park Pohang University of Science and Technology South Korea Estonian Theory Days Jan 30, 2009 Outline Study of logic Model theory vs Proof theory Classical
Philosophy 1100: Introduction to Ethics. Critical Thinking Lecture 2. Background Material for the Exercise on Inference Indicators
Philosophy 1100: Introduction to Ethics Critical Thinking Lecture 2 Background Material for the Exercise on Inference Indicators Inference-Indicators and the Logical Structure of an Argument 1. The Idea
Resemblance Nominalism and counterparts
ANAL63-3 4/15/2003 2:40 PM Page 221 Resemblance Nominalism and counterparts Alexander Bird 1. Introduction In his (2002) Gonzalo Rodriguez-Pereyra provides a powerful articulation of the claim that Resemblance
Study Guides. Chapter 1 - Basic Training
Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)
1 Clarion Logic Notes Chapter 4
1 Clarion Logic Notes Chapter 4 Summary Notes These are summary notes so that you can really listen in class and not spend the entire time copying notes. These notes will not substitute for reading the
CHAPTER THREE Philosophical Argument
CHAPTER THREE Philosophical Argument General Overview: As our students often attest, we all live in a complex world filled with demanding issues and bewildering challenges. In order to determine those
WHY PLANTINGA FAILS TO RECONCILE DIVINE FOREKNOWLEDGE
WHY PLANTINGA FAILS TO RECONCILE DIVINE FOREKNOWLEDGE AND LIBERTARIAN FREE WILL Andrew Rogers KANSAS STATE UNIVERSITY Abstract In this paper I argue that Plantinga fails to reconcile libertarian free will
On Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1
On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words
Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments
Lecture 3 Arguments Jim Pryor What is an Argument? Jim Pryor Vocabulary Describing Arguments 1 Agenda 1. What is an Argument? 2. Evaluating Arguments 3. Validity 4. Soundness 5. Persuasive Arguments 6.
Logic: The Science that Evaluates Arguments
Logic: The Science that Evaluates Arguments Logic teaches us to develop a system of methods and principles to use as criteria for evaluating the arguments of others to guide us in constructing arguments
Richard L. W. Clarke, Notes REASONING
1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process
Introduction to Philosophy
Introduction to Philosophy Philosophy 110W Russell Marcus Hamilton College, Fall 2013 Class 1 - Introduction to Introduction to Philosophy My name is Russell. My office is 202 College Hill Road, Room 210.
The basic form of a syllogism By Timo Schmitz, Philosopher
The basic form of a syllogism By Timo Schmitz, Philosopher In my article What is logic? (02 April 2017), I pointed out that an apophantic sentence is always a proposition. To find out whether the formal
Relevance. Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true
Relevance Premises are relevant to the conclusion when the truth of the premises provide some evidence that the conclusion is true Premises are irrelevant when they do not 1 Non Sequitur Latin for it does
HOW TO ANALYZE AN ARGUMENT
What does it mean to provide an argument for a statement? To provide an argument for a statement is an activity we carry out both in our everyday lives and within the sciences. We provide arguments for
Ibn Sīnā s modal logic
1 3 Ibn Sīnā s modal logic Wilfrid Hodges Herons Brook, Sticklepath, Okehampton November 2012 http://wilfridhodges.co.uk/arabic20a.pdf For Ibn Sīnā, logic is a tool for checking the correctness of arguments.
Module 5. Knowledge Representation and Logic (Propositional Logic) Version 2 CSE IIT, Kharagpur
Module 5 Knowledge Representation and Logic (Propositional Logic) Lesson 12 Propositional Logic inference rules 5.5 Rules of Inference Here are some examples of sound rules of inference. Each can be shown
L4: Reasoning. Dani Navarro
L4: Reasoning Dani Navarro Deductive reasoning Inductive reasoning Informal reasoning WE talk of man* being the rational animal; and the traditional intellectualist philosophy has always made a great point
Argumentative Analogy versus Figurative Analogy
Argumentative Analogy versus Figurative Analogy By Timo Schmitz, Philosopher As argumentative analogy or simply analogism (ἀναλογισµός), one calls the comparison through inductive reasoning of at least
Argument and Persuasion. Stating Opinions and Proposals
Argument and Persuasion Stating Opinions and Proposals The Method It all starts with an opinion - something that people can agree or disagree with. The Method Move to action Speak your mind Convince someone
Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion
398 Notre Dame Journal of Formal Logic Volume 38, Number 3, Summer 1997 Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion S. V. BHAVE Abstract Disjunctive Syllogism,
Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE
CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or
What would count as Ibn Sīnā (11th century Persia) having first order logic?
1 2 What would count as Ibn Sīnā (11th century Persia) having first order logic? Wilfrid Hodges Herons Brook, Sticklepath, Okehampton March 2012 http://wilfridhodges.co.uk Ibn Sina, 980 1037 3 4 Ibn Sīnā
John Buridan. Summulae de Dialectica IX Sophismata
John Buridan John Buridan (c. 1295 c. 1359) was born in Picardy (France). He was educated in Paris and taught there. He wrote a number of works focusing on exposition and discussion of issues in Aristotle
Aristotle on the Principle of Contradiction :
Aristotle on the Principle of Contradiction : Book Gamma of the Metaphysics Robert L. Latta Having argued that there is a science which studies being as being, Aristotle goes on to inquire, at the beginning
Baronett, Logic (4th ed.) Chapter Guide
Chapter 6: Categorical Syllogisms Baronett, Logic (4th ed.) Chapter Guide A. Standard-form Categorical Syllogisms A categorical syllogism is an argument containing three categorical propositions: two premises
The Five Ways THOMAS AQUINAS ( ) Thomas Aquinas: The five Ways
The Five Ways THOMAS AQUINAS (1225-1274) Aquinas was an Italian theologian and philosopher who spent his life in the Dominican Order, teaching and writing. His writings set forth in a systematic form a
Logical (formal) fallacies
Fallacies in academic writing Chad Nilep There are many possible sources of fallacy an idea that is mistakenly thought to be true, even though it may be untrue in academic writing. The phrase logical fallacy
In this section you will learn three basic aspects of logic. When you are done, you will understand the following:
Basic Principles of Deductive Logic Part One: In this section you will learn three basic aspects of logic. When you are done, you will understand the following: Mental Act Simple Apprehension Judgment
The Sea-Fight Tomorrow by Aristotle
The Sea-Fight Tomorrow by Aristotle Aristotle, Antiquities Project About the author.... Aristotle (384-322) studied for twenty years at Plato s Academy in Athens. Following Plato s death, Aristotle left
Logic Appendix: More detailed instruction in deductive logic
Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,
Unit. Categorical Syllogism. What is a syllogism? Types of Syllogism
Unit 8 Categorical yllogism What is a syllogism? Inference or reasoning is the process of passing from one or more propositions to another with some justification. This inference when expressed in language
Revisiting the Socrates Example
Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments Rules of Inference for Quantified Statements Building Arguments for Quantified
1 Concerning distinction 39 I ask first whether God immutably foreknows future
Reportatio IA, distinctions 39 40, questions 1 3 QUESTION 1: DOES GOD IMMUTABLY FOREKNOW FUTURE CONTINGENT EVENTS? 1 Concerning distinction 39 I ask first whether God immutably foreknows future contingent
Reasoning INTRODUCTION
77 Reasoning I N the tradition of western thought, certain verbal expressions have become shorthand for the fundamental ideas in the discussion of which they happen to be so often repeated. This may be
MENO. We must first define Platonic Dialogue and then consider the Meno.
MENO We must first define Platonic Dialogue and then consider the Meno. A Platonic Dialogue is a likeness in words of a conversation on a general question, disposing desire for philosophy and exercising
1. What arguments does Socrates use in Plato s Republic to show that justice is to be preferred over injustice?
PHI3010 Synoptic Study-Unit I: Philosophy for B.A., B.A.(Hons.), B.Comm. (Hons.), B.A. Th. & H.S. Saturday 9 th June 2012 Answer any three questions. 1. What arguments does Socrates use in Plato s Republic
First Treatise <Chapter 1. On the Eternity of Things>
First Treatise 5 10 15 {198} We should first inquire about the eternity of things, and first, in part, under this form: Can our intellect say, as a conclusion known
7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions
Unit 7.1 Terms and Propositions Nature of propositions A proposition is a unit of reasoning or logical thinking. Both premises and conclusion of reasoning are propositions. Since propositions are so important,
Moore on External Relations
Moore on External Relations G. J. Mattey Fall, 2005 / Philosophy 156 The Dogma of Internal Relations Moore claims that there is a dogma held by philosophers such as Bradley and Joachim, that all relations
Durham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peer-review status of attached le: Not peer-reviewed Citation for published item: Uckelman, Sara L. (2016)
First Principles. Principles of Reality. Undeniability.
First Principles. First principles are the foundation of knowledge. Without them nothing could be known (see FOUNDATIONALISM). Even coherentism uses the first principle of noncontradiction to test the
7. Some recent rulings of the Supreme Court were politically motivated decisions that flouted the entire history of U.S. legal practice.
M05_COPI1396_13_SE_C05.QXD 10/12/07 9:00 PM Page 193 5.5 The Traditional Square of Opposition 193 EXERCISES Name the quality and quantity of each of the following propositions, and state whether their
1/9. The First Analogy
1/9 The First Analogy So far we have looked at the mathematical principles but now we are going to turn to the dynamical principles, of which there are two sorts, the Analogies of Experience and the Postulates
Searle vs. Chalmers Debate, 8/2005 with Death Monkey (Kevin Dolan)
Searle vs. Chalmers Debate, 8/2005 with Death Monkey (Kevin Dolan) : Searle says of Chalmers book, The Conscious Mind, "it is one thing to bite the occasional bullet here and there, but this book consumes
T. Parent. I shall explain these steps in turn. Let s consider the following passage to illustrate the process:
Reconstructing Arguments Argument reconstruction is where we take a written argument, and re-write it to make the logic of the argument as obvious as possible. I have broken down this task into six steps:
Meditations on Knowledge, Truth, and Ideas
1 Copyright Jonathan Bennett [Brackets] enclose editorial explanations. Small dots enclose material that has been added, but can be read as though it were part of the original text. Occasional bullets,
Proofs of Non-existence
The Problem of Evil Proofs of Non-existence Proofs of non-existence are strange; strange enough in fact that some have claimed that they cannot be done. One problem is with even stating non-existence claims:
Aristotle ( ) His scientific thinking, his physics.
Aristotle (384-322) His scientific thinking, his physics. Aristotle: short biography Aristotle was a Greek philosopher, a student of Plato and teacher of Alexander the Great. He wrote on many different
Peter L.P. Simpson March, 2016
1 This translation of Book 1 Distinctions 4 to 10 of the Ordinatio (aka Opus Oxoniense) of Blessed John Duns Scotus is complete. It is based on volume four of the Vatican critical edition of the text edited
Semantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
Broad on Theological Arguments. I. The Ontological Argument
Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that
Overview of Today s Lecture
Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,
Intro to Ground. 1. The idea of ground. 2. Relata. are facts): F 1. More-or-less equivalent phrases (where F 1. and F 2. depends upon F 2 F 2
Intro to Ground Ted Sider Ground seminar 1. The idea of ground This essay is a plea for ideological toleration. Philosophers are right to be fussy about the words they use, especially in metaphysics where
Logic: Deductive and Inductive by Carveth Read M.A. Questions
Questions I. Terms, Etc. 1. What is a Term? Explain and illustrate the chief divisions of Terms. What is meant by the Connotation of a Term? Illustrate. [S] 2. The connotation and denotation of terms vary
PHI 1500: Major Issues in Philosophy
PHI 1500: Major Issues in Philosophy Session 3 September 9 th, 2015 All About Arguments (Part II) 1 A common theme linking many fallacies is that they make unwarranted assumptions. An assumption is a claim
Categorical Logic Handout Logic: Spring Sound: Any valid argument with true premises.
Categorical Logic Handout Logic: Spring 2017 Deductive argument: An argument whose premises are claimed to provide conclusive grounds for the truth of its conclusion. Validity: A characteristic of any
The Problem of Major Premise in Buddhist Logic
The Problem of Major Premise in Buddhist Logic TANG Mingjun The Institute of Philosophy Shanghai Academy of Social Sciences Shanghai, P.R. China Abstract: This paper is a preliminary inquiry into the main
1. Introduction Formal deductive logic Overview
1. Introduction 1.1. Formal deductive logic 1.1.0. Overview In this course we will study reasoning, but we will study only certain aspects of reasoning and study them only from one perspective. The special
THPL_A_ (XML) Book Reviews
babuv 8/10/09 14:48 THPL_A_375488 (XML) HISTORY AND PHILOSOPHY OF LOGIC, 30 (November 2009), 389 413 Book Reviews T. EBERT and U. NORTMANN, Aristoteles: Analytica priora, Buch I. Berlin: Akademie Verlag,
Aquinas' Third Way Modalized
Philosophy of Religion Aquinas' Third Way Modalized Robert E. Maydole Davidson College bomaydole@davidson.edu ABSTRACT: The Third Way is the most interesting and insightful of Aquinas' five arguments for
Exercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
LOGIC LECTURE #3: DEDUCTION AND INDUCTION. Source: A Concise Introduction to Logic, 11 th Ed. (Patrick Hurley, 2012)
LOGIC LECTURE #3: DEDUCTION AND INDUCTION Source: A Concise Introduction to Logic, 11 th Ed. (Patrick Hurley, 2012) Deductive Vs. Inductive If the conclusion is claimed to follow with strict certainty
Phil 3304 Introduction to Logic Dr. David Naugle. Identifying Arguments i
Phil 3304 Introduction to Logic Dr. David Naugle Identifying Arguments Dallas Baptist University Introduction Identifying Arguments i Any kid who has played with tinker toys and Lincoln logs knows that
Plato s Allegory of the Cave
Logic Plato s Allegory of the Cave The First Word of the Day is Troglodyte From the Greek word for cave (trōglē). The Troglodytae (Τρωγλοδῦται) or Troglodyti (literally cave goers ) are those who live
Am I free? Freedom vs. Fate
Am I free? Freedom vs. Fate We ve been discussing the free will defense as a response to the argument from evil. This response assumes something about us: that we have free will. But what does this mean?
In his paper Studies of Logical Confirmation, Carl Hempel discusses
Aporia vol. 19 no. 1 2009 Hempel s Raven Joshua Ernst In his paper Studies of Logical Confirmation, Carl Hempel discusses his criteria for an adequate theory of confirmation. In his discussion, he argues
THE INFERENCE TO THE BEST
I THE INFERENCE TO THE BEST WISH to argue that enumerative induction should not be considered a warranted form of nondeductive inference in its own right.2 I claim that, in cases where it appears that