Philosophy of Science: Models in Science

Size: px
Start display at page:

Download "Philosophy of Science: Models in Science"

Transcription

1 Philosophy of Science: Models in Science Kristina Rolin 2012 Questions What is a scientific theory and how does it relate to the world? What is a model? How do models differ from theories and how do they relate to the world? 1

2 Theories in logical empiricism Synthetic Theoretical Analytic Translations Translations Synthetic Observation Observation Observation Theories of theories: part I The syntactic conception of theory (the so called received view ): A theory is a collection of that can have a formal representation as an axiomatic system. We can separate the logical structure of the theory from its empirical content. (The syntax is the study of the rules that determine how sentences are formed.) 2

3 Theories of theories: part I Statements are given an interpretation (and empirical content) by means of correspondence rules. Example: Formal representation: For every x it is the case that if H(x), then M(x). Correspondence rules: H(x)= x is a human being; M(x)= x is mortal. Empirical content: All human beings are mortal. Theories of theories: part II The semantic conception (the model-theoretic conception): A theory is a collection of models and theoretical hypotheses. Models are non-linguistic entities. A theoretical hypothesis is a statement asserting some sort of relationship between a model and a class of real systems in the world. Giere, Ronald Explaining science: A cognitive approach. The University of Chicago Press. Suppe, Frederick The semantic conception of theories and scientific realism. University of Illinois Press. Van Fraassen, Bas The scientific image. Oxford University Press. 3

4 Model: an example The simple gravity pendulum satisfies the equation T = 2 where T is the period of time for one complete oscillation, and l is the length of the pendulum. The model is constructed so that the equation describes it truthfully (Giere 1988, 79). Idealization In any real system: There is friction and air resistance, the rod is not weightless, the rod is not rigid, and the mass of the bob is not located in one point. 4

5 Theoretical hypothesis: an example The positions and velocities of the earth and the moon in the earth-moon system are similar to those of a two-particle Newtonian gravitational model (in some respects and to some degree) (Giere 1988, 81). To believe a theory is to believe that one of its models correctly represents the world (Van Fraassen 1980, 47). Fictions in science? Theories consist of fundamental laws that do not represent any real system in the world. Fundamental laws (such as F=ma) are abstract, and they can relate to a real system only via models that are representations of concrete phenomena in the world. Models are constructed so that fundamental laws can feature in them. Such laws do not apply directly to a real system in the world. Hence, the fundamental laws lie. A simulacrum account of explanation: Models do explain well even though they are not literally true of any real system in the world. Cartwright, Nancy How the Laws of Physics Lie. Oxford: Clarendon Press. 5

6 Theoretical hypothesis A theoretical hypothesis is true or false depending on whether the asserted relationship between a model and a real system holds. The relationship between a model and a real system cannot be one of truth or falsity since neither is a linguistic entity (Giere 1988, 80). Truths in science? A theory of truth is not a prerequisite for an adequate theory of science. (Giere 1988, 81). The relation between a model and a real system is isomorphism (sameness of structure) (Van Fraassen 1980, 46). The relation between a model and a real system is similarity (with respect to some aspects and to some degree) (Giere 1988, 81). 6

7 Scientific representations as maps A theoretical hypothesis asserts the existence of similarity between a specified theoretical model and a designated real system. But since anything is similar to anything else in some way or other, the claim of similarity must be limited to a specified set of respects and degrees (Giere 1988, 93). Models as partial representations A model is an interpretative description of a phenomenon that facilitates access to that phenomenon (Bailer-Jones 2009, 1). Facilitating access involves focusing on specific aspects of the phenomenon, disregarding others. As a result, models are partial representations. Bailer-Jones, Daniela Scientific models in philosophy of science. The University of Pittsburgh Press. 7

8 model real system A set of defines a model and a theoretical hypothesis claims that there is a relationship of similarity between the model and a real system in the world. Theor. Observ. real system The received view of theories: Observational are true of a real system in the world, and they give support to theoretical. 8

9 The Hypothetico-Deductive Model Problem Discovery Hypothesis is falsified. Hypothesis Deduction No Observable Consequences Consequences correspond to observations? Yes Hypothesis receives support. Models in logical empiricism Models were seen as preliminary steps to theories ( it is only a model ). Mature theories were thought to render models redundant (Bailer-Jones 2009, 82). In the rational reconstruction of scientific knowledge, theories play a central role, not models (92). Models can play a central role in the context of discovery but not in the context of justification (93). 9

