The Logic of Uddyotakara The conflict with Buddhist logic and his achievement

Size: px
Start display at page:

Download "The Logic of Uddyotakara The conflict with Buddhist logic and his achievement"

Transcription

1 1 The Logic of Uddyotakara The conflict with Buddhist logic and his achievement 0 Introduction 1 The Framework of Uddyotakara s Logic 1.1 Nyāya system and Uddyotakara 1.2 The Framework of Uddyotakara s Logic 2 Aspects of Uddyotakara s Logic 2.1 Dharma-Dharmin-Framework 2.2 Trairūpya-Theory and Logical Necessity 2.3 The Usage and the Logical Structure of vyatirekin 3 An Aspect of Prasaṅga-demonstration A Genealogy of Avīta 3.1 The Development of Vīta and Āvīta Theory 3.2 Uddyotakara s Theory of Avīta 4 Conclusion Appendix Japanese Translation and Elucidation of Nyāyavārttika A Theory of Inference: under NS B Theory of Demonstration: under NS C Theory of Debate: under NS D Theory of Fallacy: under NS E General Introduction to NV: under NS The aim of this article is to clarify Uddyotakara s theories of inference and demonstration by examining mainly from the logical point of view, their position in the development of early Indian logic. In this article I devote attention to the following two points: 1 the relation between an inferential object and its valid reason, or the conditions for the valid reasons, 2 the demonstrative schemata called vyatirekin or avīta. In the case of Uddyotakara, the relation between an inferential object and its valid reason has been sometimes said to be samavāya. This view would be based on Uddyotakara s criticism of Diṅnāga s avinābhāva and Uddyotakara s unique interpretation of the inference of fire. However, I disagree on the grounds that the above portions must be interpreted in other way, and that the relation called avyabhicāra should afford the key to understanding the validity of reason in Uddyotakara s logical system. The vyatirekin has been generally said to be a reason having no similar instance sapakṣa or an inference based on such a reason. This explanation is due to Uddyotakara s definition. On the other hand, the vyatirekin that is listed in Uddyotakara s three types of inferences or sixteen classification of valid and invalid reasons has a strange form. Its reason is represented in terms of -prasaṅgāt it would be absurdity that... It is parallel to reductio ad absurdum. In the tradition of Indian logic, this kind of demonstration is hardly found in the five-membered or three-membered demonstrative schemata, and has

2 2 Summary called the attention of some scholars, for example, Hadano, Katsura and Matilal. However, we are still dubious as to whether the vyatirekin alway has such a form. Even if it is true, the theoretical basis for vyatirekin and its historical background must be clarified. In preparation for the above investigation, I have examined the historical context of Nyāyavārttika, and clarified the framework of his descriptions of logic in the 1st chapter. Firstly I have examined the historical context of Nyāyavārttika. He sometimes criticizes Vātsyāyana s interpretations of Nyāya doctrine, and alters them. These facts imply Uddyotakara s re-systematization of Nyāya, which includes the integration of Vaiśeṣika ontology into Nyāya system. Secondly I have investigated the framework of Uddyotakara s logic. I have traced the historical development of the relation between the means of valid knowledge pramāṇa and the demonstration throughout this investigation. It also concerns the integration of vāda debate -tradition and pramāṇa the means of valid knowledge -tradition. From historical point of view, it can be classified into two groups: 1 integrating the means of valid knowledge into the demonstration, 2 integrating the demonstrative schema into the theory of inference. The view 2 might be originated with Diṅnāga. He divides the inference into inference for myself svārthānumāna and that for others parārthānumāna. The former is the inference as a means of knowledge, and the latter is the demonstration. This view finally have prevailed over the later Indian logicians, although there are some varieties of this view. Uddyotakara, however, does not adopt this view. Rather he seems to follow Vātsyāyana who would belong to 1. They maintain that each means of valid knowledge corresponds to the formula of demonstrative schema respectively. In this view, the reason is connected with inference, and the most important member of demonstration, although it differs from the view, which is advocated by Carakasaṃhitā or Asaṅga, that every means of valid knowledge are integrated into the reason. Therefore, the inference described under NS and the demonstration under NS must be treated in different way. The further treats the epistemological or psychological process of inference, the latter does the validity of demonstration, which was concluded by my investigation. The trairūpya-theory three conditions for valid reason concerns the latter. Both the inference and the demonstration, however, have the common basic structure. It is the dharma-dharmin property and its substratum -structure. I have begun 2nd chapter by examining the dharma-dharmin-structure. In the history of Nyāya school, the dharma-dharmin-structure might be used in the description of the demonstration or the debate since early times. Especially, Vātsyāyana s description of five-membered demonstrative schema is clearly based on this structure, but that of the inference does not make reference to it. The first Nyāya scholar who describes

