Non-Classical Logics. Viorica Sofronie-Stokkermans Winter Semester 2012/2013

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Non-Classical Logics Viorica Sofronie-Stokkermans Winter Semester 2012/2013 1

2 Non-Classical Logics Alternatives to classical logic Extensions of classical logic 2

3 Non-Classical Logics Alternatives to classical logic Accept or reject certain theorems of classical logic following intuitions arising from significant application areas and/or from human reasoning. 3

4 Non-Classical Logics Alternatives to classical logic Examples: many-valued logics intuitionistic logic substructural logics (accept only some of the structural rules of classical logic) partial logics (sentences do not have to be either true or false; terms do not have to be always defined) free logics (agree with classical logic at propositional level; differ at the predicate logic level) quantum logics (connection with problems in physical systems) 4

5 Non-Classical Logics Extensions of classical logic Extensions of classical logic by means of new operators modal logic dynamic logic temporal logic 5

6 Motivation and History The nature of logic and knowledge has been studied and debated since ancient times. Aristotle Traditionally, in Aristotle s logical calculus, there were only two possible values (i.e., true and false ) for any proposition. He noticed however, that there are sentences (e.g. referring to future events) about which it is difficult to say whether they are true or false, although they can be either true or false (De Interpretatione, ch. IX). Example: Tomorrow there will be a naval battle. Aristotle didn t create a system of non-classical logic to explain this isolated remark. 6

7 Motivation and History The nature of logic and knowledge has been studied and debated since ancient times. Platon Platon postulated that there is a third area between the notions of true and false. deterministic school/non-deterministic school Until the 20th century logicians mainly followed Aristotelian logic, which includes or assumes the law of the excluded middle. 7

8 Motivation and History John Duns Scotus ( ) Reasoned informally in a modal manner, mainly to analyze statements about possibility and necessity. William of Ockham ( ) Wrote down in words the formulae that would later be called De Morgan s Laws, and pondered ternary logic, that is, a logical system with three truth values (distinguishing neutral propositions from true and false ones) a concept that would be taken up again in the mathematical logic of the 20th century. 8

9 Motivation and History George Boole ( ) 1847 Mathematical Analysis of Logic 1854 An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities Boole s approach founded what was first known as the algebra of logic tradition. Boolean algbra (classical logic!) 9

10 Motivation and History Hugh Mac Coll ( ) - first known variant of the propositional calculus, which he called calculus of equivalent statements - Explored the possibilities of modal logic, logic of fiction, connexive logic, many-valued logic and probability logic. Charles Sanders Peirce ( ) - Important contributions to logic and its understanding. - NAND/NOR - predicate logic - Introduces e.g. logic of relatives, relational logic (further developed by Tarski) 10

11 History and Motivation In the 20th century, a systematic study of non-classical logics started. In a tentative of avoiding logical paradoxes in 1939 Bochvar adds one more truth value ( meaningless ) Idea: e.g. in Russell s paradox, declare the crucial sentences involved as meaningless: R = {x (x x)} R R iff (R R) declare R R as meaningless. 11

12 History and Motivation Many-valued logics were introduced to model undefined or vague information: Jan Lukasiewicz began to create systems of many-valued logic in 1920, using a third value possible to deal with Aristotle s paradox of the sea battle. Emil L. Post (1921) introduced the formulation of additional truth degrees with n 2 where n is the number of truth values (starting mainly from algebraic considerations). Later, Jan Lukasiewicz and Alfred Tarski together formulated a logic on n truth values where n 2. Stephen Cole Kleene introduced a 3-valued logic in order to express the fact that some recursive functions might be undefined. In 1932 Hans Reichenbach formulated a logic of many truth values where n =. 12

13 History and Motivation Many-valued logics were introduced to model undefined or vague information: Paul Bernays (1926) used 3-valued logics for proving the independence of a given axiomatic system for classical propositional logic. (this way of proving independence requires a high degree of creativity, since for each special case a suitable many-valued logic must be found) Fuzzy logics; probabilistic logic Lotfi Zadeh (1965) developed the theory of fuzzy sets which led to the study of fuzzy logic. Nils Nilsson (1986) proposes a logic where the truth values of sentences are probabilities (probabilistic logic). 13

14 History and Motivation Constructive mathematics A true: A B true: E xp(x) true: Intuitionistic Logic there exists a proof for A there exists a proof for A or there exists a proof for B hence: A A is not always true; A A is not always true there exists x 0 that can be constructed effectively, and there exists a proof that P(x 0 ) is true. Luitzen Egbertus Jan Brouwer ( ) V. Glivenko (fragment of propositional logic) A.N. Kolmogorov (fragment of predicate logic) Arend Heyting (1928, 1930) Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer s way of doing mathematics. 14