10 Models in logical empiricism Logical empiricism was at pains to explain why theories postulate non-observable entities that are difficult to construct out of observations (e.g., electromagnetic waves). A model-based conception of theories provides an explanation: such entities are part of models. Models in Kuhn s paradigms Paradigms include many different things besides theories (understood as ), such as exemplars and concrete puzzle solutions. These are claimed to play a central role in the learning of scientific practice. Yet, if models are understood as exemplars or concrete puzzle solutions, it is not clear how they relate to theories (understood as ). Kuhn acknowledges that visual representations play a significant role in scientific knowledge: a change of paradigm is described as a gestalt shift. 10

11 Analogies in science Models are not literal descriptions of nature but they stand in a relation of analogy to nature. Positive analogy refers to those aspects that two things (e.g., billiard balls and molecules) are known to have in common. Negative analogy refers to those aspects that are known to be different. Neutral analogy refers to those aspects for which commonality or difference is yet to be established. These aspects are interesting because they allow scientists to make predictions (e.g., knowledge of the mechanics of billiard balls can be used to make predictions about the expected behavior of gases). Hesse, Mary Models and analogies in science. University of Notre Dame Press. Analogies are not models Analogies are relationships between a model and a real system (Bailer-Jones 2009, 56 and 74). Analogies are often instrumental in scientific discovery, in the formulation of new hypotheses, and in the process of constructing new models (61). Analogies are often used for the purpose of illustration in science instruction (62). Analogies are used to transport mathematical methods from one domain to another (73). 11

12 Metaphors in science Models help us understand why the use of metaphorical language is common in scientific theories (even though many metaphors in science are dead ): e.g., electric field, light wave, excited state, chemical bonds, black hole, brain as a computer, critical mass in the social sciences. Keller, Evelyn Fox Reflections on Gender and Science. Yale University Press. Schiebinger, Londa Nature s Body: Gender in the Making of Modern Science. Beacon Press. Models as mediators between theories and the world Models come in a variety of forms that is, they employ different external representational tools. Whereas theories aim to be general, models aim to match specific empirical situations well. Morgan, Mary, and Morrison, Margaret (eds.) Models as Mediators. Cambridge University Press. 12

13 Today s message A model-based conception of theories has the following virtues: It can account for the role of unobservable entities in scientific theories: Such entities are part of models. It can account for idealization and approximation in scientific theories: Models are partial representations of some phenomena in the world. It can account for the persistence of analogies and metaphors in scientific theories: Analogies and metaphors are not models but the use of analogies and metaphors in science is a spin-off of models (Bailer- Jones 2009, 117). 13

Empirically Adequate but Observably False Theories

Empirically Adequate but Observably False Theories Empirically Adequate but Observably False Theories Sebastian Lutz Preprint: 2013 09 26 1 Introduction According to van Fraassen ( 1980, 8, emphasis removed), scientifc realism is the view that [s]cience

More information

THE SEMANTIC (MIS)CONCEPTION OF THEORIES. C. Wade Savage. Abstract

THE SEMANTIC (MIS)CONCEPTION OF THEORIES. C. Wade Savage. Abstract THE SEMANTIC (MIS)CONCEPTION OF THEORIES C. Wade Savage Abstract On the traditional, syntactic conception, a scientific theory is a (preferably axiomatized) collection of statements. On the version of

More information

Bar-Hillel and the Division of Labor in Language

Bar-Hillel and the Division of Labor in Language Bar-Hillel and the Division of Labor in Language On the interaction of grammar, logic, and pragmatics Luka Crnič November 2, 2015 Language, Logic and Cognition Center http://scholars.huji.ac.il/llcc Luka

More information

240 Metaphysics. Frege s Puzzle. Chapter 26

240 Metaphysics. Frege s Puzzle. Chapter 26 240 Metaphysics Frege s Puzzle Frege s Puzzle 241 Frege s Puzzle In his 1879 Begriffsschrift (or Concept-Writing ), Gottlob Frege developed a propositional calculus to determine the truth values of propositions

More information

Making Sense. Tom Carter. tom/sfi-csss. April 2, 2009

Making Sense. Tom Carter.   tom/sfi-csss. April 2, 2009 Making Sense Tom Carter http://astarte.csustan.edu/ tom/sfi-csss April 2, 2009 1 Making Sense Introduction / theme / structure 3 Language and meaning 6 Language and meaning (ex)............... 7 Theories,

More information

Cartwright: Do the Laws of Physics State the Facts?

Cartwright: Do the Laws of Physics State the Facts? Cartwright: Do the Laws of Physics State the Facts? Introduction Facticity view of laws: Laws of nature describe the facts Paradigm: fundamental laws of physics (e.g., Maxwell s equations) Dilemma: If

More information

The Model-Based View of Scientific Theories and the Structuring of School Science Programmes

