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.

Preface and Postscript Combining a Preface with a Postscript seems a particularly apposite way to introduce (and conclude) a collection of essays on ...

In its approach to fiction and fictional discourse, pretense theory focuses on the behaviors that we engage in once we pretend that something is true. These may include pretending to name, pretending to refer, pretending to admire, and various other kinds of make-believe. Ordinary discourse about fictions is analyzed as a kind of institutionalized manner of speaking. Pretense, make-believe, and manners of speaking are all accepted as complex patterns of behavior that prove to be systematic in various ways. In this (...) paper, I attempt to show: (1) that this systematicity is captured in the basic distinctions and representations that are central to the formal theory of abstract objects, and (2) that this formal theory need not be interpreted platonistically, but may instead have an interpretation on which the `objects' of the theory are things that pretense theorists already accept, namely, complex patterns of linguistic behavior. The surprising conclusion, then, is that a certain Wittgensteinian approach to meaning (e.g., the meaning of a term like `Holmes' is constituted by its pattern of use) bears an interesting relationship to a formal metaphysical theory and the semantic analyses of discourse constructed in terms of that theory---the former offers a naturalized interpretation of the latter, yet the latter makes the former more precise. (shrink)

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

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.

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)

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.

The appeal to possible worlds in the semantics of modal logic and the philosophical defense of possible worlds as an essential element of ontology have led philosophers and logicians to introduce other kinds of `worlds' in order to study various philosophical and logical phenomena. The literature contains discussions of `non-normal worlds', `non-classical worlds', `non-standard worlds', and `impossible worlds'. These atypical worlds have been used in the following ways: (1) to interpret unusual modal logics, (2) to distinguish logically equivalent propositions, (3) (...) to solve the problems associated with propositional attitude contexts, intentional contexts, and counterfactuals with impossible antecedents, and (4) to interpret systems of relevant and paraconsistent logic. However, those who have attempted to develop a genuine metaphysical theory of such atypical worlds tend to move too quickly from philosophical characterizations to formal semantics. (shrink)

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 highly accessible book, a distinguished philosopher says current focus on the brain conceals the real powers of the mind. Edward Pols revisits one of the basic topics of philosophy: what is the distinction between mind and body and what is the relation between them? He disagrees fundamentally with the many contemporary philosophers who concentrate on the findings of neurophysiology and cognitive science and so look only to the brain for the causes and explanation of mind. Pols concedes (...) the importance of such scientific studies but maintains that they focus on the infrastructure of mind and ignore the momentous difference between the infrastructure and mind itself. Pols calls upon the reader to attend to mind itself as a concrete and experientially available reality. This kind of attention, he argues persuasively, reveals mind to be at once causally dependent on the brain and causally effective on the physical processes of the brain and the world. Pols also examines the hierarchical view of mind and causality first proposed by Plato and Aristotle, the supersession of that view by the received scientific doctrine of causality, and the mistaken denial of the power of the mind to know an independent reality—a denial that resulted from the philosophical doctrines about knowing developed in the era that began with Descartes and ended with Kant. (shrink)

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)

In the debate about the nature and identity of possible worlds, philosophers have neglected the parallel questions about the nature and identity of moments of time. These are not questions about the structure of time in general, but rather about the internal structure of each individual time. Times and worlds share the following structural similarities: both are maximal with respect to propositions (at every world and time, either p or p is true, for every p); both are consistent; both are (...) closed (every modal consequence of a proposition true at a world is also true at that world, and every tense-theoretic consequence of a proposition true at a time is also true at that time); just as there is a unique actual world, there is a unique present moment; and just as a proposition is necessarily true iff true at all worlds, a proposition is eternally true iff true at all times. In this paper, I show that a simple extension of my theory of worlds yields a theory of times in which the above structural similarities between the two are consequences. (shrink)

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)

This article exposes the sophistry inherent in the construction of the "number line," as this continuum is named by mathematicians, and shows how another continuum, one which preserves the properties of the old "number line" but which is based on rational foundations, namely the relations to one another of the ratios that continuous magnitudes have to one another, can be generated to replace it.

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.

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)

