# 9 Knowledge-Based Systems

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 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 he or she has a belief about when the movie was released. But we have not attempted to explain the mechanism behind this conditioning. For all we have said, it might be the case that all this talk of knowledge and belief is just a stance, the intentional stance of chapter 3, a placeholder for some better explanation yet to come, perhaps in terms of the electrochemical workings of the brain. Let s now consider a possible mechanism. Gottfried Leibniz First some history. Gottfried Wilhelm Leibniz ( ) was a German philosopher and polymath and an amazing thinker. Among many other ideas and discoveries, he invented the calculus (the derivatives and integrals we study in high-school mathematics) at the same time as Newton. Newton was more interested in calculus as a tool for physics and chemistry. But Leibniz was

2 116 Chapter 9 somewhat less interested in science; he was not even much of a mathematician until much later in life. But he was a deep thinker intrigued by, among many other things, symbols and symbol manipulation. Here is what he observed about arithmetic. We wanted to be able to do numerical calculations, for example, to figure out the area of a piece of land to be able to price it in an appropriate way. But numbers really are just abstract ideas. They have no physical presence, no mass or volume. How can we interact with the numbers to do the necessary calculation? The answer is symbols. Leibniz realized that when we write down a number as a sequence of digits, we have a certain system in mind, decimal (base 10) numbers, where we use digits and the powers of ten in a very specific way. Every number can be written in decimal notation, but it is possible to write numbers in other ways too. (Leibniz is credited with having invented binary (base 2) arithmetic, the system now used by digital computers.) But most important, he insisted on keeping straight the difference between the purely abstract number on the one hand (like the number fourteen, say), and the much more concrete symbolic expression we actually write down (like 14 in decimal, or 1110 in binary, or XIV in Roman numerals). He observed that in doing arithmetic, for example to figure out the area of a rectangle, we interact not with numbers but with their symbolic expressions. We take the expressions apart, cross parts out, add new parts, reassemble them, and ultimately produce new symbolic expressions from old. This is precisely the symbol processing seen in chapter 8. And as we saw, if we do our job right, the end result will be a new symbolic expression that

3 Knowledge-Based Systems 117 makes plain the answer we are looking for, whether it is the area of a piece of land or the age of Tommy and Suzy. Of course what is essential about these symbolic expressions is not that we write them down. We can sometimes do all the arithmetic in our heads and, with certain limitations resulting from our rather poor memories, this can work too. Leibniz wondered whether there were symbolic solutions of this sort to problems involving tangents and areas more generally. And the invention of the infinitesimal calculus (derivatives and integrals) is what came out of this. An idea about ideas Next comes the conceptual leap that only a genius like Leibniz could have come up with. Here is the story (or my version of it). Thinking, as Leibniz realized, is going over certain ideas we believe in. But ideas are abstract too, just like numbers. What does it mean to say that Sue is jealous because she thinks John loves Mary? How can the idea of John loving Mary cause Sue to behave in a certain way? There is a physical John and a physical Mary, of course, but the idea of John loving Mary has no physical presence, no mass or volume. It might even be false, if the person who told Sue about John and Mary was lying. As we have been saying all along in this book, Sue s behavior is conditioned by what she believes, and in this case, by a belief about John and Mary. Take that belief away, and sure enough, her behavior will change accordingly. But how can this possibly work? How can a purely abstract thing like a belief cause a person like Sue to do anything? Leibniz has a proposal.

4 118 Chapter 9 His proposal, based on his observation about arithmetic, is that we do not interact with ideas directly. We interact with symbolic expressions of those ideas. Leibniz suggests that we can treat these ideas as if they were written down in some (as yet unspecified) symbolic form, and that we can perform some (as yet unspecified) kind of arithmetic on them, that is, some sort of symbol processing, to go from one idea to the next. Of course we never actually write the ideas down on paper, we do it all in our heads, but the effect is the same. In other words, Leibniz is proposing the following analogy: The rules of arithmetic allow us to deal with abstract numbers in terms of concrete symbols. The manipulation of those symbols mirrors the relations among the numbers being represented. The rules of some sort of logic allow us to deal with abstract ideas in terms of concrete symbols. The manipulation of those symbols mirrors the relations among the ideas being represented. What a breathtaking idea! It says that although the objects of human thought are formless and abstract, we can still deal with them concretely as a kind of mental arithmetic, by representing them symbolically and operating on the symbols. When it comes time to think, when we have issues to resolve, conclusions to draw, or arguments with others to settle, we can calculate. As Leibniz famously put it in the Latin he often used in his letters, Calculemus! that is, Let us calculate! What the Leibniz proposal does is offer a solution to what is arguably the single most perplexing feature of the human animal: how physical behavior can be affected by abstract belief. For the very first time, Leibniz has given us a plausible story to