The Model-Based View of Scientific Theories and the Structuring of School Science Programmes Science & Education (2006) Ó Springer 2006 DOI 10.1007/s11191-006-9058-2 The Model-Based View of Scientific Theories and the Structuring of School Science Programmes MARIA DEVELAKI Experimental School

More information

Exemplar-Based Explanation

Exemplar-Based Explanation Exemplar-Based Explanation Rens Bod School of Computing University of Leeds ILLC University of Amsterdam rens@comp.leeds.ac.uk The idea that natural phenomena can be explained by means of exemplars or

More information

Scientific Explanation- Causation and Unification

Scientific Explanation- Causation and Unification Scientific Explanation- Causation and Unification By Wesley Salmon Analysis by Margarita Georgieva, PSTS student, number 0102458 Van Lochemstraat 9-17 7511 EG Enschede Final Paper for Philosophy of Science

More information

Induction, confirmation, and underdetermination

Induction, confirmation, and underdetermination Induction, confirmation, and underdetermination Christian Wüthrich http://philosophy.ucsd.edu/faculty/wuthrich/ 145 Philosophy of Science The Mother of All Problems... Hume s problem of induction A brief

More information

First Order Logic (1A) Young W. Lim 11/18/13

First Order Logic (1A) Young W. Lim 11/18/13 Copyright (c) 2013. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software

More information

CONDITIONS AND FEATURES OF UNITY CONCEPTS IN SCIENCE 1

CONDITIONS AND FEATURES OF UNITY CONCEPTS IN SCIENCE 1 VLADIMIR KUZNETSOV CONDITIONS AND FEATURES OF UNITY CONCEPTS IN SCIENCE 1 1. UNITY CONCEPT IN TERMS OF SCIENTIFIC KNOWLEDGE SYSTEMS There are many phenomena in different areas of human intellectual life

More information

Realism and Idealism External Realism

Realism and Idealism External Realism Realism and Idealism External Realism Owen Griffiths oeg21@cam.ac.uk St John s College, Cambridge 8/10/15 What is metaphysics? Metaphysics is the attempt to: give a general description of the whole of

More information

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

COMP219: Artificial Intelligence. Lecture 19: Logic for KR COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof

More information

COMP219: Artificial Intelligence. Lecture 19: Logic for KR

COMP219: Artificial Intelligence. Lecture 19: Logic for KR COMP219: Artificial Intelligence Lecture 19: Logic for KR 1 Overview Last time Expert Systems and Ontologies Today Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof

More information

IDEALIZATION. James Ladyman. Introduction

IDEALIZATION. James Ladyman. Introduction 33 IDEALIZATION James Ladyman Introduction Idealization is ubiquitous in science, being a feature of both the formulation of laws and theories and of their application to the world. There are many examples

More information

Kripke on Frege on Sense and Reference. David Chalmers

Kripke on Frege on Sense and Reference. David Chalmers Kripke on Frege on Sense and Reference David Chalmers Kripke s Frege Kripke s Frege Theory of Sense and Reference: Some Exegetical Notes Focuses on Frege on the hierarchy of senses and on the senses of

More information

Popper s Measure of Corroboration and P h b

Popper s Measure of Corroboration and P h b Popper s Measure of Corroboration and P h b Darrell P. Rowbottom This paper shows that Popper s measure of corroboration is inapplicable if, as Popper also argued, the logical probability of synthetic

More information

ideas in context 52 MODELS AS MEDIATORS

ideas in context 52 MODELS AS MEDIATORS ideas in context 52 MODELS AS MEDIATORS Models as Mediators discusses the ways in which models function in modern science, particularly in the fields of physics and economics. Models play a variety of

More information

Physicalism Feb , 2014

Physicalism Feb , 2014 Physicalism Feb. 12 14, 2014 Overview I Main claim Three kinds of physicalism The argument for physicalism Objections against physicalism Hempel s dilemma The knowledge argument Absent or inverted qualia

More information

Getting Rid of Derivational Redundancy or How to Solve Kuhn s Problem

Getting Rid of Derivational Redundancy or How to Solve Kuhn s Problem Getting Rid of Derivational Redundancy or How to Solve Kuhn s Problem Rens Bod School of Computer Science University of St Andrews, and Institute for Logic, Language and Computation University of Amsterdam

More information

Ling 130 Notes: Syntax and Semantics of Propositional Logic

Ling 130 Notes: Syntax and Semantics of Propositional Logic Ling 130 Notes: Syntax and Semantics of Propositional Logic Sophia A. Malamud January 21, 2011 1 Preliminaries. Goals: Motivate propositional logic syntax and inferencing. Feel comfortable manipulating

More information

I. Induction, Probability and Confirmation: Introduction