One of the foundational texts of interpersonal psychoanalysis, _Prelogical Experience_ is a pioneering attempt to elaborate an interpersonal theory of personality that encompasses the nonpropositional, nonverbal dimension of human experience. Prelogical processes, the authors hold, cannot be consigned to infancy; rather they shape experience throughout life and are especially salient in relation to dreams, emotion, perception, and the arts. Of special note is Tauber and Green's elaboration of the clinical situation that grows out of an appreciation of prelogical experience. In (...) a striking anticipation of contemporary thinking, they approach patient-therapist interaction in terms of the continuous exchange of "presentational data" by patient and analyst. These data enable patient and therapist alike to "know" more about the other than can ever be expressed in propositional terms. This perspective assigns an important role to what Piaget would term "the cognitive unconscious" in the clinical process. It likewise sustains a view of the countertransference - which includes the analyst's own dreams - as a vital source of presentational data about the patient. As Donnel Stern notes in his Introduction, these and other insights "amount to a surprisingly contemporary description of psychoanalytic treatment.". (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.

This set is a selection of works which represent the best expositions of Thomistic approaches from the period between the first translation of Thomas Aquinas's Summa Theologiae into English in 1912 and the start of the Second Vatican Council in 1962.

The Washington National Cathedral, set on the highest hill in the capital city of the world's greatest economic and military power, is an iconic location for an examination of the intersection of immaterial faith, material power, and human conscious experience. It is a location made even more symbolic due to the fact that surrounding the Cathedral on three sides are three private schools -- an elementary school (Beauvoir) to the east, a boys' school (St. Albans) to the south, and a (...) girls' school (National Cathedral School) to the north. The students at these private schools include children of persons who wield the secular power headquartered in the City below the Cathedral Tower. Every day these students study and compete upon a hill giving them panoramic views over the great monuments and symbols of American power: the Capitol Dome, the Washington Monument, the entire City. And the Cathedral that marks their spot upon this globe is visible from all over the region, high above the City. These students are intelligent and informed, and thus for purposes of a dramatic-oriented form of exploration of interesting issues, provide a persuasive characterization for participants in a dialog of two iconic children, older teenagers, a boy and a girl, students at these schools and worshippers in the Cathedral, to develop an examination of themes of faith, power, and the experience of sentience in the material world, walking within and around the Washington National Cathedral, two of its affiliated schools, and the gardens and forests surrounding. The approach recalls the form of the dialogs of Plato, in which persons of elite educational and cultural status encounter each other within a specific building or location, and proceed to discuss such matters as are provoked to mind by the encounter of those minds in that place. The major character of the piece, Merian Validus, is, among other things, a bell-ringer of the Cathedral, a denizen of its highest tower -- as are in reality a group of the girls of NCS. She is an Esmeralda performing the role of Quasimodo. After reading this, think of that the next time you land at Reagan National Airport and catch your cab, looking right at the Cathedral as you speed north into the City. (shrink)

Instead of relying on the usual price elasticity technique, this book combines economic and engineering analysis to study economic growth and energy demands to the year 2000. It asserts that future energy demand will be determined by two basic factors--the gross national product and the efficiency with which energy is used to produce this output in the household, commercial, industrial, and transport sectors of the economy.Labor hours multiplied by a productivity factor results in the GNP. This study predicts that, in (...) the long run, productivity in the United States will recover most of the sharp losses registered in the past five years. The study points out the decelerating population growth, the higher number of women in the labor force, and new investments as having an influence on this situation.After projecting the size and composition of each of the four energy consuming sectors that account for the total GNP. Energy and Economic Growth estimates efficiency improvements for each. It shows, for example, that higher levels of thermal insulation will reduce sharply energy needs for household heating and cooling. Similarly, the study notes that improvements in energy consumption per dollar of output can be made for each of the energy intensive manufacturing industries, nothing that although the savings in energy are significant, none is a consequence of pushing improvements to known technological limits. Finally, the book establishes the price elasticities that are inherent in the calculated energy requirements and checks these against elasticity estimates made by other researchers. (shrink)

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.

Cette étude examine cinq principaux changements de méthodologie qui se trouvent dans cinq documents-clé de Vatican II, afin de discerner à quel point ces documents sont cohérents avec ou différents des principales caractéristiques de méthodologie de la période du concile. L'article commence par une introduction à trois approches théologiques en voque dans les écrits catholiques romains au temps du concile: néo-scolastique, transcendantalisme et correlationisme. La conscience historique est aussi examinée comme une note importante de méthode théologique. L'article examine ensuite Sacrosanctum (...) Concilium, Lumen Gentium, Dei Verbum, Dignitatis Huamnae et Gaudium et Spes en vue de ces données. L'étude identifie six changements méthodologiques notoires dans les documents: la mise en sourdine de la néo-scolastique du 19e siècle, la transformation de la néo-scolastique grâce aux ressources bibliques, la montée de questions centrales à la méthode transcendentale, des essais tardifs mais importants de raisonnement transcendental, une corrélation toujours croissante de mode confessionel, une conscience historique en développement. En conclusion, les A. affirment une évolution méthodologique dans Vatican II qui pourrait valider une évolution continue de la méthode théologique aujourd'hui. (shrink)

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)

We applaud the ambition of Veissière et al.'s account of cultural learning, and the attempt to ground higher order thinking in embodied theory. However, the account is limited by loose terminology, and by its commitment to a view of the child learner as inference-maker. Vygotsky offers a more powerful view of cultural learning, one that is fully compatible with embodiment.