15 History and Motivation Kurt Gödel (in 1932) showed that intuitionistic logic is not a finitely-many valued logic, and defined a system of Gödel logics intermediate between classical and intuitionistic logic; such logics are known as intermediate logics. 15

16 History and Motivation Alternatives to classical logics Study properties of implication, logical entailment or premise combination. Relevant logic X A holds: X must be relevant for A It may happen that X A holds and X,Y A does not hold. Linear logic Premises are seen as resources which must be used and cannot be reused. Lambek calculus Premise combination: combination of linguistic units (both the number and the order of the premises are important) 16

17 History and Motivation Extensions of classical logic by means of new logical operators Modal logic - modal operators, meaning of A A is necessarily true An agent believes A A is always true A should be the case A is provable meaning of A A is possibly true An agent thinks A is possible A is sometimes true A is allowed A is not contradictory 17

18 History and Motivation Logics related to modal logic Dynamic logic of programs Operators: α A: A holds after every run of the (non-deterministic) process α α A: A holds after some run of the (non-deterministic) process α 18

19 History and Motivation Logics related to modal logic Temporal logic A: A: A: A until B A holds always (in the future) A holds at some point (in the future) A holds at the next time point (in the future) A must remain true at all following time points until B becomes true 19

20 History and Motivation Extensions of classical logic: Modal logic and related logics Very rich history: Antiquity and middle ages (John Duns Scotus, Willian of Ockham) C. I. Lewis founded modern modal logic in his 1910 Harvard thesis. Ruth C. Barcan (later Ruth Barcan Marcus) developed the first axiomatic systems of quantified modal logic. In 1959, Saul Kripke (then a 19-year-old Harvard student) introduced the possible-worlds semantics for modal logics. A. N. Prior created modern temporal logic in 1957 Vaughan Pratt introduced dynamic logic in In 1977, Amir Pnueli proposed using temporal logic to formalise the behaviour of continually operating concurrent programs. 20

21 Structure of this course Classical logic (reminder) Many-valued logic Modal logic and related logics (e.g. dynamic logic and description logics) Temporal logic 21

22 Classical logic Propositional logic (Syntax, Semantics) First-order logic (Syntax, Semantics) Proof methods (resolution, tableaux) 22

23 Many-valued logic Introduction Many-valued logics 3-valued logic finitely-valued logic fuzzy logic Reduction to classical logic 23

24 Modal logic Introduction, history Introduction to propositional modal logic Syntax and semantics Correspondence theory Completeness, canonical models Decidability Introduction to first-order modal logics Reduction to first-order logic Description logics Dynamic logic 24

25 Temporal logic Linear temporal logic Branching temporal logic Model checking 25

26 Literature Peter Schmitt s lecture notes on non-classical logics (in German, linked from the website of the lecture) 26

27 Literature Additional literature: Modal, temporal and dynamic logic Bull and Segerberg Basic modal logic. In Handbook of Philosophical Logic, Fitting, M. Basic modal logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol 1: Logical Foundations Fitting, M. Proof methods for modal and intuitionistic logics, Kluwer, Fitting, M. and Mendelsohn, R. First-order modal logic, Kluwer, 1998 Goldblatt, R. Logics of time and computation, CSLI Series, 1987 Hughes, G.E. and Cresswell, M.J. - A new introduction to modal logic, 1st ed., Routledge, A companion to modal logic, Methuen, Introduction to modal logic (repr. 1990), Routledge, Huth, M. and Ryan, M. Logic in Computer Science: Modelling and reasoning about systems, Cambridge University Press,

28 Literature Additional literature: Modal and temporal logic Stirling, C. Modal and temporal logics. In Handbook of Logics in Computer Science, Vol 2: Background: Computational Structures (Gabbay, D. and Abramski, S. and Maibaum, T.S.E. eds), pages , Clarendon Press, Stirling, C. Modal and temporal properties of processes, Springer Texts in computer science, Emerson, E.A. Temporal and modal logic. Handbook of Theoretical Computer Science, Kroeger, F. Temporal logic of programs, EATCS monographs on theoretical computer science, Springer, Clarke, E.N., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS) 8(2):

29 Literature Additional literature: Modal and dynamic logic Harel, D., Kozen, D. and Tiuryn, J. Dynamic logic, MIT Press, 2000 Semesterapparat at the library 29

