A Defense of Trivialism
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Charity and Error-Theoretic Nominalism Hemsideversion
Published in Ratio 28 (3), pp. 256-270, DOI: 10.1111/rati.12070 CHARITY AND ERROR-THEORETIC NOMINALISM Arvid Båve Abstract I here investigate whether there is any version of the principle of charity both strong enough to conflict with an error-theoretic version of nominalism about abstract objects (EN), and supported by the considerations adduced in favour of interpretive charity in the literature. I argue that in order to be strong enough, the principle, which I call “(Charity)”, would have to read, “For all expressions e, an acceptable interpretation must make true a sufficiently high ratio of accepted sentences containing e”. I next consider arguments based on (i) Davidson’s intuitive cases for interpretive charity, (ii) the reliability of perceptual beliefs, and (iii) the reliability of “non-abstractive inference modes”, and conclude that none support (Charity). I then propose a diagnosis of the view that there must be some universal principle of charity ruling out (EN). Finally, I present a reason to think (Charity) is false, namely, that it seems to exclude the possibility of such disagreements as that between nominalists and realists. Nominalists about abstract objects have given remarkably disparate answers to the question: how, if there are no abstract objects, should we view statements that seem to involve purported reference to or quantification over such objects?1 According to the 1 I define nominalism as the view not merely that there are no abstract objects, but also that nothing is an abstract object, contra certain “noneists” like Graham Priest (2005), who accept the Arvid Båve error-theoretic variant of nominalism (EN), these statements should be taken at face value, both semantically and pragmatically, i.e., taken both as literally entailing that there are abstract objects, and also as used and interpreted literally by ordinary speakers. -
Frontiers of Conditional Logic
City University of New York (CUNY) CUNY Academic Works All Dissertations, Theses, and Capstone Projects Dissertations, Theses, and Capstone Projects 2-2019 Frontiers of Conditional Logic Yale Weiss The Graduate Center, City University of New York How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/gc_etds/2964 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] Frontiers of Conditional Logic by Yale Weiss A dissertation submitted to the Graduate Faculty in Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy, The City University of New York 2019 ii c 2018 Yale Weiss All Rights Reserved iii This manuscript has been read and accepted by the Graduate Faculty in Philosophy in satisfaction of the dissertation requirement for the degree of Doctor of Philosophy. Professor Gary Ostertag Date Chair of Examining Committee Professor Nickolas Pappas Date Executive Officer Professor Graham Priest Professor Melvin Fitting Professor Edwin Mares Professor Gary Ostertag Supervisory Committee The City University of New York iv Abstract Frontiers of Conditional Logic by Yale Weiss Adviser: Professor Graham Priest Conditional logics were originally developed for the purpose of modeling intuitively correct modes of reasoning involving conditional|especially counterfactual|expressions in natural language. While the debate over the logic of conditionals is as old as propositional logic, it was the development of worlds semantics for modal logic in the past century that cat- alyzed the rapid maturation of the field. -
Chapter 5: Methods of Proof for Boolean Logic
Chapter 5: Methods of Proof for Boolean Logic § 5.1 Valid inference steps Conjunction elimination Sometimes called simplification. From a conjunction, infer any of the conjuncts. • From P ∧ Q, infer P (or infer Q). Conjunction introduction Sometimes called conjunction. From a pair of sentences, infer their conjunction. • From P and Q, infer P ∧ Q. § 5.2 Proof by cases This is another valid inference step (it will form the rule of disjunction elimination in our formal deductive system and in Fitch), but it is also a powerful proof strategy. In a proof by cases, one begins with a disjunction (as a premise, or as an intermediate conclusion already proved). One then shows that a certain consequence may be deduced from each of the disjuncts taken separately. One concludes that that same sentence is a consequence of the entire disjunction. • From P ∨ Q, and from the fact that S follows from P and S also follows from Q, infer S. The general proof strategy looks like this: if you have a disjunction, then you know that at least one of the disjuncts is true—you just don’t know which one. So you consider the individual “cases” (i.e., disjuncts), one at a time. You assume the first disjunct, and then derive your conclusion from it. You repeat this process for each disjunct. So it doesn’t matter which disjunct is true—you get the same conclusion in any case. Hence you may infer that it follows from the entire disjunction. In practice, this method of proof requires the use of “subproofs”—we will take these up in the next chapter when we look at formal proofs. -
In Defence of Constructive Empiricism: Metaphysics Versus Science
To appear in Journal for General Philosophy of Science (2004) In Defence of Constructive Empiricism: Metaphysics versus Science F.A. Muller Institute for the History and Philosophy of Science and Mathematics Utrecht University, P.O. Box 80.000 3508 TA Utrecht, The Netherlands E-mail: [email protected] August 2003 Summary Over the past years, in books and journals (this journal included), N. Maxwell launched a ferocious attack on B.C. van Fraassen's view of science called Con- structive Empiricism (CE). This attack has been totally ignored. Must we con- clude from this silence that no defence is possible against the attack and that a fortiori Maxwell has buried CE once and for all, or is the attack too obviously flawed as not to merit exposure? We believe that neither is the case and hope that a careful dissection of Maxwell's reasoning will make this clear. This dis- section includes an analysis of Maxwell's `aberrance-argument' (omnipresent in his many writings) for the contentious claim that science implicitly and per- manently accepts a substantial, metaphysical thesis about the universe. This claim generally has been ignored too, for more than a quarter of a century. Our con- clusions will be that, first, Maxwell's attacks on CE can be beaten off; secondly, his `aberrance-arguments' do not establish what Maxwell believes they estab- lish; but, thirdly, we can draw a number of valuable lessons from these attacks about the nature of science and of the libertarian nature of CE. Table of Contents on other side −! Contents 1 Exordium: What is Maxwell's Argument? 1 2 Does Science Implicitly Accept Metaphysics? 3 2.1 Aberrant Theories . -
Demystifying the Saint
DEMYSTIFYING THE SAINT: JAY L. GARFIELDʼS RATIONAL RECONSTRUCTION OF NĀGĀRJUNAʼS MĀDHYAMAKA AS THE EPITOME OF CONTEMPORARY CROSS-CULTURAL PHILOSOPHY TIINA ROSENQVIST Tampereen yliopisto Yhteiskunta- ja kulttuuritieteiden yksikkö Filosofian pro gradu -tutkielma Tammikuu 2011 ABSTRACT Cross-cultural philosophy approaches philosophical problems by setting into dialogue systems and perspectives from across cultures. I use the term more specifically to refer to the current stage in the history of comparative philosophy marked by the ethos of scholarly self-reflection and the production of rational reconstructions of foreign philosophies. These reconstructions lend a new kind of relevance to cross-cultural perspectives in mainstream philosophical discourses. I view Jay L. Garfieldʼs work as an example of this. I examine Garfieldʼs approach in the context of Nāgārjuna scholarship and cross-cultural hermeneutics. By situating it historically and discussing its background and implications, I wish to highlight its distinctive features. Even though Garfield has worked with Buddhist philosophy, I believe he has a lot to offer to the meta-level discussion of cross-cultural philosophy in general. I argue that the clarity of Garfieldʼs vision of the nature and function of cross-cultural philosophy can help alleviate the identity crisis that has plagued the enterprise: Garfield brings it closer to (mainstream) philosophy and helps it stand apart from Indology, Buddhology, area studies philosophy (etc). I side with Garfield in arguing that cross- cultural philosophy not only brings us better understanding of other philosophical traditions, but may enhance our self-understanding as well. I furthermore hold that his employment of Western conceptual frameworks (post-Wittgensteinian language philosophy, skepticism) and theoretical tools (paraconsistent logic, Wittgensteinian epistemology) together with the influence of Buddhist interpretative lineages creates a coherent, cogent, holistic and analytically precise reading of Nāgārjunaʼs Mādhyamaka philosophy. -
Reliability of Mathematical Inference
Reliability of mathematical inference Jeremy Avigad Department of Philosophy and Department of Mathematical Sciences Carnegie Mellon University January 2020 Formal logic and mathematical proof An important mathematical goal is to get the answers right: • Our calculations are supposed to be correct. • Our proofs are supposed to be correct. Mathematical logic offers an idealized account of correctness, namely, formal derivability. Informal proof is viewed as an approximation to the ideal. • A mathematician can be called on to expand definitions and inferences. • The process has to terminate with fundamental notions, assumptions, and inferences. Formal logic and mathematical proof Two objections: • Few mathematicians can state formal axioms. • There are various formal foundations on offer. Slight elaboration: • Ordinary mathematics relies on an informal foundation: numbers, tuples, sets, functions, relations, structures, . • Formal logic accounts for those (and any of a number of systems suffice). Formal logic and mathematical proof What about intuitionstic logic, or large cardinal axioms? Most mathematics today is classical, and does not require strong assumptions. But even in those cases, the assumptions can be make explicit and formal. Formal logic and mathematical proof So formal derivability provides a standard of correctness. Azzouni writes: The first point to observe is that formalized proofs have become the norms of mathematical practice. And that is to say: should it become clear that the implications (of assumptions to conclusion) of an informal proof cannot be replicated by a formal analogue, the status of that informal proof as a successful proof will be rejected. Formal verification, a branch of computer science, provides corroboration: computational proof assistants make formalization routine (though still tedious). -
Misconceived Relationships Between Logical Positivism and Quantitative Research: an Analysis in the Framework of Ian Hacking
DOCUMENT RESUME ED 452 266 TM 032 553 AUTHOR Yu, Chong Ho TITLE Misconceived Relationships between Logical Positivism and Quantitative Research: An Analysis in the Framework of Ian Hacking. PUB DATE 2001-04-07 NOTE 26p. PUB TYPE Opinion Papers (120) ED 2S PRICE MF01/PCO2 Plus Postage. 'DESCRIPTORS *Educational Research; *Research Methodology IDENTIFIERS *Logical Positivism ABSTRACT Although quantitative research methodology is widely applied by psychological researchers, there is a common misconception that quantitative research is based on logical positivism. This paper examines the relationship between quantitative research and eight major notions of logical positivism:(1) verification;(2) pro-observation;(3) anti-cause; (4) downplaying explanation;(5) anti-theoretical entities;(6) anti-metaphysics; (7) logical analysis; and (8) frequentist probability. It is argued that the underlying philosophy of modern quantitative research in psychology is in sharp contrast to logical positivism. Putting the labor of an out-dated philosophy into quantitative research may discourage psychological researchers from applying this research approach and may also lead to misguided dispute between quantitative and qualitative researchers. What is needed is to encourage researchers and students to keep an open mind to different methodologies and apply skepticism to examine the philosophical assumptions instead of accepting them unquestioningly. (Contains 1 figure and 75 references.)(Author/SLD) Reproductions supplied by EDRS are the best that can be made from the original document. Misconceived relationships between logical positivism and quantitative research: An analysis in the framework of Ian Hacking Chong Ho Yu, Ph.D. Arizona State University April 7, 2001 N N In 4-1 PERMISSION TO REPRODUCE AND DISSEMINATE THIS MATERIALHAS BEEN GRANTED BY Correspondence: TO THE EDUCATIONAL RESOURCES Chong Ho Yu, Ph.D. -
Quantified Modality and Essentialism
Quantified Modality and Essentialism Saul A. Kripke This is the accepted version of the following article: Kripke, S. A. (2017), Quantified Modality and Essentialism. Noûs, 51: 221-234. doi: 10.1111/nous.12126, Which has been published in final form at https://doi.org/10.1111/nous.12126. 1 Quantified Modality and Essentialism1 Saul A. Kripke It is well know that the most thoroughgoing critique of modal logic has been that of W.V. Quine. Quine’s position, though uniformly critical of quantified modal systems, has nevertheless varied through the years from extreme and flat rejection of modality to a more nearly moderate critique. At times Quine urged that, for purely logico-semantical reasons based on the problem of interpreting quantified modalities, a quantified modal logic is impossible; or, alternatively, that it is possible only on the basis of a queer ontology which repudiates the individuals of the concrete world in favor of their ethereal intensions. Quine has also urged that even if these objections have been answered, modal logic would clearly commit itself to the metaphysical jungle of Aristotelian essentialism; and this essentialism is held to be a notion far more obscure than the notion of analyticity upon which modal logic was originally to be based. 1 There is a long story behind this paper. It was written for a seminar given by Quine himself in the academic year 1961/2, and discussed in class over a period of several weeks. Some years later, I was surprised to hear from Héctor-Neri Castañeda that it had received wider circulation among philosophers. -
Dialectic, Rhetoric and Contrast the Infinite Middle of Meaning
Dialectic, Rhetoric and Contrast The Infinite Middle of Meaning Richard Boulton St George’s, University of London; Kingston University Series in Philosophy Copyright © 2021 Richard Boulton. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without the prior permission of Vernon Art and Science Inc. www.vernonpress.com In the Americas: In the rest of the world: Vernon Press Vernon Press 1000 N West Street, Suite 1200 C/Sancti Espiritu 17, Wilmington, Delaware, 19801 Malaga, 29006 United States Spain Series in Philosophy Library of Congress Control Number: 2021931318 ISBN: 978-1-64889-149-6 Cover designed by Aurelien Thomas. Product and company names mentioned in this work are the trademarks of their respective owners. While every care has been taken in preparing this work, neither the authors nor Vernon Art and Science Inc. may be held responsible for any loss or damage caused or alleged to be caused directly or indirectly by the information contained in it. Every effort has been made to trace all copyright holders, but if any have been inadvertently overlooked the publisher will be pleased to include any necessary credits in any subsequent reprint or edition. Table of contents Introduction v Chapter I Method 1 Dialectic and Rhetoric 1 Validating a Concept Spectrum 12 Chapter II Sense 17 Emotion 17 Rationality 23 The Absolute 29 Truth 34 Value 39 Chapter III Essence 47 Meaning 47 Narrative 51 Patterns and Problems 57 Existence 61 Contrast 66 Chapter IV Consequence 73 Life 73 Mind and Body 77 Human 84 The Individual 91 Rules and Exceptions 97 Conclusion 107 References 117 Index 129 Introduction This book is the result of a thought experiment inspired by the methods of dialectic and rhetoric. -
Deduction (I) Tautologies, Contradictions And
D (I) T, & L L October , Tautologies, contradictions and contingencies Consider the truth table of the following formula: p (p ∨ p) () If you look at the final column, you will notice that the truth value of the whole formula depends on the way a truth value is assigned to p: the whole formula is true if p is true and false if p is false. Contrast the truth table of (p ∨ p) in () with the truth table of (p ∨ ¬p) below: p ¬p (p ∨ ¬p) () If you look at the final column, you will notice that the truth value of the whole formula does not depend on the way a truth value is assigned to p. The formula is always true because of the meaning of the connectives. Finally, consider the truth table table of (p ∧ ¬p): p ¬p (p ∧ ¬p) () This time the formula is always false no matter what truth value p has. Tautology A statement is called a tautology if the final column in its truth table contains only ’s. Contradiction A statement is called a contradiction if the final column in its truth table contains only ’s. Contingency A statement is called a contingency or contingent if the final column in its truth table contains both ’s and ’s. Let’s consider some examples from the book. Can you figure out which of the following sentences are tautologies, which are contradictions and which contingencies? Hint: the answer is the same for all the formulas with a single row. () a. (p ∨ ¬p), (p → p), (p → (q → p)), ¬(p ∧ ¬p) b. -
Applying Logic to Philosophical Theology: a Formal Deductive Inference of Affirming God's Existence from Assuming the A-Priori
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Tomsk State University Repository Вестник Томского государственного университета Философия. Социология. Политология. 2020. № 55 ОНТОЛОГИЯ, ЭПИСТЕМОЛОГИЯ, ЛОГИКА УДК 16 + 17 + 2 + 51-7 DOI: 10.17223/1998863Х/55/1 V.O. Lobovikov1 APPLYING LOGIC TO PHILOSOPHICAL THEOLOGY: A FORMAL DEDUCTIVE INFERENCE OF AFFIRMING GOD’S EXISTENCE FROM ASSUMING THE A-PRIORI-NESS OF KNOWLEDGE IN THE SIGMA FORMAL AXIOMATIC THEORY For the first time a precise definition is given to the Sigma formal axiomatic theory, which is a result of logical formalization of philosophical epistemology; and an interpretation of this formal theory is offered. Also, for the first time, a formal deductive proof is constructed in Sigma for a formula, which represents (in the offered interpretation) the statement of God’s Existence under the condition that knowledge is a priori. Keywords: formal axiomatic epistemology theory; two-valued algebra of formal axiology; formal-axiological equivalence; a-priori knowledge; existence of God. 1. Introduction Since Socrates, Plato, Aristotle, Stoics, Cicero, and especially since the very beginning of Christianity philosophy, the possibility or impossibility of logical proving God’s existence has been a nontrivial problem of philosophical theology. Today the literature on this topic is immense. However, even in our days, the knot- ty problem remains unsolved as all the suggested options of solving it are contro- versial from some point of view. Some respectable researchers (let us call them “pessimists”) believed that the logical proving of God’s existence in theoretical philosophy was impossible on principle, for instance, Occam, Hume [1], and Kant [2] believed that any rational theoretic-philosophy proof of His existence was a mistake (illusion), consequently, a search for the logical proving of His existence was wasting resources and, hence, harmful; only faith in God was relevant and useful; reason was irrelevant and use- less. -
Existence: an Unholy Trinity. an Account of Indeterminate Existence
City University of New York (CUNY) CUNY Academic Works All Dissertations, Theses, and Capstone Projects Dissertations, Theses, and Capstone Projects 2-2014 Existence: An Unholy Trinity. An account of Indeterminate Existence Salas Sanchez-Bennasar Graduate Center, City University of New York How does access to this work benefit ou?y Let us know! More information about this work at: https://academicworks.cuny.edu/gc_etds/105 Discover additional works at: https://academicworks.cuny.edu This work is made publicly available by the City University of New York (CUNY). Contact: [email protected] EXISTENCE: AN UNHOLY TRINITY An Account of Indeterminate Existence by Salas Sanchez-Bennasar A dissertation submitted to the Graduate Faculty in Philosophy in partial fulfillment of the requirements for the degree of Doctor of Philosophy, The City University of New York 2014 ©2014 SALAS SANCHEZ-BENNASAR All Rights Reserved ii This manuscript has been read and accepted for the Graduate Faculty in Philosophy in satisfaction of the dissertation requirement for the degree of Doctor of Philosophy. __________Arnold Koslow_____________ Date ______________ _____________________________________ Chair of Examining Committee _________Iakovos Vasiliou______________ Date ______________ _____________________________________ Executive Officer __________Graham Priest (Advisor)___________ ____________John Greenwood___________ ____________Rohit Parikh____________ ______________Stewart Shapiro___________ Supervisory Committee THE CITY UNIVERSITY OF NEW YORK iii Abstract