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

Size: px
Start display at page:

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

Transcription

1 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 Logic Hello, welcome to the NOC course on symbolic logic. We are going to do this for 20 hours. (Refer Slide Time: 00:32) Today, we are starting with the module 1. In module 1, I introduce you to What Logic is and then I will define it as a study of reasoning and then we will go into talk about what reasoning is, what is its link with logic and what are the basic kinds of logic, and then this distinction between Western and Indian logic. So, this is the plan that we will follow in this module.

2 (Refer Slide Time: 00:59) bbbb A simple definition of logic is that it is a systematic study of reasoning. I must tell you that though the name of the course is symbolic logic, but it is beginning classes, some few lectures that we will hold, may be four or five, we are going to do it rather informally without use of any symbol so that an introductory or a beginning student can understand it better. So, we are going to switch to symbols from perhaps after sixth or seventh lecture, but let us start with where we were; namely, that logic is a study, first of all it is a discipline, and that it is a systematic kind of a study, which means there are principles and that is organized. But the content of logic, if you asked what this logic is a study about, or on, then we have to say it is about reasoning. Sometimes, it is called an art of reasoning. I hope you know the difference between the Art and the Science but the Art requires some sort of skill. So, when we are talking about logic as an Art of reasoning, we are talking about there are skills to learn, that there are ways to think about how to do reasoning best and so on and so forth.

3 (Refer Slide Time: 02:26) Then sometimes it is also called the Science of Reasoning. When we want to talk about a Science, we mean that there is a systematic body of knowledge here and there is also principles behind that. In case of logic, these principles would be the principles of Correct Reasoning. The moment I say that it should flag you that there are also incorrect ways of reasoning, but logic will try to teach you the ways of correct reasoning and there are justifications and principles which will guide us how to make reasoning correctly. So, what I have done is to define it in a simple way that first of all logic is a systematic study of reasoning, and I have also told you what the topic or the content of logic is; namely, about reasoning. There are two kinds of approaches to logic; that you can think about it as a skill development which is also good, but you can also think about it as a basic science, which speaks about formalizing and organizing the area or the studies with some very fundamental principles, but first let us talk about what reasoning is. We have used the word reasoning, but I am yet to sort of come to a clear definition about it.

5 (Refer Slide Time: 05:18) What you know is probably I am somewhere. Would you wait for me? The answer is yes. The knowledge affects the kind of behavior that you do. But please note that the knowledge is not a clearly given knowledge. So, it is not a direct knowledge that you have obtained. You saw something but you know something and that gap between what you saw and what you know has been filled up by this cognitive process that we call reasoning. So, the acts of reasoning are to be found in this kind of gaps and these are very interesting kinds of acts and this is what we will call reasoning. (Refer Slide Time: 06:10)

6 Human reasoning is a very basic kind of cognitive activity. We, throughout our lives and also through generations, if you believe in evolution then biologically we can show that, we acquire knowledge and we have been acquiring knowledge through reasoning for years. It is a mental process that keeps on going. You look at all the sensory input and then you add something more to gain more knowledge out of the situation. So, in a way reasoning, first of all, please note that it is mental process and it happens somewhere in your mind and what it does? It enables you to go beyond what is given through your sensory inputs and that is a very important activity, otherwise we would be very limited in our knowledge. We can show you many situations where you are making quick decisions based on reasoning. For example, think about crossing a very busy intersection, your eyes are picking up fast moving cars, the images of them and your ears are picking up the sound signals but mentally what you are doing is very quick reasoning and calculation of where to go, how to cross the street without getting hurt. Now, this is a very complex reasoning example, but there can be many simpler also, but what I am trying to tell you is that reasoning is a fundamental kind of cognitive activity. (Refer Slide Time: 07:36) It actually shows up in other forms of cognitive activity; for example, when you understand something. What you are reading are words but then from that you are making meaning, and that meaning making has to be done on the basis of reasoning.