3 3 the inference in the framework of dharma-dharmin can be placed in the period of pre-uddyotakara. Uddyotakara, succeeding to his or their thought, has established a basis for the description of inference and demonstration. In his theory, a property of reason sādhanadharma and its substratum dharmin are always perceptible, but the property of the inferential object sādhyadharma is not. I have made it possible to interpret the inference of fire in this framework. Although most of the dharma and dharmin can be interpreted as conjunctional or inherent relata saṃyogin/samavāyin, these concepts seems to be used in epistemological sense. Uddyotakara s threefold classifications of the inferences are mainly concerned with the variety of the property of inferential objects sādhyadharma. It must be especially noticed that Uddyotakara divides the property of inferential object into three types: 1 affirmative vidhīyamāna, 2 negative pratiṣidhyamāna and 3 independent svatantra. This classification makes us possible to enlarge the concept of dharma, and also to develop the possibilities of the inference and the demonstration. Secondly, I have examined the influence of the trairūpya-theory upon Uddyotakara s interpretations on Nyāyasūtra. It is well-known that he incorporated the trairūpya-theory or its developed version into the threefold classification of inference under NS He classifies the inferences into three on the basis of the developed trairūpya-theory and interpreted the three word in Nyāyasūtra as the three conditions of trairūpya-theory In this case, however, his interpretation seems to be tentative, at least one of the interpretations on Nyāsūtra. On the other hand, his interpretation on NS and 35 is clearly influenced from the trairūpya-theory, and his own fixed view. As a matter of fact, we can not find other interpretations on them. This fact that the trairūpya-theory or its developed version is used in the definition of the reason implies that Uddyotakara s logical basis for the validity of demonstration is the developed version of trairūpya-theory, because the validity of reason warrants it. In addition, the reason is directly concerned with the relation between an inferential object and its reason in the context of early Nyāya logic. The relation named avyabhicāra is used in Uddyotakara s explanation of the negative reason vyatirekin under NS He says that the affirmative reason anvayin is not based on mere association anvaya but on the infallibility of association anvayāvyabhicāra, and that the negative reason is not based on mere dissociation vyatireka but on the infallibility of dissociation vyatirekāvyabhicāra. It follows from this description that avyabhicāra is the relation similar to vyāpti pervasion, warranting the validity of reason. Besides the same view is shown under NS To clarify the conditions for valid reason, we should firstly grasp the concept of avyabhicāra and verify the conditions that follow from the definition of avyabhicāra in the sixteen classification of valid and invalid reasons, which is a check list of valid reason.

4 4 Summary It is not difficult to define the concept of avyabhicāra, since we can easily collect the descriptions concerning vyabhicāra and its antonym from Nyāyavārttika under NS the definition of doubt and the definition of savyabhicāra-pseudo reason. To sum up those descriptions, we can define S-avyabhicārin H as H is limited to S or H exists in S and its similar instances but not in others. The latter forms the conjunction of three conditions for valid reason trairūpya advocated by Buddhist logicians. It can be formulated as follows: x Hx Sx x Hx Sx (1) If S and H stand for the property of an inferential object and that of its reason respectively, the formula 1 functions as one condition for valid reason in the sixteen classification of valid and invalid reasons. The four reasons, two affirmative-negative reasons anvayavyatirekin and two affirmative reasons anvayin only fulfill this condition. We can safely say that the formula 1 is the meaning of anvayāvyabhicāra. For convenience, I will, henceforth, express formula 1 in term of H S On the other hand, there remains the meaning of vyatirekāvyabhicāra. The discussion about an unique pseudo reason asādhāraṇa-hetvāsa under NS and NS offers the key to solve this problem. An unique pseudo reason is described as follows: ad NS H is fallibly concluded with both S and non-s. ad NS H is excluded from both S and non-s. If the latter means that both S H and S H hold, vyatirekāvyabhicāra means that S H holds but S H not. This functions as the other conditions for valid reason. As a matter of fact, only the three reasons listed in the sixteen classification of valid and invalid reasons, two anvayavyatirekin and one vyatirekin fulfill this condition. To sum up our discussion, the conditions for the valid reasons are summarized as follows: anvayāvyabhicāra H S holds vyatirekāvyabhicāra S H holds but S H not Thirdly, I have examined the formulae and schemata that named vyatireka or avīta in Nyāyavārttika, which resulted in the followings: 1 The statements pratijñā are mainly expressed in negative or double-negative form. 2 The reasons have prasaṅga-form or a somewhat negative form. It follows from these facts and my logical analysis that we can regard each vyatirekin or avīta as reductio ad absurdum. In addition, I have found an example of demonstration that is called vyatirekin but not kevalavyatirekin. This means that the term vyatirekin mainly refers to the sort of demonstrative form or logical structure, but not the reason without similar instances. The reasons without similar instances are always vyatirekin, but its converse is not true.

