Scientific Method and Research Ethics Questions, Answers, and Evidence. Dr. C. D. McCoy

Size: px
Start display at page:

Download "Scientific Method and Research Ethics Questions, Answers, and Evidence. Dr. C. D. McCoy"

Transcription

1 Scientific Method and Research Ethics Questions, Answers, and Evidence Dr. C. D. McCoy

2 Plan for Part 1: Deduction 1. Logic, Arguments, and Inference 1. Questions and Answers 2. Truth, Validity, and Soundness 3. Inference Rules and Formal Fallacies 4. Hypothetico-Deductivism

3 What is Logic? What is logic? is a question that philosophers and logicians have debated for millennia. We won t attempt to give a complete answer to it here

4 Historical Perspectives on Logic Aristotle held that logic is the instrument by which we come to know: important to coming to know is understanding the nature of things, especially the necessity of things. Immanuel Kant held that logic is a canon of reasoning : a catalog of the correct forms of judgment. Logic is formal; it abstracts completely from semantic content. Gottlob Frege held that logic is a body of truths : it has its own unique subject matter, which includes concepts and objects (like numbers!). Many authors also hold that generality and truth are central notions in logic.

5 Reasoning and Argument Reasoning is a cognitive process that Begins from facts, assumptions, principles, examples, instances, etc. And ends with a solution, a conclusion, a judgment, a decision, etc. In logic we call an item of reasoning an argument. An argument consists in a series of statements, called the premisses, and a single statement, called the conclusion.

6 Assessing Arguments One reason to study logic is to understand why some instances of reasoning are good and why some are bad. Logic neatly separates the ways arguments can be good or bad into two kinds: The truth of the premisses. What relation the premisses have to the conclusion. Logic largely concerns the analysis of the latter (although the nature of truth is important to logic too!). Logic cannot tell you whether some premisses are true or not (unless they are logically true).

7 Examples I was very hungry last night. Therefore I went to sleep. It is either Tuesday or Wednesday. It is not Tuesday. It is not Wednesday. Therefore In the first example there is no relation between premiss and conclusion. In the second example the premisses are inconsistent.

8 Example If Congress has the authority to compel us to purchase health insurance, it must also have the authority to force us to buy products and services related to transportation, food, housing and the like. (J. Norman, Huffington Post, 11 Feb 2011) Congress does have the authority to compel us to purchase health insurance. Therefore This argument can easily be made valid. But it commits an informal fallacy: it is a slippery slope argument.

9 Formal Logic We will focus on formal deductive logic in this part of the lecture. The right relation between premisses and conclusion in deductive logic is called validity. One way an argument can be logically defective, then, is to be invalid: the conclusion does not follow deductively from the premisses.

10 Assertions, Statements, Propositions In an argument, the premisses and conclusion are considered assertions. An assertion is represented as a declarative statement uttered with assertoric force : the truth of the statement is being asserted in the utterance. It is common to think of the referent of a declarative sentence as an abstract proposition. A proposition is something that possesses a truth value, that is, it can be true or false. Thus we say that a statement is true if it refers to a true proposition, and we say that a statement is false if it refers to a false proposition. If it is not clear to which proposition a statement refers, then that does not mean that the statement is neither true nor false, rather it is merely ambiguous.

11 Examples We are, at the moment, in Vienna. -> [We are, at the moment, in Vienna] -> [False] We are, at the moment, in Stockholm. -> [We are, at the moment, in Stockholm] -> [True] Ok. -> [?] Where are we at the moment? -> [?]

12 Interlude: Questions Interrogative sentences are normally not part of deductive logic. But some philosophers and logicians have developed a logic of questions, which is called erotetic logic. If we are committed to representing sentences propositionally, how can we represent an interrogative? Where are we at the moment? -> We are in at the moment. -> [We are in Amsterdam, Bangkok, Copenhagen,, Stockholm, at the moment].

13 Validity and Logical Consequence An argument, recall, is a structured set of assertions: a collection of assertions called the premisses and an assertion called the conclusion. An argument is valid just when it is not possible for the conclusion to be false when the premisses are true. It is worth remarking that arguments may be valid or invalid; there are neither true arguments nor false arguments. If an argument is valid, then we say that the conclusion is a logical consequence of the premisses, or that the premisses entail the conclusion. To show that an argument is valid one must prove it; to show that it is invalid one must find a counterexample.

14 Examples If it is raining, then the sidewalks will be wet. It is in fact raining. Therefore the sidewalks will be wet. I always become hungry at noon. I am in fact hungry at the moment. It must be noon. I was really hungry last night. I went to sleep.

15 Why is Logic Formal and General? All humans are mortal. All Greeks are humans. All Greeks are mortal. All felines are mammals. All tigers are felines. All tigers are mammals. All Y are Z. All X are Y. All X are Z.

16 Why is Logic Formal and General? As the preceding examples illustrate, the precise meaning of a sentence does not matter for determining the validity or invalidity of an argument. Thus it makes sense to abstract away from the non-logical content of sentences when assessing its logical properties. One does this by replacing the content by symbols which stand in for the abstracted content. This is what makes logic formal (and general). Example: If it is raining, then the sidewalks will get wet. : R -> W It is raining. : R Therefore the sidewalks will get wet. : W This pattern of inference is called modus ponens.

17 Valid Inference Rules Modus ponens A -> B A B Modus Tollens A -> B B A Disjunctive Syllogism A v B A B Hypothetical Syllogism A -> B B -> C A -> C Conjunction Simplification A & B A Disjunction Introduction A A v B

18 Fallacious Inferences Affirming the Consequent A -> B B A Affirming a Disjunct A v B A B Denying the Antecedent A -> B A B Denying a Conjunct A & B B A