5 Knowledge-Based Systems 119 tell about how ideas, including ideas that are not even true, can actually cause us to do something. The knowledge representation hypothesis Following Leibniz then, let us consider a system that is constructed to work with beliefs explicitly in the following way: Much of what the system needs to know will be stored in its memory as symbolic expressions of some sort, making up what we will call its knowledge base; The system will process the knowledge base using the rules of some sort of logic to derive new symbolic representations that go beyond what was explicitly represented; Some of the conclusions derived will concern what the system should do next, and the system will then decide how to act based on those conclusions. Systems that have this basic design are what we are calling knowledge-based. So what makes a system knowledge-based, at least according to this rough definition, is not the fact that its behavior is complex and versatile enough to merit an intentional stance. Rather it is the presence of a knowledge base, a collection of symbolic structures in its memory representing what it believes, that it uses in the way first envisaged by Leibniz to make decisions about how to behave. The fundamental hypothesis underlying the McCarthy vision of AI is this: to achieve human-level intelligent behavior, a system needs to be knowledge-based. This is what the philosopher Brian Smith calls the knowledge representation hypothesis, which he presents (much more abstractly) as follows:

6 120 Chapter 9 Any mechanically embodied intelligent process will be comprised of structural ingredients that a) we as external observers naturally take to represent a propositional account of the knowledge that the overall process exhibits, and b) independent of such external semantic attribution, play a formal but causal and essential role in engendering the behavior that manifests that knowledge. Breaking this down into pieces, his version goes something like this. Imagine that there is a system whose behavior is intelligent enough to merit an intentional stance (a mechanically embodied intelligent process ). The hypothesis is that this system will have symbolic structures stored in its memory ( structural ingredients ) with two properties. The first property is that we from the outside can interpret these symbolic structures as propositions of some sort (a propositional account ) and in particular, as propositions that are believed by the system according to the intentional stance we are taking. The second property is that these symbolic structures do not just sit there in memory. We are imagining a computational system that operates on these symbolic structures (they play a causal role in engendering the behavior ), just like the symbolic algebra and logic seen in chapter 8. In other words, the system behaves the way it does, making us want to ascribe beliefs to it, precisely because those symbolic structures are there in its memory. Remove them from memory, or change them in some way, and the system behaves differently. So overall, the knowledge representation hypothesis is that truly intelligent systems will be knowledge-based, that is, systems for which the intentional stance is grounded by design in the processing of symbolic representations.

7 Knowledge-Based Systems 121 Is the hypothesis true? The knowledge representation hypothesis is just that, a hypothesis. It may or may not be true. There are actually two interesting questions to ask: 1. Is there any reason to believe (or disbelieve) that humans are designed (by evolution) to be knowledge-based? 2. Is there any reason to believe (or disbelieve) that the best way for us to build artificial systems that have human-level intelligence, AI systems in other words, is to design them to be knowledge-based? Unfortunately, neither question can yet be given a very definite answer. When it comes to people being knowledge-based, it might seem ridiculously far-fetched to imagine that evolution would produce a species that depends in this precise and convoluted way on symbols and symbol processing. But many things seem to be unlikely products of evolution, at least at first. (The eye and the visual system is one such discussed by Charles Darwin.) It is obvious that written language is symbolic, and so evolution clearly has produced a species that can do all the processing necessary to make sense of those written symbols. We are the symbolic species, as the anthropologist Terrence Deacon puts it. It is perhaps not so far-fetched to imagine that an ability to use and process internal symbols is connected in some way with our ability to use and process the external ones. It is worth remembering, however, that the knowledge-based question is a design issue. Even if people really are knowledgebased, we do not necessarily expect neuroscientists to be able to find symbolic structures in the brain for the reasons discussed in

8 122 Chapter 9 chapter 2: we may not be able to reverse-engineer neurons. So even if we do come to believe that people are knowledge-based, it may not be because we have figured out how knowledge is stored in the brain. Rather, I suspect that it will be more like this: we will come to believe that only a knowledge-based design has the power to explain how people can do what they do. We will look at the design of artificial systems of a wide variety of sorts, and we will see that it is the knowledge-based ones that are able to produce certain kinds of intelligent behavior, behavior that will otherwise seem like magic. In other words, we will end up answering the first question by appeal to the second. So what about that second question? Here the experts are quite divided. The knowledge-based approach advocated by McCarthy completely dominated AI research until the 1990s or so. But progress in GOFAI has been held back by what appears to be two fairly basic questions that remain unresolved: Just what kinds of symbolic structures are needed to represent the beliefs of an intelligent system? and What kinds of symbol processing are needed to allow these represented beliefs to be extended so that they can affect behavior in the right way? These might be called the representation and reasoning questions respectively. Knowledge representation and reasoning In 1958, when McCarthy first described his vision of AI and the research agenda it should follow in his Programs with Common Sense paper, he had in mind something very specific regarding

