W I S D O M 3(16), 2020
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
A New Logic for Uncertainty
A New Logic for Uncertainty ∗ LUO Maokang and HE Wei† Institute of Mathematics Institute of Mathematics Sichuan University Nanjing Normal University Chengdu, 610064 Nanjing, 210046 P.R.China P.R.China Abstract Fuzziness and randomicity widespread exist in natural science, engineering, technology and social science. The purpose of this paper is to present a new logic - uncertain propositional logic which can deal with both fuzziness by taking truth value semantics and randomicity by taking probabilistic semantics or possibility semantics. As the first step for purpose of establishing a logic system which completely reflect the uncertainty of the objective world, this logic will lead to a set of logical foundations for uncertainty theory as what classical logic done in certain or definite situations or circumstances. Keywords: Fuzziness; randomicity; UL-algebra; uncertain propositional logic. Mathematics Subject Classifications(2000): 03B60. 1 Introduction As one of the most important and one of the most widely used concepts in the whole area of modern academic or technologic research, uncertainty has been involved into study and applications more than twenty years. Now along with the quickly expanding requirements of developments of science and technology, people are having to face and deal with more and more problems tangled with uncertainty in the fields of natural science, engineering or technology or even in social science. To these uncertain prob- arXiv:1506.03123v1 [math.LO] 9 Jun 2015 lems, many traditional theories and methods based on certain conditions or certain circumstances are not so effective and powerful as them in the past. So the importance of research on uncertainty is emerging more and more obviously and imminently. -
Russell's Theory of Descriptions
Russell’s theory of descriptions PHIL 83104 September 5, 2011 1. Denoting phrases and names ...........................................................................................1 2. Russell’s theory of denoting phrases ................................................................................3 2.1. Propositions and propositional functions 2.2. Indefinite descriptions 2.3. Definite descriptions 3. The three puzzles of ‘On denoting’ ..................................................................................7 3.1. The substitution of identicals 3.2. The law of the excluded middle 3.3. The problem of negative existentials 4. Objections to Russell’s theory .......................................................................................11 4.1. Incomplete definite descriptions 4.2. Referential uses of definite descriptions 4.3. Other uses of ‘the’: generics 4.4. The contrast between descriptions and names [The main reading I gave you was Russell’s 1919 paper, “Descriptions,” which is in some ways clearer than his classic exposition of the theory of descriptions, which was in his 1905 paper “On Denoting.” The latter is one of the optional readings on the web site, and I reference it below sometimes as well.] 1. DENOTING PHRASES AND NAMES Russell defines the class of denoting phrases as follows: “By ‘denoting phrase’ I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present king of England, the centre of mass of the Solar System at the first instant of the twentieth century, the revolution of the earth around the sun, the revolution of the sun around the earth. Thus a phrase is denoting solely in virtue of its form.” (‘On Denoting’, 479) Russell’s aim in this article is to explain how expressions like this work — what they contribute to the meanings of sentences containing them. -
Florensky and Frank
View metadata, citation and similar papers at core.ac.uk brought to you by CORE Po zn ań skie Studia Teologiczne Tom 22, 2008 ADAM DROZDEK Duquesne University, Pittsburgh, Pennsylvania Defying Rationality: Florensky and Frank Przezwyciężyć racjonalność: Fiorenski i Frank What should be the basis of knowledge in theological matters? The question has been pondered upon by theologians for centuries and not a few proposals were made. One of these was made by the Orthodox priest and scientist Pavel Florensky in The pillar and ground of the truth (1914) considered to be the most original and influen tial work of the Russian religious renaissance1, marking “the beginning of a new era in Russian theology”2 and even “one of the most significant accomplishments of ec clesiastical thinking in the twentieth century”3. Proposals made in a work deemed to be so important certainly arrest attention. I. THE LAW OF IDENTITY A centerpiece of rationalism, according to Florensky, is the law of identity, A = A, which is the source of powerlessness of rational reasoning. “The law A = A be comes a completely empty schema of self-affirmation” so that “I = I turns out to be ... a cry of naked egotism: ‘I!’ For where there is no difference, there can be no con- 1 R. Slesinski, Pavel Florensky: a metaphysics o f love, Crestwood: St. Vladimir’s Seminary Press 1984, 22. 2 N. Zernov, The Russian religious renaissance of the twentieth century, London: Darton, Longman & Todd 1963, 101. 3 M. Silberer, Die Trinitatsidee im Werk von Pavel A. Florenskij: Versuch einer systematischen Darstellung in Begegnung mit Thomas von Aquin, Wtirzburg: Augustinus-Verlag 1984, 254. -
Overturning the Paradigm of Identity with Gilles Deleuze's Differential
A Thesis entitled Difference Over Identity: Overturning the Paradigm of Identity With Gilles Deleuze’s Differential Ontology by Matthew G. Eckel Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Master of Arts Degree in Philosophy Dr. Ammon Allred, Committee Chair Dr. Benjamin Grazzini, Committee Member Dr. Benjamin Pryor, Committee Member Dr. Patricia R. Komuniecki, Dean College of Graduate Studies The University of Toledo May 2014 An Abstract of Difference Over Identity: Overturning the Paradigm of Identity With Gilles Deleuze’s Differential Ontology by Matthew G. Eckel Submitted to the Graduate Faculty as partial fulfillment of the requirements for the Master of Arts Degree in Philosophy The University of Toledo May 2014 Taking Gilles Deleuze to be a philosopher who is most concerned with articulating a ‘philosophy of difference’, Deleuze’s thought represents a fundamental shift in the history of philosophy, a shift which asserts ontological difference as independent of any prior ontological identity, even going as far as suggesting that identity is only possible when grounded by difference. Deleuze reconstructs a ‘minor’ history of philosophy, mobilizing thinkers from Spinoza and Nietzsche to Duns Scotus and Bergson, in his attempt to assert that philosophy has always been, underneath its canonical manifestations, a project concerned with ontology, and that ontological difference deserves the kind of philosophical attention, and privilege, which ontological identity has been given since Aristotle. -
Vasiliev and the Foundations of Logic
Chapter 4 Vasiliev and the Foundations of Logic Otávio Bueno Abstract Nikolai Vasiliev offered a systematic approach to the development of a class of non-classical logics, which he called “Imaginary Logics”. In this paper, IexaminecriticallysomeofthecentralfeaturesofVasiliev’sapproachtological theory, suggesting its relevance to contemporary debates in the philosophy of logic. IarguethatthereismuchofsignificantvalueinVasiliev’swork,whichdeserves close philosophical engagement. Keywords Vasiliev • logical pluralism • Revisability • a priori • negation 4.1 Introduction: Six Central Features of Vasiliev’s Approach to Logical Theory Nikolai Vasiliev’s approach to logical theory has a number of features. Six of them, in particular, are worth highlighting: (a) logical pluralism (there is a plurality of logics, depending on the subject matter under consideration); (b) logical revisability (certain logical laws can be revised depending on the subject matter); (c) logical non-a priorism (certain logical laws are empirically based); (d) logical contingency (given the empirical nature of some logical laws, they are ultimately contingent; in this context, issues regarding the scope of logic are also examined, with the accompanying distinction between laws of objects and laws of thought); (e) the nature of negation (negation is characterized via incompatibility; it is not just difference, nor is it grounded on absence, and it is inferred rather than perceived); and (f) logical commitment (why Vasiliev is not a dialetheist, after all). In this paper, I will examine each of these features, and suggest the relevance of many of Vasiliev’s proposals to contemporary philosophical reflection about the foundations of logic. Although the terms I use to describe some of the views O. Bueno (!) Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA e-mail: [email protected] ©SpringerInternationalPublishingAG2017 43 V. -
Abstract Consequence and Logics
Abstract Consequence and Logics Essays in honor of Edelcio G. de Souza edited by Alexandre Costa-Leite Contents Introduction Alexandre Costa-Leite On Edelcio G. de Souza PART 1 Abstraction, unity and logic 3 Jean-Yves Beziau Logical structures from a model-theoretical viewpoint 17 Gerhard Schurz Universal translatability: optimality-based justification of (not necessarily) classical logic 37 Roderick Batchelor Abstract logic with vocables 67 Juliano Maranh~ao An abstract definition of normative system 79 Newton C. A. da Costa and Decio Krause Suppes predicate for classes of structures and the notion of transportability 99 Patr´ıciaDel Nero Velasco On a reconstruction of the valuation concept PART 2 Categories, logics and arithmetic 115 Vladimir L. Vasyukov Internal logic of the H − B topos 135 Marcelo E. Coniglio On categorial combination of logics 173 Walter Carnielli and David Fuenmayor Godel's¨ incompleteness theorems from a paraconsistent perspective 199 Edgar L. B. Almeida and Rodrigo A. Freire On existence in arithmetic PART 3 Non-classical inferences 221 Arnon Avron A note on semi-implication with negation 227 Diana Costa and Manuel A. Martins A roadmap of paraconsistent hybrid logics 243 H´erculesde Araujo Feitosa, Angela Pereira Rodrigues Moreira and Marcelo Reicher Soares A relational model for the logic of deduction 251 Andrew Schumann From pragmatic truths to emotional truths 263 Hilan Bensusan and Gregory Carneiro Paraconsistentization through antimonotonicity: towards a logic of supplement PART 4 Philosophy and history of logic 277 Diogo H. B. Dias Hans Hahn and the foundations of mathematics 289 Cassiano Terra Rodrigues A first survey of Charles S. -
The 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 that could explain one or another phenomenon. Once these laws are discovered, then science proceed to study the other phenomena, which in the nature are of an infinite set. It is interesting to note that in the process of discovering a law, for example in physics, people make thousands of experiments, build proves, among them some experience, or evidence - useful for understanding a certain phenomenon, but other experiments or evidence proved fruitless. But it is found only with hindsight, when the law is already discovered. Therefore, with the discovering of the law it is enough to show 2 - 3 experiments or prove to verify its correctness. All other experiments were the ways of study and there is no need to repeat them, to understand how the law works. In the exact sciences, it is understood, and therefore the students studies only the information that is necessary to understand specific phenomena. By no means this is the case with the study of formal logic. Formal logic, as opposed to other sciences: physics, chemistry, mathematics, biology and so on, studies not an infinite number of phenomena in nature, but only one how a man thinks, how he learns the world surrounding us, and how people understand each other. In other words, what laws govern the logic of our thinking, i.e., our reasoning and judgments in any science or in everyday life. -
Paradox and Foundation Zach Weber Submitted in Total Fulfilment of The
Paradox and Foundation Zach Weber Submitted in total fulfilment of the requirements of the degree of Doctor of Philosophy May 2009 School of Philosophy, Anthropology and Social Inquiry The University of Melbourne This is to certify that - the thesis comprises only my original work towards the PhD, - due acknowledgement has been made in the text to all other material used, - the thesis is less than 100,000 words in length. Preface Dialethic paraconsistency is an approach to formal and philosophical theories in which some but not all contradictions are true. Advancing that program, this thesis is about paradoxes and the foundations of mathematics, and is divided accordingly into two main parts. The first part concerns the history and philosophy of set theory from Cantor through the independence proofs, focusing on the set concept. A set is any col- lection of objects that is itself an object, with identity completely determined by membership. The set concept is called naive because it is inconsistent. I argue that the set concept is inherently and rightly paradoxical, because sets are both intensional and extensional objects: Sets are predicates in extension. All consistent characterizations of sets are either not explanatory or not coherent. To understand sets, we need to reason about them with an appropriate logic; paraconsistent naive set theory is situated as a continuation of the original foundational project. The second part produces a set theory deduced from an unrestricted compre- hension principle using the weak relevant logic DLQ, dialethic logic with quantifiers. I discuss some of the problems involved with embedding in DLQ, especially related to identity and substitution. -
The Physics and Metaphysics of Identity and Individuality Steven French and De´Cio Krause: Identity in Physics: a Historical, Philosophical, and Formal Analysis
Metascience (2011) 20:225–251 DOI 10.1007/s11016-010-9463-7 BOOK SYMPOSIUM The physics and metaphysics of identity and individuality Steven French and De´cio Krause: Identity in physics: A historical, philosophical, and formal analysis. Oxford: Clarendon Press, 2006, 440 pp, £68.00 HB Don Howard • Bas C. van Fraassen • Ota´vio Bueno • Elena Castellani • Laura Crosilla • Steven French • De´cio Krause Published online: 3 November 2010 Ó Springer Science+Business Media B.V. 2010 Don Howard Steven French and De´cio Krause have written what bids fair to be, for years to come, the definitive philosophical treatment of the problem of the individuality of elementary particles in quantum mechanics (QM) and quantum-field theory (QFT). The book begins with a long and dense argument for the view that elementary particles are most helpfully regarded as non-individuals, and it concludes with an earnest attempt to develop a formal apparatus for describing such non-individual entities better suited to the task than our customary set theory. D. Howard (&) Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA e-mail: [email protected] B. C. van Fraassen Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA e-mail: [email protected] O. Bueno Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA e-mail: [email protected] E. Castellani Department of Philosophy, University of Florence, Via Bolognese 52, 50139 Florence, Italy e-mail: elena.castellani@unifi.it L. Crosilla Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds LS2 9JT, UK e-mail: [email protected] 123 226 Metascience (2011) 20:225–251 Are elementary particles individuals? I do not know. -
Aristotle on Non-Contradiction: Philosophers Vs
Journal of Ancient Philosophy J. anc. philos. (Engl. ed.), São Paulo, v.7, n.2. p. 51-74, 2013. ISSN 1981-9471 - FFLCH/USP DOI: http://dx.doi.org/10.11606/issn.1981-9471.v7i2p51-74 www.revistas.usp.br/filosofiaantiga Aristotle on Non-Contradiction: Philosophers vs. Non-Philosophers Jean-Louis Hudry USP, Brazil Abstract: Aristotle’s principle of non-contradiction (PNC) has been interpreted by Łukasiewicz through three distinct formulations, namely ontological, logical, and psychological. Many have criticized Łukasiewicz’s position, but they still maintain that Aristotle defends distinct formulations. In contrast, this paper shows that Aristotle suggests only one formulation of the PNC. This unique formulation belongs to philosophy as the first science, so that the philosophers think of the PNC as a necessarily true principle, owing to their meta-physical cognition of the nature of things. Yet, there is another way to understand this formulation. Indeed, the non-philosophers believe in the PNC, without being able to understand its necessary truth, due to their ignorance of philosophy. Thus, Aristotle has to convince them that the PNC is the most certain opinion of all, and his dialectical justifications are purposely weak, as they are only concerned with the defense of a common opinion. In Chapter 3 of Metaphysics Gamma, Aristotle introduces the so-called principle of non-contradiction (hereafter PNC).1 It is important to put this principle into context in order to understand why and how Aristotle introduces it: It is proper for the one who best cognizes (gnôrizonta) each genus to be able to state the most certain principles (archas) of an actual thing, so that the one who cognizes beings, qua beings (tôn ontôn hêi onta), will also be able to state the most certain principles of all things. -
The Logical Analysis of Key Arguments in Leibniz and Kant
University of Mississippi eGrove Electronic Theses and Dissertations Graduate School 2016 The Logical Analysis Of Key Arguments In Leibniz And Kant Richard Simpson Martin University of Mississippi Follow this and additional works at: https://egrove.olemiss.edu/etd Part of the Philosophy Commons Recommended Citation Martin, Richard Simpson, "The Logical Analysis Of Key Arguments In Leibniz And Kant" (2016). Electronic Theses and Dissertations. 755. https://egrove.olemiss.edu/etd/755 This Thesis is brought to you for free and open access by the Graduate School at eGrove. It has been accepted for inclusion in Electronic Theses and Dissertations by an authorized administrator of eGrove. For more information, please contact [email protected]. THE LOGICAL ANALYSIS OF KEY ARGUMENTS IN LEIBNIZ AND KANT A Thesis presented in partial fulfillment of requirements for the degree of Master of Arts in the Department of Philosophy and Religion The University of Mississippi By RICHARD S. MARTIN August 2016 Copyright Richard S. Martin 2016 ALL RIGHTS RESERVED ABSTRACT This paper addresses two related issues of logic in the philosophy of Gottfried Leibniz. The first problem revolves around Leibniz’s struggle, throughout the period of his mature philosophy, to reconcile his metaphysics and epistemology with his antecedent theological commitments. Leibniz believes that for everything that happens there is a reason, and that the reason God does things is because they are the best that can be done. But if God must, by nature, do what is best, and if what is best is predetermined, then it seems that there may be no room for divine freedom, much less the human freedom Leibniz wished to prove. -
Leibniz and the Principle of Sufficient Reason
Leibniz and the Principle of Sufficient Reason by Owen Pikkert A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Department of Philosophy University of Toronto © Copyright by Owen Pikkert 2018 Abstract Leibniz and the Principle of Sufficient Reason Owen Pikkert Doctor of Philosophy Department of Philosophy University of Toronto 2018 Leibniz’s principle of sufficient reason (PSR) is the claim that everything has an explanation. It rules out brute facts, inexplicable primitives, and purely random events. On the usual view, Leibniz grounds the PSR in purely descriptive truths. On my view, Leibniz grounds the PSR in this being the best of all possible worlds. God only creates the best, and a world in which the PSR is true is better than a world in which it is false. For the PSR ensures that the world has an explanatory structure, the investigation of which facilitates human happiness. This way of grounding the PSR faces at least two problems. The first problem is that it presupposes that the PSR is a contingent principle, even though most commentators take it to be necessary. But I argue that Leibniz is indeed committed to the contingency of the PSR. I demonstrate this by showing how, for Leibniz, PSR-violating entities such as vacua, atoms, and indiscernible bodies are possible but not actual. I also argue that the contingency of the ii PSR does not conflict with Leibniz’s other modal commitments. In particular, it does not conflict with the modal status of his principle of the identity of indiscernibles, nor with the modal status of his theory of truth.