30 Organization Organization 3h Lecture + 1h Exercises Time: Wednesday: Lecture 16:00 s.t.-18:00, Room G 210 Thursday: Lecture/Exercise: 10:00 c.t.-12:00, Room E 016 any changes necessary? website: sofronie/lecture-non-classical-ws-2012/ Homework - will be avaliable online after the lecture on Wednesday (at latest on Thursday evening); due on next Monday at 17:00. 30

31 Exam Exam: form (oral/written): to be decided 31

Logical Foundations of Mathematics and Computational Complexity a gentle introduction

Pavel Pudlák Logical Foundations of Mathematics and Computational Complexity a gentle introduction January 18, 2013 Springer i Preface As the title states, this book is about logic, foundations and complexity.

Introduction Section 1: Logic. The basic purpose is to learn some elementary logic.

1 Introduction About this course I hope that this course to be a practical one where you learn to read and write proofs yourselves. I will not present too much technical materials. The lecture pdf will

Peirce's Remarkable Rules of Inference

Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for

Kees van Deemter: Not Exactly: In Praise of Vagueness

Minds & Machines DOI 10.1007/s11023-011-9251-1 Kees van Deemter: Not Exactly: In Praise of Vagueness Oxford University Press, Oxford, 2010, xvi+341, \$29.95, ISBN: 0-199-5459-01 Patrick Allo Ó Springer

METAMATHEMATICS OF FUZZY LOGIC

METAMATHEMATICS OF FUZZY LOGIC TRENDS IN LOGIC Studia Logica Library VOLUME 4 Managing Editor Ryszard Wojcicki, Institute ofphilosophy and Sociology, Polish Academy ofsciences, Warsaw, Poland Editors Petr

What is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a

Appeared in Journal of Philosophical Logic 24 (1995), pp. 227-240. What is Character? David Braun University of Rochester In "Demonstratives", David Kaplan argues that indexicals and other expressions

Logic. Classical logic

Logic Historically there has been considerable variation in the understanding of the scope of the field of logic. Our concern is with what may be called, to distinguish it from other conceptions, formal,

Introduction: A Musico-Logical Offering

Chapter 3 Introduction: A Musico-Logical Offering Normal is a Distribution Unknown 3.1 Introduction to the Introduction As we have finally reached the beginning of the book proper, these notes should mirror

Reply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic

1 Reply to Stalnaker Timothy Williamson In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic as Metaphysics between contingentism in modal metaphysics and the use of

THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE

THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach 9th July 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel si vis expresse loqui de vi sermonis,

Philosophy Faculty Reading List and Course Outline PART IA PAPER 03: LOGIC

SYLLABUS Course Outline Philosophy Faculty Reading List and Course Outline 2017-2018 PART IA PAPER 03: LOGIC The Part IA logic course is in two parts, one on formal logic and one on philosophical logic.

Frege s Philosophy. Course Outline and Selected Reading

Frege s Philosophy Course Outline and Selected Reading The main text for this course is: Frege, Gottlob, (FR) The Frege Reader, ed. (Blackwell, 1997) This contains a selection of Frege s writings, including

Università della Svizzera italiana. Faculty of Communication Sciences. Master of Arts in Philosophy 2017/18

Università della Svizzera italiana Faculty of Communication Sciences Master of Arts in Philosophy 2017/18 Philosophy. The Master in Philosophy at USI is a research master with a special focus on theoretical

On Meaning. language to establish several definitions. We then examine the theories of meaning

Aaron Tuor Philosophy of Language March 17, 2014 On Meaning The general aim of this paper is to evaluate theories of linguistic meaning in terms of their success in accounting for definitions of meaning

On Recanati s Mental Files

November 18, 2013. Penultimate version. Final version forthcoming in Inquiry. On Recanati s Mental Files Dilip Ninan dilip.ninan@tufts.edu 1 Frege (1892) introduced us to the notion of a sense or a mode

This is an author produced version of Introduction from type theory and homotopy theory to univalent foundations.

This is an author produced version of Introduction from type theory and homotopy theory to univalent foundations. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/109431/ Article:

This article was downloaded by:[ingenta Content Distribution] On: 24 January 2008 Access Details: [subscription number 768420433] Publisher: Routledge Informa Ltd Registered in England and Wales Registered

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238.

The final chapter of the book is devoted to the question of the epistemological status of holistic pragmatism itself. White thinks of it as a thesis, a statement that may have been originally a very generalized

Elements of Style. Anders O.F. Hendrickson