9 Knowledge-Based Systems 123 the representation and reasoning questions. He imagined a system that would store what it needed to know as symbolic formulas of the first-order predicate calculus, an artificial logical language developed at the turn of the twentieth century for the formalization of mathematics. And he imagined a system whose reasoning would involve computational deduction. The proposed system, in other words, would calculate the logical consequences of its knowledge base. Here is what he says: One will be able to assume that [the proposed system] will have available to it a fairly wide class of immediate logical consequences of anything it is told and its previous knowledge. This property is expected to have much in common with what makes us describe certain humans as having common sense. In the time since then, many researchers including McCarthy himself have come to believe that these answers to the representation and reasoning questions are too strict. First-order predicate calculus is not ideal as a symbolic representation language, and logical consequence is not ideal as a specification for the sort of reasoning that needs to take place. Indeed, the role to be played by classical logic in the answer to the reasoning question is a subtle and complex one. For very many cases, using what you know does indeed involve drawing logical conclusions from the beliefs you have on hand (as it did for Henry, for example, in the discussion of Intelligent behavior in chapter 3). But there is much more to it than that. First, there will be logical conclusions that are not relevant to your goals and not worth spending time on. In fact, if you have any contradictory beliefs, every sentence will be a logical consequence of what you believe. Second, there will be logical conclusions that might be relevant but are too hard to figure out

10 124 Chapter 9 without solving some sort of puzzle, perhaps using pencil and paper. (A relatively simple example of a logical puzzle was determining the guilt status of Bob, in the section Symbolic logic in chapter 8.) Third, there will be conclusions that are not logical conclusions at all, but only assumptions that might be reasonable to make barring information to the contrary. For example, you might conclude that a lemon you have never seen before is yellow, but this is not a logical conclusion since you do not believe that every lemon is yellow. (The unseen one might have been painted red, for all you know.) Finally, there are ways of using what you know that do not involve drawing conclusions at all, such as asking yourself what are the different things that could cause a lemon to not be yellow. In sum, the gap between what we actually need to think about on the one hand, and the logical consequences of what we know on the other, is large enough that many researchers believe that we need to step back from classical logic, and consider other accounts of reasoning that would touch on logic somewhat more peripherally. As Marvin Minsky puts it: Logical reasoning is not flexible enough to serve as a basis for thinking. The fact that so much of what we believe and use involves assumptions that are not guaranteed to be true has prompted many researchers to focus on probability and degrees of belief (noted in the section Knowledge vs. belief in chapter 3), rather than on logic. After all, we clearly distinguish sentences that are not known for sure but most likely are true, from sentences that are not known for sure but most likely are false. But probability quickly runs up against the same difficulties as logic: again there will be conclusions that are most likely true but irrelevant; there will be relevant conclusions that are most likely true but too difficult to figure out; there will be conclusions that should be

11 Knowledge-Based Systems 125 drawn only in the absence of information to the contrary; and there will be ways of using what you believe that have nothing to do with drawing conclusions at all. Turning now to the representation question, complications arise here as well. If the first-order predicate calculus first suggested by McCarthy is not suitable, what works better? We might consider using sentences of English itself (or some other human language) as the symbolic representation language. We would use the string of symbols bears hibernate to represent the belief that bears hibernate. Maybe it is enough to store sequences of English words in the knowledge base. English is what we use in books, after all, and information expressed in English is readily available online. Indeed, perhaps the biggest difficulty with using English as the representation language is in the second question, the reasoning. (The representation and reasoning questions are clearly interdependent.) Just how would a system use a knowledge base of English sentences to draw conclusions? In particular, making sense of those sentences (such as resolving the pronouns that appear in Winograd schemas) is a task that appears to require knowledge. How can English be our way of providing knowledge if using it properly already requires knowledge? At the very least, we would have to somehow unwind this potentially infinite regress. The subarea of AI research called knowledge representation and reasoning has been concerned with tackling precisely these representation and reasoning questions in a variety of ways. But progress has been slow and is being challenged by research in other subareas of AI (such as AML) where symbolic representations of beliefs play little or no role. On the one hand, progress in these other subareas has been truly remarkable; on the other, none of them has attempted to account for behavior that makes

13 Knowledge-Based Systems 127 In addition, if this knowledge-based approach is to ever work, that is, if there is ever to be a computational system that has access to and can use as much knowledge as people have, then it will need a massive knowledge base and a computational implementation efficient enough to process such massive symbolic structures. These impose serious constraints of their own. I believe that any attempt to construct a large knowledgebased system without a correspondingly large development effort is doomed to failure. The idea of putting some sort of tabula rasa computer on the web (say) and having it learn for itself that is, getting it to do all the hard, painstaking work is a pipe dream. Learning to recognize cats by yourself is one thing; learning to read by yourself is quite another; and learning to read Wittgenstein, yet another. Before a computational system can ever profit from all we know, it will first need to be spoonfed a good deal of what we know and be able to use what it knows effectively. Even if we knew how to answer the representation and reasoning questions, putting these ideas into practice on a large scale remains a daunting challenge. But this is all speculation, really. In the end, what we are left with is best seen as an empirical question: what sorts of computational designs will be sufficient to account for what forms of intelligent behavior? This is where this discussion stops and the AI research begins.

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

### Dennett's Reduction of Brentano's Intentionality