5 5 In the 3rd chapter, I have examined the historical background of avīta. First of all I have examined some examples of classical Sāṃkhya. Having observed them cited in Jaina Dvādaśāraṃ Nayacakra and its commentary, we can guess the process of āvīta as follows: 1st stage 2nd stage 3rd stage 4th stage 5th stage 6th stage 7th stage To illustrate the absurdity in the case when the hypothetical proposition is supposed To explain the reason why the absurdity is concluded Re-illustration of the absurdity To illustrate the inapplicability to this subject The conclusion that the hypothetical proposition is negated The deduction based on elimination pariśeṣa The final conclusion In classical Sāṃkhya, especially Ṣaṣṭitantra, the following points must be noticed. The āvīta is subordinate to vīta, which is positive and consists of five formulae. The concept of pariśeṣa plays an important role in the āvīta. On the other hand, it contains prasaṅga formulation, and defined as a negation of other s view. These two points are common to Uddyotakara s vyatirekin The most significant difference between Uddyotakara s avīta and Sāṃkhya s one lies on the independency of āvīta. In the 3rd chapter of Pramāṇasamuccayavṛtti, Diṅnāga criticizes āvīta. The āvīta cited in Pramāṇasamuccayavṛtti consists three formulae, and contains a negative statement and a prasaṅga-form reason. We can regards it as an independent three membered demonstrative schema. Diṅnāga insists that the negative statement and the prasaṅga-form reason must be transformed to positive ones. He argues that the cited āvīta does not fulfill the first condition for valid reason(pakṣadharmatā: being a property of inferential object), and that the association does not hold in some cases. Uddyotakara solves these criticized points by introducing the concept of vyatirekāvyabhicāra and the negative property. Then, differing from Diṅnāga, he accepts āvīta as its original form. Uddyotakara s contribution to Indian logic is establishing a theory where prasaṅga-form demonstration is possible.

The Problem of Major Premise in Buddhist Logic

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

More information

A (Very) Brief Introduction to Epistemology Lecture 2. Palash Sarkar

A (Very) Brief Introduction to Epistemology Lecture 2. Palash Sarkar A (Very) Brief Introduction to Epistemology Lecture 2 Palash Sarkar Applied Statistics Unit Indian Statistical Institute, Kolkata India palash@isical.ac.in Palash Sarkar (ISI, Kolkata) Epistemology 1 /

More information

THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus:

THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE. A recent discussion of this topic by Donald Scherer in [6], pp , begins thus: Notre Dame Journal of Formal Logic Volume XIV, Number 3, July 1973 NDJFAM 381 THE FORM OF REDUCTIO AD ABSURDUM J. M. LEE A recent discussion of this topic by Donald Scherer in [6], pp. 247-252, begins

More information

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module No. # 05 Lecture No. # 20 The Nyaya Philosophy Hi, today we will be

More information

On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato

On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato 1 The term "logic" seems to be used in two different ways. One is in its narrow sense;

More information

Anumāna as Analogical Reasoning A Critical Analysis

Anumāna as Analogical Reasoning A Critical Analysis Anumāna as Analogical Reasoning A Critical Analysis HIMANSU SEKHAR SAMAL (Ravenshaw University, Odisha, India) E- Mail: drhimansusekharsamal@gmail.com Abstract: Like most other branches of knowledge, philosophy

More information

2. Refutations can be stronger or weaker.

2. Refutations can be stronger or weaker. Lecture 8: Refutation Philosophy 130 October 25 & 27, 2016 O Rourke I. Administrative A. Schedule see syllabus as well! B. Questions? II. Refutation A. Arguments are typically used to establish conclusions.

More information

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities Lecture 8: Refutation Philosophy 130 March 19 & 24, 2015 O Rourke I. Administrative A. Roll B. Schedule C. Exam #1 comments on difficult spots; if you have questions about this, please let me know D. Discussion

More information

Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

More information

Commentary on Sample Test (May 2005)

Commentary on Sample Test (May 2005) National Admissions Test for Law (LNAT) Commentary on Sample Test (May 2005) General There are two alternative strategies which can be employed when answering questions in a multiple-choice test. Some

More information

CLARIFYING MIND An Introduction to the Tradition of Pramana

CLARIFYING MIND An Introduction to the Tradition of Pramana CLARIFYING MIND An Introduction to the Tradition of Pramana PART THREE - LORIK THE CLASSIFICATIONS OF MIND SOURCEBOOK TABLE OF CONTENTS 1. Charts: a. Four Hinayana Texts of the Tibetan Shedra Curriculum

More information

1.6 Validity and Truth