7 Similarly, social response, for example, you see somebody sitting or you see somebody waving at you and then what is the appropriate social response. We are quickly going through the reasoning to get that appropriate responses out and the most manifested example of reasoning application would be problem solving. So, I am trying to show you when I said that the subject matter of logic is reasoning, this is your acquaintance with the process that logic sort of tries to understand, tries to formalize, tries to talk about correct ways of doing and that it is a very fundamental kind of cognitive activity. So, I will repeat what I have said earlier that logic, in a way is both an art of reasoning and how to do this reasoning in a better sort of way. And it is also a science of reasoning in the sense that there is a normative angle mainly telling us how to do it correctly or how to do it not just better but how to do it properly. There are two ways to look at logic. (Refer Slide Time: 09:01) Now, that was our quick introduction to the content of logic, but let us come to the study itself. Now, I always thought that one way to learn about things is to go to what we say is etymology. Etymology means where the root of the word is and if you look at the root of the word logic then it is in a Greek word called Logos. You may have heard this term Logos earlier. It has come from Greek language. Logos has many meanings; actually many meanings in Greek and there are various kind of applications, but we will follow what Aristotle used it as. Aristotle used Logos to mean some sort of a reasoned

8 discourse. So, it is a body of knowledge that is not haphazard and it is guided by reasoning. So, in that sense we will try to remember this word Logos. Then, I have told you since etymology sort of gives you a hint of what the study is like since logic is derived from the word logos. It is also a reasoned discourse; but what is the content of this? I have told you that is reasoning but let us try this. Wherever we see this term Logos as in logic, you get a see a reference to a study. For example, you may have heard these disciplines Biology, Sociology, Geology and I would like to point to the presence of Logos in this square here. This is logy which comes from the Greek word Logos. So, here are Logos of bio, this is logos of socio and this is logos of geo. What happens is that there is a prefix to the Logos and that tells us what the logos is about or the reasoned discourse is about. For example, here the prefix is bio; which means that it is the reasoned discourse about the living or the sphere of life bios. This is about society and this is about Geo or earth. In comparison with when we look into logic, there is no reference to the subject domain; there is no prefix, just Logos. We derived the word logic and there is no indication about which area this is going to cover. There is a cue in that or clue in that; The absence of the prefix in a way sort of tells us that it is a topic-neutral study. What Gilbert Ryle, a philosopher said, it is a topic-neutral study, and it means that it does not matter where you are applying logic; it will be a tool and this is the reason why often like mathematics logic is called universal tool. No matter which subject domain you are applying it to, it will give you some help. So, in a way what we have just found out is that first of all being a kind of Logos, logic is a reasoned discourse, but what is its content, it is reasoning; Please note that we are trying to understand reasoning and we are making a discourse based on reasoning and we have to use as a tool also in our reasoning. So, there is a self referential sort of a loop in logic which is unavoidable; because that is the only way to do it. But that is what the nature of this study is. In a way it is kind of rather abstract, but at the same time it is immensely applicable in no matter what kind of study that you are looking into.

9 (Refer Slide Time: 13:02) Now, I have said so far that logic teaches us, guides us in reasoning and so on, but still let us make this question very clear and if you now ask me then what is the role of logic in reasoning, does it actually teach us how to reason? I have to tell you then: No, it does not. Because that is what you already are equipped with. Your brain has equipped you, and your survival so far has equipped you how to reason. Otherwise, you would not be surviving. So, in order to survive in life, you do not have to sit in a class of logic. Before that, you already know how to reason. Then, what is it that logic does? And what it does is to teach you how to do that reasoning correctly. As I told you, there are more than one ways to do reasoning. You can do reasoning, because remember, reasoning is always a jump and there is a gap between what you actually get the information on and what you are trying to infer from it, or what you are trying to know from it. So, there is a gap. And because of the precarious or dangerous nature of this gap, there is chance that you might go in the wrong way. What logic does as a systematic study is to sort of guide you how to do this reasoning correctly, and in a way it gives the criteria of how to differentiate good reasoning from bad reasoning. So, it is not a matter of opinion that you called some of certain kinds of reasoning good, and certain kinds of reasoning bad. There are ways to justify those, and those are the principles that we are going to learn. This is the role that logic plays.

