prohibition, moral commitment and other normative matters. Although often described as a branch


 Joel Turner
 4 years ago
 Views:
Transcription
1 Logic, deontic. The study of principles of reasoning pertaining to obligation, permission, prohibition, moral commitment and other normative matters. Although often described as a branch of logic, deontic logic lacks the "topicneutrality" characteristic of logic proper. It is better viewed as an application of logic to ethical concepts, in much the same way as formal geometry is an application of logic to spatial concepts. Likewise, although hopes have been expressed that deontic logic might help to systematize the practical reasoning whereby we infer from general principles and observed facts what we ought to do, the most studied systems of deontic logic comprise mainly theoretical principles, expressing inferential relations among various ethical concepts. Several principles prominent in the current literature were noted by various medieval philosophers, and again by Leibniz and by Jeremy Bentham, but focused and sustained thought in the field is a twentieth century phenomenon, kindled largely by the writings of G. H. von Wright. Early work was motivated by analogies between the deontic concepts of obligation, permission and prohibition and the alethic concepts of necessity, possibility and impossibility. The first analogies to be noted concerned "interchange" principles. If and represent necessity and possibility, for example, then the formula A A says that to deny A is necessary is to assert nota is possible. If they represent obligation and permission it says (equally plausibly) that to deny A is obligatory is to assert nota is permitted. Similarly, A A and IA A (where I is either "impossible" or "forbidden") have equally plausible alethic and deontic readings. The development of complete formal systems of necessity led naturally to an effort to see how far the analogy can be extended. The weakest system in which can plausibly be regarded as a expressing some form of necessity is the system T, which contains, in addition to the interchange principles, principles of distribution ( (A & B) A & B) and reflexivity ( A A). Of these, reflexivity is obviously false under the deontic interpretation. Replacing it by the weaker formula A A (what is obligatory is permitted), yields what is sometimes called the standard system of deontic logic. The system T is known to be characterized by an interpretation according to which A is true at a world w exactly when A is true at all worlds that are possible relative to w, i.e., at all worlds at which all the necessary
2 truths of w are true. It follows that the standard system of deontic logic is characterized by an interpretation according to which A is true at w exactly when A is true in all worlds "deontically accessible" from w, i.e., all worlds in which the all obligations of w are fulfilled. Much of the contemporary work in deontic logic has been inspired by the deontic paradoxes, a collection of puzzle cases that have seemed to highlight deficiencies in the standard system. For example, according to a version of Chisholm's paradox, the following clauses should be mutually independent and jointly consistent: Dr. Jones ought to administer anaesthesia if she operates; she ought not to if she doesn't; she has an obligation to operate, which she fails to meet. But attempts to represent these sentences within the standard system yield inconsistencies or redundancies. According to a version of the good Samaritan paradox, Smith's repenting of a murder logically implies his committing the murder, but his obligation to repent does not imply his obligation to have committed it. Yet in the standard system, the provability of A B implies the provability of A B. One reaction to examples like these has been to take sentences like "Jones should administer anaesthesia if she operates" as exemplifying an irreducibly dyadic relation of conditional obligation. "A is obligatory given B" has been interpreted, for example, as saying that B is true in the "best" of the worlds in which A is. Another reaction has been to eschew the operator "It is obligatory that..." which attaches to sentences in favour of a predicate of obligation which attaches only to names of actions. This approach eliminates altogether awkward formulae like A A, though it also risks eliminating formulae like ( A A) which have been thought to express important truths. It raises interesting questions about the nature of combined actions like "a or b" and about the relations between general deontic statements ("smoking is prohibited") and their instances ("Smith's smoking here now is prohibited"). In recent years, there has been considerable discussion about the plausibility of the schema ( A A), which is provable in the standard system. The issue is whether there is a phenomenon of moral experience, ruled out by the schema, in which an agent is faced with irresolvable and tragic moral "dilemma" or "conflict." It has also been suggested that some of the shortcomings of the standard system can be remedied by a closer
3 attention to the ways in which obligation and permission depend on time, and that there might be fruitful connections among deontic logic, formal epistemology and logics for the verification of computer programs. Bibliography L. Åqvist, 'Deontic Logic', D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol II (Dordrecht, 1984); C. Gowans (ed.) Moral Dilemmas, (Oxford, 1987); Hilpinen (ed.), Deontic Logic: Introductory and Systematic Readings (Dordrecht, 1971); Hilpinen (ed.), New Studies in Deontic Logic: Norms Actions and the Foundations of Ethics (Dordrecht, 1981). STK
4 Logic, manyvalued. Logical systems in which formulas may be assigned truth values other than merely "true" and "false". The term is often used more narrowly to refer to manyvalued tabular logics, in which the truth value of a formula is determined by the truth values of its subformulas. (This characteristic distinguishes manyvalued logics from standard *modal logics.) The idea that logic ought to countenance more than two truth values arose naturally in ancient and medieval discussions of *determinism and was reexamined by C.S. *Peirce, Hugh MacColl, and Nikolai Vasiliev in the first decade of this century. Explicit formulation and systematic investigation of manyvalued logics began with writings of Jan ukasiewicz and Emil Post in the nineteen twenties and D. Bochvar, Jerzy S upecki and Stephen Kleene in the late thirties. There has been some renewed interest in the subject recently, because of perceived connections with programming languages and artificial intelligence. ukasiewicz's work is inspired by a view of "future contingents" often attributed to Aristotle. There is a sense in which whatever happens in the present or past is now unalterable. This idea sometimes finds expression in the doctrine that sentences now true are unalterably true and those now false are unalterably false. But, although it seems that There will be a sea battle tomorrow is now either true or false, it does not seem unalterably true or unalterably false. Considerations like this led ukasiewicz to adopt the view that future contingent sentences are not either true or false, but have an intermediate truth value, "the possible". He constructed a formal language, taking the conditional ( ) and negation ( ) as primitive connectives and false (0), possible (½), and true (1) as truth values. Truth values of compound formulas are determined by the tables below. A * A A * B * A B ))3)) ))3)))3)))) 1 * 0 1 * 1 * 1 ½ * ½ 1 * ½ * ½ 0 * 1 1 * 0 * 0 ½ * 1 * 1 ½ * ½ * 1 ½ * 0 * ½ 0 * 1 * 1 0 * ½ * 1 0 * 0 * 1
5 To obtain a manyvalued logic from a table like this, one specifies certain truth values as designated. The argument from set to formula A is logically valid if A gets a designated truth value under any assignment in which all the members of do. A is logically true if it gets a designated value under any assignment. For example, if 1 and ½ are both designated then (P P) P is a logical truth by these tables; if (as ukasiewicz intended) only 1 is designated then it is not. With ukasiewicz's understanding that P Q abbreviates (P Q) Q, the formula in question expresses the law of *excluded middle. It is doubtful that these (or any) truth tables capture precisely the kind of possibility exhibited by future contingents. Why, for example, should If there won't be a sea battle there will be one be considered true, while If 2+2=4 then there will be a sea battle is merely possible? Nevertheless, the original ukasiewicz system has been generalized, axiomatized, reinterpreted, modified and otherwise studied. ukasiewicz himself considered generalizations permitting more than one intermediate truth value. A gets truth value 1 minus the truth value of A; A B gets the greater of the truth values of A and B. Other many valued systems have been motivated by the idea that additional truth values might express the notion of a proposition's being paradoxical (its truth implying its falsity and its falsity implying its truth), of its having uncomputable truth value, of its being approximately true, and of its having failed presuppositions of various sorts. Nearly all the systems considered generalize classical logic in the sense that if truth values other than 0 and 1 are dropped, classical logic is obtained. Post formulated a technically advantageous system in which ukasiewicz's negation is replaced by a "cyclic" negationthe truth values are 0,1,..,m and the truth value of A is 0 if the truth value of A is m and it is 1+the truth value of A otherwise. Post's negation and disjunction are truth functionally complete: any connective in a finitevalued logic (including the conditional and negation of ukasiewicz's three valued logic discussed above) can be defined from them. This result has practical significance, for just as the formulas of classical propositional logic correspond to logic
6 circuits, the formulas of mvalued logics correspond to switching circuits in which inputs and outputs can assume m states. More recent investigations have examined the model theory and proof theory of general manyvalued logic and of continuous logic, in which the truth values are assumed to have a topological structure. It is enlightening to see certain results of classical logic proved in a more general setting. The works cited below are a small sample of the large and varied literature on the subject, but they do contain references to much of the rest. Bibliography N. Rescher, Manyvalued Logic, ( New York, 1969); A. Urquhart, 'Manyvalued Logic', D. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol III, ( Dordrecht, 1986); R Wójcicki, Theory of Logical Calculi: Basic Theory of Consequence Operations, (Dordrecht 1988); R. Wolf, 'A Survey of Manyvalued Logic ( )', in Dunn and Epstein (eds.), Modern Uses of multiplevalued logic' (Dordrecht, 1975). STK
Instrumental reasoning* John Broome
Instrumental reasoning* John Broome For: Rationality, Rules and Structure, edited by Julian NidaRümelin and Wolfgang Spohn, Kluwer. * This paper was written while I was a visiting fellow at the Swedish
More informationG. H. von Wright Deontic Logic
G. H. von Wright Deontic Logic Kian MintzWoo University of Amsterdam January 9, 2009 January 9, 2009 Logic of Norms 2010 1/17 INTRODUCTION In von Wright s 1951 formulation, deontic logic is intended to
More informationEthical Consistency and the Logic of Ought
Ethical Consistency and the Logic of Ought Mathieu Beirlaen Ghent University In Ethical Consistency, Bernard Williams vindicated the possibility of moral conflicts; he proposed to consistently allow for
More informationPredicate 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. Firstorder logic. Question 1. Describe this discipline/subdiscipline, and some of its more
More informationA Generalization of Hume s Thesis
Philosophia Scientiæ Travaux d'histoire et de philosophie des sciences 101 2006 Jerzy Kalinowski : logique et normativité A Generalization of Hume s Thesis Jan Woleński Publisher Editions Kimé Electronic
More informationLogic & Proofs. Chapter 3 Content. Sentential Logic Semantics. Contents: Studying this chapter will enable you to:
Sentential Logic Semantics Contents: TruthValue Assignments and TruthFunctions TruthValue Assignments TruthFunctions Introduction to the TruthLab TruthDefinition Logical Notions TruthTrees Studying
More informationCan Negation be Defined in Terms of Incompatibility?
Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Abstract Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus primitives
More informationA Model of Decidable Introspective Reasoning with QuantifyingIn
A Model of Decidable Introspective Reasoning with QuantifyingIn Gerhard Lakemeyer* Institut fur Informatik III Universitat Bonn Romerstr. 164 W5300 Bonn 1, Germany email: gerhard@uran.informatik.unibonn,de
More informationZimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986):
SUBSIDIARY OBLIGATION By: MICHAEL J. ZIMMERMAN Zimmerman, Michael J. Subsidiary Obligation, Philosophical Studies, 50 (1986): 6575. Made available courtesy of Springer Verlag. The original publication
More informationA 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 informationAquinas' Third Way Modalized
Philosophy of Religion Aquinas' Third Way Modalized Robert E. Maydole Davidson College bomaydole@davidson.edu ABSTRACT: The Third Way is the most interesting and insightful of Aquinas' five arguments for
More informationA Liar Paradox. Richard G. Heck, Jr. Brown University
A Liar Paradox Richard G. Heck, Jr. Brown University It is widely supposed nowadays that, whatever the right theory of truth may be, it needs to satisfy a principle sometimes known as transparency : Any
More information1.2. What is said: propositions
1.2. What is said: propositions 1.2.0. Overview In 1.1.5, we saw the close relation between two properties of a deductive inference: (i) it is a transition from premises to conclusion that is free of any
More informationContrary to Duty Obligations A Study in Legal Ontology
89 Contrary to Duty Obligations A Study in Legal Ontology Jaap Hage Department of Metajuridica Faculty of Law Universiteit Maastricht The Netherlands jaap.hage@metajur.unimaas.nl Abstract.In this paper
More informationGeneric truth and mixed conjunctions: some alternatives
Analysis Advance Access published June 15, 2009 Generic truth and mixed conjunctions: some alternatives AARON J. COTNOIR Christine Tappolet (2000) posed a problem for alethic pluralism: either deny the
More informationPhilosophy 240: Symbolic Logic
Philosophy 240: Symbolic Logic Russell Marcus Hamilton College Fall 2011 Class 27: October 28 Truth and Liars Marcus, Symbolic Logic, Fall 2011 Slide 1 Philosophers and Truth P Sex! P Lots of technical
More informationLogic and Pragmatics: linear logic for inferential practice
Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24
More informationTHE MEANING OF OUGHT. Ralph Wedgwood. What does the word ought mean? Strictly speaking, this is an empirical question, about the
THE MEANING OF OUGHT Ralph Wedgwood What does the word ought mean? Strictly speaking, this is an empirical question, about the meaning of a word in English. Such empirical semantic questions should ideally
More informationCan Negation be Defined in Terms of Incompatibility?
Can Negation be Defined in Terms of Incompatibility? Nils Kurbis 1 Introduction Every theory needs primitives. A primitive is a term that is not defined any further, but is used to define others. Thus
More informationEvaluating Classical Identity and Its Alternatives by Tamoghna Sarkar
Evaluating Classical Identity and Its Alternatives by Tamoghna Sarkar Western Classical theory of identity encompasses either the concept of identity as introduced in the firstorder logic or language
More informationNegative Introspection Is Mysterious
Negative Introspection Is Mysterious Abstract. The paper provides a short argument that negative introspection cannot be algorithmic. This result with respect to a principle of belief fits to what we know
More informationA SOLUTION TO FORRESTER'S PARADOX OF GENTLE MURDER*
162 THE JOURNAL OF PHILOSOPHY cial or political order, without this secondorder dilemma of who is to do the ordering and how. This is not to claim that A2 is a sufficient condition for solving the world's
More informationLanguage, Meaning, and Information: A Case Study on the Path from Philosophy to Science Scott Soames
Language, Meaning, and Information: A Case Study on the Path from Philosophy to Science Scott Soames Near the beginning of the final lecture of The Philosophy of Logical Atomism, in 1918, Bertrand Russell
More information1. Lukasiewicz s Logic
Bulletin of the Section of Logic Volume 29/3 (2000), pp. 115 124 Dale Jacquette AN INTERNAL DETERMINACY METATHEOREM FOR LUKASIEWICZ S AUSSAGENKALKÜLS Abstract An internal determinacy metatheorem is proved
More informationAn alternative understanding of interpretations: Incompatibility Semantics
An alternative understanding of interpretations: Incompatibility Semantics 1. In traditional (truththeoretic) semantics, interpretations serve to specify when statements are true and when they are false.
More informationChisholm s Paradox in ShouldConditionals
Chisholm s Paradox in ShouldConditionals Ana Arregui University of Ottawa 1. Introduction This paper will be concerned with the problem of factual detachment in deontic conditionals. The goal is to investigate
More informationFigure 1 Figure 2 U S S. nonp P P
1 Depicting negation in diagrammatic logic: legacy and prospects Fabien Schang, Amirouche Moktefi schang.fabien@voila.fr amirouche.moktefi@gersulp.ustrasbg.fr Abstract Here are considered the conditions
More informationINTERMEDIATE LOGIC Glossary of key terms
1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include
More informationInformalizing 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 informationRemarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh
For Philosophy and Phenomenological Research Remarks on a Foundationalist Theory of Truth Anil Gupta University of Pittsburgh I Tim Maudlin s Truth and Paradox offers a theory of truth that arises from
More informationConstructive Logic, Truth and Warranted Assertibility
Constructive Logic, Truth and Warranted Assertibility Greg Restall Department of Philosophy Macquarie University Version of May 20, 2000....................................................................
More informationBroad on Theological Arguments. I. The Ontological Argument
Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More informationCan logical consequence be deflated?
Can logical consequence be deflated? Michael De University of Utrecht Department of Philosophy Utrecht, Netherlands mikejde@gmail.com in Insolubles and Consequences : essays in honour of Stephen Read,
More informationAll They Know: A Study in MultiAgent Autoepistemic Reasoning
All They Know: A Study in MultiAgent Autoepistemic Reasoning PRELIMINARY REPORT Gerhard Lakemeyer Institute of Computer Science III University of Bonn Romerstr. 164 5300 Bonn 1, Germany gerhard@cs.unibonn.de
More informationBased on the translation by E. M. Edghill, with minor emendations by Daniel Kolak.
On Interpretation By Aristotle Based on the translation by E. M. Edghill, with minor emendations by Daniel Kolak. First we must define the terms 'noun' and 'verb', then the terms 'denial' and 'affirmation',
More informationArtificial Intelligence. Clause Form and The Resolution Rule. Prof. Deepak Khemani. Department of Computer Science and Engineering
Artificial Intelligence Clause Form and The Resolution Rule Prof. Deepak Khemani Department of Computer Science and Engineering Indian Institute of Technology, Madras Module 07 Lecture 03 Okay so we are
More informationILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS
ILLOCUTIONARY ORIGINS OF FAMILIAR LOGICAL OPERATORS 1. ACTS OF USING LANGUAGE Illocutionary logic is the logic of speech acts, or language acts. Systems of illocutionary logic have both an ontological,
More informationChapter 6. Fate. (F) Fatalism is the belief that whatever happens is unavoidable. (55)
Chapter 6. Fate (F) Fatalism is the belief that whatever happens is unavoidable. (55) The first, and most important thing, to note about Taylor s characterization of fatalism is that it is in modal terms,
More informationBob Hale: Necessary Beings
Bob Hale: Necessary Beings Nils Kürbis In Necessary Beings, Bob Hale brings together his views on the source and explanation of necessity. It is a very thorough book and Hale covers a lot of ground. It
More informationSemantic Foundations for Deductive Methods
Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the
More informationFatalism and Truth at a Time Chad Marxen
Stance Volume 6 2013 29 Fatalism and Truth at a Time Chad Marxen Abstract: In this paper, I will examine an argument for fatalism. I will offer a formalized version of the argument and analyze one of the
More informationOn 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 informationLeibniz, Principles, and Truth 1
Leibniz, Principles, and Truth 1 Leibniz was a man of principles. 2 Throughout his writings, one finds repeated assertions that his view is developed according to certain fundamental principles. Attempting
More informationComments on Truth at A World for Modal Propositions
Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into
More informationDeontic Logic. G. H. von Wright. Mind, New Series, Vol. 60, No (Jan., 1951), pp
Deontic Logic G. H. von Wright Mind, New Series, Vol. 60, No. 237. (Jan., 1951), pp. 115. Stable URL: http://links.jstor.org/sici?sici=00264423%28195101%292%3a60%3a237%3c1%3adl%3e2.0.co%3b2c Mind is
More informationReview of "The Tarskian Turn: Deflationism and Axiomatic Truth"
Essays in Philosophy Volume 13 Issue 2 Aesthetics and the Senses Article 19 August 2012 Review of "The Tarskian Turn: Deflationism and Axiomatic Truth" Matthew McKeon Michigan State University Follow this
More informationExercise Sets. KS Philosophical Logic: Modality, Conditionals Vagueness. Dirk Kindermann University of Graz July 2014
Exercise Sets KS Philosophical Logic: Modality, Conditionals Vagueness Dirk Kindermann University of Graz July 2014 1 Exercise Set 1 Propositional and Predicate Logic 1. Use Definition 1.1 (Handout I Propositional
More informationHAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ
HAVE WE REASON TO DO AS RATIONALITY REQUIRES? A COMMENT ON RAZ BY JOHN BROOME JOURNAL OF ETHICS & SOCIAL PHILOSOPHY SYMPOSIUM I DECEMBER 2005 URL: WWW.JESP.ORG COPYRIGHT JOHN BROOME 2005 HAVE WE REASON
More informationLecturer: Xavier Parent. Imperative logic and its problems. by Joerg Hansen. Imperative logic and its problems 1 / 16
Lecturer: Xavier Parent by Joerg Hansen 1 / 16 Topic of the lecture Handbook chapter ", by J. Hansen Imperative logic close to deontic logic, albeit different Complements the big historical chapter in
More informationOn Interpretation. Section 1. Aristotle Translated by E. M. Edghill. Part 1
On Interpretation Aristotle Translated by E. M. Edghill Section 1 Part 1 First we must define the terms noun and verb, then the terms denial and affirmation, then proposition and sentence. Spoken words
More informationVAGUENESS. Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada
VAGUENESS Francis Jeffry Pelletier and István Berkeley Department of Philosophy University of Alberta Edmonton, Alberta, Canada Vagueness: an expression is vague if and only if it is possible that it give
More informationCONTENTS A SYSTEM OF LOGIC
EDITOR'S INTRODUCTION NOTE ON THE TEXT. SELECTED BIBLIOGRAPHY XV xlix I /' ~, r ' o>
More informationArtificial 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 informationLecture Notes on Classical Logic
Lecture Notes on Classical Logic 15317: Constructive Logic William Lovas Lecture 7 September 15, 2009 1 Introduction In this lecture, we design a judgmental formulation of classical logic To gain an intuition,
More informationMaudlin s Truth and Paradox Hartry Field
Maudlin s Truth and Paradox Hartry Field Tim Maudlin s Truth and Paradox is terrific. In some sense its solution to the paradoxes is familiar the book advocates an extension of what s called the KripkeFeferman
More informationHorwich and the Liar
Horwich and the Liar Sergi Oms Sardans Logos, University of Barcelona 1 Horwich defends an epistemic account of vagueness according to which vague predicates have sharp boundaries which we are not capable
More informationHANDBOOK. IV. Argument Construction Determine the Ultimate Conclusion Construct the Chain of Reasoning Communicate the Argument 13
1 HANDBOOK TABLE OF CONTENTS I. Argument Recognition 2 II. Argument Analysis 3 1. Identify Important Ideas 3 2. Identify Argumentative Role of These Ideas 4 3. Identify Inferences 5 4. Reconstruct the
More informationVarieties 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 information1. 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 informationNecessity. Oxford: Oxford University Press. Pp. iix, 379. ISBN $35.00.
Appeared in Linguistics and Philosophy 26 (2003), pp. 367379. Scott Soames. 2002. Beyond Rigidity: The Unfinished Semantic Agenda of Naming and Necessity. Oxford: Oxford University Press. Pp. iix, 379.
More informationHANDBOOK (New or substantially modified material appears in boxes.)
1 HANDBOOK (New or substantially modified material appears in boxes.) I. ARGUMENT RECOGNITION Important Concepts An argument is a unit of reasoning that attempts to prove that a certain idea is true by
More informationLOGICAL PLURALISM IS COMPATIBLE WITH MONISM ABOUT METAPHYSICAL MODALITY
LOGICAL PLURALISM IS COMPATIBLE WITH MONISM ABOUT METAPHYSICAL MODALITY Nicola Ciprotti and Luca Moretti Beall and Restall [2000], [2001] and [2006] advocate a comprehensive pluralist approach to logic,
More informationFuture Contingents, NonContradiction and the Law of Excluded Middle Muddle
Future Contingents, NonContradiction and the Law of Excluded Middle Muddle For whatever reason, we might think that contingent statements about the future have no determinate truth value. Aristotle, in
More informationQualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus
University of Groningen Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus Published in: EPRINTSBOOKTITLE IMPORTANT NOTE: You are advised to consult
More informationWhat is the Frege/Russell Analysis of Quantification? Scott Soames
What is the Frege/Russell Analysis of Quantification? Scott Soames The FregeRussell analysis of quantification was a fundamental advance in semantics and philosophical logic. Abstracting away from details
More informationDYADIC DEONTIC LOGIC AND CONTRARYTODUTY OBLIGATIONS
HENRY PRAKKEN AND MAREK SERGOT DYADIC DEONTIC LOGIC AND CONTRARYTODUTY OBLIGATIONS 1. INTRODUCTION One of the main issues in the discussion on standard deontic logic (SDL) is the representation of contrarytoduty
More informationFrom Necessary Truth to Necessary Existence
Prequel for Section 4.2 of Defending the Correspondence Theory Published by PJP VII, 1 From Necessary Truth to Necessary Existence Abstract I introduce new details in an argument for necessarily existing
More informationPhilosophy Courses1
Philosophy Courses1 PHL 100/Introduction to Philosophy A course that examines the fundamentals of philosophical argument, analysis and reasoning, as applied to a series of issues in logic, epistemology,
More informationPowerful Arguments: Logical Argument Mapping
Georgia Institute of Technology From the SelectedWorks of Michael H.G. Hoffmann 2011 Powerful Arguments: Logical Argument Mapping Michael H.G. Hoffmann, Georgia Institute of Technology  Main Campus Available
More informationMoral dilemmas. Digital Lingnan University. Lingnan University. Gopal Shyam NAIR
Lingnan University Digital Commons @ Lingnan University Staff Publications Lingnan Staff Publication 112015 Moral dilemmas Gopal Shyam NAIR Follow this and additional works at: http://commons.ln.edu.hk/sw_master
More informationA dialogical, multiagent account of the normativity of logic. Catarin Dutilh Novaes Faculty of Philosophy University of Groningen
A dialogical, multiagent account of the normativity of logic Catarin Dutilh Novaes Faculty of Philosophy University of Groningen 1 Introduction In what sense (if any) is logic normative for thought? But
More informationForeknowledge, evil, and compatibility arguments
Foreknowledge, evil, and compatibility arguments Jeff Speaks January 25, 2011 1 Warfield s argument for compatibilism................................ 1 2 Why the argument fails to show that free will and
More informationRichard 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 informationThe Irreducibility of Personal Obligation 1
The Irreducibility of Personal Obligation 1 How are claims about what people ought to do related to claims about what ought to be the case? That is, how are claims about of personal obligation, of the
More informationPHILOSOPHY OF LOGIC AND LANGUAGE OVERVIEW LOGICAL CONSTANTS WEEK 5: MODELTHEORETIC CONSEQUENCE JONNY MCINTOSH
PHILOSOPHY OF LOGIC AND LANGUAGE WEEK 5: MODELTHEORETIC CONSEQUENCE JONNY MCINTOSH OVERVIEW Last week, I discussed various strands of thought about the concept of LOGICAL CONSEQUENCE, introducing Tarski's
More informationEthical Terminology Keith BurgessJackson 27 December 2017
Ethical Terminology Keith BurgessJackson 27 December 2017 A normative ethical theory is a statement of necessary and sufficient conditions for moral rightness. Act Utilitarianism (AU), for example, says
More informationDISCUSSION PRACTICAL POLITICS AND PHILOSOPHICAL INQUIRY: A NOTE
Practical Politics and Philosophical Inquiry: A Note Author(s): Dale Hall and Tariq Modood Reviewed work(s): Source: The Philosophical Quarterly, Vol. 29, No. 117 (Oct., 1979), pp. 340344 Published by:
More informationPRACTICAL REASONING. Bart Streumer
PRACTICAL REASONING Bart Streumer b.streumer@rug.nl In Timothy O Connor and Constantine Sandis (eds.), A Companion to the Philosophy of Action Published version available here: http://dx.doi.org/10.1002/9781444323528.ch31
More informationParadox of Deniability
1 Paradox of Deniability Massimiliano Carrara FISPPA Department, University of Padua, Italy Peking University, Beijing  6 November 2018 Introduction. The starting elements Suppose two speakers disagree
More informationUnderstanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002
1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate
More informationTWO VERSIONS OF HUME S LAW
DISCUSSION NOTE BY CAMPBELL BROWN JOURNAL OF ETHICS & SOCIAL PHILOSOPHY DISCUSSION NOTE MAY 2015 URL: WWW.JESP.ORG COPYRIGHT CAMPBELL BROWN 2015 Two Versions of Hume s Law MORAL CONCLUSIONS CANNOT VALIDLY
More informationPhilosophy Courses1
Philosophy Courses1 PHL 100/Introduction to Philosophy A course that examines the fundamentals of philosophical argument, analysis and reasoning, as applied to a series of issues in logic, epistemology,
More informationAn Introduction to. Formal Logic. Second edition. Peter Smith, February 27, 2019
An Introduction to Formal Logic Second edition Peter Smith February 27, 2019 Peter Smith 2018. Not for reposting or recirculation. Comments and corrections please to ps218 at cam dot ac dot uk 1 What
More informationWhat is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece
What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 PanHellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history
More informationRULES, RIGHTS, AND PROMISES.
MIDWEST STUDIES IN PHILOSOPHY, I11 (1978) RULES, RIGHTS, AND PROMISES. G.E.M. ANSCOMBE I HUME had two theses about promises: one, that a promise is naturally unintelligible, and the other that even if
More informationThe Development of Laws of Formal Logic of Aristotle
This paper is dedicated to my unforgettable friend Boris Isaevich Lamdon. The Development of Laws of Formal Logic of Aristotle The essence of formal logic The aim of every science is to discover the laws
More informationOxford 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 informationContradictory Information Can Be Better than Nothing The Example of the Two Firemen
Contradictory Information Can Be Better than Nothing The Example of the Two Firemen J. Michael Dunn School of Informatics and Computing, and Department of Philosophy Indiana UniversityBloomington Workshop
More informationTOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
CDD: 160 http://dx.doi.org/10.1590/01006045.2015.v38n2.wcear TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY WALTER CARNIELLI 1, ABÍLIO RODRIGUES 2 1 CLE and Department of
More informationDivine Eternity and the Reduplicative Qua. are present to God or does God experience a succession of moments? Most philosophers agree
Divine Eternity and the Reduplicative Qua Introduction One of the great polemics of Christian theism is how we ought to understand God s relationship to time. Is God timeless or temporal? Does God transcend
More informationEtchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999):
Etchemendy, Tarski, and Logical Consequence 1 Jared Bates, University of Missouri Southwest Philosophy Review 15 (1999): 47 54. Abstract: John Etchemendy (1990) has argued that Tarski's definition of logical
More informationGROUNDING AND LOGICAL BASING PERMISSIONS
Diametros 50 (2016): 81 96 doi: 10.13153/diam.50.2016.979 GROUNDING AND LOGICAL BASING PERMISSIONS Diego Tajer Abstract. The relation between logic and rationality has recently reemerged as an important
More informationFUNDAMENTAL PRINCIPLES OF THE METAPHYSIC OF MORALS. by Immanuel Kant
FUNDAMENTAL PRINCIPLES OF THE METAPHYSIC OF MORALS SECOND SECTION by Immanuel Kant TRANSITION FROM POPULAR MORAL PHILOSOPHY TO THE METAPHYSIC OF MORALS... This principle, that humanity and generally every
More informationIntrinsic Properties Defined. Peter Vallentyne, Virginia Commonwealth University. Philosophical Studies 88 (1997):
Intrinsic Properties Defined Peter Vallentyne, Virginia Commonwealth University Philosophical Studies 88 (1997): 209219 Intuitively, a property is intrinsic just in case a thing's having it (at a time)
More informationA Review of Norm Geisler's Prolegomena
A Review of Norm Geisler's Prolegomena 2017 by A Jacob W. Reinhardt, All Rights Reserved. Copyright holder grants permission to reduplicate article as long as it is not changed. Send further requests to
More informationDurham Research Online
Durham Research Online Deposited in DRO: 20 October 2016 Version of attached le: Published Version Peerreview status of attached le: Not peerreviewed Citation for published item: Uckelman, Sara L. (2016)
More informationInstructor s Manual 1
Instructor s Manual 1 PREFACE This instructor s manual will help instructors prepare to teach logic using the 14th edition of Irving M. Copi, Carl Cohen, and Kenneth McMahon s Introduction to Logic. The
More informationAyer and Quine on the a priori
Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified
More informationCircumscribing Inconsistency
Circumscribing Inconsistency Philippe Besnard IRISA Campus de Beaulieu F35042 Rennes Cedex Torsten H. Schaub* Institut fur Informatik Universitat Potsdam, Postfach 60 15 53 D14415 Potsdam Abstract We
More information