1.6 Validity and Truth M01_COPI1396_13_SE_C01.QXD 10/10/07 9:48 PM Page 30 30 CHAPTER 1 Basic Logical Concepts deductive arguments about probabilities themselves, in which the probability of a certain combination of events is

More information

6AANA016 Indian Philosophy: The Orthodox Schools Syllabus Academic year 2012/3

6AANA016 Indian Philosophy: The Orthodox Schools Syllabus Academic year 2012/3 School of Arts & Humanities Department of Philosophy 6AANA016 Indian Philosophy: The Orthodox Schools Syllabus Academic year 2012/3 Basic information Credits: 15 Module Tutor: Dr Will Rasmussen Office:

More information

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019

An Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019 An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for re-posting or re-circulation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE Section 1. The word Inference is used in two different senses, which are often confused but should be carefully distinguished. In the first sense, it means

More information

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

More information

Unit. Buddhist Formal Logic. Downloaded from The Buddhist Theory of ANUM NA (Inference) Downloaded from

Unit. Buddhist Formal Logic. Downloaded from   The Buddhist Theory of ANUM NA (Inference) Downloaded from AnumÈna as PramÈ a Unit 10 Buddhist Formal Logic The Buddhist Theory of ANUM NA (Inference) In Indian context logic, used for the theory of anumèna, has been a part of epistemology as it is one of the

More information

Logic & Philosophy. SSB Syllabus

Logic & Philosophy. SSB Syllabus Logic & Philosophy SSB Syllabus Unit-I (Logic: Deductive and Inductive) Truth and Validity, Sentence and Proposition (According To Quality and Quantity), Classification of Propositions, Immediate Inference:

More information

CLARIFYING MIND - PART TWO An Introduction to the Tradition of Pramana DUDRA: THE COLLECTED TOPICS LORIK: THE CLASSIFICATIONS OF MIND

CLARIFYING MIND - PART TWO An Introduction to the Tradition of Pramana DUDRA: THE COLLECTED TOPICS LORIK: THE CLASSIFICATIONS OF MIND CLARIFYING MIND - PART TWO An Introduction to the Tradition of Pramana DUDRA: THE COLLECTED TOPICS LORIK: THE CLASSIFICATIONS OF MIND ADDITIONAL READINGS Table of Contents HO1: Circulated by Email on April

More information

Aquinas' Third Way Modalized

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

More information

The Sea-Fight Tomorrow by Aristotle

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

More information

Study Guides. Chapter 1 - Basic Training

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)

More information

Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas

Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas Shifting Period 1 st Topic Introduction to Philosophy Logic & Critical Thinking Fallacies of Reasoning Ideas

More information

Chapter 9- Sentential Proofs

Chapter 9- Sentential Proofs Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9- Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truth-functional arguments.

More information

LESSON PLAN EVEN SEMESTER 2018 Session: 2 nd January, 2018 to 20 th April, 2018 PHIL 402: Indian Logic (Tarkasaṁgraha); UG, 4 th Semester

LESSON PLAN EVEN SEMESTER 2018 Session: 2 nd January, 2018 to 20 th April, 2018 PHIL 402: Indian Logic (Tarkasaṁgraha); UG, 4 th Semester LESSON PLAN EVEN SEMESTER 2018 Session: 2 nd January, 2018 to 20 th April, 2018 PHIL 402: Indian Logic (Tarkasaṁgraha); UG, 4 th Semester Dr. Mainak Pal Assistant Professor Department of Philosophy Sl.

More information

A Liar Paradox. Richard G. Heck, Jr. Brown University

A Liar Paradox. Richard G. Heck, Jr. Brown University A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any

More information

North Orissa University Sriram Chandra Vihar Takatpur, Baripada Mayurbhanj

North Orissa University Sriram Chandra Vihar Takatpur, Baripada Mayurbhanj B. A Philosophy (Pass) Syllabus CHOICE BASED CREDIT SYSTEM w. e. f. Admission Batch (2016-2017) for Affiliated Colleges North Orissa University Sriram Chandra Vihar Takatpur, Baripada Mayurbhanj-757003

More information

PHILOSOPHY IAS MAINS: QUESTIONS TREND ANALYSIS

PHILOSOPHY IAS MAINS: QUESTIONS TREND ANALYSIS VISION IAS www.visionias.wordpress.com www.visionias.cfsites.org www.visioniasonline.com Under the Guidance of Ajay Kumar Singh ( B.Tech. IIT Roorkee, Director & Founder : Vision IAS ) PHILOSOPHY IAS MAINS:

More information

1/12. The A Paralogisms

1/12. The A Paralogisms 1/12 The A Paralogisms The character of the Paralogisms is described early in the chapter. Kant describes them as being syllogisms which contain no empirical premises and states that in them we conclude

More information

NEW BOOK> The Golden Age of Indian Buddhist Philosophy

