The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.

The foregoing set of theorems forms an effective foundation for the theory of situations and worlds. All twenty-five theorems seem to be basic, reasonable principles that structure the domains of properties, relations, states of affairs, situations, and worlds in true and philosophically interesting ways. They resolve 15 of the 19 choice points defined in Barwise (1989) (see Notes 22, 27, 31, 32, 35, 36, 39, 43, and 45). Moreover, important axioms and principles stipulated by situation theorists are derived (see Notes (...) 33, 37, and 38). This is convincing evidence that the foregoing constitutes a theory of situations. Note that worlds are just a special kind of situation, and that the basic theorems of world theory, which were derived in previous work, can still be derived in this situation-theoretic setting. So there seems to be no fundamental incompatibility between situations and worlds — they may peacably coexist in the foundations of metaphysics. The theory may therefore reconcile two research programs that appeared to be heading off in different directions. And we must remind the reader that the general metaphysical principles underlying our theory were not designed with the application to situation theory in mind. This suggests that the general theory and the underlying distinction have explanatory power, for they seem to relate and systematize apparently unrelated phenomena. (shrink)

In this paper, the author shows how one can independently prove, within the theory of abstract objects, some of the most significant claims, hypotheses, and background assumptions found in Kripke's logical and philosophical work. Moreover, many of the semantic features of theory of abstract objects are consistent with Kripke's views — the successful representation, in the system, of the truth conditions and entailments of philosophically puzzling sentences of natural language validates certain Kripkean semantic claims about natural language.

CHAPTER I INTRODUCTION: A NEW UNIVERSITY AND THE CHALLENGE OF THE NEW SCIENCE Despite the recent and continuing controversy concerning the proper role of ...

The concept of epistemic injustice is the latest philosophical tool with which to try to theorise what goes wrong when mental health service users are not listened to by clinicians, and what goes right when they are. Is the tool adequate to the task? It is argued that, to be applicable at all, the concept needs some adjustment so that being disbelieved as a result of prejudice is one of a family of alternative necessary conditions for its application, rather than (...) a necessary condition all on its own. It is then argued that even once adjusted in this way, the concept does not fit well in the area where the biggest efforts have been made to apply it so far, namely the highly sensitive case of adult patients suffering from delusions. Indeed it does not serve the interests of service users struggling for recognition to try to apply it in this context, because there is so much more to being listened to than simply being believed. However, the concept is found to apply smoothly in many cases where the service users are children, for example, in relation to children’s testimony on the efficacy of treatment. It is suggested that further research would demonstrate the usefulness of the concept in adult cases of a similar kind. There are no data in this work. (shrink)

The purpose of cognitive models is to make predictive simulations of human behaviour, but this is often done at the aggregate level. Cranford, Gonzalez, Aggarwal, Cooney, Tambe, and Lebiere show that they can automatically customize a model to a particular individual on‐the‐fly, and use it to make specific predictions about their next actions, in the context of a particular cybersecurity game.

In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and (...) predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical. (shrink)

Discusses Indian Buddhist philosophy in three phases of its development.

This paper contains answers to the following Five questions, posed by the editors are answered: (1) Why were you initially drawn to the foundations of mathematics and/or the philosophy of mathematics? (2) What example(s) from your work (or the work of others) illustrates the use of mathematics for philosophy? (3) What is the proper role of philosophy of mathematics in relation to logic, foundations of mathematics, the traditional core areas of mathematics, and science? (4) What do you consider the most (...) neglected topics and/or contributions in late 20th century philosophy of mathematics? (5) What are the most important open problems in the philosophy of mathematics and what are the prospects for progress? (shrink)

Unlike some other reproductions of classic texts (1) We have not used OCR(Optical Character Recognition), as this leads to bad quality books with introduced typos. (2) In books where there are images such as portraits, maps, sketches etc We have endeavoured to keep the quality of these images, so they represent accurately the original artefact. Although occasionally there may be certain imperfections with these old texts, we feel they deserve to be made available for future generations to enjoy.

This paper responds to an essay by Elena Ferrante on male literary figures acknowledging the influence of female ones. She poses a question about her reception by males which I address.

This paper features premise-by-premise reconstructions of a famous quotation by Sojourner Truth, presented to us by bell hooks.

If beliefs are a map by which we steer, then, ceteris paribus, we should want a more accurate map. However, the world could be structured so as to punish learning with respect to certain topics—by learning new information, one’s situation could be worse than it otherwise would have been. We investigate whether the world is structured so as to punish learning specifically about moral nihilism. We ask, if an ordinary person had the option to learn the truth about moral nihilism, (...) ought she to take it? We argue, given plausible assumptions about ordinary human preferences, she should not. (shrink)

This book is part of a larger study of the problem of the one and the many in Aristotle's Metaphysics. Although this portion can be read and understood on its own, some remarks about the contents of the two sister volumes will be helpful.

The Greek priests were concerned with ritual alone, and rarely, if ever, assumed the office of moralist; the philosophers, such as Parmenides and Empedocles ...

The author examines the differences between the general intensional logic defined in his recent book and Montague's intensional logic. Whereas Montague assigned extensions and intensions to expressions (and employed set theory to construct these values as certain sets), the author assigns denotations to terms and relies upon an axiomatic theory of intensional entities that covers properties, relations, propositions, worlds, and other abstract objects. It is then shown that the puzzles for Montague's analyses of modality and descriptions, propositional attitudes, and directedness (...) towards nonexistents can be solved using the author's logic. (shrink)

A. Plantinga develops a challenging critique of Castañeda's guise theory, by identifying fundamental intuitions that guise theory gives up and by developing several objections to the guise-theoretic world view as a whole. In this paper, I examine whether Plantinga's criticisms apply to the theory of abstract objects. The theory of abstract objects and guise theory can be fruitfully compared because they share a common intellectual heritage---both follow Ernst Mally [1912] in postulating a special realm of objects distinguished by their "internal" (...) or "encoded" properties. Despite this common heritage, however, the theories organize, develop, and apply these special objects in distinctive ways. The two metaphysical systems, therefore, differ significantly, and these differences become important when one considers Plantinga's critique of guise theory. In this essay, the author shows that the theory of abstract objects anticipates and addresses most of Plantinga's concerns about guise theory, by preserving intuitions guise theory has abandoned. (shrink)

In “Conceptual Differences Between Children and Adults,” Susan Carey discusses phlogiston theory in order to defend the view that there can be non-translatability between scientific languages. I present an objection to her defence.

roots In the Lexicon of Malagasy we include an entry whose string part is vidy ('buy'). Its category is 'RT [AG, TH) ', indicating that it is a root and is associated with a two element set of theta roles, AGFNT and THEME. Semantically this entry is interpreted as a binary relation (= a two participant event), noted VIDY'.

This paper is a response to Kathleen Stock’s book Material Girls, by way of imitation. I have attempted to write a faux chapter in the book’s style, identifying four moments in overcoming the low-high culture divide in responses to the arts.

Dr. Lacewing’s paper is a very interesting one. We agree in part, but only in part. Lacewing (2012) rejects the general thesis that “causal inferences must always be justified on the basis of Mill’s canons” (p. 199). I agree, but so does his target, Adolf Grünbaum, as we shall see in a moment. But first there is a question about Grünbaum’s alleged reliance on Mill’s Methods of Agreement and Difference. This interpretation may not make a difference to Lacewing’s arguments, but (...) it is worth correcting, given that some philosophers criticize both methods and yet their criticisms have no direct bearing on any of Grünbaum’s arguments. When Grünbaum speaks of “Millian methods,” he is not necessarily talking .. (shrink)