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.

Some recently-proposed counterexamples to the traditional definition of essential property do not require a separate logic of essence. Instead, the examples can be analysed in terms of the logic and theory of abstract objects. This theory distinguishes between abstract and ordinary objects, and provides a general analysis of the essential properties of both kinds of object. The claim ‘x has F necessarily’ becomes ambiguous in the case of abstract objects, and in the case of ordinary objects there are various ways (...) to make the definition of ‘F is essential to x’ more fine-grained. Consequently, the traditional definition of essential property for abstract objects in terms of modal notions is not correct, and for ordinary objects the relationship between essential properties and modality, once properly understood, addresses the counterexample. (shrink)

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)

This is a book grounded in the real ethical challenges of modern business practice, with a world-religious perspective so necessary in an era of globalization.

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 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)

of my axiomatic theory of abstract objects.¹ The theory asserts the ex- istence not only of ordinary properties, relations, and propositions, but also of abstract individuals and abstract properties and relations. The.

Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal philosophies of mathematics are each based upon an insight or truth about the nature of mathematics that can be validated. (1) includes the multiverse approach to set theory. (2) helps us to understand (...) the significance of the distinguished non‐logical individual and relation terms of even inconsistent theories. (3) is a metaphilosophical form of mathematical pluralism and hasn't been discussed in the literature. In what follows, I show how the analysis of theoretical mathematics in object theory exhibits all three forms of mathematical pluralism. (shrink)

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 work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (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 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 this paper I propose a fundamental modification of standard type theory, produce a new kind of type theoretic language, and couch in this language a comprehensive theory of abstract individuals and abstract properties and relations of every type. I then suggest how to employ the theory to solve the four following philosophical problems: the identification and ontological status of Frege's Senses; the deviant behavior of terms in propositional attitude contexts; the non-identity of necessarily equivalent propositions, and the paradox of (...) analysis. We can roughly describe these solutions as follows: the senses of English names and descriptions which denote individuals will be modelled as abstract individuals; the senses of English relation denoting expressions of a given type will be modelled as abstract relations of that type. Inside de dicto attitude contexts, these English expressions denote their senses. Relations and propositions will not be identified with their extensions, nor with functions or sets of any kind. They will be taken as primitive, and precise being and identity conditions will be proposed consistent with the view that necessarily equivalent relations and propositions may be distinct. With the modelling described in, the expressions being a brother and being a male sibling may both denote the same property, though their senses may differ. Just as Frege predicts, being a brother just is being a male sibling is an informative identity statement because the terms flanking the identity sign have the same denotation, though distinct senses. (shrink)

Science provides us with representations of atoms, elementary particles, polymers, populations, genetic trees, economies, rational decisions, aeroplanes, earthquakes, forest fires, irrigation systems, and the world’s climate. It's through these representations that we learn about the world. This entry explores various different accounts of scientific representation, with a particular focus on how scientific models represent their target systems. As philosophers of science are increasingly acknowledging the importance, if not the primacy, of scientific models as representational units of science, it's important to (...) stress that how they represent plays a fundamental role in how we are to answer other questions in the philosophy of science (e.g. the scientific realism debate). This entry begins by disentangling ‘the’ problem of scientific representation, before critically evaluating the current options available in the literature. (shrink)

This book uncovers and explores the constant tension between the historical and the transcendental that lies at the heart of Michel Foucault's work. In the process, it also assesses the philosophical foundations of his thought by examining his theoretical borrowings from Kant, Nietzsche, and Heidegger, who each provided him with tools to critically rethink the status of the transcendental. Given Foucault's constant focus on the question of the possibility for knowledge, the author argues that his philosophical itinerary can be understood (...) as a series of attempts to historicize the transcendental. In so doing, he seeks to uncover a specific level that would identify these conditions without falling either into an excess of idealism or of materialism. The author concludes that, although this problem does unify Foucault's work and gives it its specifically philosophical dimension, none of the concepts successively provided manages to name these conditions without falling into the pitfalls that Foucault originally denounced as characteristic of the "anthropological sleep"—various forms of confusion between the historical and the transcendental. Although Foucault's work provides us with a highly illuminating analysis of the major problems of post-Kantian philosophies, ultimately it remains aporetic in that it also fails to overcome them. (shrink)

I present three responses to a Rose Macualay quotation listing literary publications from 1901.

This brief summary presents four propositions about language which Locke has been interpreted as committed to, a paradox by Derrida which challenges these propositions, and two attempted solutions.

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)

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)

Bridges the gap between abstract film theory and the practical realities of feature film production.

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)