NEW BOOK> The Golden Age of Indian Buddhist Philosophy NEW BOOK> The Golden Age of Indian Buddhist Philosophy Discussion published by Jan Westerhoff on Saturday, June 9, 2018 Dear Colleagues, some of you may be interested in this book, which has just come

More information

Knowledge. Internalism and Externalism

Knowledge. Internalism and Externalism Knowledge Internalism and Externalism What is Knowledge? Uncontroversially: Knowledge implies truth S knows that it s Monday > it s Monday Almost as uncontroversially: Knowledge is a kind of belief S knows

More information

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

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 ------------.

More information

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1 International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research

More information

Chapter 8 - Sentential Truth Tables and Argument Forms

Chapter 8 - Sentential Truth Tables and Argument Forms Logic: A Brief Introduction Ronald L. Hall Stetson University Chapter 8 - Sentential ruth ables and Argument orms 8.1 Introduction he truth-value of a given truth-functional compound proposition depends

More information

Indian Philosophy Paper-I

Indian Philosophy Paper-I 1 Total Question -30+20+30+35+35=150 Indian Philosophy Paper-I 1.Describe the Carvaka position that perception is the only means of knowledge. 5 2.What are the conditions for Testimony, to be a valid source

More information

Appendix: The Logic Behind the Inferential Test

Appendix: The Logic Behind the Inferential Test Appendix: The Logic Behind the Inferential Test In the Introduction, I stated that the basic underlying problem with forensic doctors is so easy to understand that even a twelve-year-old could understand

More information

1. Introduction Formal deductive logic Overview

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

More information

AMONG THE HINDU THEORIES OF ILLUSION BY RASVIHARY DAS. phenomenon of illusion. from man\- contemporary

AMONG THE HINDU THEORIES OF ILLUSION BY RASVIHARY DAS. phenomenon of illusion. from man\- contemporary AMONG THE HINDU THEORIES OF ILLUSION BY RASVIHARY DAS the many contributions of the Hindus to Logic and Epistemology, their discussions on the problem of iuusion have got an importance of their own. They

More information

prohibition, moral commitment and other normative matters. Although often described as a branch

prohibition, moral commitment and other normative matters. Although often described as a branch Logic, deontic. The study of principles of reasoning pertaining to obligation, permission, prohibition, moral commitment and other normative matters. Although often described as a branch of logic, deontic

More information

The Power of Critical Thinking Why it matters How it works

The Power of Critical Thinking Why it matters How it works Page 1 of 60 The Power of Critical Thinking Chapter Objectives Understand the definition of critical thinking and the importance of the definition terms systematic, evaluation, formulation, and rational

More information

Has Logical Positivism Eliminated Metaphysics?

Has Logical Positivism Eliminated Metaphysics? International Journal of Humanities and Social Science Invention ISSN (Online): 2319 7722, ISSN (Print): 2319 7714 Volume 3 Issue 11 ǁ November. 2014 ǁ PP.38-42 Has Logical Positivism Eliminated Metaphysics?

More information

Lecture Notes on Classical Logic

Lecture Notes on Classical Logic Lecture Notes on Classical Logic 15-317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,

More information

B.A./Alankar First Year

B.A./Alankar First Year B.A./Alankar First Year Paper I - Indian Logic Paper II - Western Logic Second Year Paper I - Indian Epistemology and Metaphysics Paper II - Western Epistemology and Metaphysics Paper I - Indian Ethics

More information

Instructor s Manual 1

Instructor s Manual 1 Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The

More information

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I

Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I Deccan Education Society s FERGUSSON COLLEGE, PUNE (AUTONOMOUS) SYLLABUS UNDER AUTONOMY FIRST YEAR B.A. LOGIC SEMESTER I Academic Year 2016-2017 Department: PHILOSOPHY Deccan Education Society s FERGUSSON

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

Noncognitivism in Ethics, by Mark Schroeder. London: Routledge, 251 pp.

Noncognitivism in Ethics, by Mark Schroeder. London: Routledge, 251 pp. Noncognitivism in Ethics, by Mark Schroeder. London: Routledge, 251 pp. Noncognitivism in Ethics is Mark Schroeder s third book in four years. That is very impressive. What is even more impressive is that

More information

Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God

Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God Fr. Copleston vs. Bertrand Russell: The Famous 1948 BBC Radio Debate on the Existence of God Father Frederick C. Copleston (Jesuit Catholic priest) versus Bertrand Russell (agnostic philosopher) Copleston:

More information

Semantic Foundations for Deductive Methods

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

More information

Studies in Buddhist Philosophy by Mark Siderits (review)

