An Introduction to a Theory of Abstract Objects
Total Page:16
File Type:pdf, Size:1020Kb

Load more
Recommended publications
-
The Metamathematics of Putnam's Model-Theoretic Arguments
The Metamathematics of Putnam's Model-Theoretic Arguments Tim Button Abstract. Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted mod- els. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I exam- ine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to meta- mathematical challenges. Copyright notice. This paper is due to appear in Erkenntnis. This is a pre-print, and may be subject to minor changes. The authoritative version should be obtained from Erkenntnis, once it has been published. Hilary Putnam famously attempted to use model theory to draw metaphys- ical conclusions. Specifically, he attacked metaphysical realism, a position characterised by the following credo: [T]he world consists of a fixed totality of mind-independent objects. (Putnam 1981, p. 49; cf. 1978, p. 125). Truth involves some sort of correspondence relation between words or thought-signs and external things and sets of things. (1981, p. 49; cf. 1989, p. 214) [W]hat is epistemically most justifiable to believe may nonetheless be false. (1980, p. 473; cf. 1978, p. 125) To sum up these claims, Putnam characterised metaphysical realism as an \externalist perspective" whose \favorite point of view is a God's Eye point of view" (1981, p. 49). Putnam sought to show that this externalist perspective is deeply untenable. To this end, he treated correspondence in terms of model-theoretic satisfaction. -
Truths Containing Empty Names Michael Mckinsey
In Philosophical Approaches to Proper Names, P. Stalmaszczyk and L. Fernández Moreno (eds.).Peter Lang, 2016. Truths Containing Empty Names Michael McKinsey 1. A problem for direct reference. According to the thesis of Direct Reference (or the DR-thesis for short), the propositions expressed by sentences containing the proper names and indexical pronouns of natural language are a strict function of the semantic referents of the names and indexicals, as opposed to being a function of any Fregean descriptive senses or contents that the names and indexicals might be alleged to possess.1 Another way of expressing this idea is to say that the sole semantic contribution that a proper name or indexical can make to the propositions expressed by sentences containing the term is the term’s semantic referent. Bertrand Russell called terms of this sort ‘names in the logical sense’ (1918, 201). I will call them ‘genuine terms’. Following standard practice, I will call the propositions expressed by sentences containing genuine terms, ‘singular propositions’. Like many others, I endorse the DR-thesis. In my case, the primary reason for endorsing the thesis lies in the modal considerations first briefly introduced by John Searle (1958) and later clarified and forcefully applied by Saul Kripke (1972a), considerations which show that proper names do not have the meanings of contingent definite descriptions. David Kaplan (1989) raised related points to support the conclusion that indexical pronouns are also genuine terms. In recent work I have argued at some length that the DR-thesis entails both that (a) a sentence containing a non-referring name or indexical can express no proposition, and hence that (b) such sentences can have no truth value, that is, can be neither true or false. -
Starting the Dismantling of Classical Mathematics
Australasian Journal of Logic Starting the Dismantling of Classical Mathematics Ross T. Brady La Trobe University Melbourne, Australia [email protected] Dedicated to Richard Routley/Sylvan, on the occasion of the 20th anniversary of his untimely death. 1 Introduction Richard Sylvan (n´eRoutley) has been the greatest influence on my career in logic. We met at the University of New England in 1966, when I was a Master's student and he was one of my lecturers in the M.A. course in Formal Logic. He was an inspirational leader, who thought his own thoughts and was not afraid to speak his mind. I hold him in the highest regard. He was very critical of the standard Anglo-American way of doing logic, the so-called classical logic, which can be seen in everything he wrote. One of his many critical comments was: “G¨odel's(First) Theorem would not be provable using a decent logic". This contribution, written to honour him and his works, will examine this point among some others. Hilbert referred to non-constructive set theory based on classical logic as \Cantor's paradise". In this historical setting, the constructive logic and mathematics concerned was that of intuitionism. (The Preface of Mendelson [2010] refers to this.) We wish to start the process of dismantling this classi- cal paradise, and more generally classical mathematics. Our starting point will be the various diagonal-style arguments, where we examine whether the Law of Excluded Middle (LEM) is implicitly used in carrying them out. This will include the proof of G¨odel'sFirst Theorem, and also the proof of the undecidability of Turing's Halting Problem. -
PHIL. 555 – Fiction and Fictionalism Course Description: We Have No
PHIL. 555 – Fiction and Fictionalism Course Description: We have no trouble at all deploying our concept of fiction in everyday life. Yet, from a philosophical standpoint, few concepts are as problematic. Is what accounts for the difference between fictional and real representations something in the syntax (something manifest in the structure of the representation) or the semantics (the presence or absence of truth and reference), or is it a matter of pragmatics (the ways in which representations are used/intended to be used)? How should we analyze the truth- value of statements made in or about fictions? Can we learn anything from fictions, and can we make the case for literary cognitivism by drawing on the analogy between fictions and thought-experiments? What kinds of entities are fictional characters, and do they share anything in common with the entities postulated by mathematical and moral realism? This seminar will begin to address all of these questions, and touch upon the significance of the problems posed by fiction for aesthetics, metaphysics, metaethics, and the philosophy of mathematics. Schedule of Readings Week 1 Introductory Class Overview and organizational matters No readings Week 2 The Nature of Fiction I What is fiction, anyway? John Searle – The logical status of fictional discourse Gregory Currie – The Concept of Fiction David Davies – What is a literary work & The nature of fiction (Chs. 2 and 3 of Aesthetics and Literature) Week 3 The Nature of Fiction II What are fictions about? Harry Deutsch – Making Up Stories Stacy Friend – Real People in Unreal Contexts John Gibson – The Fictional and the Real Week 4 Truth in Fiction How to make it work; adding an intensional operator David K. -
Centaurs, Pegasus, Sherlock Holmes: Against the Prejudice in Favour of the Real
Kairos. Journal of Philosophy & Science 17, 2016 Center for the Philosophy of Sciences of Lisbon University Centaurs, Pegasus, Sherlock Holmes: Against the Prejudice in Favour of the Real Cristina Travanini University of Rome Tor Vergata DAAD Fellow 2015/16 – FU Berlin [email protected] Abstract Meinong’s thought has been rediscovered in recent times by analytic phi- losophy: his object theory has significant consequences in formal ontology, and especially his account of impossible objects has proved itself to be decisive in a wide range of fields, from logic up to ontology of fiction. Rejecting the traditional ‘prejudice in favour of the real’, Meinong investigates what there is not: a peculiar non-existing object is precisely the fictional object, which exemplifies a number of properties (like Sherlock Holmes, who lives in Baker Street and is an outstanding de- tective) without existing in the same way as flesh-and-blood detectives do. Fictional objects are in some sense incomplete objects, whose core of constituent properties is not completely determined. Now, what does it imply to hold that a fictional object may also occur in true statements? We shall deal with the objections raised by Rus- sell and Quine against Meinong’s view, pointing out limits and advantages of both perspectives. Keywords Ontology of fiction, Meinong, classical quantification, Quine, meta-onto- logy. DOI 10.1515/kjps-2016-0017 1. Fictional Objects. Why Should We be Interested in Them? A fictional object is an object that occurs in fictional discourse, such as novels, scripts, short stories, created by the author’s imagination, so that we cannot find it in our actual world. -
How to Adopt a Logic
How to adopt a logic Daniel Cohnitz1 & Carlo Nicolai2 1Utrecht University 2King’s College London Abstract What is commonly referred to as the Adoption Problem is a challenge to the idea that the principles for logic can be rationally revised. The argument is based on a reconstruction of unpublished work by Saul Kripke. As the reconstruction has it, Kripke essentially extends the scope of William van Orman Quine’s regress argument against conventionalism to the possibility of adopting new logical principles. In this paper we want to discuss the scope of this challenge. Are all revisions of logic subject to the regress problem? If not, are there interesting cases of logical revisions that are subject to the regress problem? We will argue that both questions should be answered negatively. FIRST DRAFT 1 1 Introduction What is commonly referred to as the Adoption Problem is a challenge to the idea that the principles for logic can be rationally revised. The argument is based on a reconstruction of unpublished work by Saul Kripke.1 As the reconstruction has it, Kripke essentially extends the scope of William van Orman Quine’s regress argument (Quine, 1976) against conventionalism to the possibility of adopting new logical principles. In this paper we want to discuss the scope of this challenge. Are all revisions of logic subject to the regress problem? If not, are there interesting cases of logical revisions that are subject to the regress problem? We will argue that both questions should be answered negatively. Kripke’s regress does not arise for all rules of inference and not even for the adoption of those rules that are of relevance for the discussion of the rational revisability of logic. -
Meinongian Merits and Maladies
Sam Hoadley-Brill | PHIL 197B | Spring 2019 1 Meinongian Merits and Maladies Willard V. Quine begins perhaps the most celebrated article on ontology of the 20th century: A curious thing about the ontological problem is its simplicity. It can be put in three Anglo-Saxon monosyllables: “What is there?” It can be answered, moreover, in a word –– “Everything” –– and everyone will accept this answer as true. However, this is merely to say that there is what there is. (1948, p. 21) Has Quine made a methodological mistake in these first few sentences? I do not wish to suggest that, because there are some theorists who deny that “Everything” is the correct answer to the ontological problem, Quine is being irresponsible in saying this answer is universally appealing; it is certainly an answer with which the vast majority of analytic philosophers would agree, in spite of their thinking it utterly uninformative and unsatisfying. But it is far from obvious that this licenses Quine’s inference that the sentences ‘Everything is’ and ‘There is whatever there is’ are semantically equivalent. Mightn’t it be true that, for something x, it is not true that there is an x? To find an answer, we must determine the semantic content of ‘something’ and ‘there is.’ According to what has long been the dominant school of thought in analytic meta-ontology–– defended not only by Quine, but also by Bertrand Russell, Alvin Plantinga, Peter van Inwagen, and many others––the meaning of ‘there is’ is identical to the meaning of ‘there exists.’ The most (in)famous aberration from this view is advanced by Alexius Meinong, whose ontological picture has endured extensive criticism (and borderline abuse) from several subscribers to the majority view. -
Recovering What Is Said with Empty Names 239 Volume 40, Number 2, June 2010, Pp
CANADIAN JOURNAL OF PHILOSOPHYRecovering What Is Said With Empty Names 239 Volume 40, Number 2, June 2010, pp. 239-274 Recovering What Is Said With Empty Names1 GUALTIERO PICCININI University of Missouri – St. Louis St. Louis, MO 63132 USA and SAM SCOTT Toronto, ON M6K 3B2 CANADA I Introduction As our data will show, negative existential sentences containing so- called empty names evoke the same strong semantic intuitions in ordi- nary speakers and philosophers alike. 1 Many thanks to Fred Adams, Kent Bach, Anthony Everett, Mitchell Green, Thomas Hofweber, Stephen McLeod, Phillip Robbins, Rob Stainton, Nicole Wyatt, and sev- eral anonymous referees for comments on previous versions of this paper, to Brett Hyde and other members of the Semantics Reading Group at Washington Univer- sity in St. Louis, to the audience — especially Kit Fine — at the 2008 Joint Session of the Aristotelian Society and the Mind Association, and to Jim Virtel for editorial assistance. Gualtiero Piccinini gratefully acknowledges support from the Center for International Studies at the University of Missouri – St Louis. 240 Gualtiero Piccinini and Sam Scott (1) (a) Santa Claus does not exist. (b) Superman does not exist. (c) Clark Kent does not exist. Uttering the sentences in (1) seems to say something truth-evaluable, to say something true, and to say something different for each sentence. A semantic theory ought to explain these semantic intuitions. The intuitions elicited by (1) are in apparent confl ict with the Mil- lian view of proper names. According to Millianism, the meaning (or ‘semantic value’) of a proper name is just its referent. -
Monism P16ff
1 Intentionality in Mullā Ṣadrā Submitted by Sümeyye Parıldar to the University of Exeter as a thesis for the degree of Doctor of Philosophy in Arab and Islamic Studies In June 2014 This thesis is available for Library use on the understanding that it is copyright material and that no quotation from the thesis may be published without proper acknowledgement. I certify that all material in this thesis which is not my own work has been identified and that no material has previously been submitted and approved for the award of a degree by this or any other University. Signature: ………………………………………………………….. 2 ABSTRACT The present study reconstructs psychological, linguistic and ontological aspects of Mullā Ṣadrā’s philosophy in the light of Brentano’s theory of intentionality. Brentano used intentionality as a psychological term to denote the ‘mental’ as opposed to the ‘natural’. Later, with Meinong, intentionality took an ontological commitment to assenting that ‘there are things that do not exist’. The chapters that discuss Ṣadrā’s philosophy reflect the two aspects with an investigation for the production process of intentional objects and an investigation of the status of these objects in ontology. The main aim of the research is to give an internalist and monist account for the nature of intentionality demonstrating an alternative approach to the concepts of existence and the soul. Ontologically, there is only one reality (existence) and nothing is left outside it. Accordingly, intentional objects are mental beings that are at a lower level of existence (wujūd ẓillī). The principles behind the monist ontology are: first, the gradational ontology (tashkīk) that all things are determined beings (mutamayyiz) and they are manifestations of a single reality at different levels of intensity (mutashakkik), and, second, the simplicity principle (basīṭ al-ḥaqīqa) in which existence is a simple reality that comprehends all beings whilst being the principle of multiplicity at the same time. -
Meinongian Semantics and Artificial Intelligence
Meinongian Semantics and Artificial Intelligence William J. Rapaport Department of Computer Science and Engineering, Department of Philosophy, and Center for Cognitive Science State University of New York at Buffalo, Buffalo, NY 14260-2000 [email protected] http://www.cse.buffalo.edu/ rapaport/ originally written in 1985; updated 3 February 1995; updated again, 28 June 2005 Abstract This paper introduces semantic networks to a philosophical audience and surveys several approaches to semantic-network semantics that, at the original time of writing (1985) had not previously been treated in the AI or computational- linguistics literature (but see ¡ 12), though there is a large philosophical literature investigating them in some detail. In particular, propositional semantic networks (exemplified by SNePS) are discussed, it is argued that only a fully intensional, Meinongian semantics is appropriate for them, and several Meinongian systems are presented. This paper was once allegedly forthcoming in: Simons, Peter (ed.), Essays on Meinong (Dettelbach: Roell Verlag) (or possibly Amsterdam: Rodopi Editions). A shorter version appeared as: Rapaport, William J. (1985), “Meinongian Semantics for Propositional Semantic Networks”, Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics (University of Chicago) (Morristown, NJ: Association for Computational Linguistics): 43–48, [http://acl.ldc.upenn.edu/P/P85/P85-1006.pdf]. 1 1 Meinong, Philosophy, and Artificial Intelligence Philosophy has not been kind to Alexius Meinong, a late-19th/early-20th-century cognitive scientist (see Findlay 1963; Grossmann 1974; Rapaport 1978, 1991b; Routley 1979; Lambert 1983; Schubert-Kalsi 1987). Only recently (ca. 1970s) has there been a renaissance in Meinong studies. Even so, his writings are often treated as curiosities (or worse) by mainstream philosophers. -
The Philosophical Development of Gilbert Ryle
THE PHILOSOPHICAL DEVELOPMENT OF GILBERT RYLE A Study of His Published and Unpublished Writings © Charlotte Vrijen 2007 Illustrations front cover: 1) Ryle’s annotations to Wittgenstein’s Tractatus 2) Notes (miscellaneous) from ‘the red box’, Linacre College Library Illustration back cover: Rodin’s Le Penseur RIJKSUNIVERSITEIT GRONINGEN The Philosophical Development of Gilbert Ryle A Study of His Published and Unpublished Writings Proefschrift ter verkrijging van het doctoraat in de Wijsbegeerte aan de Rijksuniversiteit Groningen op gezag van de Rector Magnificus, dr. F. Zwarts, in het openbaar te verdedigen op donderdag 14 juni 2007 om 16.15 uur door Charlotte Vrijen geboren op 11 maart 1978 te Rolde Promotor: Prof. Dr. L.W. Nauta Copromotor: Prof. Dr. M.R.M. ter Hark Beoordelingscommissie: Prof. Dr. D.H.K. Pätzold Prof. Dr. B.F. McGuinness Prof. Dr. J.M. Connelly ISBN: 978-90-367-3049-5 Preface I am indebted to many people for being able to finish this dissertation. First of all I would like to thank my supervisor and promotor Lodi Nauta for his comments on an enormous variety of drafts and for the many stimulating discussions we had throughout the project. He did not limit himself to deeply theoretical discussions but also saved me from grammatical and stylish sloppiness. (He would, for example, have suggested to leave out the ‘enormous’ and ‘many’ above, as well as by far most of the ‘very’’s and ‘greatly’’s in the sentences to come.) After I had already started my new job outside the academic world, Lodi regularly – but always in a pleasant way – reminded me of this other job that still had to be finished. -
Stanford Encyclopedia of Philosophy the Elves, Rivendell, for Example)
pdf version of the entry Fictional Entities https://plato.stanford.edu/archives/fall2018/entries/fictional-entities/ Fictional Entities from the Fall 2018 Edition of the First published Thu Jul 26, 2018 Stanford Encyclopedia Philosophical issues surrounding fiction have attracted increasing attention from philosophers over the past few decades. What follows is a discussion of Philosophy of one familiar and quite fundamental topic in this area: fictional entities (both the issue of what such entities might be like and whether there really are such entities). A familiar characteristic of works of fiction is that they feature fictional characters: individuals whose exploits are written about in works of fiction Edward N. Zalta Uri Nodelman Colin Allen R. Lanier Anderson Principal Editor Senior Editor Associate Editor Faculty Sponsor and who make their first appearance in a work of fiction. Shakespeare’s Editorial Board Hamlet, for example, features the fictional character Hamlet, Doyle’s The https://plato.stanford.edu/board.html Hound of the Baskervilles features Sherlock Holmes, Tolstoy’s Anna Library of Congress Catalog Data Karenina features Anna Karenina, and so on. All of these works feature ISSN: 1095-5054 numerous other fictional characters, of course (Ophelia and Dr Watson, for example); indeed, some works of fiction are characterized by the sheer Notice: This PDF version was distributed by request to mem- abundance of their characters (Russian novels are often said to have this bers of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized characteristic). Fictional characters belong to the class of entities variously distribution is prohibited.