Dennett's Reduction of Brentano's Intentionality By BRENT SILBY Department of Philosophy University of Canterbury Copyright (c) Brent Silby 1998 www.def-logic.com/articles Since as far back as the middle

### The Case of Modern Science

The Case of Modern Science Ngai Stanley Hiu-on Science, Shaw College Introduction Two aliens, Alpha and Beta, have just visited the ten planets where they placed UGFN students 10,000 years ago. They found

### Philosophy Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction

Philosophy 5340 - Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction In the section entitled Sceptical Doubts Concerning the Operations of the Understanding

### G.E. Moore A Refutation of Skepticism

G.E. Moore A Refutation of Skepticism The Argument For Skepticism 1. If you do not know that you are not merely a brain in a vat, then you do not even know that you have hands. 2. You do not know that

### Philosophy of Mathematics Kant

Philosophy of Mathematics Kant Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 20/10/15 Immanuel Kant Born in 1724 in Königsberg, Prussia. Enrolled at the University of Königsberg in 1740 and

### Learning Algebra on the Right Side of the Brain

Learning Algebra on the Right Side of the Brain How to make Algebra a Successful Learning Experience for Students of all Ages! A psychologist looks at why algebra is so stressful for so many students of

### Possibility and Necessity

Possibility and Necessity 1. Modality: Modality is the study of possibility and necessity. These concepts are intuitive enough. Possibility: Some things could have been different. For instance, I could

### Meditations on Knowledge, Truth, and Ideas

1 Copyright Jonathan Bennett [Brackets] enclose editorial explanations. Small dots enclose material that has been added, but can be read as though it were part of the original text. Occasional bullets,

### Number, Part I of II

Lesson 1 Number, Part I of II 1 massive whale shark is fed while surounded by dozens of other fishes at the Georgia Aquarium. The number 1 is an abstract idea that can describe 1 whale shark, 1 manta ray,

### From Necessary Truth to Necessary Existence

Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing

### I Found You. Chapter 1. To Begin? Assumptions are peculiar things. Everybody has them, but very rarely does anyone want

Chapter 1 To Begin? Assumptions Assumptions are peculiar things. Everybody has them, but very rarely does anyone want to talk about them. I am not going to pretend that I have no assumptions coming into

### Sample Questions with Explanations for LSAT India

Five Sample Logical Reasoning Questions and Explanations Directions: The questions in this section are based on the reasoning contained in brief statements or passages. For some questions, more than one

Kripke s skeptical paradox phil 93914 Jeff Speaks March 13, 2008 1 The paradox.................................... 1 2 Proposed solutions to the paradox....................... 3 2.1 Meaning as determined

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

### INDUCTIVE AND DEDUCTIVE

INDUCTIVE AND DEDUCTIVE Péter Érdi Henry R. Luce Professor Center for Complex Systems Studies Kalamazoo College, Michigan and Dept. Biophysics KFKI Research Institute for Particle and Nuclear Physics of

### MAKING A METAPHYSICS FOR NATURE. Alexander Bird, Nature s Metaphysics: Laws and Properties. Oxford: Clarendon, Pp. xiv PB.

Metascience (2009) 18:75 79 Ó Springer 2009 DOI 10.1007/s11016-009-9239-0 REVIEW MAKING A METAPHYSICS FOR NATURE Alexander Bird, Nature s Metaphysics: Laws and Properties. Oxford: Clarendon, 2007. Pp.

### Leibniz, Principles, and Truth 1

Leibniz, Principles, and Truth 1 Leibniz was a man of principles. 2 Throughout his writings, one finds repeated assertions that his view is developed according to certain fundamental principles. Attempting

### We [now turn to the question] of the existence of God. By God I shall understand a

Sophia Project Philosophy Archives Arguments for the Existence of God A. C. Ewing We [now turn to the question] of the existence of God. By God I shall understand a supreme mind regarded as either omnipotent

### Evolution and the Mind of God

Evolution and the Mind of God Robert T. Longo rtlongo370@gmail.com September 3, 2017 Abstract This essay asks the question who, or what, is God. This is not new. Philosophers and religions have made many

### The Extended Mind. But, what if the mind is like that? That is, what if the mind extends beyond the brain?

The Extended Mind 1. The Extended Body: We often have no problem accepting that the body can be augmented or extended in certain ways. For instance, it is not so far-fetched to think of someone s prosthetic

### It doesn t take long in reading the Critique before we are faced with interpretive challenges. Consider the very first sentence in the A edition:

The Preface(s) to the Critique of Pure Reason It doesn t take long in reading the Critique before we are faced with interpretive challenges. Consider the very first sentence in the A edition: Human reason

### Ayer and Quine on the a priori

Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified

### René Descartes ( ) PSY 3360 / CGS 3325 Historical Perspectives on Psychology Minds and Machines since Descartes

PSY 3360 / CGS 3325 Historical Perspectives on Psychology Minds and Machines since 1600 René Descartes (1596-1650) Dr. Peter Assmann Spring 2018 French mathematician, philosopher, and physiologist Descartes