10 (Refer Slide Time: 14:58) Broadly, logic can be of two types: What we call Formal, and what we call Informal Logic. In other context, I also teach informal logic, but this is not a class on Informal Logic. But let me just acquaint you or at least give you an idea what informal logic does. See, always the questions of logic or where you can apply logic, it does not come always neatly in mathematical terms, or in quantity terms, or in symbolic terms, where you can formalize and apply this kind of logic. But often in real life situations, there are questions to be answered, and those are logical puzzles. So, in a way, there you are going to need help from informal logic; because it teaches that: How to reason well in real life situations, and how to apply critical thinking. You know, this is an important sort of a skill that Informal Logic teaches us. On the other hand, Formal Logic is something else. We are going to do more of formal logic, and we are not going to touch informal logic in this course. This is what logic is according to Formal Logic: that there is going to be typically three components in it: the syntax, the semantics, and a deductive system or a proof theory. So, these are the basic components that a formal logic will have, and we are going to go through these components when we start the Symbolic Logic properly. In this course, as I said, we are only going to look into Formal Logic and that too the Western Logic. When I say Western Logic, you might seem surprised that why I mentioned Western Logic. The reason I said this is because India has also a rich tradition of logic that we call Indian

11 Logic. Unfortunately, we will not have a course on that, but let me just at least give you an over view of what I am talking about. (Refer Slide Time: 17:12) Indian logic, when we talked about that there are ancient logic texts available from, say 6th century BCE. And there were two kinds of major schools of logic. One was called Anvikshiki and other was called Tarka and the goals of these two schools were quite different. Anvikshiki was for seeking out the truth, and the Tarka was the about public debate skills. As you know that in those days, the scholars, the Pandits would have a proper open public debate where they are supposed to argue with each other and the winner was decided by the weight of, the merit of the arguments and so on. And it carried lot of rewards and titles and so on. The Tarka School was about the rhetoric and about the public speaking. Anvikshiki was more of a fundamental sort of enquiry. And if you want to know which schools are those, then you can look among the Hindu schools where there was Nyaya tradition which is known for its logic. The Buddhist logic tradition is extremely strong and robust; the Jainas also have a very different kind of logic and a very interesting kind of a logic system. The classical proponents names and some of these names you may have heard for example, Nagarjuna, Dignaga, Vasuvandhu, Gautama etc. When Nalanda was a university, people used to come and learn under this master at Nalanda.

12 So, there are well known texts of Indian logic: Nyayasutra, Vaisesika sutra, for example. And if you want, you can always read upon this; because there are some translated texts also available. There have been also a newer developments in Indian logic, this is called Navya-Nyaya, which means Neo-logic, new kind of Indian logic, which has been quite popular. For example, West Bengal side it had its roots and it also went to Benaras and then I know personally a computational linguistic group or machine translation group which has taken help from this kind of neo-logic of Indian logic, but we are into western formal logic. (Refer Slide Time: 19:31) So, I will end this module with this kind of an introduction: That there are many kinds of formal logical systems and this is not to give you a proper or a complete picture, but this is just to show you that there are many kind of logics. First, that is something that you must go away from this course with is that there are different kinds of logics because of necessity. And whenever we have needed to, logic has been discovered or devised. For example, there is this propositional logic and there is first order predicate logic. There are sets and categorical logic and these three actually constitute what we would call the classical standard logic; and this is what we will do in this course. But look at the other varieties that are there. Some of you may have heard about the Fuzzy logic. The basic assumption of fuzzy logic does not match with the standard classical logic. One example might settle your doubt that the standard logic sort of believe in only two kinds of truth