I. Induction, Probability and Confirmation: Introduction I. Induction, Probability and Confirmation: Introduction 1. Basic Definitions and Distinctions Singular statements vs. universal statements Observational terms vs. theoretical terms Observational statement

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS THE LOGIC OF COMPOUND STATEMENTS All dogs have four legs. All tables have four legs. Therefore, all dogs are tables LOGIC Logic is a science of the necessary laws of thought, without which no employment

More information

Overview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR

Overview. Knowledge-Based Agents. Introduction. COMP219: Artificial Intelligence. Lecture 19: Logic for KR COMP219: Artificial Intelligence Lecture 19: Logic for KR Last time Expert Systems and Ontologies oday Logic as a knowledge representation scheme Propositional Logic Syntax Semantics Proof theory Natural

More information

Hesse: Models and Analogies in Science. Chapter 1: The Function of Models: A Dialogue

Hesse: Models and Analogies in Science. Chapter 1: The Function of Models: A Dialogue Hesse: Models and Analogies in Science Chapter 1: The Function of Models: A Dialogue Broad examination of the role of analogies in scientific theories scientific explanation confirmation and growth of

More information

09. Kant and Logical Positivism Topics:

09. Kant and Logical Positivism Topics: 09. Kant and Logical Positivism Topics: I. Two Types of Skepticism II. Kant s Proposal III. Logical Positivism I. Two Types of Skepticism Metaphysical skepticism = Skepticism about claims that go beyond

More information

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages

Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv pages Critical Notice: Bas van Fraassen, Scientific Representation: Paradoxes of Perspective Oxford University Press, 2008, xiv + 408 pages by Bradley Monton June 24, 2009 It probably goes without saying that

More information

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014

Philosophy 240 Symbolic Logic. Russell Marcus Hamilton College Fall 2014 Philosophy 240 Symbolic Logic Russell Marcus Hamilton College Fall 2014 Class #19: Logic and the Philosophy of Science Marcus, Symbolic Logic, Fall 2014: Logic and the Philosophy of Science, Slide 1 Three

More information

CITS2211 Discrete Structures. Propositional Logic

CITS2211 Discrete Structures. Propositional Logic CITS2211 Discrete Structures Propositional Logic Unit coordinator: Rachel Cardell-Oliver July 31, 2017 Highlights This lecture will address the following questions: 1 What is a proposition? 2 How are propositions

More information

The Semantic View and the Alpha-model

The Semantic View and the Alpha-model College of Arts and Sciences CUREJ - College Undergraduate Research Electronic Journal University of Pennsylvania Year 2007 The Semantic View and the Alpha-model Richard W. Lawrence University of Pennsylvania,

More information

Explanation and Unification

Explanation and Unification Explanation and Unification Michael Friedman, Explanation and Scientific Understanding Philip Kitcher, Explanatory Unification Erica Klempner 3/16/04 Friedman and Kitcher: same basic motivation, to cash

More information

Author's personal copy

Author's personal copy Studies in History and Philosophy of Science 42 (2011) 287 295 Contents lists available at ScienceDirect Studies in History and Philosophy of Science journal homepage: www.elsevier.com/locate/shpsa Representing

More information

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento

Logica e Linguaggio. Raffaella Bernardi. March 22, University of Trento Logica e Linguaggio Raffaella Bernardi University of Trento March 22, 2012 Layout Logical Entailment Logical Entailment in PL Logical Entailment in FoL Sinn und Bedeutung Formal Semantics Main questions

More information

08. Kuhn: Revolutions 1. The Nature and Necessity of Revolutions

08. Kuhn: Revolutions 1. The Nature and Necessity of Revolutions 08. Kuhn: Revolutions 1. The Nature and Necessity of Revolutions (A) Are there crises and revolutions in the history of science? "Revolutions in science only need seem revolutionary to those whose paradigms

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form

More information

Confirmation Theory. Pittsburgh Summer Program 1. Center for the Philosophy of Science, University of Pittsburgh July 7, 2017

Confirmation Theory. Pittsburgh Summer Program 1. Center for the Philosophy of Science, University of Pittsburgh July 7, 2017 Confirmation Theory Pittsburgh Summer Program 1 Center for the Philosophy of Science, University of Pittsburgh July 7, 2017 1 Confirmation Disconfirmation 1. Sometimes, a piece of evidence, E, gives reason

More information

The Application of Gödel s Incompleteness Theorems to Scientific Theories

The Application of Gödel s Incompleteness Theorems to Scientific Theories Abstract The Application of Gödel s Incompleteness Theorems to Scientific Theories Copyright Michael James Goodband, June 2012 It is shown that there-exist conditions for which scientific theories qualify