### [3.] Bertrand Russell. 1

[3.] Bertrand Russell. 1 [3.1.] Biographical Background. 1872: born in the city of Trellech, in the county of Monmouthshire, now part of Wales 2 One of his grandfathers was Lord John Russell, who twice

### Outline Lesson 5 -Science: What is True? A. Psalm 19:1-4- "The heavens declare the Glory of God" -General Revelation

FOCUS ON THE FAMILY'S t elpyoect Th~ Outline Lesson 5 -Science: What is True? I. Introduction A. Psalm 19:1-4- "The heavens declare the Glory of God" -General Revelation B. Romans 1:18-20 - "God has made

### Solving the color incompatibility problem

In Journal of Philosophical Logic vol. 41, no. 5 (2012): 841 51. Penultimate version. Solving the color incompatibility problem Sarah Moss ssmoss@umich.edu It is commonly held that Wittgenstein abandoned

### -1 Peter 3:15-16 (NSRV)

Defending Your Faith with Reason and Precision 3. Why does anything at all exist? 4. Why did the universe begin? 5. Why is the universe fine-tuned for life? Sunday, February 24, 2013, 10 to 10:50 am, in

### Ramsey s belief > action > truth theory.

Ramsey s belief > action > truth theory. Monika Gruber University of Vienna 11.06.2016 Monika Gruber (University of Vienna) Ramsey s belief > action > truth theory. 11.06.2016 1 / 30 1 Truth and Probability

### Presupposition and Accommodation: Understanding the Stalnakerian picture *

In Philosophical Studies 112: 251-278, 2003. ( Kluwer Academic Publishers) Presupposition and Accommodation: Understanding the Stalnakerian picture * Mandy Simons Abstract This paper offers a critical

### To be able to define human nature and psychological egoism. To explain how our views of human nature influence our relationships with other

Velasquez, Philosophy TRACK 1: CHAPTER REVIEW CHAPTER 2: Human Nature 2.1: Why Does Your View of Human Nature Matter? Learning objectives: To be able to define human nature and psychological egoism To

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

### In his paper Studies of Logical Confirmation, Carl Hempel discusses

Aporia vol. 19 no. 1 2009 Hempel s Raven Joshua Ernst In his paper Studies of Logical Confirmation, Carl Hempel discusses his criteria for an adequate theory of confirmation. In his discussion, he argues

### Many Minds are No Worse than One

Replies 233 Many Minds are No Worse than One David Papineau 1 Introduction 2 Consciousness 3 Probability 1 Introduction The Everett-style interpretation of quantum mechanics developed by Michael Lockwood

### Descartes Method of Doubt

Descartes Method of Doubt Philosophy 100 Lecture 9 PUTTING IT TOGETHER. Descartes Idea 1. The New Science. What science is about is describing the nature and interaction of the ultimate constituents of

### UNIVALENT FOUNDATIONS

UNIVALENT FOUNDATIONS Vladimir Voevodsky Institute for Advanced Study Princeton, NJ March 26, 2014 In January, 1984, Alexander Grothendieck submitted to CNRS his proposal "Esquisse d'un Programme. Soon

### June 4, 2003 Calculus Creators Chandler-Gilbert Community College 2626 East Pecos Road Chandler, AZ Dear Calculus Creators: I have gotten myself

The following group project is to be worked on by no more than four students. You may use any materials you think may be useful in solving the problems but you may not ask anyone for help other than the

### Wittgenstein and Gödel: An Attempt to Make Wittgenstein s Objection Reasonable

Wittgenstein and Gödel: An Attempt to Make Wittgenstein s Objection Reasonable Timm Lampert published in Philosophia Mathematica 2017, doi.org/10.1093/philmat/nkx017 Abstract According to some scholars,

### A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System

A New Parameter for Maintaining Consistency in an Agent's Knowledge Base Using Truth Maintenance System Qutaibah Althebyan, Henry Hexmoor Department of Computer Science and Computer Engineering University

### Immanuel Kant, Analytic and Synthetic. Prolegomena to Any Future Metaphysics Preface and Preamble

+ Immanuel Kant, Analytic and Synthetic Prolegomena to Any Future Metaphysics Preface and Preamble + Innate vs. a priori n Philosophers today usually distinguish psychological from epistemological questions.

### 6.080 / Great Ideas in Theoretical Computer Science Spring 2008

MIT OpenCourseWare http://ocw.mit.edu 6.080 / 6.089 Great Ideas in Theoretical Computer Science Spring 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.

### Intersubstitutivity Principles and the Generalization Function of Truth. Anil Gupta University of Pittsburgh. Shawn Standefer University of Melbourne

Intersubstitutivity Principles and the Generalization Function of Truth Anil Gupta University of Pittsburgh Shawn Standefer University of Melbourne Abstract We offer a defense of one aspect of Paul Horwich

### IS THE SCIENTIFIC METHOD A MYTH? PERSPECTIVES FROM THE HISTORY AND PHILOSOPHY OF SCIENCE