13 values, truth and falsity; whereas fuzzy logic does not and fuzzy logic believes that there are many more intervals in between. So, accordingly the logic changes, the necessity is such that there are different kinds of logic. This, for example, is temporal logic which uses time as a factor. Suppose you want to talk about an operation that has to happen after something or before that. So, doing logic with that time reference is what you will find in the temporal logic. This is just to show you that there are various kinds of logics but we will be concentrating on Propositional Logic, and then we will move towards First Order Predicate Logic. But I would make a detour through Categorical Logic which is nothing but a sort of brief introduction to Aristotelian kind of logic. So, this is our introduction to this and with that I will end the module number 1.

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

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

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

### Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras

Aspects of Western Philosophy Dr. Sreekumar Nellickappilly Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module - 21 Lecture - 21 Kant Forms of sensibility Categories

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

### Class #3 - Illusion Descartes, from Meditations on First Philosophy Descartes, The Story of the Wax Descartes, The Story of the Sun

Philosophy 110W: Introduction to Philosophy Fall 2014 Hamilton College Russell Marcus Class #3 - Illusion Descartes, from Meditations on First Philosophy Descartes, The Story of the Wax Descartes, The

### PHILOSOPHY 4360/5360 METAPHYSICS. Methods that Metaphysicians Use

PHILOSOPHY 4360/5360 METAPHYSICS Methods that Metaphysicians Use Method 1: The appeal to what one can imagine where imagining some state of affairs involves forming a vivid image of that state of affairs.

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

### KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON. The law is reason unaffected by desire.

KANT, MORAL DUTY AND THE DEMANDS OF PURE PRACTICAL REASON The law is reason unaffected by desire. Aristotle, Politics Book III (1287a32) THE BIG IDEAS TO MASTER Kantian formalism Kantian constructivism

### Module - 02 Lecturer - 09 Inferential Statistics - Motivation

Introduction to Data Analytics Prof. Nandan Sudarsanam and Prof. B. Ravindran Department of Management Studies and Department of Computer Science and Engineering Indian Institute of Technology, Madras

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

### Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

(Refer Slide Time: 00:14) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 35 Goal Stack Planning Sussman's Anomaly

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

### NPTEL NPTEL ONLINE CERTIFICATION COURSE. Introduction to Machine Learning. Lecture 31

NPTEL NPTEL ONLINE CERTIFICATION COURSE Introduction to Machine Learning Lecture 31 Prof. Balaraman Ravindran Computer Science and Engineering Indian Institute of Technology Madras Hinge Loss Formulation

### 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- 10 Inference in First Order Logic I had introduced first order

### Honours Programme in Philosophy

Honours Programme in Philosophy Honours Programme in Philosophy The Honours Programme in Philosophy is a special track of the Honours Bachelor s programme. It offers students a broad and in-depth introduction

### Philosophy Courses Fall 2016

Philosophy Courses Fall 2016 All 100 and 200-level philosophy courses satisfy the Humanities requirement -- except 120, 198, and 298. We offer both a major and a minor in philosophy plus a concentration

### Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras

Introduction to Statistical Hypothesis Testing Prof. Arun K Tangirala Department of Chemical Engineering Indian Institute of Technology, Madras Lecture 09 Basics of Hypothesis Testing Hello friends, welcome

### PHILOSOPHY-PHIL (PHIL)

Philosophy-PHIL (PHIL) 1 PHILOSOPHY-PHIL (PHIL) Courses PHIL 100 Appreciation of Philosophy (GT-AH3) Credits: 3 (3-0-0) Basic issues in philosophy including theories of knowledge, metaphysics, ethics,

### Foundationalism Vs. Skepticism: The Greater Philosophical Ideology

1. Introduction Ryan C. Smith Philosophy 125W- Final Paper April 24, 2010 Foundationalism Vs. Skepticism: The Greater Philosophical Ideology Throughout this paper, the goal will be to accomplish three

### Introduction to Philosophy

Introduction to Philosophy Philosophy 110W Fall 2014 Russell Marcus Class #3 - Illusion Descartes, from Meditations on First Philosophy Marcus, Introduction to Philosophy, Fall 2014 Slide 1 Business P