Elements of Style Anders O.F. Hendrickson Years of elementary school math taught us incorrectly that the answer to a math problem is just a single number, the right answer. It is time to unlearn those

Dan Nesher, Department of Philosophy University of Haifa, Israel

GÖDEL ON TRUTH AND PROOF: Epistemological Proof of Gödel s Conception of the Realistic Nature of Mathematical Theories and the Impossibility of Proving Their Incompleteness Formally Dan Nesher, Department

Logica & Linguaggio: Tablaux

Logica & Linguaggio: Tablaux RAFFAELLA BERNARDI UNIVERSITÀ DI TRENTO P.ZZA VENEZIA, ROOM: 2.05, E-MAIL: BERNARDI@DISI.UNITN.IT Contents 1 Heuristics....................................................

LOGIC, LANGUAGE AND REASONING

LOGIC, LANGUAGE AND REASONING TRENDS IN LOGIC Studia Logica Library VOLUME 5 Managing Editor Ryszard W6jcicki, Institute of Philosophy and Sociology, Polish Academy of Sciences, Warsaw, Poland Editors

Marya Dzisko-Schumann THE PROBLEM OF VALUES IN THE ARGUMETATION THEORY: FROM ARISTOTLE S RHETORICS TO PERELMAN S NEW RHETORIC

Marya Dzisko-Schumann THE PROBLEM OF VALUES IN THE ARGUMETATION THEORY: FROM ARISTOTLE S RHETORICS TO PERELMAN S NEW RHETORIC Abstract The Author presents the problem of values in the argumentation theory.

WHITEHEAD'S PHILOSOPHY OF SCIENCE AND METAPHYSICS

WHITEHEAD'S PHILOSOPHY OF SCIENCE AND METAPHYSICS WHITEHEAD'S PHILOSOPHY OF SCIENCE AND METAPHYSICS AN INTRODUCTION TO HIS THOUGHT by WOLFE MAYS II MARTINUS NIJHOFF / THE HAGUE / 1977 FOR LAURENCE 1977

Interpreting quotations

Interpreting quotations Chung-chieh Shan Rutgers Linguistics October 12, 2007 Mixed quotes appear to mix mention and use, or direct and indirect quotation. (1) Quine says that quotation has a certain anomalous

What is formal logic? Jean-Yves Béziau

What is formal logic? Jean-Yves Béziau Institute of Logic and Semiological Research Center University of Neuchâtel, Neuchâtel, Switzerland The subject of formal logic when treated by the method of setting

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008.

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008. Reviewed by Christopher Pincock, Purdue University (pincock@purdue.edu) June 11, 2010 2556 words

ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES

ASPECTS OF ARISTOTLE'S LOGIC OF MODALITIES SYNTHESE HISTORICAL LIBRARY TEXTS AND STUDIES IN THE IllSTORY OF LOGIC AND PIffi.,OSOPHY Editors: N. KRETZMANN, Cornell University G. NUCHELMANS, University of

1 Introduction. With this text we present an introduction to the field which is at the same time

978--521-76268-7 - Relational Mathematics 1 Introduction A comparison may help to describe the intention of this book: natural sciences and engineering sciences have their differential and integral calculi.

PHILOSOPH ICAL PERSPECTI VES ON PROOF IN MATHEMATI CS EDUCATION

PHILOSOPH ICAL PERSPECTI VES ON PROOF IN MATHEMATI CS EDUCATION LEE, Joong Kwoen Dept. of Math. Ed., Dongguk University, 26 Pil-dong, Jung-gu, Seoul 100-715, Korea; joonglee@dgu.edu ABSTRACT This research

Pensées Canadiennes VOLUME 10, 2012 Canadian Undergraduate Journal of Philosophy Revue de philosophie des étudiants au baccalauréat du Canada 27 Inventing Logic: The Löwenheim-Skolem Theorem and Firstand

Lecture 7: Incongruent Counterparts

Lecture 7: Incongruent Counterparts 7.1 Kant s 1768 paper 7.1.1 The Leibnizian background Although Leibniz ultimately held that the phenomenal world, of spatially extended bodies standing in various distance

A Functional Representation of Fuzzy Preferences

Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional

Rhetoric - The Basics

Name AP Language, period Ms. Lockwood Rhetoric - The Basics Style analysis asks you to separate the content you are taking in from the methods used to successfully convey that content. This is a skill

Hybrid Logic Tango University of Buenos Aires February 2008

Hybrid Logic Tango University of Buenos Aires February 2008 Carlos Areces and Patrick Blackburn TALARIS team INRIA Nancy Grand Est France areces@loria.fr patrick.blackburn@loria.fr Lecture 5: 15 February