More information

Phenomena in Engineering Science

Phenomena in Engineering Science Master Thesis Phenomena in Engineering Science Department: Philosophy of Technology Philosophy Science, Technology and Society University of Twente, Enschede, The Netherlands Student: E.J. Van Ommeren

More information

THE NSTP (NON SPATIAL THINKING PROCESS) THEORY

THE NSTP (NON SPATIAL THINKING PROCESS) THEORY THE NSTP (NON SPATIAL THINKING PROCESS) THEORY COPYRIGHT KEDAR JOSHI 2007 The NSTP theory is a (philosophy of mind) semi-idealistic as well as semi-dualistic theory that the material universe, where some

More information

Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION

Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION Dale Jacquette CONUNDRUMS OF CONDITIONALS IN CONTRAPOSITION A previously unnoticed metalogical paradox about contraposition is formulated in the informal metalanguage of propositional logic, where it exploits

More information

Logic Background (1A) Young W. Lim 12/14/15

Logic Background (1A) Young W. Lim 12/14/15 Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any

More information

PHI Searle against Turing 1

PHI Searle against Turing 1 1 2 3 4 5 6 PHI2391: Confirmation Review Session Date & Time :2014-12-03 SMD 226 12:00-13:00 ME 14.0 General problems with the DN-model! The DN-model has a fundamental problem that it shares with Hume!

More information

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name:

1 Multiple Choice. PHIL110 Philosophy of Science. Exam May 10, Basic Concepts. 1.2 Inductivism. Name: PHIL110 Philosophy of Science Exam May 10, 2016 Name: Directions: The following exam consists of 24 questions, for a total of 100 points with 0 bonus points. Read each question carefully (note: answers

More information

Propositional Logic: Logical Agents (Part I)

Propositional Logic: Logical Agents (Part I) Propositional Logic: Logical Agents (Part I) First Lecture Today (Tue 21 Jun) Read Chapters 1 and 2 Second Lecture Today (Tue 21 Jun) Read Chapter 7.1-7.4 Next Lecture (Thu 23 Jun) Read Chapters 7.5 (optional:

More information

Marc Lange -- IRIS. European Journal of Philosophy and Public Debate

Marc Lange -- IRIS. European Journal of Philosophy and Public Debate Structuralism with an empiricist face? Bas Van Fraassen s Scientific Representation: Paradoxes of Perspective is a rich, masterful study of a wide range of issues arising from the manifold ways in which

More information

Description Logics. Foundations of Propositional Logic. franconi. Enrico Franconi

Description Logics. Foundations of Propositional Logic.   franconi. Enrico Franconi (1/27) Description Logics Foundations of Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/27) Knowledge

More information

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3.

THE LOGIC OF QUANTIFIED STATEMENTS. Predicates and Quantified Statements I. Predicates and Quantified Statements I CHAPTER 3 SECTION 3. CHAPTER 3 THE LOGIC OF QUANTIFIED STATEMENTS SECTION 3.1 Predicates and Quantified Statements I Copyright Cengage Learning. All rights reserved. Copyright Cengage Learning. All rights reserved. Predicates

More information

UNIT-I: Propositional Logic

UNIT-I: Propositional Logic 1. Introduction to Logic: UNIT-I: Propositional Logic Logic: logic comprises a (formal) language for making statements about objects and reasoning about properties of these objects. Statements in a logical

More information

Meanings of Symbolism in Advanced Mathematical Thinking

Meanings of Symbolism in Advanced Mathematical Thinking PME-28 Bergen, Norway June 2004 Meanings of Symbolism in Advanced Mathematical Thinking David Tall University of Warwick, U.K. FORMAL WORLD Three Worlds of Mathematics of DEFINITION and FORMAL PROOF A

More information

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007

Logic and Proofs. Jan COT3100: Applications of Discrete Structures Jan 2007 COT3100: Propositional Equivalences 1 Logic and Proofs Jan 2007 COT3100: Propositional Equivalences 2 1 Translating from Natural Languages EXAMPLE. Translate the following sentence into a logical expression:

More information

Logic: Propositional Logic Truth Tables

Logic: Propositional Logic Truth Tables Logic: Propositional Logic Truth Tables Raffaella Bernardi bernardi@inf.unibz.it P.zza Domenicani 3, Room 2.28 Faculty of Computer Science, Free University of Bolzano-Bozen http://www.inf.unibz.it/~bernardi/courses/logic06

More information

Propositional Logic: Semantics

Propositional Logic: Semantics Propositional Logic: Semantics Alice Gao Lecture 4, September 19, 2017 Semantics 1/56 Announcements Semantics 2/56 The roadmap of propositional logic Semantics 3/56 FCC spectrum auction an application

More information

A Finite Memory Argument for an Axiomatic Conception of Scientific Theories

A Finite Memory Argument for an Axiomatic Conception of Scientific Theories A Finite Memory Argument for an Axiomatic Conception of Scientific Theories Holger Andreas (Penultimate draft of a paper published in International Studies in the Philosophy of Science) Abstract This article

More information

On an Unsound Proof of the Existence of Possible Worlds

On an Unsound Proof of the Existence of Possible Worlds 598 Notre Dame Journal of Formal Logic Volume 30, Number 4, Fall 1989 On an Unsound Proof of the Existence of Possible Worlds CHRISTOPHER MENZEL* Abstract In this paper, an argument of Alvin Plantinga's

More information

General relativity and the standard model: Why evidence for one does not disconfirm the other

General relativity and the standard model: Why evidence for one does not disconfirm the other General relativity and the standard model: Why evidence for one does not disconfirm the other Penultimate version. Accepted for publication in Studies in History and Philosophy of Modern Physics. Please

More information

Formal Logic and Deduction Systems

Formal Logic and Deduction Systems Formal Logic and Deduction Systems Software Formal Verification Maria João Frade Departmento de Informática Universidade do Minho 2008/2009 Maria João Frade (DI-UM) Formal Logic and Deduction Systems MFES

More information

Aristotle Metaphysics. Aristotle Metaphysics

Aristotle Metaphysics. Aristotle Metaphysics Aristotle Metaphysics I. What is Metaphysics? tôn meta ta phusika = the things after the Physics. Not to be confused with the study of anything non-physical. Not to be confused with later conceptions of

More information

Indicative conditionals

Indicative conditionals Indicative conditionals PHIL 43916 November 14, 2012 1. Three types of conditionals... 1 2. Material conditionals... 1 3. Indicatives and possible worlds... 4 4. Conditionals and adverbs of quantification...

More information

Section 1.1: Logical Form and Logical Equivalence

Section 1.1: Logical Form and Logical Equivalence Section 1.1: Logical Form and Logical Equivalence An argument is a sequence of statements aimed at demonstrating the truth of an assertion. The assertion at the end of an argument is called the conclusion,

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

Lecture 5: Leibniz equivalence and Putnam s paradox

Lecture 5: Leibniz equivalence and Putnam s paradox Lecture 5: Leibniz equivalence and Putnam s paradox 5.1 Recap: Responses to the hole argument Let M 1 = M, g, T and M 2 = M, d g, d T be two models of GR where d is a non-trivial diffeomorphism, possibly

More information

Lecture 33 Carnap on Theory and Observation

Lecture 33 Carnap on Theory and Observation Lecture 33 Carnap on Theory and Observation Patrick Maher Scientific Thought II Spring 2010 The book One of the most memorable privileges of my life was to have attended Rudolf Carnap s seminar on philosophical

More information

Preferred Mental Models in Qualitative Spatial Reasoning: A Cognitive Assessment of Allen s Calculus

Preferred Mental Models in Qualitative Spatial Reasoning: A Cognitive Assessment of Allen s Calculus Knauff, M., Rauh, R., & Schlieder, C. (1995). Preferred mental models in qualitative spatial reasoning: A cognitive assessment of Allen's calculus. In Proceedings of the Seventeenth Annual Conference of

More information

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday.

Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due by 11:59 p.m., Tuesday. Friday, February 15 Today we will begin Course Notes 3.2: Methods of Proof. Your quiz in recitation on Tuesday will cover 3.1: Arguments and inference. Your also have an online quiz, covering 3.1, due

More information

Knowledge Representation. Propositional logic

Knowledge Representation. Propositional logic CS 2710 Foundations of AI Lecture 10 Knowledge Representation. Propositional logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Knowledge-based agent Knowledge base Inference engine Knowledge

More information

Part II On the Equivalence of Scientific Theories

Part II On the Equivalence of Scientific Theories Published in Philosophy of Science, 1960, 27, 359 365. Studies in the Empiricist Theory of Scientific Meaning Part II On the Equivalence of Scientific Theories Abstract Drawing upon the Carnapian explication

More information

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL

PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL THOMAS HOFWEBER PROOF-THEORETIC REDUCTION AS A PHILOSOPHER S TOOL 1. PROOF-THEORETIC REDUCTION AND HILBERT S PROGRAM Hilbert s program in the philosophy of mathematics comes in two parts. One part is a

More information

Refining the Motivational Approach to Symmetry-to-(un)reality Inferences

Refining the Motivational Approach to Symmetry-to-(un)reality Inferences Refining the Motivational Approach to Symmetry-to-(un)reality Inferences Case Study: Aharonov-Bohm Effect Niels Martens Foundations2018, Utrecht 12 July 2018 A1. Virtual particles A2. Naturalness A3. LHC,

More information

The Ontology of Counter Factual Causality and Conditional

The Ontology of Counter Factual Causality and Conditional Philosophy Study, ISSN 2159-5313 July 2014, Vol. 4, No. 7, 492-496. doi: 10.17265/2159-5313/2014.07.005 D DAVID PUBLISHING The Ontology of Counter Factual Causality and Conditional Maduabuchi Dukor Nnamdi

More information

Logic: Propositional Logic (Part I)

Logic: Propositional Logic (Part I) Logic: Propositional Logic (Part I) Alessandro Artale Free University of Bozen-Bolzano Faculty of Computer Science http://www.inf.unibz.it/ artale Descrete Mathematics and Logic BSc course Thanks to Prof.

More information

Northwestern Connecticut Community College Course Syllabus

Northwestern Connecticut Community College Course Syllabus Northwestern Connecticut Community College Course Syllabus Course Title: Introductory Physics Course #: PHY 110 Course Description: 4 credits (3 class hours and 3 laboratory hours per week) Physics 110

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

More information

Mathematical Logic. An Introduction

Mathematical Logic. An Introduction Mathematical Logic. An Introduction Summer 2006 by Peter Koepke Table of contents Table of contents............................................... 1 1 Introduction.................................................

More information

cse541 LOGIC FOR COMPUTER SCIENCE

cse541 LOGIC FOR COMPUTER SCIENCE cse541 LOGIC FOR COMPUTER SCIENCE Professor Anita Wasilewska Spring 2015 LECTURE 2 Chapter 2 Introduction to Classical Propositional Logic PART 1: Classical Propositional Model Assumptions PART 2: Syntax

More information

Description Logics. Deduction in Propositional Logic. franconi. Enrico Franconi

Description Logics. Deduction in Propositional Logic.   franconi. Enrico Franconi (1/20) Description Logics Deduction in Propositional Logic Enrico Franconi franconi@cs.man.ac.uk http://www.cs.man.ac.uk/ franconi Department of Computer Science, University of Manchester (2/20) Decision

More information

7. Propositional Logic. Wolfram Burgard and Bernhard Nebel

7. Propositional Logic. Wolfram Burgard and Bernhard Nebel Foundations of AI 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard and Bernhard Nebel Contents Agents that think rationally The wumpus world Propositional logic: syntax and semantics

More information

Today s lecture. Scientific method Hypotheses, models, theories... Occam' razor Examples Diet coke and menthos

Today s lecture. Scientific method Hypotheses, models, theories... Occam' razor Examples Diet coke and menthos Announcements The first homework is available on ICON. It is due one minute before midnight on Tuesday, August 30. Labs start this week. All lab sections will be in room 665 VAN. Kaaret has office hours

More information

Propositional Logic. Spring Propositional Logic Spring / 32

Propositional Logic. Spring Propositional Logic Spring / 32 Propositional Logic Spring 2016 Propositional Logic Spring 2016 1 / 32 Introduction Learning Outcomes for this Presentation Learning Outcomes... At the conclusion of this session, we will Define the elements

More information

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC)

Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras. Lecture - 15 Propositional Calculus (PC) Mathematical Logic Prof. Arindama Singh Department of Mathematics Indian Institute of Technology, Madras Lecture - 15 Propositional Calculus (PC) So, now if you look back, you can see that there are three