MÈTODE Science Studies Journal, 5 (2015): 195-199. University of Valencia. DOI: 10.7203/metode.84.3883 ISSN: 2174-3487. Article received: 10/07/2014, accepted: 18/09/2014. IS THE SCIENTIFIC METHOD A MYTH?

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

### YOU TO THE POWER OF ME: U M3

YOU TO THE POWER OF ME: U M3 JAKE WHITESIDE In order to effectively share my beliefs, I must establish an interpersonal wavelength to drive my ideas along. The most succinct and efficacious method I can

### THE NATURE OF NORMATIVITY IN KANT S PHILOSOPHY OF LOGIC REBECCA V. MILLSOP S

THE NATURE OF NORMATIVITY IN KANT S PHILOSOPHY OF LOGIC REBECCA V. MILLSOP S I. INTRODUCTION Immanuel Kant claims that logic is constitutive of thought: without [the laws of logic] we would not think at

### Wittgenstein: Meaning and Representation

Wittgenstein: Meaning and Representation What does he mean? By BRENT SILBY Department Of Philosophy University of Canterbury Copyright (c) Brent Silby 1998 www.def-logic.com/articles There is a common

### CHAPTER 13: UNDERSTANDING PERSUASIVE. What is persuasion: process of influencing people s belief, attitude, values or behavior.

Logos Ethos Pathos Chapter 13 CHAPTER 13: UNDERSTANDING PERSUASIVE What is persuasion: process of influencing people s belief, attitude, values or behavior. Persuasive speaking: process of doing so in

### Minds, Machines, And Mathematics A Review of Shadows of the Mind by Roger Penrose

Minds, Machines, And Mathematics A Review of Shadows of the Mind by Roger Penrose David J. Chalmers Department of Philosophy Washington University St. Louis, MO 63130 U.S.A. dave@twinearth.wustl.edu Copyright

### INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments

INTRODUCTION TO LOGIC 1 Sets, Relations, and Arguments Volker Halbach Pure logic is the ruin of the spirit. Antoine de Saint-Exupéry The Logic Manual The Logic Manual The Logic Manual The Logic Manual

### Mètode Science Studies Journal ISSN: Universitat de València España

Mètode Science Studies Journal ISSN: 2174-3487 metodessj@uv.es Universitat de València España Sober, Elliott IS THE SCIENTIFIC METHOD A MYTH? PERSPECTIVES FROM THE HISTORY AND PHILOSOPHY OF SCIENCE Mètode

### John Napier: A Man of Invention. Marisela Guerrero. El Paso Community College

John Napier: A Man of Invention John Napier: A Man of Invention Marisela Guerrero El Paso Community College Author Note This paper was prepared for Math 1342, Honors Program Guerrero 2 John Napier: A Man

### 1 ReplytoMcGinnLong 21 December 2010 Language and Society: Reply to McGinn. In his review of my book, Making the Social World: The Structure of Human

1 Language and Society: Reply to McGinn By John R. Searle In his review of my book, Making the Social World: The Structure of Human Civilization, (Oxford University Press, 2010) in NYRB Nov 11, 2010. Colin

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

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

### Lecture 18: Rationalism

Lecture 18: Rationalism I. INTRODUCTION A. Introduction Descartes notion of innate ideas is consistent with rationalism Rationalism is a view appealing to reason as a source of knowledge or justification.

### Freedom as Morality. UWM Digital Commons. University of Wisconsin Milwaukee. Hao Liang University of Wisconsin-Milwaukee. Theses and Dissertations

University of Wisconsin Milwaukee UWM Digital Commons Theses and Dissertations May 2014 Freedom as Morality Hao Liang University of Wisconsin-Milwaukee Follow this and additional works at: http://dc.uwm.edu/etd

### Necessity and Truth Makers

JAN WOLEŃSKI Instytut Filozofii Uniwersytetu Jagiellońskiego ul. Gołębia 24 31-007 Kraków Poland Email: jan.wolenski@uj.edu.pl Web: http://www.filozofia.uj.edu.pl/jan-wolenski Keywords: Barry Smith, logic,

### Early Franciscan Theology: an Outline. Relationship between scripture and tradition; theology as interpretation of scripture and tradition

Early Franciscan Theology: an Outline At an early stage, Francis s movement was a lay movement. Francis himself was not a cleric, had no formal education, did not read or write Latin well, and did not

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

### Ancient Greek Philosophy. Instructor: Dr. Jason Sheley

Ancient Greek Philosophy Instructor: Dr. Jason Sheley Aristotle on the Psyche Aristotle s theory of the soul is notoriously difficult to classify. Scholars have attempted to frame Aristotle s theory as

### The Problem of Evil and Pain. 3. The Explanation of Leibniz: The Best of All Possible Worlds

The Problem of Evil and Pain 3. The Explanation of Leibniz: The Best of All Possible Worlds Opening Prayer Almighty and everlasting God, you made the universe with all its marvelous order, its atoms, worlds,