19 The Deductive Method of Testing A scientist conceives of or invents a theory. The scientist then determines various consequences of the theory through logical deduction. He or she assesses these consequences for consistency, compatibility with other theories, etc. The scientist then determines certain singular statements (predictions) which are at odds with all known theories. These statements are then put to empirical test, the results of which generate new singular statements that are either consistent with the prediction (verification) or inconsistent with it (falsification).

20 Hypothetico-Deductivism Let H be some hypothesis. We determine that H entails some prediction P by logical deduction. We gather some evidence E. If P & E are consistent, then H is verified. If P & E are inconsistent, then H is falsified.

21 Limitations of Deductivism Suppose we have two hypotheses H 1 and H 2 that entail P, and P and evidence E are consistent. Are they equally corroborated by the evidence E? Suppose hypothesis H is corroborated. Why make use of it in practical contexts? There are presumably any number of other hypotheses that would be corroborated by the same evidence, but which make divergent predictions. Why choose a hypothesis H 1 for testing? Does deductivism presume that the method of hypothesis selection is no better than guessing?

22 Plan for Part 1: Deduction 1. Logic, Arguments, and Inference 1. Questions and Answers 2. Truth, Validity, and Soundness 3. Inference Rules and Formal Fallacies 4. Hypothetico-Deductivism

23 Plan for Part 2: Induction 1. Inductive Logic 1. Kinds of Inductive Inference 2. Evidence and Degree of Support 2. The Problem of Induction 1. Hume on the Problem of Induction 2. Goodman on the New Riddle of Induction 3. Inductive Probability 4. Bayesianism 5. Hypothesis Confirmation

24 Inductive Logic Deductive logic is concerned with provability and truthpreserving inference. A deductively valid argument is one where the conclusion necessarily follows from the premisses. A deductively valid argument with true premisses (a sound argument) therefore has a true conclusion. Inductive logic is concerned with certain arguments which are deductively invalid; these arguments are thought to be good arguments, even though the conclusion does not follow from the premisses. Such arguments are also called ampliative, for the conclusion goes beyond what is contained in the premisses.

25 Examples The sun has risen every day in human memory. Therefore, the sun will (probably) rise again tomorrow. I always become hungry at noon. I am in fact hungry at the moment. Therefore it is probably be noon. A random survey of 34,525 Americans indicated that 18% of them smoke. 18% of Americans smoke.

26 Kinds of Inductive Argument Inductive generalization or enumerative induction: An inference from some set of individuals to a larger set of individuals. I observed numerous black ravens, therefore all ravens must be black. Statistical syllogism: An inference from a larger set of individuals to a smaller set of individuals. 18% of Americans smoke, so probably 18% of Chicagoans smoke. Analogical argument: An inference from one set of individuals to another based on a similarity between them. John and Ann both like comic books. John also likes superhero movies, so Ann probably does too.

27 Inductive Support In valid deductive arguments, the support for the conclusion is water-tight : the conclusion cannot be false if the premisses are true. In strong inductive arguments, the support for the conclusion is less than water-tight, but still good enough to consider the conclusion reasonable. A weak inductive argument is one that falls short. This leads to the concept of inductive support: how well the premisses support the conclusion is a matter of degree, one which can be assessed.

28 The Problem of Induction Scottish philosopher David Hume is famous for, among other things, his version of the problem of induction. Consider some inductive inference, for example that the sun will rise tomorrow. Hume argues that it is conceivable, it is possible, that sun will not rise tomorrow. What justifies the inference that it will? It cannot be that such an inference has always worked in the past, for that is an inductive inference and begs the question. It cannot some other fact, such as the uniformity of nature, for that fact is also obtained by an inductive inference, hence the justification offered is circular.

29 The New Riddle of Induction The problem of induction continues to be discussed. The most well-known response to it is by Nelson Goodman. Goodman wonders why induction must be justified in the way Hume maintains. What, after all, justifies deduction? Any justification one offers will be just as circular as the ones Hume considers for induction! He argues that rules of induction (and deduction) are the outcome of a process of reflective equilibrium: certain inferences seem good, some bad. Rules are suggested to capture the distinction. Evidence may lead the rules to be revised, but equally the rules may leads us to reconsider the original division of inferences into good and bad. Eventually a conceptual equilibrium is reached.

30 The New Riddle of Induction The problem of induction continues to be discussed. The most well-known response to it is by Nelson Goodman. Goodman thus rejects the need for a justification of induction. He introduces a new problem, however, the new riddle of induction. Consider the predicate grue. An object is grue just when it is observed before time t and is green or it is blue. We observe a number of emeralds, which are all green. But they are also grue! Why should we expect that the emeralds we observe after time t are green and not grue? Goodman thus demands an explanation for why some predicates are projectible to the future and others are not.

31 Inductive Probability Progress in developing an inductive logic came from distancing it from deductive logic conceptually. Recall that a crucial difference between deduction and induction is in terms of degree of support. It is quite natural to adopt a probabilistic way of describing this inductive support. A strong inductive argument warrants the conclusion to a high degree: the conclusion has a high probability of being true. A weak inductive argument provides little warrant for the conclusion: the conclusion is unlikely. Rudolf Carnap, logical empiricist and one of the most influential philosophers of science of the 20 th century.

32 Objective and Subjective Probabilities There are two ways of thinking of probability in this context. They are objective: inductive support is simply a relation between propositions, just as validity in deductive arguments is a relation between propositions. They are subjective: inductive support depends partly on one s degree of belief in the propositions involved; how one s degrees of beliefs should change based on new evidence, however, is entirely objective.

33 Bayesianism The Bayesian approach is founded on two ideas: An agent s degrees of belief can be represented formally as probabilities. A rational agent updates his or her degrees of belief in light of evidence according to Bayes s formula. Consider a simple proposition p. If I fully believe p, then my degree of belief (or credence) is 1: cr(p)=1. Bayesians usually hold that only tautologies (propositions that are logically true) can have a credence of 1. So let us suppose that my credence in p is some non-trivial probability, for example 0,7. Then my credence in p is 0,3. Now suppose I obtain some evidence e that is relevant to p. My credence in this evidence, let s suppose, is high: cr(e)=0,9.