More information

The role of multiple representations in the understanding of ideal gas problems Madden S. P., Jones L. L. and Rahm J.

The role of multiple representations in the understanding of ideal gas problems Madden S. P., Jones L. L. and Rahm J. www.rsc.org/ xxxxxx XXXXXXXX The role of multiple representations in the understanding of ideal gas problems Madden S. P., Jones L. L. and Rahm J. Published in Chemistry Education Research and Practice,

More information

Introduction to Pragmatics

Introduction to Pragmatics Introduction to Pragmatics Summer 2016 Tuesdays 2:30--4:00pm @ 2321.HS 3H INSTRUCTOR Todor Koev (Todor.Koev@uni-duesseldorf.de) Presupposition projection Presupposition is a prevalent type of inference

More information

Symposium on the Axiomatic Method

Symposium on the Axiomatic Method Symposium on the Axiomatic Method DEFINABLE TERMS AND PRIMITIVES IN AXIOM SYSTEMS HERBERT A. SIMON Carnegie Institute of Technology Pittsburgh, Pennsylvania, U.S.A. An axiom system may be constructed for

More information

Some Thoughts on Computation and Simulation in Cognitive Science

Some Thoughts on Computation and Simulation in Cognitive Science Some Thoughts on Computation and Simulation in Cognitive Science Markus Peschl ( * ) and Matthias Scheutz ( ** ) ( * ) Department of Philosophy of Science and Social Studies of Science University of Vienna