### Since Michael so neatly summarized his objections in the form of three questions, all I need to do now is to answer these questions.

Replies to Michael Kremer Since Michael so neatly summarized his objections in the form of three questions, all I need to do now is to answer these questions. First, is existence really not essential by

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

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

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

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

Indian Philosophy Prof. Dr. Satya Sundar Sethy Department of Humanities and Social Sciences Indian Institute of Technology, Madras Module No. # 03 Lecture No. # 06 The Samkhya Philosophy Welcome viewers

### Artificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering

Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are

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

### 9 Knowledge-Based Systems

9 Knowledge-Based Systems Throughout this book, we have insisted that intelligent behavior in people is often conditioned by knowledge. A person will say a certain something about the movie 2001 because

### Introduction. September 30, 2011

Introduction Greg Restall Gillian Russell September 30, 2011 The expression philosophical logic gets used in a number of ways. On one approach it applies to work in logic, though work which has applications

### Moral Argumentation from a Rhetorical Point of View

Chapter 98 Moral Argumentation from a Rhetorical Point of View Lars Leeten Universität Hildesheim Practical thinking is a tricky business. Its aim will never be fulfilled unless influence on practical

### Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more

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

### (Refer Slide Time 03:00)

Artificial Intelligence Prof. Anupam Basu Department of Computer Science and Engineering Indian Institute of Technology, Kharagpur Lecture - 15 Resolution in FOPL In the last lecture we had discussed about

### Intro Viewed from a certain angle, philosophy is about what, if anything, we ought to believe.

Overview Philosophy & logic 1.2 What is philosophy? 1.3 nature of philosophy Why philosophy Rules of engagement Punctuality and regularity is of the essence You should be active in class It is good to

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

### Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras

(Refer Slide Time: 00:26) Artificial Intelligence Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Lecture - 06 State Space Search Intro So, today

### From Transcendental Logic to Transcendental Deduction

From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to re-cap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant

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

### Introduction to Philosophy

Introduction to Philosophy Philosophy 110W Spring 2013 Russell Marcus Class #4 - Sense Experience Descartes and Locke Marcus, Introduction to Philosophy, Slide 1 Business P Writing Center P Presentation

### PHILOSOPHY DEPARTMENT

PHILOSOPHY DEPARTMENT UNDERGRADUATE HANDBOOK 2013 Contents Welcome to the Philosophy Department at Flinders University... 2 PHIL1010 Mind and World... 5 PHIL1060 Critical Reasoning... 6 PHIL2608 Freedom,

### THE CONCEPT OF OWNERSHIP by Lars Bergström

From: Who Owns Our Genes?, Proceedings of an international conference, October 1999, Tallin, Estonia, The Nordic Committee on Bioethics, 2000. THE CONCEPT OF OWNERSHIP by Lars Bergström I shall be mainly

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

### Haberdashers Aske s Boys School

1 Haberdashers Aske s Boys School Occasional Papers Series in the Humanities Occasional Paper Number Sixteen Are All Humans Persons? Ashna Ahmad Haberdashers Aske s Girls School March 2018 2 Haberdashers

### Vol 2 Bk 7 Outline p 486 BOOK VII. Substance, Essence and Definition CONTENTS. Book VII

Vol 2 Bk 7 Outline p 486 BOOK VII Substance, Essence and Definition CONTENTS Book VII Lesson 1. The Primacy of Substance. Its Priority to Accidents Lesson 2. Substance as Form, as Matter, and as Body.

### CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017

CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017 1. SOME HISTORICAL REMARKS In the preceding chapter, I developed a simple propositional theory for deductive assertive illocutionary arguments. This

### A dialogical, multi-agent account of the normativity of logic. Catarin Dutilh Novaes Faculty of Philosophy University of Groningen