34 Bayesianism How should I revise my credence in p in light of this evidence e? The Bayesian updating rule is the Bayes rule: cr p e = cr(e p) cr(e) cr p. posterior probability = likelihood evidence prior probability My new degree of belief, after updating, is set equal to the posterior probability: the probability of the proposition conditional on the evidence. Let s suppose that the likelihood of e given p is fairly low: cr(e p)=0,1. Then my updated credence is 0,78; this unlikely evidence should increase my credence in p from 0,7 to 0,78.

35 Questions about Bayesianism Where do the prior probabilities come from? From previous conditionalizations! But how far back does one go? And where do the original priors come from? For practical purposes it is enough to recognize that we do have degrees of belief and we can approximate them with numbers. Doesn t the intrusion of subjectivity undermine Bayesianism? No. The Bayesian approach separates the subjectivity of belief from the objectivity of evidence s impact on belief. It cannot tell you what to believe, but it can tell you how your beliefs should change in light of evidence. Dutch book arguments aim to show that the Bayesian conditionalization rule is uniquely rational, and convergence arguments aim to show that regardless of differing priors, sufficient evidence will always lead agents to similar conclusions.

36 Hypothesis Confirmation One desirable application of inductive logic is to hypothesis confirmation: favorable evidence should make a hypothesis more credible, whereas unfavorable evidence should make a hypothesis less credible. Carl Hempel, a logical empiricist, investigated confirmation in the 1940s and raised some paradoxes which arise in the logic of confirmation, including the famous raven paradox.

37 The Raven Paradox Nicod s Criterion: A universal generalization of the form All As are Bs is confirmed by x is both A and B. Equivalence Condition: A statement and any logically equivalent formulation of it are equally confirmed by instances. Consider the statement All ravens are black. This statement is confirmed by the statement This is a black raven. All ravens are black is logically equivalent to All non-black things are non-ravens. By Nicod s criterion, this second statement is confirmed by This is a white shoe.

38 The Raven Paradox How can looking in my closet tell me anything about the colors of ravens? Is indoor ornithology (as Goodman quips) really possible? There are many responses to the raven paradox One is that there is no paradox. Observing white shoes does confirm that all ravens are black, but the degree of confirmation is negligible. This is the answer given by Bayesians, who can make quantitative the difference between observing a white shoe and observing a black raven on the posterior probability of the generalization. (Some do accept the paradox though and choose to, for example, reject Nicod s criterion.)

39 Bayesian Confirmation How should a Bayesian understand hypothesis confirmation? One approach is to introduce a probability threshold: if one s credence in a hypothesis is above this threshold, then one considers the hypothesis confirmed. The usual interpretation of confirmation in the Bayesian approach, however, is to consider a hypothesis confirmed if conditionalization on evidence simply raises one s degree of belief, that is, just when cr(h e)>cr(h).

40 Bayesian Confirmation Does Bayesian Confirmation Theory solve the Problem of Induction? Does Bayesian Confirmation Theory solve the Raven Paradox?

41 Plan for Part 2: Induction 1. Inductive Logic 1. Kinds of Inductive Inference 2. Evidence and Degree of Support 2. The Problem of Induction 1. Hume on the Problem of Induction 2. Goodman on the New Riddle of Induction 3. Inductive Probability 4. Bayesianism 5. Hypothesis Confirmation

42 Plan for Part 3: Abduction 1. Inference to the Best Explanation 1. What is an explanation? 2. What makes an explanation best? 3. Objections to IBE 2. Peircean Abduction vs IBE 3. Hypothesis Formation and Scientific Discovery

43 Inference to the Best Explanation Discussions on scientific method often raise a special inference pattern, distinct from deductive and inductive inference: the inference to the best explanation. In the latter 20 th century it became particularly prominent in philosophical discussions thanks to the work of Gilbert Harman and Peter Lipton.

44 Inference to the Best Explanation Suppose that you are walking in woods in winter, and there is snow everywhere on the ground. You see distinctive tracks in the snow like these: Who or what made them? It seems obvious that one should infer that a person wearing snowshoes recently passed this way. Why? Because that is the hypothesis which best explains what you see.

45 Inference to the Best Explanation Clearly inference to the best explanation (IBE) is not deductively valid. But is it just induction? Perhaps. It is certainly an ampliative inference. Proponents of IBE argue that explanatory considerations are not evidence in the sense that it is used in inductive inferences however. An inference to the best explanation therefore treats explanatory goodness as adequate justification for drawing a conclusion. IBE is often also called abduction, having a logic of its own distinct from induction and deduction. The term abduction was coined by Charles Peirce in the early 20 th Century. He used it to refer to a process of forming explanatory hypotheses, not an inference to a specific explanatory hypothesis. More on Peircean abduction later.

46 Inference to the Best Explanation IBE is often glossed in the following way: Given evidence E and candidate hypotheses H 1, H 2, which explain E, infer the truth of the hypothesis which best explains E.

47 What is an Explanation? It seems as if one should have a good idea of what an explanation is in order to ascertain the best one. If one looks at the philosophical literature on explanation, however, one sees little consensus. As Lipton puts it, it seems that IBE is therefore attempting to account for the obscure in terms of the equally obscure. The original account of explanation is due to Hempel and Oppenheim, who characterize an explanation as a sound deductive argument which features a law of nature essentially. This is known as the Deductive Nomological account. Other philosophers have argued that an explanation must articulate the causes responsible for the phenomenon being explained.