More information

Announcements. Today s Menu

Announcements. Today s Menu Announcements Reading Assignment: > Nilsson chapters 13-14 Announcements: > LISP and Extra Credit Project Assigned Today s Handouts in WWW: > Homework 10-13 > Outline for Class 26 > www.mil.ufl.edu/eel5840

More information

Chapter 1: The Logic of Compound Statements. January 7, 2008

Chapter 1: The Logic of Compound Statements. January 7, 2008 Chapter 1: The Logic of Compound Statements January 7, 2008 Outline 1 1.1 Logical Form and Logical Equivalence 2 1.2 Conditional Statements 3 1.3 Valid and Invalid Arguments Central notion of deductive

More information

cis32-ai lecture # 18 mon-3-apr-2006

cis32-ai lecture # 18 mon-3-apr-2006 cis32-ai lecture # 18 mon-3-apr-2006 today s topics: propositional logic cis32-spring2006-sklar-lec18 1 Introduction Weak (search-based) problem-solving does not scale to real problems. To succeed, problem

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis /9/27 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis

Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis /3/26 Rigorous Science - Based on a probability value? The linkage between Popperian science and statistical analysis The Philosophy of science: the scientific Method - from a Popperian perspective Philosophy

More information

Understanding the Dropping of the Spinning Ball Experiment. Bruce E. DePalma

Understanding the Dropping of the Spinning Ball Experiment. Bruce E. DePalma Understanding the Dropping of the Spinning Ball Experiment by Bruce E. DePalma (3 May 1977) The beginning of this authors work with rotating objects began with moment of inertia measurements of constrained

More information

The Unificatory Power of Scientific Realism

The Unificatory Power of Scientific Realism The Unificatory Power of Scientific Realism Ulsan National Institute of Science and Technology BIBLID [0873-626X (2017) 44; pp. 59 73] Abstract The no-miracles argument (Putnam 1975) holds that science

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Wolfram Burgard, Maren Bennewitz, and Marco Ragni Albert-Ludwigs-Universität Freiburg Contents 1 Agents

More information

A Modal View of the Semantics of Theoretical Sentences

A Modal View of the Semantics of Theoretical Sentences A Modal View of the Semantics of Theoretical Sentences Holger Andreas Institute for Philosophy, Logic, and Theory of Science - LMU Munich May 3, 2009 Abstract Modal logic has been applied in many different

More information

Propositional Logic: Logical Agents (Part I)

Propositional Logic: Logical Agents (Part I) Propositional Logic: Logical Agents (Part I) This lecture topic: Propositional Logic (two lectures) Chapter 7.1-7.4 (this lecture, Part I) Chapter 7.5 (next lecture, Part II) Next lecture topic: First-order

More information

Foundations of Artificial Intelligence

Foundations of Artificial Intelligence Foundations of Artificial Intelligence 7. Propositional Logic Rational Thinking, Logic, Resolution Joschka Boedecker and Wolfram Burgard and Bernhard Nebel Albert-Ludwigs-Universität Freiburg May 17, 2016

More information

8. Reductio ad absurdum

8. Reductio ad absurdum 8. Reductio ad absurdum 8.1 A historical example In his book, The Two New Sciences, 10 Galileo Galilea (1564-1642) gives several arguments meant to demonstrate that there can be no such thing as actual

More information

Agency and Interaction in Formal Epistemology

Agency and Interaction in Formal Epistemology Agency and Interaction in Formal Epistemology Vincent F. Hendricks Department of Philosophy / MEF University of Copenhagen Denmark Department of Philosophy Columbia University New York / USA CPH / August

More information

Representation: the Problem for Structuralism* Bas C. van Fraassen

Representation: the Problem for Structuralism* Bas C. van Fraassen Representation: the Problem for Structuralism* Bas C. van Fraassen ----------------------------------------------------------------------------------------------------- Philosophy Dept., Princeton University.

More information

Propositional Logic and Semantics

Propositional Logic and Semantics Propositional Logic and Semantics English is naturally ambiguous. For example, consider the following employee (non)recommendations and their ambiguity in the English language: I can assure you that no

More information

Epistemic Informativeness

Epistemic Informativeness Epistemic Informativeness Yanjing Wang and Jie Fan Abstract In this paper, we introduce and formalize the concept of epistemic informativeness (EI) of statements: the set of new propositions that an agent

More information