A dialogical, multi-agent account of the normativity of logic Catarin Dutilh Novaes Faculty of Philosophy University of Groningen 1 Introduction In what sense (if any) is logic normative for thought? But

### Programming Language Research

Analysis in Programming Language Research Done Well It Is All Right Antti-Juhani Kaijanaho Faculty of Information Technology University of Jyväskylä, Finland Analysis in Programming Language Research Antti-Juhani

### What is a counterexample?

Lorentz Center 4 March 2013 What is a counterexample? Jan-Willem Romeijn, University of Groningen Joint work with Eric Pacuit, University of Maryland Paul Pedersen, Max Plank Institute Berlin Co-authors

### PHILOSOPHY (413) Chairperson: David Braden-Johnson, Ph.D.

PHILOSOPHY (413) 662-5399 Chairperson: David Braden-Johnson, Ph.D. Email: D.Johnson@mcla.edu PROGRAMS AVAILABLE BACHELOR OF ARTS IN PHILOSOPHY CONCENTRATION IN LAW, ETHICS, AND SOCIETY PHILOSOPHY MINOR

### Falsification or Confirmation: From Logic to Psychology

Falsification or Confirmation: From Logic to Psychology Roman Lukyanenko Information Systems Department Florida international University rlukyane@fiu.edu Abstract Corroboration or Confirmation is a prominent

### part one MACROSTRUCTURE Cambridge University Press X - A Theory of Argument Mark Vorobej Excerpt More information

part one MACROSTRUCTURE 1 Arguments 1.1 Authors and Audiences An argument is a social activity, the goal of which is interpersonal rational persuasion. More precisely, we ll say that an argument occurs

### The Problem of the External World

The Problem of the External World External World Skepticism Consider this painting by Rene Magritte: Is there a tree outside? External World Skepticism Many people have thought that humans are like this

### Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University,

The Negative Role of Empirical Stimulus in Theory Change: W. V. Quine and P. Feyerabend Jeu-Jenq Yuann Professor of Philosophy Department of Philosophy, National Taiwan University, 1 To all Participants

### the aim is to specify the structure of the world in the form of certain basic truths from which all truths can be derived. (xviii)

PHIL 5983: Naturalness and Fundamentality Seminar Prof. Funkhouser Spring 2017 Week 8: Chalmers, Constructing the World Notes (Introduction, Chapters 1-2) Introduction * We are introduced to the ideas

### Rethinking Knowledge: The Heuristic View

http://www.springer.com/gp/book/9783319532363 Carlo Cellucci Rethinking Knowledge: The Heuristic View 1 Preface From its very beginning, philosophy has been viewed as aimed at knowledge and methods to

### Qualitative Research Methods Assistant Prof. Aradhna Malik Vinod Gupta School of Management Indian Institute of Technology - Kharagpur

Qualitative Research Methods Assistant Prof. Aradhna Malik Vinod Gupta School of Management Indian Institute of Technology - Kharagpur Lecture 14 Characteristics of Critical Theory Welcome back to the

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

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

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

### Department of Philosophy. Module descriptions 2017/18. Level C (i.e. normally 1 st Yr.) Modules

Department of Philosophy Module descriptions 2017/18 Level C (i.e. normally 1 st Yr.) Modules Please be aware that all modules are subject to availability. If you have any questions about the modules,

### Module 02 Lecture - 10 Inferential Statistics Single Sample Tests

Introduction to Data Analytics Prof. Nandan Sudarsanam and Prof. B. Ravindran Department of Management Studies and Department of Computer Science and Engineering Indian Institute of Technology, Madras

### Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN

Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN To classify sentences like This proposition is false as having no truth value or as nonpropositions is generally considered as being

### A Quick Review of the Scientific Method Transcript

Screen 1: Marketing Research is based on the Scientific Method. A quick review of the Scientific Method, therefore, is in order. Text based slide. Time Code: 0:00 A Quick Review of the Scientific Method

### Proof as a cluster concept in mathematical practice. Keith Weber Rutgers University