Studies in Buddhist Philosophy by Mark Siderits (review) Studies in Buddhist Philosophy by Mark Siderits (review) Roy W. Perrett Philosophy East and West, Volume 68, Number 1, January 2018, pp. 1-5 (Review) Published by University of Hawai'i Press DOI: https://doi.org/10.1353/pew.2018.0032

More information

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? 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,

More information

The Greatest Mistake: A Case for the Failure of Hegel s Idealism

The Greatest Mistake: A Case for the Failure of Hegel s Idealism The Greatest Mistake: A Case for the Failure of Hegel s Idealism What is a great mistake? Nietzsche once said that a great error is worth more than a multitude of trivial truths. A truly great mistake

More information

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS

A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS A BRIEF INTRODUCTION TO LOGIC FOR METAPHYSICIANS 0. Logic, Probability, and Formal Structure Logic is often divided into two distinct areas, inductive logic and deductive logic. Inductive logic is concerned

More information

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophy of Science Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophical Theology 1 (TH5) Aug. 15 Intro to Philosophical Theology; Logic Aug. 22 Truth & Epistemology Aug. 29 Metaphysics

More information

Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur

Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur Symbolic Logic Prof. Chhanda Chakraborti Department of Humanities and Social Sciences Indian Institute of Technology, Kharagpur Lecture - 01 Introduction: What Logic is Kinds of Logic Western and Indian

More information

A Review of Norm Geisler's Prolegomena

A Review of Norm Geisler's Prolegomena A Review of Norm Geisler's Prolegomena 2017 by A Jacob W. Reinhardt, All Rights Reserved. Copyright holder grants permission to reduplicate article as long as it is not changed. Send further requests to

More information

Courses providing assessment data PHL 202. Semester/Year

Courses providing assessment data PHL 202. Semester/Year 1 Department/Program 2012-2016 Assessment Plan Department: Philosophy Directions: For each department/program student learning outcome, the department will provide an assessment plan, giving detailed information

More information

Anumāna as interpreted in Sāṁkhya-Yoga philosophy: A brief study

Anumāna as interpreted in Sāṁkhya-Yoga philosophy: A brief study 2016; 2(4): 75-81 2015; 1(3):07-12 ISSN: 2394-7519 IJSR 2016; 2(4): 75-81 2016 IJSR www.anantaajournal.com Received: 15-05-2016 Accepted: 16-06-2016 Sangita Chakravarty Research Scholar, Dept. of Sanskrit,

More information

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module No. # 05 Lecture No. # 15 The Nyāya Philosophy Welcome viewers to this

More information

Genesis Numerology. Meir Bar-Ilan. Association for Jewish Astrology and Numerology

Genesis Numerology. Meir Bar-Ilan. Association for Jewish Astrology and Numerology Genesis Numerology Meir Bar-Ilan Association for Jewish Astrology and Numerology Association for Jewish Astrology and Numerology Rehovot 2003 All rights reserved Library of Congress Cataloging-in-Publication

More information

Basic Concepts and Skills!

Basic Concepts and Skills! Basic Concepts and Skills! Critical Thinking tests rationales,! i.e., reasons connected to conclusions by justifying or explaining principles! Why do CT?! Answer: Opinions without logical or evidential

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

OSSA Conference Archive OSSA 3

OSSA Conference Archive OSSA 3 University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 3 May 15th, 9:00 AM - May 17th, 5:00 PM Commentary on Schwed Lawrence Powers Follow this and additional works at: https://scholar.uwindsor.ca/ossaarchive

More information

Replies to Hasker and Zimmerman. Trenton Merricks. Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, I.

Replies to Hasker and Zimmerman. Trenton Merricks. Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, I. Replies to Hasker and Zimmerman Trenton Merricks Molinism: The Contemporary Debate edited by Ken Perszyk. Oxford University Press, 2011. I. Hasker Here is how arguments by reductio work: you show that

More information

Epistemic Reduction: The Case of Arthāpatti

Epistemic Reduction: The Case of Arthāpatti Epistemic Reduction: The Case of Arthāpatti Dr. Sara L. Uckelman s.l.uckelman@durham.ac.uk @SaraLUckelman PhilSoc 30 Oct 18 Dr. Sara L. Uckelman Epistemic Reduction 30 Oct 18 1 / 31 An introduction into

More information

Why There s Nothing You Can Say to Change My Mind: The Principle of Non-Contradiction in Aristotle s Metaphysics

Why There s Nothing You Can Say to Change My Mind: The Principle of Non-Contradiction in Aristotle s Metaphysics Davis 1 Why There s Nothing You Can Say to Change My Mind: The Principle of Non-Contradiction in Aristotle s Metaphysics William Davis Red River Undergraduate Philosophy Conference North Dakota State University

More information

Experience and Foundationalism in Audi s The Architecture of Reason