### Matter and Consciousness

Matter and Consciousness I want to use figures used in the experiments by Shepard and Metzlar to clarify a couple of really simple, but invariably very confusing distinctions about mind and matter. Shepard

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

### Supplemental Material 2a: The Proto-psychologists. In this presentation, we will have a short review of the Scientific Revolution and the

Supplemental Material 2a: The Proto-psychologists Introduction In this presentation, we will have a short review of the Scientific Revolution and the Enlightenment period. Thus, we will briefly examine

### Philosophy 5340 Epistemology Topic 4: Skepticism. Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument

1. The Scope of Skepticism Philosophy 5340 Epistemology Topic 4: Skepticism Part 1: The Scope of Skepticism and Two Main Types of Skeptical Argument The scope of skeptical challenges can vary in a number

### Number, Part I. Lesson 1. Rules and Definitions. Rules

Lesson 1 Number, Part I Rules and Definitions Rules 3 Grizzly bear cubs relax on a gravel bar in American Creek, Katmai National Park, Alaska. The number 3 is an abstract idea that can describe 3 bears,

### 5 A Modal Version of the

5 A Modal Version of the Ontological Argument E. J. L O W E Moreland, J. P.; Sweis, Khaldoun A.; Meister, Chad V., Jul 01, 2013, Debating Christian Theism The original version of the ontological argument

### Why Ethics? Lightly Edited Transcript with Slides. Introduction

Why Ethics? Part 1 of a Video Tutorial on Business Ethics Available on YouTube and itunes University Recorded 2012 by John Hooker Professor, Tepper School of Business, Carnegie Mellon University Lightly

### The Names of God. from Summa Theologiae (Part I, Questions 12-13) by Thomas Aquinas (~1265 AD) translated by Brian Shanley (2006)

The Names of God from Summa Theologiae (Part I, Questions 12-13) by Thomas Aquinas (~1265 AD) translated by Brian Shanley (2006) For with respect to God, it is more apparent to us what God is not, rather

### THE ARCHETYPAL ACTIONS OF RITUAL CAROLINE HUMPHREY AND JAMES LAIDLAW, 1994

PAGE 98 VOLUME 36, 2006 THE ARCHETYPAL ACTIONS OF RITUAL CAROLINE HUMPHREY AND JAMES LAIDLAW, 1994 Review by Jennifer Scriven Department of Anthropology Wichita State University Can a theory be extrapolated

### INQUIRY AS INQUIRY: A LOGIC OF SCIENTIFIC DISCOVERY

INQUIRY AS INQUIRY: A LOGIC OF SCIENTIFIC DISCOVERY JAAKKO HINTIKKA SELECTED PAPERS VOLUME 5 1. Ludwig Wittgenstein. Half-Truths and One-and-a-Half-Truths. 1996 ISBN 0-7923-4091-4 2. Lingua Universalis

### Lecture 8 Property Dualism. Frank Jackson Epiphenomenal Qualia and What Mary Didn t Know

Lecture 8 Property Dualism Frank Jackson Epiphenomenal Qualia and What Mary Didn t Know 1 Agenda 1. Physicalism, Qualia, and Epiphenomenalism 2. Property Dualism 3. Thought Experiment 1: Fred 4. Thought

Beyond the Doubting of a Shadow A Reply to Commentaries on Shadows of the Mind Roger Penrose Mathematical Institute 24-29 St. Giles Oxford OX1 3LB U.K. Copyright (c) Roger Penrose 1996 PSYCHE, 2(23), January

### SUNK COSTS. Robert Bass Department of Philosophy Coastal Carolina University Conway, SC

SUNK COSTS Robert Bass Department of Philosophy Coastal Carolina University Conway, SC 29528 rbass@coastal.edu ABSTRACT Decision theorists generally object to honoring sunk costs that is, treating the

### (i) Morality is a system; and (ii) It is a system comprised of moral rules and principles.

Ethics and Morality Ethos (Greek) and Mores (Latin) are terms having to do with custom, habit, and behavior. Ethics is the study of morality. This definition raises two questions: (a) What is morality?

### The Goldilocks Enigma Paul Davies

The Goldilocks Enigma Paul Davies The Goldilocks Enigma has a progression that is typical of late of physicists writing books for us common people. That progression is from physics to metaphysics to theology

### The Representation of Logical Form: A Dilemma

The Representation of Logical Form: A Dilemma Benjamin Ferguson 1 Introduction Throughout the Tractatus Logico-Philosophicus and especially in the 2.17 s and 4.1 s Wittgenstein asserts that propositions

### Paley s Inductive Inference to Design

PHILOSOPHIA CHRISTI VOL. 7, NO. 2 COPYRIGHT 2005 Paley s Inductive Inference to Design A Response to Graham Oppy JONAH N. SCHUPBACH Department of Philosophy Western Michigan University Kalamazoo, Michigan

### Wittgenstein and Moore s Paradox