Proof as a cluster concept in mathematical practice Keith Weber Rutgers University Approaches for defining proof In the philosophy of mathematics, there are two approaches to defining proof: Logical or

### Please remember to sign-in by scanning your badge Department of Psychiatry Grand Rounds

AS A COURTESY TO OUR SPEAKER AND AUDIENCE MEMBERS, PLEASE SILENCE ALL PAGERS AND CELL PHONES Please remember to sign-in by scanning your badge Department of Psychiatry Grand Rounds James M. Stedman, PhD.

### 6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3

6.041SC Probabilistic Systems Analysis and Applied Probability, Fall 2013 Transcript Lecture 3 The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare

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

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

### ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS

ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,

### 2.1 Review. 2.2 Inference and justifications

Applied Logic Lecture 2: Evidence Semantics for Intuitionistic Propositional Logic Formal logic and evidence CS 4860 Fall 2012 Tuesday, August 28, 2012 2.1 Review The purpose of logic is to make reasoning

### Development of Thought. The word "philosophy" comes from the Ancient Greek philosophia, which

Development of Thought The word "philosophy" comes from the Ancient Greek philosophia, which literally means "love of wisdom". The pre-socratics were 6 th and 5 th century BCE Greek thinkers who introduced

### BOOK REVIEW. Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv pp. Pbk. US\$13.78.

[JGRChJ 9 (2011 12) R12-R17] BOOK REVIEW Thomas R. Schreiner, Interpreting the Pauline Epistles (Grand Rapids: Baker Academic, 2nd edn, 2011). xv + 166 pp. Pbk. US\$13.78. Thomas Schreiner is Professor

### An Interview with Jaakko Hintikka

1) The new biogenetic researches, for example cloning, present once again the ticklish question of the relationship between science and ethics. What is your opinion about this? And what part, do you think,

### Department of Philosophy

The University of Alabama at Birmingham 1 Department of Philosophy Chair: Dr. Gregory Pence The Department of Philosophy offers the Bachelor of Arts degree with a major in philosophy, as well as a minor

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

### WHAT DOES KRIPKE MEAN BY A PRIORI?

Diametros nr 28 (czerwiec 2011): 1-7 WHAT DOES KRIPKE MEAN BY A PRIORI? Pierre Baumann In Naming and Necessity (1980), Kripke stressed the importance of distinguishing three different pairs of notions:

### SUPPOSITIONAL REASONING AND PERCEPTUAL JUSTIFICATION

SUPPOSITIONAL REASONING AND PERCEPTUAL JUSTIFICATION Stewart COHEN ABSTRACT: James Van Cleve raises some objections to my attempt to solve the bootstrapping problem for what I call basic justification

### Chapter 1. Introduction. 1.1 Deductive and Plausible Reasoning Strong Syllogism

Contents 1 Introduction 3 1.1 Deductive and Plausible Reasoning................... 3 1.1.1 Strong Syllogism......................... 3 1.1.2 Weak Syllogism.......................... 4 1.1.3 Transitivity

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

### Circularity in ethotic structures

Synthese (2013) 190:3185 3207 DOI 10.1007/s11229-012-0135-6 Circularity in ethotic structures Katarzyna Budzynska Received: 28 August 2011 / Accepted: 6 June 2012 / Published online: 24 June 2012 The Author(s)

### Comparison between Rene Descartes and Francis Bacon s Scientific Method. Course. Date

1 Comparison between Rene Descartes and Francis Bacon s Scientific Method Course Date 2 Similarities and Differences between Descartes and Francis Bacon s Scientific method Introduction Science and Philosophy

### Chapter Summaries: A Christian View of Men and Things by Clark, Chapter 1

Chapter Summaries: A Christian View of Men and Things by Clark, Chapter 1 Chapter 1 is an introduction to the book. Clark intends to accomplish three things in this book: In the first place, although a

### Introduction Symbolic Logic