A Summary of the History of AI Before Computers

A Summary of the History of AI Before Computers Technical Report UT-CS-07-589 Bruce J. MacLennan * Department of Computer Science University of Tennessee, Knoxville www.cs.utk.edu/~mclennan January 24,

Quine s Two Dogmas of Empiricism. By Spencer Livingstone

Quine s Two Dogmas of Empiricism By Spencer Livingstone An Empiricist? Quine is actually an empiricist Goal of the paper not to refute empiricism through refuting its dogmas Rather, to cleanse empiricism

Conceptions and Context as a Fundament for the Representation of Knowledge Artifacts

Conceptions and Context as a Fundament for the Representation of Knowledge Artifacts Thomas KARBE FLP, Technische Universität Berlin Berlin, 10587, Germany ABSTRACT It is a well-known fact that knowledge

Beliefs under Unawareness

Beliefs under Unawareness Jing Li Department of Economics University of Pennsylvania 3718 Locust Walk Philadelphia, PA 19104 E-mail: jing.li@econ.upenn.edu October 2007 Abstract I study how choice behavior

Terminology. - Semantics: Relation between signs and the things to which they refer; their denotata, or meaning

Semiotics, also called semiotic studies or semiology, is the study of cultural sign processes (semiosis), analogy, metaphor, signification and communication, signs and symbols. Semiotics is closely related

Mathematical Realism in Jean Ladrière and Xavier Zubiri: Comparative Analysis of the Philosophical Status of Mathematical Objects, Methods, and Truth

The Xavier Zubiri Review, Vol. 11, 2009, pp. 5-25 Mathematical Realism in Jean Ladrière and Xavier Zubiri: Comparative Analysis of the Philosophical Status of Mathematical Objects, Methods, and Truth Luis

CSF Adamson Wing Baker Hall 136A. 8:00-9:00 Registration & Breakfast (Giant Eagle lobby, Baker Hall A51)

MONDAY JUNE 23 8:00-9:00 Registration & Breakfast (, Baker Hall A51) 9:00-9:05 Welcoming Remarks () Anupam Datta, Andrei Sabelfeld Language-Based Security Chair: Stephen Chong 9:05-9:35 Michele Bugliesi,

Principal version published in the University of Innsbruck Bulletin of 4 June 2012, Issue 31, No. 314

Note: The following curriculum is a consolidated version. It is legally non-binding and for informational purposes only. The legally binding versions are found in the University of Innsbruck Bulletins

Von Wright s The Logic of Preference Revisited

Von Wright s The Logic of Preference Revisited Fenrong Liu Abstract. Preference is a key area where analytic philosophy meets philosophical logic. I start with two related issues: reasons for preference,

Logic. Andrew Mark Allen March 4, 2012

Logic Andrew Mark Allen - 05370299 March 4, 2012 Abstract NAND gates and inverters were used to construct several different logic gates whose operations were investigate under various inputs. Then the

Kant s Logic Revisited

Theodora Achourioti ILLC, Amsterdam University College University of Amsterdam Science Park 113, 1098 XG Amsterdam, The Netherlands T.Achourioti@uva.nl Michiel van Lambalgen ILLC, Department of Philosophy

Aristotle The Master of those who know The Philosopher The Foal

Aristotle 384-322 The Master of those who know The Philosopher The Foal Pupil of Plato, Preceptor of Alexander 150 books, 1/5 known Stagira 367-347 Academy 347 Atarneus 343-335 Mieza 335-322 Lyceum Chalcis

Multiple Quantifiers. Multiple uses of a single quantifier. Chapter 11

Chapter 11 Multiple Quantifiers So far, we ve considered only sentences that contain a single quantifier symbol. This was enough to express the simple quantified forms studied by Aristotle, but hardly

The Language of First-Order Predicate Logic