48 What is the Best Explanation? Is the best explanation the one that is most likely to be true? If that were the case, then IBE would be a species of inductive inference. Moreover, it would not give any guidance about hypothesis selection, since one does not know in advance which hypothesis is the most likely one to be true among the candidate hypotheses. Lipton argues that the best explanation is not the likeliest but the loveliest. The loveliest explanation is the one that, if correct, would provide the most understanding. Nevertheless, he insists that the loveliest explanation and the likeliest explanation will usually be the same.

49 Best of a Bad Lot? The most well-known criticism of IBE comes from Bas van Fraassen. He points out that inferring the truth of the best explanation depends on the true explanation being among the candidate hypotheses. Van Fraassen also argues that any probabilistic IBE rule must match Bayesian conditionalization or else be probabilistically incoherent. In other words, IBE is either induction or irrational.

50 Peirce on Abduction Contemporary discussion of IBE/abduction characterizes it as a justified inference to the truth of a hypothesis. As said, Peirce did not conceive of it in this way. For him it was a method for generating explanatory hypotheses. Abduction is the process of forming explanatory hypotheses. It is the only logical operation which introduces any new idea.

51 Peirce on Abduction Peirce recognized three distinct logics in scientific inquiry: abduction, deduction, and induction. Abduction concerns all operations by which hypotheses are engendered. Deduction concerns the derivation of predictions and comparison of these predictions with observation. Induction concerns the assessment of the hypothesis in light of evidence. What is logical, though, about the invention of hypotheses? Is abduction better understood as concerning the adoption of hypotheses as worthy candidates for further investigation?

52 Discovery and Justification Recall the distinction Popper made between the psychology of knowledge and the logic of knowledge. This distinction is similar to a wellknown one made by Hans Reichenbach in 1938: The context of discovery, which concerns the actual processes of thought. The context of justification, which concerns a rational reconstruction of processes of thought. The descriptive task of epistemology is concerned with this.

53 Discovery and Justification Reichenbach s terminology has come to mark a distinction between phases of research, splitting the scientific process into discovery and justification. Such a distinction has been heavily criticized since at least Kuhn, as history shows that there is no clear division along these lines. In any case, this is clearly not what Reichenbach meant, although logical empiricists, like Popper, did not think that the process of discovery could be rationally reconstructed. It always involved some creativity. Peirce, then, can be understood as claiming that there was a logic of some kind to the discovery process, one which somehow involved explanatory considerations.

54 Logic(s) of Discovery So, to repeat, what is logical about the invention of hypotheses? The invention of hypotheses is clearly an ampliative inference, so it is not deductive. Can it be characterized as a kind of induction? Does it fit within the Bayesian framework? Perhaps. There are other approaches which are worth considering however

55 The Learner s Paradox Recall the Value Problem from Plato s dialogue Meno? There is another famous problem in it too: the Learner s Paradox. How can one learn something? Either we know that thing or we do not. If we know it, then there is no point in inquiring about it. If we do not know it, then there is no point in inquiring it either, for we would not recognize it even were we to stumble across it. The usual response to the paradox is to say that we must know something about the thing in advance of inquiring about it, so that we can recognize it.

56 Scientific Problems A scientific problem, then, can be posed as a question. Sometimes this is an explanatory question ( Why x? ) and sometimes a descriptive question ( What is x? ). Recall the brief discussion of the logic of questions, erotetic logic. There it was suggested that a question is a set of answers. What delimits the set of answers are constraints on the question. In terms of problems and solutions, a problem is defined by its constraints, which fix its possible solutions.

57 Method What makes something a method? One way to think of a method is a procedure which, if followed, reliably leads to success at the relevant goal. An epistemic method, we might say, is one that, if followed, reliably leads to knowledge, understanding, truth, etc. A minimum threshold for something to be methodological (reliable) is that it is better than guessing. By this standard, solving empirical problems ( recalcitrant data ) is a reliable means for making progress. Is solving explanatory problems a reliable means for making progress too?

58 Analogies in Science Besides problem solving, another form of reasoning which is often seen as relevant to discovery is analogy. But it seems that there can be no universal inference rule that captures analogy. The success of an analogical inference is context-dependent. For this reason they are considered heuristic: suggestive rather than demonstrative. Mary Hesse, one of the foremost philosophers of science in the 20 th century writing on models, analogy, and inference.

59 Non-Empirical Theory Confirmation Richard Dawid (of SU) and collaborators have attempted to broaden the application of Bayesian confirmation to cases where empirical evidence is not easily available (for example, in string theory). Why should the E in Bayes Formula be empirical evidence? If evidence is that which justifies, then perhaps meta-empirical facts, for example facts about the process of research or inquiry (in some context), are evidentially relevant to the evaluation of hypotheses. This idea, while fully in the context of justification, is relevant to the process of discovery, at least in the sense that confirmation here is more suggestive than demonstrative.

60 Plan for Part 3: Abduction 1. Inference to the Best Explanation 1. What is an explanation? 2. What makes an explanation best? 3. Objections to IBE 2. Peircean Abduction vs IBE 3. Hypothesis Formation and Scientific Discovery

The Problem of Induction and Popper s Deductivism

The Problem of Induction and Popper s Deductivism The Problem of Induction and Popper s Deductivism Issues: I. Problem of Induction II. Popper s rejection of induction III. Salmon s critique of deductivism 2 I. The problem of induction 1. Inductive vs.

More information

HPS 1653 / PHIL 1610 Revision Guide (all topics)

HPS 1653 / PHIL 1610 Revision Guide (all topics) HPS 1653 / PHIL 1610 Revision Guide (all topics) General Questions What is the distinction between a descriptive and a normative project in the philosophy of science? What are the virtues of this or that

More information

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens.

There are two common forms of deductively valid conditional argument: modus ponens and modus tollens. INTRODUCTION TO LOGICAL THINKING Lecture 6: Two types of argument and their role in science: Deduction and induction 1. Deductive arguments Arguments that claim to provide logically conclusive grounds