Experience and Foundationalism in Audi s The Architecture of Reason Philosophy and Phenomenological Research Vol. LXVII, No. 1, July 2003 Experience and Foundationalism in Audi s The Architecture of Reason WALTER SINNOTT-ARMSTRONG Dartmouth College Robert Audi s The Architecture

More information

HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ

HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ BY JOHN BROOME JOURNAL OF ETHICS & SOCIAL PHILOSOPHY SYMPOSIUM I DECEMBER 2005 URL: WWW.JESP.ORG COPYRIGHT JOHN BROOME 2005 HAVE WE REASON

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

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

More information

Intuitive evidence and formal evidence in proof-formation

Intuitive evidence and formal evidence in proof-formation Intuitive evidence and formal evidence in proof-formation Okada Mitsuhiro Section I. Introduction. I would like to discuss proof formation 1 as a general methodology of sciences and philosophy, with a

More information

Philosophy 5340 Epistemology. Topic 6: Theories of Justification: Foundationalism versus Coherentism. Part 2: Susan Haack s Foundherentist Approach

Philosophy 5340 Epistemology. Topic 6: Theories of Justification: Foundationalism versus Coherentism. Part 2: Susan Haack s Foundherentist Approach Philosophy 5340 Epistemology Topic 6: Theories of Justification: Foundationalism versus Coherentism Part 2: Susan Haack s Foundherentist Approach Susan Haack, "A Foundherentist Theory of Empirical Justification"

More information

5.6.1 Formal validity in categorical deductive arguments

5.6.1 Formal validity in categorical deductive arguments Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be

More information

A Problem for a Direct-Reference Theory of Belief Reports. Stephen Schiffer New York University

A Problem for a Direct-Reference Theory of Belief Reports. Stephen Schiffer New York University A Problem for a Direct-Reference Theory of Belief Reports Stephen Schiffer New York University The direct-reference theory of belief reports to which I allude is the one held by such theorists as Nathan

More information

An Inferentialist Conception of the A Priori. Ralph Wedgwood

An Inferentialist Conception of the A Priori. Ralph Wedgwood An Inferentialist Conception of the A Priori Ralph Wedgwood When philosophers explain the distinction between the a priori and the a posteriori, they usually characterize the a priori negatively, as involving

More information

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Indian Philosophy Prof. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module No. # 05 Lecture No. # 23 The Nyaya Philosophy Hello, today we will

More information

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 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

More information

FIRST STUDY. The Existential Dialectical Basic Assumption of Kierkegaard s Analysis of Despair

FIRST STUDY. The Existential Dialectical Basic Assumption of Kierkegaard s Analysis of Despair FIRST STUDY The Existential Dialectical Basic Assumption of Kierkegaard s Analysis of Despair I 1. In recent decades, our understanding of the philosophy of philosophers such as Kant or Hegel has been

More information

Indian Philosophy. Prof. Dr. Satya Sundar Sethy. Department of Humanities and Social Sciences. Indian Institute of Technology, Madras. Module No.

Indian Philosophy. Prof. Dr. Satya Sundar Sethy. Department of Humanities and Social Sciences. Indian Institute of Technology, Madras. Module No. Indian Philosophy Prof. Dr. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module No. # 05 Lecture No. # 19 The Nyāya Philosophy. Welcome to the

More information

2 FREE CHOICE The heretical thesis of Hobbes is the orthodox position today. So much is this the case that most of the contemporary literature

2 FREE CHOICE The heretical thesis of Hobbes is the orthodox position today. So much is this the case that most of the contemporary literature Introduction The philosophical controversy about free will and determinism is perennial. Like many perennial controversies, this one involves a tangle of distinct but closely related issues. Thus, the

More information

Part I: The Structure of Philosophy

Part I: The Structure of Philosophy Revised, 8/30/08 Part I: The Structure of Philosophy Philosophy as the love of wisdom The basic questions and branches of philosophy The branches of the branches and the many philosophical questions that

More information

Can Negation be Defined in Terms of Incompatibility?

Can Negation be Defined in Terms of Incompatibility? Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives

More information

CONTENTS A SYSTEM OF LOGIC

CONTENTS A SYSTEM OF LOGIC EDITOR'S INTRODUCTION NOTE ON THE TEXT. SELECTED BIBLIOGRAPHY XV xlix I /' ~, r ' o>

More information

Selections from Aristotle s Prior Analytics 41a21 41b5

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

More information

semantic-extensional interpretation that happens to satisfy all the axioms.

semantic-extensional interpretation that happens to satisfy all the axioms. No axiom, no deduction 1 Where there is no axiom-system, there is no deduction. I think this is a fair statement (for most of us) at least if we understand (i) "an axiom-system" in a certain logical-expressive/normative-pragmatical

More information

Quantificational logic and empty names