Wittgenstein and Moore s Paradox Marie McGinn, Norwich Introduction In Part II, Section x, of the Philosophical Investigations (PI ), Wittgenstein discusses what is known as Moore s Paradox. Wittgenstein

### Lecture 5 Philosophy of Mind: Dualism Barbara Montero On the Philosophy of the Mind

Lecture 5 Philosophy of Mind: Dualism Barbara Montero On the Philosophy of the Mind 1 Agenda 1. Barbara Montero 2. The Mind-Body Problem 3. Descartes Argument for Dualism 4. Theistic Version of Descartes

### 10 CERTAINTY G.E. MOORE: SELECTED WRITINGS

10 170 I am at present, as you can all see, in a room and not in the open air; I am standing up, and not either sitting or lying down; I have clothes on, and am not absolutely naked; I am speaking in a

### Primitive Thisness and Primitive Identity by Robert Merrihew Adams (1979)

Primitive Thisness and Primitive Identity by Robert Merrihew Adams (1979) Is the world and are all possible worlds constituted by purely qualitative facts, or does thisness hold a place beside suchness

### Unpacking the City-Soul Analogy

Res Cogitans Volume 8 Issue 1 Article 9 2017 Unpacking the City-Soul Analogy Kexin Yu University of Rochester, kyu15@u.rochester.edu Follow this and additional works at: http://commons.pacificu.edu/rescogitans

### Prisoners' Dilemma Is a Newcomb Problem

DAVID LEWIS Prisoners' Dilemma Is a Newcomb Problem Several authors have observed that Prisoners' Dilemma and Newcomb's Problem are related-for instance, in that both involve controversial appeals to dominance.,

### The Problem of Evil and Pain 3. The Explanation of Leibniz: The Best of All Possible Worlds

The Problem of Evil and Pain 3. The Explanation of Leibniz: The Best of All Possible Worlds Leon Bonnat Job 1880 The Problem of Evil and Pain 1: Introduction to the Problem of Evil and Pain 2: The Explanation

### The basic form of a syllogism By Timo Schmitz, Philosopher

The basic form of a syllogism By Timo Schmitz, Philosopher In my article What is logic? (02 April 2017), I pointed out that an apophantic sentence is always a proposition. To find out whether the formal

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

### THE NATURE AND VALUE OF CRITICAL THINKING

1 THE NATURE AND VALUE OF CRITICAL THINKING This book is a practical guide to critical thinking. It might seem unnecessary to be reading a guide to something you do all the time and are probably already

### The Philosophical Review, Vol. 87, No. 4. (Oct., 1978), pp

Necessity and Contingency in Leibniz Dennis Fried The Philosophical Review, Vol. 87, No. 4. (Oct., 1978), pp. 575-584. Stable URL: http://links.jstor.org/sici?sici=0031-8108%28197810%2987%3a4%3c575%3anacil%3e2.0.co%3b2-w

### Stephen Mumford Metaphysics: A Very Short Introduction Oxford University Press, Oxford ISBN: \$ pages.

Stephen Mumford Metaphysics: A Very Short Introduction Oxford University Press, Oxford. 2012. ISBN:978-0-19-965712-4. \$11.95 113 pages. Stephen Mumford is Professor of Metaphysics at Nottingham University.

### FALSE DICHOTOMY PRESENTATION

evolution vs. creation FALSE DICHOTOMY PRESENTATION A great resource for demonstrating the false dichotomy of evolution vs. young earth creationism and STARTING CONVERSATION Presentation prepared by Tracy

### The Critical Mind is A Questioning Mind

criticalthinking.org http://www.criticalthinking.org/pages/the-critical-mind-is-a-questioning-mind/481 The Critical Mind is A Questioning Mind Learning How to Ask Powerful, Probing Questions Introduction

### WHAT IS HUME S FORK? Certainty does not exist in science.

WHAT IS HUME S FORK? www.prshockley.org Certainty does not exist in science. I. Introduction: A. Hume divides all objects of human reason into two different kinds: Relation of Ideas & Matters of Fact.

### Sophie Germain

Sophie Germain 1776-1831 HISTORICAL CONNECTIONS IN MATHEMATICS 83 2012 AIMS Education Foundation SOPHIE GERMAIN MATHEMATICS IN A MAN S WORLD Biographical Information: Sophie Germain (zhair-man) was a French

### FOREWORD: ADDRESSING THE HARD PROBLEM OF CONSCIOUSNESS

Biophysics of Consciousness: A Foundational Approach R. R. Poznanski, J. A. Tuszynski and T. E. Feinberg Copyright 2017 World Scientific, Singapore. FOREWORD: ADDRESSING THE HARD PROBLEM OF CONSCIOUSNESS

### Hume's Representation Argument Against Rationalism 1 by Geoffrey Sayre-McCord University of North Carolina/Chapel Hill

Hume's Representation Argument Against Rationalism 1 by Geoffrey Sayre-McCord University of North Carolina/Chapel Hill Manuscrito (1997) vol. 20, pp. 77-94 Hume offers a barrage of arguments for thinking