More information

Logic is the study of the quality of arguments. An argument consists of a set of

Logic is the study of the quality of arguments. An argument consists of a set of Logic: Inductive Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the

More information

Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments

Critical Thinking 5.7 Validity in inductive, conductive, and abductive arguments 5.7 Validity in inductive, conductive, and abductive arguments REMEMBER as explained in an earlier section formal language is used for expressing relations in abstract form, based on clear and unambiguous

More information

Richard L. W. Clarke, Notes REASONING

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

More information

Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

More information

INDUCTIVE KNOWLEDGE. (For Routledge Companion to Epistemology) Alexander Bird

INDUCTIVE KNOWLEDGE. (For Routledge Companion to Epistemology) Alexander Bird INDUCTIVE KNOWLEDGE (For Routledge Companion to Epistemology) Alexander Bird 1 Introduction In this article I take a loose, functional approach to defining induction: Inductive forms of reasoning include

More information

Inductive inference is. Rules of Detachment? A Little Survey of Induction

Inductive inference is. Rules of Detachment? A Little Survey of Induction HPS 1702 Junior/Senior Seminar for HPS Majors HPS 1703 Writing Workshop for HPS Majors A Little Survey of Inductive inference is (Overwhelming Majority view) Ampliative inference Evidence lends support

More information

Oxford Scholarship Online Abstracts and Keywords

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,

More information

Sydenham College of Commerce & Economics. * Dr. Sunil S. Shete. * Associate Professor

Sydenham College of Commerce & Economics. * Dr. Sunil S. Shete. * Associate Professor Sydenham College of Commerce & Economics * Dr. Sunil S. Shete * Associate Professor Keywords: Philosophy of science, research methods, Logic, Business research Abstract This paper review Popper s epistemology

More information

The problems of induction in scientific inquiry: Challenges and solutions. Table of Contents 1.0 Introduction Defining induction...

The problems of induction in scientific inquiry: Challenges and solutions. Table of Contents 1.0 Introduction Defining induction... The problems of induction in scientific inquiry: Challenges and solutions Table of Contents 1.0 Introduction... 2 2.0 Defining induction... 2 3.0 Induction versus deduction... 2 4.0 Hume's descriptive

More information

CHAPTER THREE Philosophical Argument

CHAPTER THREE Philosophical Argument CHAPTER THREE Philosophical Argument General Overview: As our students often attest, we all live in a complex world filled with demanding issues and bewildering challenges. In order to determine those

More information

Rethinking Knowledge: The Heuristic View

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

More information

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1,

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1, Logic: inductive Penultimate version: please cite the entry to appear in: J. Lachs & R. Talisse (eds.), Encyclopedia of American Philosophy. New York: Routledge. Draft: April 29, 2006 Logic is the study

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

Degrees of Belief II

Degrees of Belief II Degrees of Belief II HT2017 / Dr Teruji Thomas Website: users.ox.ac.uk/ mert2060/2017/degrees-of-belief 1 Conditionalisation Where we have got to: One reason to focus on credences instead of beliefs: response

More information

Falsification or Confirmation: From Logic to Psychology

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

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

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

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

PHILOSOPHIES OF SCIENTIFIC TESTING

PHILOSOPHIES OF SCIENTIFIC TESTING PHILOSOPHIES OF SCIENTIFIC TESTING By John Bloore Internet Encyclopdia of Philosophy, written by John Wttersten, http://www.iep.utm.edu/cr-ratio/#h7 Carl Gustav Hempel (1905 1997) Known for Deductive-Nomological

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

Realism and the success of science argument. Leplin:

Realism and the success of science argument. Leplin: Realism and the success of science argument Leplin: 1) Realism is the default position. 2) The arguments for anti-realism are indecisive. In particular, antirealism offers no serious rival to realism in

More information

THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI

THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI Page 1 To appear in Erkenntnis THE ROLE OF COHERENCE OF EVIDENCE IN THE NON- DYNAMIC MODEL OF CONFIRMATION TOMOJI SHOGENJI ABSTRACT This paper examines the role of coherence of evidence in what I call

More information

CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH

CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH I. Challenges to Confirmation A. The Inductivist Turkey B. Discovery vs. Justification 1. Discovery 2. Justification C. Hume's Problem 1. Inductive

More information

Overview of Today s Lecture