An Introduction to Symbolic Logic Copyright 2006 by Terence Parsons all rights reserved CONTENTS Chapter One Sentential Logic with 'if' and 'not' 1 SYMBOLIC NOTATION 2 MEANINGS OF THE SYMBOLIC NOTATION

### Beyond Symbolic Logic

Beyond Symbolic Logic 1. The Problem of Incompleteness: Many believe that mathematics can explain *everything*. Gottlob Frege proposed that ALL truths can be captured in terms of mathematical entities;

### Who Has the Burden of Proof? Must the Christian Provide Adequate Reasons for Christian Beliefs?

Who Has the Burden of Proof? Must the Christian Provide Adequate Reasons for Christian Beliefs? Issue: Who has the burden of proof the Christian believer or the atheist? Whose position requires supporting

### PHIL 251 Varner 2018c Final exam Page 1 Filename = 2018c-Exam3-KEY.wpd

PHIL 251 Varner 2018c Final exam Page 1 Your first name: Your last name: K_E_Y Part one (multiple choice, worth 20% of course grade): Indicate the best answer to each question on your Scantron by filling

### Unit 1 Philosophy of Education: Introduction INTRODUCTION

Unit 1 Philosophy of Education: Introduction INTRODUCTION It is not easy to say what exactly philosophy is, how to study it, or how to do it. Philosophy, like all other field, is unique. The reason why

### Philosophy Courses-1

Philosophy Courses-1 PHL 100/Introduction to Philosophy A course that examines the fundamentals of philosophical argument, analysis and reasoning, as applied to a series of issues in logic, epistemology,

### Tuomas E. Tahko (University of Helsinki)

Meta-metaphysics Routledge Encyclopedia of Philosophy, forthcoming in October 2018 Tuomas E. Tahko (University of Helsinki) tuomas.tahko@helsinki.fi www.ttahko.net Article Summary Meta-metaphysics concerns

### Neurophilosophy and free will VI

Neurophilosophy and free will VI Introductory remarks Neurophilosophy is a programme that has been intensively studied for the last few decades. It strives towards a unified mind-brain theory in which

### Oxford Scholarship Online Abstracts and Keywords

Oxford Scholarship Online Abstracts and Keywords ISBN 9780198802693 Title The Value of Rationality Author(s) Ralph Wedgwood Book abstract Book keywords Rationality is a central concept for epistemology,

### Lecture 4. Before beginning the present lecture, I should give the solution to the homework problem

1 Lecture 4 Before beginning the present lecture, I should give the solution to the homework problem posed in the last lecture: how, within the framework of coordinated content, might we define the notion

### This handout follows the handout on The nature of the sceptic s challenge. You should read that handout first.

Michael Lacewing Three responses to scepticism This handout follows the handout on The nature of the sceptic s challenge. You should read that handout first. MITIGATED SCEPTICISM The term mitigated scepticism

### Class 33 - November 13 Philosophy Friday #6: Quine and Ontological Commitment Fisher 59-69; Quine, On What There Is

Philosophy 240: Symbolic Logic Fall 2009 Mondays, Wednesdays, Fridays: 9am - 9:50am Hamilton College Russell Marcus rmarcus1@hamilton.edu I. The riddle of non-being Two basic philosophical questions are:

### EPISTEMOLOGY for DUMMIES

EPISTEMOLOGY for DUMMIES Cary Cook 2008 Epistemology doesn t help us know much more than we would have known if we had never heard of it. But it does force us to admit that we don t know some of the things

### Naturalism vs. Conceptual Analysis. Marcin Miłkowski

Naturalism vs. Conceptual Analysis Marcin Miłkowski WARNING This lecture might be deliberately biased against conceptual analysis. Presentation Plan Conceptual Analysis (CA) and dogmatism How to wake up

### The Dialectical Tier of Mathematical Proof

The Dialectical Tier of Mathematical Proof Andrew Aberdein Humanities and Communication, Florida Institute of Technology, 150 West University Blvd, Melbourne, Florida 32901-6975, U.S.A. my.fit.edu/ aberdein