Quantificational logic and empty names Quantificational logic and empty names Andrew Bacon 26th of March 2013 1 A Puzzle For Classical Quantificational Theory Empty Names: Consider the sentence 1. There is something identical to Pegasus On

More information

Williams on Supervaluationism and Logical Revisionism

Williams on Supervaluationism and Logical Revisionism Williams on Supervaluationism and Logical Revisionism Nicholas K. Jones Non-citable draft: 26 02 2010. Final version appeared in: The Journal of Philosophy (2011) 108: 11: 633-641 Central to discussion

More information

Boghossian & Harman on the analytic theory of the a priori

Boghossian & Harman on the analytic theory of the a priori Boghossian & Harman on the analytic theory of the a priori PHIL 83104 November 2, 2011 Both Boghossian and Harman address themselves to the question of whether our a priori knowledge can be explained in

More information

The Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011

The Ontological Argument for the existence of God. Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011 The Ontological Argument for the existence of God Pedro M. Guimarães Ferreira S.J. PUC-Rio Boston College, July 13th. 2011 The ontological argument (henceforth, O.A.) for the existence of God has a long

More information

In Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006

In Defense of Radical Empiricism. Joseph Benjamin Riegel. Chapel Hill 2006 In Defense of Radical Empiricism Joseph Benjamin Riegel A thesis submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment of the requirements for the degree of

More information

SAVING RELATIVISM FROM ITS SAVIOUR

SAVING RELATIVISM FROM ITS SAVIOUR CRÍTICA, Revista Hispanoamericana de Filosofía Vol. XXXI, No. 91 (abril 1999): 91 103 SAVING RELATIVISM FROM ITS SAVIOUR MAX KÖLBEL Doctoral Programme in Cognitive Science Universität Hamburg In his paper

More information

out in his Three Dialogues and Principles of Human Knowledge, gives an argument specifically

out in his Three Dialogues and Principles of Human Knowledge, gives an argument specifically That Thing-I-Know-Not-What by [Perm #7903685] The philosopher George Berkeley, in part of his general thesis against materialism as laid out in his Three Dialogues and Principles of Human Knowledge, gives

More information

Kant and the Problem of Metaphysics 1. By Tom Cumming

Kant and the Problem of Metaphysics 1. By Tom Cumming Kant and the Problem of Metaphysics 1 By Tom Cumming Kant and the Problem of Metaphysics represents Martin Heidegger's first attempt at an interpretation of Kant's Critique of Pure Reason (1781). This

More information

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur

Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Artificial Intelligence Prof. P. Dasgupta Department of Computer Science & Engineering Indian Institute of Technology, Kharagpur Lecture- 9 First Order Logic In the last class, we had seen we have studied

More information

Logic & Philosophy Sample Questions

Logic & Philosophy Sample Questions Logic & Philosophy Sample Questions Unit-I (Logic: Deductive and Inductive) 1. The validity of an argument depends on a. the form of the argument b. the content of the argument c. the truth of premises

More information

ISSA Proceedings 1998 Wilson On Circular Arguments

ISSA Proceedings 1998 Wilson On Circular Arguments ISSA Proceedings 1998 Wilson On Circular Arguments 1. Introduction In his paper Circular Arguments Kent Wilson (1988) argues that any account of the fallacy of begging the question based on epistemic conditions

More information

Building Systematic Theology

Building Systematic Theology 1 Building Systematic Theology Study Guide LESSON FOUR DOCTRINES IN SYSTEMATICS 2013 by Third Millennium Ministries www.thirdmill.org For videos, manuscripts, and other resources, visit Third Millennium

More information

4.1 A problem with semantic demonstrations of validity

4.1 A problem with semantic demonstrations of validity 4. Proofs 4.1 A problem with semantic demonstrations of validity Given that we can test an argument for validity, it might seem that we have a fully developed system to study arguments. However, there

More information

Commentary on Feteris

Commentary on Feteris University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 5 May 14th, 9:00 AM - May 17th, 5:00 PM Commentary on Feteris Douglas Walton Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive

More information

EXCERPTS FROM GANGESA'S (WISH-FULFILLING) JEWEL OF REFLECTION ON THE TRUTH (ABOUT EPISTEMOLOGY) S. Phillips

EXCERPTS FROM GANGESA'S (WISH-FULFILLING) JEWEL OF REFLECTION ON THE TRUTH (ABOUT EPISTEMOLOGY) S. Phillips EXCERPTS FROM GANGESA'S (WISH-FULFILLING) JEWEL OF REFLECTION ON THE TRUTH (ABOUT EPISTEMOLOGY) S. Phillips Gaṅgeśa Upādhāya (c. 1325) enjoys an immensely prominent position in classical Indian thought.

More information

7.1. Unit. Terms and Propositions. Nature of propositions. Types of proposition. Classification of propositions

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,

More information