Overview of Today s Lecture Branden Fitelson Philosophy 12A Notes 1 Overview of Today s Lecture Music: Robin Trower, Daydream (King Biscuit Flower Hour concert, 1977) Administrative Stuff (lots of it) Course Website/Syllabus [i.e.,

More information

Philosophy of Science PHIL 241, MW 12:00-1:15

Philosophy of Science PHIL 241, MW 12:00-1:15 Philosophy of Science PHIL 241, MW 12:00-1:15 Naomi Fisher nfisher@clarku.edu (508) 793-7648 Office: 35 Beck (Philosophy) House (on the third floor) Office hours: MR 10:00-11:00 and by appointment Course

More information

A Priori Bootstrapping

A Priori Bootstrapping A Priori Bootstrapping Ralph Wedgwood In this essay, I shall explore the problems that are raised by a certain traditional sceptical paradox. My conclusion, at the end of this essay, will be that the most

More information

The Role of Logic in Philosophy of Science

The Role of Logic in Philosophy of Science The Role of Logic in Philosophy of Science Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium Diderik.Batens@UGent.be March 8, 2006 Introduction For Logical Empiricism

More information

Remarks on the philosophy of mathematics (1969) Paul Bernays

Remarks on the philosophy of mathematics (1969) Paul Bernays Bernays Project: Text No. 26 Remarks on the philosophy of mathematics (1969) Paul Bernays (Bemerkungen zur Philosophie der Mathematik) Translation by: Dirk Schlimm Comments: With corrections by Charles

More information

Scientific Realism and Empiricism

Scientific Realism and Empiricism Philosophy 164/264 December 3, 2001 1 Scientific Realism and Empiricism Administrative: All papers due December 18th (at the latest). I will be available all this week and all next week... Scientific Realism

More information

* I am indebted to Jay Atlas and Robert Schwartz for their helpful criticisms

* I am indebted to Jay Atlas and Robert Schwartz for their helpful criticisms HEMPEL, SCHEFFLER, AND THE RAVENS 1 7 HEMPEL, SCHEFFLER, AND THE RAVENS * EMPEL has provided cogent reasons in support of the equivalence condition as a condition of adequacy for any definition of confirmation.?

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

HOW TO ANALYZE AN ARGUMENT

HOW TO ANALYZE AN ARGUMENT What does it mean to provide an argument for a statement? To provide an argument for a statement is an activity we carry out both in our everyday lives and within the sciences. We provide arguments for

More information

Business Research: Principles and Processes MGMT6791 Workshop 1A: The Nature of Research & Scientific Method

Business Research: Principles and Processes MGMT6791 Workshop 1A: The Nature of Research & Scientific Method Business Research: Principles and Processes MGMT6791 Workshop 1A: The Nature of Research & Scientific Method Professor Tim Mazzarol UWA Business School MGMT6791 UWA Business School DBA Program tim.mazzarol@uwa.edu.au

More information

Philosophy Epistemology. Topic 3 - Skepticism

Philosophy Epistemology. Topic 3 - Skepticism Michael Huemer on Skepticism Philosophy 3340 - Epistemology Topic 3 - Skepticism Chapter II. The Lure of Radical Skepticism 1. Mike Huemer defines radical skepticism as follows: Philosophical skeptics

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

A Riddle of Induction

A Riddle of Induction http://plato.stanford.edu/entries/learning-formal/ (On Goodman s New Riddle of Induction) This illustrates how means-ends analysis can evaluate methods: the bold method meets the goal of reliably arriving

More information

Key definitions Action Ad hominem argument Analytic A priori Axiom Bayes s theorem

Key definitions Action Ad hominem argument Analytic A priori Axiom Bayes s theorem Key definitions Action Relates to the doings of purposive agents. A key preoccupation of philosophy of social science is the explanation of human action either through antecedent causes or reasons. Accounts

More information

World without Design: The Ontological Consequences of Natural- ism , by Michael C. Rea.

World without Design: The Ontological Consequences of Natural- ism , by Michael C. Rea. Book reviews World without Design: The Ontological Consequences of Naturalism, by Michael C. Rea. Oxford: Clarendon Press, 2004, viii + 245 pp., $24.95. This is a splendid book. Its ideas are bold and

More information

Inductive Inference, Rationality and Pragmatism: Peirce and Ajdukiewicz

Inductive Inference, Rationality and Pragmatism: Peirce and Ajdukiewicz STUDIA METODOLOGICZNE NR 35 2015, 123-132 DOI: 10.14746/sm.2015.35.9 PANIEL REYES CÁRDENAS Inductive Inference, Rationality and Pragmatism: Peirce and Ajdukiewicz ABSTRACT. This paper interprets the problem

More information

what makes reasons sufficient?

what makes reasons sufficient? Mark Schroeder University of Southern California August 2, 2010 what makes reasons sufficient? This paper addresses the question: what makes reasons sufficient? and offers the answer, being at least as

More information

Lecture 1 The Concept of Inductive Probability

Lecture 1 The Concept of Inductive Probability Lecture 1 The Concept of Inductive Probability Patrick Maher Philosophy 517 Spring 2007 Two concepts of probability Example 1 You know that a coin is either two-headed or two-tailed but you have no information

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

On the Equivalence of Goodman s and Hempel s Paradoxes. by Kenneth Boyce DRAFT

On the Equivalence of Goodman s and Hempel s Paradoxes. by Kenneth Boyce DRAFT On the Equivalence of Goodman s and Hempel s Paradoxes by Kenneth Boyce DRAFT Nevertheless, the difficulty is often slighted because on the surface there seem to be easy ways of dealing with it. Sometimes,

More information

Reflective Equilibrium. Hassan Masoud Jan. 30, 2012

Reflective Equilibrium. Hassan Masoud Jan. 30, 2012 Reflective Equilibrium Hassan Masoud Jan. 30, 2012 Reference Norman Daniels: Reflective Equilibrium (SEP) James Young: The Coherence Theory of Truth (SEP) Jonathan Kvanvig: Coherentist Theories of Epistemic

More information

FINAL EXAM REVIEW SHEET. objectivity intersubjectivity ways the peer review system is supposed to improve objectivity

FINAL EXAM REVIEW SHEET. objectivity intersubjectivity ways the peer review system is supposed to improve objectivity Philosophy of Science Professor Stemwedel Spring 2014 Important concepts and terminology metaphysics epistemology descriptive vs. normative norms of science Strong Program sociology of science naturalism

More information

Scientific Progress, Verisimilitude, and Evidence

Scientific Progress, Verisimilitude, and Evidence L&PS Logic and Philosophy of Science Vol. IX, No. 1, 2011, pp. 561-567 Scientific Progress, Verisimilitude, and Evidence Luca Tambolo Department of Philosophy, University of Trieste e-mail: l_tambolo@hotmail.com

More information

Detachment, Probability, and Maximum Likelihood

Detachment, Probability, and Maximum Likelihood Detachment, Probability, and Maximum Likelihood GILBERT HARMAN PRINCETON UNIVERSITY When can we detach probability qualifications from our inductive conclusions? The following rule may seem plausible:

More information

Psillos s Defense of Scientific Realism

Psillos s Defense of Scientific Realism Luke Rinne 4/27/04 Psillos and Laudan Psillos s Defense of Scientific Realism In this paper, Psillos defends the IBE based no miracle argument (NMA) for scientific realism against two main objections,

More information

- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is

- We might, now, wonder whether the resulting concept of justification is sufficiently strong. According to BonJour, apparent rational insight is BonJour I PHIL410 BonJour s Moderate Rationalism - BonJour develops and defends a moderate form of Rationalism. - Rationalism, generally (as used here), is the view according to which the primary tool

More information

ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE

ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE ON CAUSAL AND CONSTRUCTIVE MODELLING OF BELIEF CHANGE A. V. RAVISHANKAR SARMA Our life in various phases can be construed as involving continuous belief revision activity with a bundle of accepted beliefs,

More information

What is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this?

What is an argument? PHIL 110. Is this an argument? Is this an argument? What about this? And what about this? What is an argument? PHIL 110 Lecture on Chapter 3 of How to think about weird things An argument is a collection of two or more claims, one of which is the conclusion and the rest of which are the premises.

More information

The Theory/Experiment Interface of the Observation of Black Holes

The Theory/Experiment Interface of the Observation of Black Holes Manfred Stöckler Institut für Philosophie Universität Bremen The Theory/Experiment Interface of the Observation of Black Holes Manfred Stöckler stoeckl@uni-bremen.de Bad Honnef 17/04/27 1 Introduction

More information

The Human Science Debate: Positivist, Anti-Positivist, and Postpositivist Inquiry. By Rebecca Joy Norlander. November 20, 2007

The Human Science Debate: Positivist, Anti-Positivist, and Postpositivist Inquiry. By Rebecca Joy Norlander. November 20, 2007 The Human Science Debate: Positivist, Anti-Positivist, and Postpositivist Inquiry By Rebecca Joy Norlander November 20, 2007 2 What is knowledge and how is it acquired through the process of inquiry? Is

More information

In his paper Studies of Logical Confirmation, Carl Hempel discusses

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

More information

The Appeal to Reason. Introductory Logic pt. 1

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

More information

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

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

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

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

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

Varieties of Apriority

Varieties of Apriority S E V E N T H E X C U R S U S Varieties of Apriority T he notions of a priori knowledge and justification play a central role in this work. There are many ways in which one can understand the a priori,

More information

CRUCIAL TOPICS IN THE DEBATE ABOUT THE EXISTENCE OF EXTERNAL REASONS

CRUCIAL TOPICS IN THE DEBATE ABOUT THE EXISTENCE OF EXTERNAL REASONS CRUCIAL TOPICS IN THE DEBATE ABOUT THE EXISTENCE OF EXTERNAL REASONS By MARANATHA JOY HAYES A THESIS PRESENTED TO THE GRADUATE SCHOOL OF THE UNIVERSITY OF FLORIDA IN PARTIAL FULFILLMENT OF THE REQUIREMENTS

More information

Verificationism. PHIL September 27, 2011

Verificationism. PHIL September 27, 2011 Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

More information

PHILOSOPHY 4360/5360 METAPHYSICS. Methods that Metaphysicians Use

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.

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

Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1)

Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1) UGRC 150 CRITICAL THINKING & PRACTICAL REASONING Session 10 INDUCTIVE REASONONING IN THE SCIENCES & EVERYDAY LIFE( PART 1) Lecturer: Dr. Mohammed Majeed, Dept. of Philosophy & Classics, UG Contact Information:

More information

Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613

Naturalized Epistemology. 1. What is naturalized Epistemology? Quine PY4613 Naturalized Epistemology Quine PY4613 1. What is naturalized Epistemology? a. How is it motivated? b. What are its doctrines? c. Naturalized Epistemology in the context of Quine s philosophy 2. Naturalized

More information

Philosophical Arguments

Philosophical Arguments Philosophical Arguments An introduction to logic and philosophical reasoning. Nathan D. Smith, PhD. Houston Community College Nathan D. Smith. Some rights reserved You are free to copy this book, to distribute

More information

Jeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN

Jeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN Jeffrey, Richard, Subjective Probability: The Real Thing, Cambridge University Press, 2004, 140 pp, $21.99 (pbk), ISBN 0521536685. Reviewed by: Branden Fitelson University of California Berkeley Richard

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

A Scientific Realism-Based Probabilistic Approach to Popper's Problem of Confirmation

A Scientific Realism-Based Probabilistic Approach to Popper's Problem of Confirmation A Scientific Realism-Based Probabilistic Approach to Popper's Problem of Confirmation Akinobu Harada ABSTRACT From the start of Popper s presentation of the problem about the way for confirmation of a

More information

ROBUSTNESS AND THE NEW RIDDLE REVIVED. Adina L. Roskies

ROBUSTNESS AND THE NEW RIDDLE REVIVED. Adina L. Roskies Ratio (new series) XXI 2 June 2008 0034 0006 ROBUSTNESS AND THE NEW RIDDLE REVIVED Adina L. Roskies Abstract The problem of induction is perennially important in epistemology and the philosophy of science.

More information

Bayesian Probability

Bayesian Probability Bayesian Probability Patrick Maher September 4, 2008 ABSTRACT. Bayesian decision theory is here construed as explicating a particular concept of rational choice and Bayesian probability is taken to be

More information

5: Preliminaries to the Argument

5: Preliminaries to the Argument 5: Preliminaries to the Argument In this chapter, we set forth the logical structure of the argument we will use in chapter six in our attempt to show that Nfc is self-refuting. Thus, our main topics in

More information

145 Philosophy of Science

145 Philosophy of Science Logical empiricism Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 145 Philosophy of Science Vienna Circle (Ernst Mach Society) Hans Hahn, Otto Neurath, and Philipp Frank regularly meet

More information

Explanationist Aid for the Theory of Inductive Logic