The Language of First-Order Predicate Logic (Note: First-Order Predicate Logic differs from ordinary Predicate Logic in that it contains individual variables and quantifiers. The designation first-order

From the Modern Transcendental of Knowing to the Post-Modern Transcendental of Language

From the Modern Transcendental of Knowing to the Post-Modern Transcendental of Language Unit 12: An unexpected outcome: the triadic structure of E. Stein's formal ontology as synthesis of Husserl and Aquinas

SIGNS, SYMBOLS, AND MEANING DANIEL K. STEWMT*

SIGNS, SYMBOLS, AND MEANING DANIEL K. STEWMT* In research on communication one often encounters an attempted distinction between sign and symbol at the expense of critical attention to meaning. Somehow,

- 1 - I. Aristotle A. Biographical data 1. Macedonian, from Stagira; hence often referred to as "the Stagirite". 2. Dates: B. C. 3.

- 1 - I. Aristotle A. Biographical data 1. Macedonian, from Stagira; hence often referred to as "the Stagirite". 2. Dates: 384-322 B. C. 3. Student at Plato's Academy for twenty years 4. Left Athens at

A Note on Unawareness and Zero Probability

A Note on Unawareness and Zero Probability Jing Li Department of Economics University of Pennsylvania 3718 Locust Walk Philadelphia, PA 19104 E-mail: jing.li@econ.upenn.edu November 2007 Abstract I study

Peirce and Semiotic an Introduction

KODIKAS / CODE Ars Semeiotica Volume 36 (2013) # No. 3 4 Gunter Narr Verlag Tübingen Peirce and Semiotic an Introduction Charles Sanders Peirce (1839 1914) I am not going to re-state what I have already

Practical Intuition and Rhetorical Example. Paul Schollmeier

Practical Intuition and Rhetorical Example Paul Schollmeier I Let us assume with the classical philosophers that we have a faculty of theoretical intuition, through which we intuit theoretical principles,

Informatique Fondamentale IMA S8

Informatique Fondamentale IMA S8 Cours 1 - Intro + schedule + finite state machines Laure Gonnord http://laure.gonnord.org/pro/teaching/ Laure.Gonnord@polytech-lille.fr Université Lille 1 - Polytech Lille

1. What is Phenomenology?

1. What is Phenomenology? Introduction Course Outline The Phenomenology of Perception Husserl and Phenomenology Merleau-Ponty Neurophenomenology Email: ka519@york.ac.uk Web: http://www-users.york.ac.uk/~ka519

PROFESSORS: Bonnie B. Bowers (chair), George W. Ledger ASSOCIATE PROFESSORS: Richard L. Michalski (on leave short & spring terms), Tiffany A.

Psychology MAJOR, MINOR PROFESSORS: Bonnie B. (chair), George W. ASSOCIATE PROFESSORS: Richard L. (on leave short & spring terms), Tiffany A. The core program in psychology emphasizes the learning of representative

Trope Theory, Resemblance, and Russell's Regress

Trope Theory, Resemblance, and Russell's Regress Florian Boge 12.07.2012 Structure Introduction what are tropes? Nominalism about universals Bundle theory A refinement: nucleus theory Similarity relations

The logic of empirical theories revisited

Synthese (2012) 186:775 792 DOI 10.1007/s11229-011-9916-6 The logic of empirical theories revisited Johan van Benthem Received: 21 October 2009 / Accepted: 29 April 2010 / Published online: 25 March 2011

days of Saussure. For the most, it seems, Saussure has rightly sunk into

Saussure meets the brain Jan Koster University of Groningen 1 The problem It would be exaggerated to say thatferdinand de Saussure (1857-1913) is an almost forgotten linguist today. But it is certainly

New Logic and the Seeds of Analytic Philosophy: Boole and Frege

Word count: 12947 New Logic and the Seeds of Analytic Philosophy: Boole and Frege Kevin C. Klement 1 Introduction Simplistic accounts of its history sometimes portray logic as having stagnated in the West

Logic and Ontology in Hegel s Theory of Predication

DOI: 10.1111/ejop.12050 Logic and Ontology in Hegel s Theory of Predication Abstract: In this paper I sketch some arguments that underlie Hegel s chapter on judgment, and I attempt to place them within

Mixed Methods: In Search of a Paradigm

Mixed Methods: In Search of a Paradigm Ralph Hall The University of New South Wales ABSTRACT The growth of mixed methods research has been accompanied by a debate over the rationale for combining what

Core Logic. 1st Semester 2005/2006, period a & b. Dr Benedikt Löwe. Core Logic 2005/06-1ab p. 1/2

Core Logic 1st Semester 2005/2006, period a & b Dr Benedikt Löwe Core Logic 2005/06-1ab p. 1/2 Course Webpage. http://staff.science.uva.nl/ bloewe/ 2005-I-CL.html E-mail addresses. Dr. B. Löwe: bloewe@science.uva.nl

Harmony and tonality The vertical dimension. HST 725 Lecture 11 Music Perception & Cognition

Harvard-MIT Division of Health Sciences and Technology HST.725: Music Perception and Cognition Prof. Peter Cariani Harmony and tonality The vertical dimension HST 725 Lecture 11 Music Perception & Cognition

PHL 317K 1 Fall 2017 Overview of Weeks 1 5

PHL 317K 1 Fall 2017 Overview of Weeks 1 5 We officially started the class by discussing the fact/opinion distinction and reviewing some important philosophical tools. A critical look at the fact/opinion

Caught in the Middle. Philosophy of Science Between the Historical Turn and Formal Philosophy as Illustrated by the Program of Kuhn Sneedified

Caught in the Middle. Philosophy of Science Between the Historical Turn and Formal Philosophy as Illustrated by the Program of Kuhn Sneedified Christian Damböck Institute Vienna Circle University of Vienna

KANT S TRANSCENDENTAL LOGIC

KANT S TRANSCENDENTAL LOGIC This part of the book deals with the conditions under which judgments can express truths about objects. Here Kant tries to explain how thought about objects given in space and

Revitalising Old Thoughts: Class diagrams in light of the early Wittgenstein

In J. Kuljis, L. Baldwin & R. Scoble (Eds). Proc. PPIG 14 Pages 196-203 Revitalising Old Thoughts: Class diagrams in light of the early Wittgenstein Christian Holmboe Department of Teacher Education and

Formalization: methodology and concrete examples

Formalization: methodology and concrete examples Benedikt Löwe Logic, Language and Computation 1st Semester 2012/13 24 September 2012, 5pm The famous muddy children (in prose). Three brilliant children

Society for the Study of Symbolic Interaction SSSI/ASA 2002 Conference, Chicago

Society for the Study of Symbolic Interaction SSSI/ASA 2002 Conference, Chicago From Symbolic Interactionism to Luhmann: From First-order to Second-order Observations of Society Submitted by David J. Connell

Carlo Martini 2009_07_23. Summary of: Robert Sugden - Credible Worlds: the Status of Theoretical Models in Economics 1.

CarloMartini 2009_07_23 1 Summary of: Robert Sugden - Credible Worlds: the Status of Theoretical Models in Economics 1. Robert Sugden s Credible Worlds: the Status of Theoretical Models in Economics is

Frege: Two Theses, Two Senses

Frege: Two Theses, Two Senses CARLO PENCO Department of Philosophy, University of Genova draft for History and Philosophy of Logic One particular topic in the literature on Frege s conception of sense

Ridgeview Publishing Company

Ridgeview Publishing Company Externalism, Naturalism and Method Author(s): Kirk A. Ludwig Source: Philosophical Issues, Vol. 4, Naturalism and Normativity (1993), pp. 250-264 Published by: Ridgeview Publishing

Imperatives are existential modals; Deriving the must-reading as an Implicature. Despina Oikonomou (MIT)

Imperatives are existential modals; Deriving the must-reading as an Implicature Despina Oikonomou (MIT) The dual character of Imperatives with respect to their quantificational force has been a longlasting

Automatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors *

Automatic Polyphonic Music Composition Using the EMILE and ABL Grammar Inductors * David Ortega-Pacheco and Hiram Calvo Centro de Investigación en Computación, Instituto Politécnico Nacional, Av. Juan

Mathematics, Proofs and Computation

Mathematics, Proofs and Computation Madhu Sudan Harvard January 4, 2016 IIT-Bombay: Math, Proofs, Computing 1 of 25 Logic, Mathematics, Proofs Reasoning: Start with body of knowledge. Add to body of knowledge

The ambiguity of definite descriptions

The ambiguity of definite descriptions by MICHAEL MCKINSEY (Wayne State University) HOW are the semantic referents, or denotations, of definite descriptions determined? One commonly held view is the view

Dominican School of Philosophy and Theology PH 1115: Aristotelian Logic

Dominican School of Philosophy and Theology PH 1115: Aristotelian Logic Fall 2017 Instructor: John Thomas Mellein, O.P. Office: East 207 Office Hours: by appointment Telephone: 510-883-2072 E-mail: jmellein@dspt.edu

Emergence of Cooperation Through Mutual Preference Revision

Emergence of Cooperation Through Mutual Pedro Santana 1 Luís Moniz Pereira 2 1 IntRoSys, S.A. 2 CENTRIA, Universidade Nova de Lisboa 19th Int. Conf. on Industrial, Engineering & Other Applications of Applied

Thinking of or Thinking Through Diagrams? The Case of Conceptual Graphs.

Presented at the Thinking with Diagrams '98 conference, http://www.aber.ac.uk/~plo/twd98/ Thinking of or Thinking Through Diagrams? The Case of Conceptual Graphs. Adam Vile ( vileawa@sbu.ac.uk ) Simon

Philosophy Faculty Reading Lists PART II PAPER 07: MATHEMATICAL LOGIC

Philosophy Faculty Reading Lists 2011-2012 PART II PAPER 07: MATHEMATICAL LOGIC This paper, with something quite like the current syllabus, is a very long-standing Cambridge tradition, rather distinctively

EC6302-DIGITAL ELECTRONICS II YEAR /III SEMESTER ECE ACADEMIC YEAR

LECTURER NOTES ON EC6302-DIGITAL ELECTRONICS II YEAR /III SEMESTER ECE ACADEMIC YEAR 2014-2015 D.ANTONYPANDIARAJAN ASSISTANT PROFESSOR FMCET Introduction: The English mathematician George Boole (1815-1864)

Object Theory and Modal Meinongianism

Otávio Bueno and Edward N. Zalta 2 Object Theory and Modal Meinongianism Otávio Bueno Department of Philosophy University of Miami Coral Gables, FL 33124-4670 otaviobueno@mac.com and Edward N. Zalta Center

Phenomenology Glossary

Phenomenology Glossary Phenomenology: Phenomenology is the science of phenomena: of the way things show up, appear, or are given to a subject in their conscious experience. Phenomenology tries to describe

The Object Oriented Paradigm By Sinan Si Alhir (October 23, 1998) Updated October 23, 1998 Abstract The object oriented paradigm is a concept centric paradigm encompassing the following pillars (first

In M. J. Høines and A. B. Fuglestad (eds.), Proceedings of the 28 Conference of the international group for the psychology of mathematics education (PME 28), Vol. 1, pp. 161-166. Norway: Bergen University

Chapter 18: Supplementary Formal Material

Hardegree, Compositional Semantics, Chapter 18: Supplementary Formal Material 1 of 10 Chapter 18: Supplementary Formal Material Chapter 18: Supplementary Formal Material...1 A. Formal Languages...2 B.

Architecture is epistemologically

The need for theoretical knowledge in architectural practice Lars Marcus Architecture is epistemologically a complex field and there is not a common understanding of its nature, not even among people working

November-December 2009

Ulrich's Bimonthly 1 Werner Ulrich's Home Page: Ulrich's Bimonthly Formerly "Picture of the Month" November-December 2009 Reflections on Reflective Practice (6b/7) HOME WERNER ULRICH'S BIO PUBLICATIONS

SRM UNIVERSITY FACULTY OF ENGINEERING AND TECHNOLOGY SCHOOL OF ELECTRONICS AND ELECTRICAL ENGINEERING DEPARTMENT OF ECE COURSE PLAN

SRM UNIVERSITY FACULTY OF ENGINEERING AND TECHNOLOGY SCHOOL OF ELECTRONICS AND ELECTRICAL ENGINEERING DEPARTMENT OF ECE COURSE PLAN Course Code : EC0205 Course Title : DIGITAL SYSTEMS Semester : III Course

Tools for Thinking. Chapter Introduction. 2.2 Formal Systems. Always Be Prepared. Boy Scout Motto

Chapter 2 Tools for Thinking Always Be Prepared. Boy Scout Motto 2.1 Introduction The premise for this chapter is that before we take off on our journey, we need to read the travel guide, so that we know

Comparatives, Indices, and Scope

To appear in: Proceedings of FLSM VI (1995) Comparatives, Indices, and Scope Christopher Kennedy University of California, Santa Cruz 13 July, 1995 kennedy@ling.ucsc.edu 1 Russell's ambiguity Our knowledge

A New General Class of Fuzzy Flip-Flop Based on Türkşen s Interval Valued Fuzzy Sets

Magyar Kutatók 7. Nemzetközi Szimpóziuma 7 th International Symposium of Hungarian Researchers on Computational Intelligence A New General Class of Fuzzy Flip-Flop Based on Türkşen s Interval Valued Fuzzy

Varieties of Nominalism Predicate Nominalism The Nature of Classes Class Membership Determines Type Testing For Adequacy

METAPHYSICS UNIVERSALS - NOMINALISM LECTURE PROFESSOR JULIE YOO Varieties of Nominalism Predicate Nominalism The Nature of Classes Class Membership Determines Type Testing For Adequacy Primitivism Primitivist

The Paradox of the Unexpected Hanging

's Unexpected Hanging CHAPTER ONE The Paradox of the Unexpected Hanging A new and powerful paradox has come to light. This is the opening sentence of a mind-twisting article by Michael Scriven that appeared