Explanationist Aid for the Theory of Inductive Logic Explanationist Aid for the Theory of Inductive Logic A central problem facing a probabilistic approach to the problem of induction is the difficulty of sufficiently constraining prior probabilities so

More information

Logic for Computer Science - Week 1 Introduction to Informal Logic

Logic for Computer Science - Week 1 Introduction to Informal Logic Logic for Computer Science - Week 1 Introduction to Informal Logic Ștefan Ciobâcă November 30, 2017 1 Propositions A proposition is a statement that can be true or false. Propositions are sometimes called

More information

Justified Inference. Ralph Wedgwood

Justified Inference. Ralph Wedgwood Justified Inference Ralph Wedgwood In this essay, I shall propose a general conception of the kind of inference that counts as justified or rational. This conception involves a version of the idea that

More information

Ayer on the criterion of verifiability

Ayer on the criterion of verifiability Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

More information

A Judgmental Formulation of Modal Logic

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

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

Class 6 - Scientific Method

Class 6 - Scientific Method 2 3 Philosophy 2 3 : Intuitions and Philosophy Fall 2011 Hamilton College Russell Marcus I. Holism, Reflective Equilibrium, and Science Class 6 - Scientific Method Our course is centrally concerned with

More information

Philosophy Of Science On The Moral Neutrality Of Scientific Acceptance

Philosophy Of Science On The Moral Neutrality Of Scientific Acceptance University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Transactions of the Nebraska Academy of Sciences and Affiliated Societies Nebraska Academy of Sciences 1982 Philosophy Of

More information

Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI

Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI Philosophy 12 Study Guide #4 Ch. 2, Sections IV.iii VI Precising definition Theoretical definition Persuasive definition Syntactic definition Operational definition 1. Are questions about defining a phrase

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

Chapter 1. What is Philosophy? Thinking Philosophically About Life

Chapter 1. What is Philosophy? Thinking Philosophically About Life Chapter 1 What is Philosophy? Thinking Philosophically About Life Why Study Philosophy? Defining Philosophy Studying philosophy in a serious and reflective way will change you as a person Philosophy Is

More information

Review of Constructive Empiricism: Epistemology and the Philosophy of Science

Review of Constructive Empiricism: Epistemology and the Philosophy of Science Review of Constructive Empiricism: Epistemology and the Philosophy of Science Constructive Empiricism (CE) quickly became famous for its immunity from the most devastating criticisms that brought down

More information

SCIENTIFIC REALISM AND EPISTEMOLOGY

SCIENTIFIC REALISM AND EPISTEMOLOGY SCIENTIFIC REALISM AND EPISTEMOLOGY 1 Introduction Here are some theses frequently endorsed by scientific realists: R1 The theories of mature sciences are very frequently highly successful (where the success

More information

An Empiricist Theory of Knowledge Bruce Aune

An Empiricist Theory of Knowledge Bruce Aune An Empiricist Theory of Knowledge Bruce Aune Copyright 2008 Bruce Aune To Anne ii CONTENTS PREFACE iv Chapter One: WHAT IS KNOWLEDGE? Conceptions of Knowing 1 Epistemic Contextualism 4 Lewis s Contextualism

More information

OSSA Conference Archive OSSA 5

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

More information

INTRODUCTION. This week: Moore's response, Nozick's response, Reliablism's response, Externalism v. Internalism.

INTRODUCTION. This week: Moore's response, Nozick's response, Reliablism's response, Externalism v. Internalism. GENERAL PHILOSOPHY WEEK 2: KNOWLEDGE JONNY MCINTOSH INTRODUCTION Sceptical scenario arguments: 1. You cannot know that SCENARIO doesn't obtain. 2. If you cannot know that SCENARIO doesn't obtain, you cannot

More information

A Brief History of Thinking about Thinking Thomas Lombardo

A Brief History of Thinking about Thinking Thomas Lombardo A Brief History of Thinking about Thinking Thomas Lombardo "Education is nothing more nor less than learning to think." Peter Facione In this article I review the historical evolution of principles and

More information

Introductory Essay University of Pittsburgh Press. All rights reserved.

Introductory Essay University of Pittsburgh Press. All rights reserved. Introductory Essay Christopher Hitchcock Welcome to the fiftieth-anniversary edition of Wesley C. Salmon s The Foundations of Scientific Inference. This is the book that taught a generation of students

More information

Scientific realism and anti-realism

Scientific realism and anti-realism Scientific realism and anti-realism Philosophy of Science (106a/124), Topic 6, 14 November 2017 Adam Caulton (adam.caulton@philosophy.ox.ac.uk) 1 Preliminaries 1.1 Five species of realism Metaphysical

More information

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

More information

THE HYPOTHETICAL-DEDUCTIVE METHOD OR THE INFERENCE TO THE BEST EXPLANATION: THE CASE OF THE THEORY OF EVOLUTION BY NATURAL SELECTION

THE HYPOTHETICAL-DEDUCTIVE METHOD OR THE INFERENCE TO THE BEST EXPLANATION: THE CASE OF THE THEORY OF EVOLUTION BY NATURAL SELECTION THE HYPOTHETICAL-DEDUCTIVE METHOD OR THE INFERENCE TO THE BEST EXPLANATION: THE CASE OF THE THEORY OF EVOLUTION BY NATURAL SELECTION JUAN ERNESTO CALDERON ABSTRACT. Critical rationalism sustains that the

More information

Learning is a Risky Business. Wayne C. Myrvold Department of Philosophy The University of Western Ontario

Learning is a Risky Business. Wayne C. Myrvold Department of Philosophy The University of Western Ontario Learning is a Risky Business Wayne C. Myrvold Department of Philosophy The University of Western Ontario wmyrvold@uwo.ca Abstract Richard Pettigrew has recently advanced a justification of the Principle

More information

From Transcendental Logic to Transcendental Deduction

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

More information