Propositionalism is the view that all intensional constructions (including nominal and clausal attitude reports) can be interpreted as relations to truth-evaluable propositional content. While propositionalism has long been silently assumed in semantics and the philosophy of language, it has only recently entered center stage in linguistic research. This article surveys the properties of intensional constructions, which require the introduction of fine-grained semantic values (intensions). It contrasts two ways of obtaining such values: through the introduction of either Russellian propositions or (...) Frege-Church-style senses. The article identifies propositionalism with a specific variant of the Russellian strategy, reviews key arguments for propositionalism, and compares familiar varieties of propositionalism on the basis of instructive examples. It closes by discussing various challenges for propositionalism and suggesting a generalization of propositionalism that meets some of these challenges. Because of the association of propositions with semantic information, the article also addresses the more general question of whether all information content (including mental and pictorial content) is propositional. (shrink)

This is a thesis in formal semantics. It consists of two parts corresponding to the distinction, due to Richard Montague, between universal grammar and specific semantic theories. The first part concerns universal grammar and is intended to provide a precise and unified conceptual framework within which different theories of formal semantics can be represented and compared. ;The second part of the thesis is concerned with intensional logic, i.e., with the logical analysis of discourse involving so called oblique contexts. These contexts (...) are characterized by the apparent failure of certain classically valid principles of substitutivity. Two kinds of reactions among logicians to the appearance of oblique contexts in natural languages are distinguished: (1) the intensional point of view, according to which oblique contexts are seen as genuine counterexamples to classical logic and to the related semantical principle of extensionality: the principle that the denotation of an expression is a function of the denotations of its parts; and (2) the extensional point of view, according to which the conflict between oblique contexts and classical logic is only apparent. The extensional point of view therefore calls for analyses of oblique contexts that preserve the laws of classical logic and the principle of extensionality. In this thesis, we are concerned with the precise formulation of and comparison between different programs for the formal semantic representation of oblique contexts. In Chapter 5, we are concerned with Church's program of representing oblique contexts within a formal language whose semantics is fully extensional and based on Frege's distinction between sense and denotation. The ambiguity between the "direct" and "indirect" denotation of an expression A is avoided by letting A be replaced in oblique contexts by an expression which denotes A's ordinary sense. We provide a possible-worlds semantics for a version of Church's formal language with the following features: (i) Objectual quantification into oblique constructions is accounted for. The treatment of quantification requires for each entity x an essence of x, by which we mean a sense which determines x in those worlds in which x exists and is undefined in all other worlds. (ii) The variables range over actually existing entities only. It is allowed that entities of certain types are contingent, i.e., the same entity may exist in one world and fail to exist in other worlds. (iii) In order to combine a proper treatment of the cross-world identification of functions with varying domains, partial functions are allowed. (iv) Senses are allowed to be partially defined. For example, the sense of a proper name is undefined in a world in which the denotation of the name does not exist. (v) Senses of functions from objects of type a to objects of type b are identified with functions from senses of objects of type a to senses of objects of type b. In Chapters 6 and 7, we pursue the Russellian Alternative in intensional semantics, where a sense/denotation distinction is avoided. Apparent failures of substitutivity principles for singular terms are explained along the lines of Russell's theory of definite descriptions. Failures of substitutivity of coextensional sentences and predicates are explained by Russell's doctrine that sentences and predicate denote propositions and propositional functions , respectively. Russellian semantics is fully extensional in the sense that the Russellian denotation of a designator is a function of the Russellian denotations of its parts. In Chapter 6, a theory of Russellian propositions is developed within set theory. This theory is then applied in Chapter 7 to the task of providing a set-theoretic semantics for Russellian type theory. (shrink)

The issue on which I intend to focus is whether there is anything else, anything more than ontological economy, which, in Russell's mature account of the constituents of propositions, is gained by his rejection of denoting concepts. I will argue that in order to answer this question, it is necessary to appreciate that by the time of "On Denoting," Russell was not merely advancing a claim of philosophical logic or a theory of the logical form of the descriptive phrases of (...) English. (edited). (shrink)

According to a widely credited model in the business ethics literature, ethical decisions are a function of two kinds of factors, personal(individual) and situational, and these factors interact with each other. According to a contrary view of decision making that is widely held in some areas of business research, individuals’ decisions about ethical issues (and subsequent actions) are purely a function of their self-interest.The laboratory experiment reported in this paper provides a test of the person-situation interactionist model, using the general (...) theoretical and experimental framework used in the experimental economics literature. One individual and two situational factors relating to moral intensity were examined which may influence decisions to misrepresent information in the course of business activities.The individual and one situational variable were significantly related to participants’ actions. The interactions among individual andsituation variables were not individually significant, although the model including interactions had a much higher level of statistical significance. Gender was significant, both directly and in interaction with moral development, suggesting that it may be worthy of further examination. (shrink)

According to a widely credited model in the business ethics literature, ethical decisions are a function of two kinds of factors, personal(individual) and situational, and these factors interact with each other. According to a contrary view of decision making that is widely held in some areas of business research, individuals’ decisions about ethical issues (and subsequent actions) are purely a function of their self-interest.The laboratory experiment reported in this paper provides a test of the person-situation interactionist model, using the general (...) theoretical and experimental framework used in the experimental economics literature. One individual and two situational factors relating to moral intensity were examined which may influence decisions to misrepresent information in the course of business activities.The individual and one situational variable were significantly related to participants’ actions. The interactions among individual andsituation variables were not individually significant, although the model including interactions had a much higher level of statistical significance. Gender was significant, both directly and in interaction with moral development, suggesting that it may be worthy of further examination. (shrink)

This book is in the Studies in Philosophy: Outstanding Dissertations series. Its central theme is that Frege’s concept-notation is inadequate because it does not formalize his semantic theory after the introduction of the sense-reference distinction in 1891. This failing, according to Klement, opens Frege up to a number of philosophical and logical challenges that can be met only by completing the project of showing “how Frege’s mature semantic views would be incorporated into his mature logical system”, a (...) project which, Klement plausibly argues, Frege would have endorsed. This involves: allowing the concept-notation to represent explicitly what is expressed in natural language with indirect constructions such as “said that...” or “believes that... ”; allowing principles to be formulated over this notion which capture inferences involving indirect constructions such as: The Morning Star is a planet, Gottlob believes the Morning Star is a planet, so, Gottlob believes something true; being able to respond to certain objections to Frege’s views, some first bruited by Russell and in later correspondence, others involving the identity conditions on intensional entities and “quantifying in” ; making the concept-notation reflect Frege’s ontology; and evaluating the consistency of Frege’s ontology. The chapters of this book are devoted to fulfilling this project “based upon a careful reading of Frege’s own works”, and their contents are mostly self-explanatory. Chapter 2 sets out the formal apparatus of the Grundgeseze, even the bits Frege left out. Chapter 3 is the most philosophical. Senses are construed as interpersonally accessible information uniquely true of the references they determine—senses are objects and functions in the “third realm.” Singular terms are associated with an impossibly rich hierarchy of senses as objects. Functors, including predicates, are associated with senses as functions. Sentences are associated with thoughts as objects, composed of constituent sense-functions, and in many cases, also sense-objects. Robust compositionality at the level of sense raises the question of the nature of the relation between constituents and the whole—is it functional, or not? Compositionality potentially conflicts with a number of other claims, and Klement’s conclusion is reasonable: “the context principle, the priority thesis, and the possibility of there existing multiple decompositions for the same Gedanke, do not pose any great difficulty for the compositionality principle or the understanding of Gedanke as having determinate inner structures”. Chapter 4 sets out Church’s original system and investigates reformulations suggested by Church himself, Kaplan, and others. Chapter 5 presents Klement’s formalization of an intensional logic of sense and reference, based on the results of chapters 2 and 4, and sufficient for indirect speech and quantifying-in, but containing a contradiction. Chapter 6 takes up arguments of early Russell, Searle, and Bergmann. Chapter 7 addresses strategies for repairing the inconsistencies of chapter 5, but in a Fregean spirit: dropping some realms of entities, restricting their number, or modifying our conception of their nature. (shrink)

The aim of this paper will be to show how significant the logical theories of judgement which were worked out at the end of the nineteenth century have been for the ontological thought during the twentieth century. Against the classical - Aristotelian and Scholastic - analysis of predicative judgement, Franz Brentano on one hand and Gottlob Frege on the other hand have leveled two different criticisms, which then generated two radically divergent ontological paradigms. On one side, despite Brentano’s own (...) nominalistic stands, there was a tremendous extension of the general category of “object” as well as of the notion of “being” with, as a consequence, the exceptionnally luxuriant ontologies of Brentano’s heirs. On the other side, notwithstanding Frege’s own Platonistic affinities, there was a drastic deflation of the realm of objects to the benefit of the realm of concepts taken as classifying functions, and therefore a strong nominalistic trend among Frege’s heirs. The development of quantified modal logics at the middle of twentieth century however forced contemporary ontology to reconsider this simple alternative in order to give place to some hybrid entities such as individual concepts or other kinds of “intensional objects”. (shrink)

Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...) are we theoreticians epistemically justified in holding that there are such entities? This would hardly seem sufficient. To be epistemically justified, the ontology to which we theoreticians are committed must pass strict standards: the entities must be of the sort required by our best comprehensive theory of the world. The thesis of this paper is that fine-grained type-free intensional entities are like this. If the thesis is right, these entities have a special objective status perhaps not possessed by some of the other ontological categories associated with special syntactic constructions in natural language. In fact, it is plausible to hold that fine-grained type-free intensional entities provide the proper minimal framework for constructing logical and linguistic theories. In this paper my strategy will be to survey the competing conceptions of fine-grained type-free intensionality and to present arguments in support of one of them. Following this narrowing down process, I will go on to the indicated epistemological considerations. (shrink)

It would be an understatement to say that Russell was interested in Cantorian diagonal paradoxes. His discovery of the various versions of Russell’s paradox—the classes version, the predicates version, the propositional functions version—had a lasting effect on his views in philosophical logic. Similar Cantorian paradoxes regarding propositions—such as that discussed in §500 of The Principles of Mathematics—were surely among the reasons Russell eventually abandoned his ontology of propositions.1 However, Russell’s reasons for abandoning what he called “denoting concepts”, and (...) his rejection of similar “semantic dualisms” such as Frege’s theory of sense and reference—at least in “On Denoting”—made no explicit mention of any Cantorian paradox. My aim in this paper is to argue that such paradoxes do pose a problem for certain theories such as Frege’s, and early Russell’s, about how definite descriptions are meaningful. My first aim is simply to lay out the problem I have in mind. Next, I shall turn to arguing that the theories of descriptions endorsed by Frege and by Russell prior to “On Denoting” are susceptible to the problem. Finally, I explore what responses a.. (shrink)

Church's Thesis (CT) was first published by Alonzo Church in 1935. CT is a proposition that identifies two notions: an intuitive notion of an effectively computable function defined in natural numbers with the notion of a recursive function. Despite the many efforts of prominent scientists, Church's Thesis has never been disproven. There exists a vast literature concerning the thesis. The aim of this book is to provide a one volume summary of the state of research on Church's Thesis. These include (...) the following: different formulations of CT, CT and intuitionism, CT and intensional mathematics, CT and physics, the epistemic status of CT, CT and philosophy of mind, provability of CT and CT and functional programming. Adam Olszewski, is assistant professor of the philosophy of mathematics and mathematical logic at the Department of Philosophy of Pontifical Academy of Theology, Cracow (Poland). Jan Wolenski is professor of philosophy, Institute of Philosphy, Jagiellonian University, Cracow (Poland). He is one of the most distinguished logicians in Poland. Robert Janusz is assistant professor in the Department of Philosophy of Ignatius College, Cracow (Poland). (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

The main objective of this paper is to examine how theories of truth and reference that are in a broad sense Fregean in character are threatened by antinomies; in particular by the Epimenides paradox and versions of the so-called Russell-Myhill antinomy, an intensional analogue of Russell’s more well-known paradox for extensions. Frege’s ontology of propositions and senses has recently received renewed interest in connection with minimalist theories that take propositions (thoughts) and senses (concepts) as the primary bearers of truth (...) and reference. In this paper, I will present a rigorous version of Frege’s theory of sense and denotation and show that it leads to antinomies. I am also going to discuss ways of modifying Frege’s semantical and ontological framework in order to avoid the paradoxes. In this connection, I explore the possibility of giving up the Fregean assumption of a universal domain of absolutely all objects, containing in addition to extensional objects also abstract intensional ones like propositions and singular concepts. I outline a cumulative hierarchy of Fregean propositions and senses, in analogy with Gödel’s hierarchy of constructible sets. In this hierarchy, there is no domain of all objects. Instead, every domain of objects is extendible with new objects that, on pain of contradiction, cannot belong to the given domain. According to this approach, there is no domain containing absolutely all propositions or absolutely all senses. (shrink)

Frege puzzles exploit cognitive differences between co-referential terms. Traditionally, they were handled by some version of Frege’s distinction between sense and reference, which avoided disruptive consequences for epistemology. However, the Fregean programme did not live up to its original promise, and was undermined by the development of theories of direct reference; for semantic purposes, its prospects now look dim. In particular, well-known analogues of Frege puzzles concern pairs of uncontentious synonyms; attempts to deal with them by distinguishing (...) idiolects or postulating ‘narrow contents’ or elaborate forms of context-sensitivity are inadequate or semantically implausible. Although ascriptions of knowledge, belief, and other attitudes are ubiquitous in epistemology, epistemologists have not properly come to terms with the surprising consequences of anti-Fregean semantic accounts of attitude ascriptions. In ‘A Puzzle about Belief ’, Saul Kripke shows that natural-seeming disquotational principles for ascribing belief lead to apparently unacceptable consequences, including outright contradictions, in problem cases. Such disquotation principles, I argue, are best regarded not as conceptual connections but just as heuristics in the psychological sense, quick and easy ways of assessing belief ascriptions, usually accurate under normal conditions but far from 100% reliable. I discuss similar heuristics for ascribing knowledge and other attitudes. That the principles have a merely heuristic status need not be pre-theoretically manifest to their users. This view vindicates Kripke’s conclusion that it would be wrong-headed to draw semantic conclusions from Frege puzzles. I discuss the epistemological consequences of an anti-Fregean approach to Frege puzzles, including for Kripke’s cases of the contingent a priori and the necessary a posteriori, but also for evidence, for epistemic modalities, and for epistemic and subjective conceptions of probability. Anna Mahtani’s recent identification of Frege puzzles for the ex ante Pareto Principle as used in welfare economics provides an interesting example. I suggest a model-building methodology as the most promising way of handling at least some of the difficulties. A final issue is the choice between different anti-Fregean approaches to semantics, from very coarse-grained intensional approaches on which sentences express functions from possible worlds to truth-values to more fine-grained hyperintensional approaches on which sentences express functions from possible or impossible worlds to truth-values or else Russellian structured propositions. Some of the hyperintensional theories violate semantic compositionality. More generally, since our attitude ascriptions rely on heuristics, they should be expected to exhibit some level of error; although hyperintensional approaches may be able slightly to reduce the level of postulated error, they do so at the cost of vastly increased theoretical complexity, and so have weak explanatory power. Methodologically, a simple intensional approach does better. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd Reviews 161 7 In, respectively, PaciWsm in Britain and Semi-Detached Idealists: the British Peace Movement and International Relations (Oxford: Oxford U. P., 2000). 8 See Monk 2: Chap. 13. FUNCTIONS OR PROPOSITIONAL FUNCTIONS? Alexander Paul Bozzo Philosophy / Marquette U. Milwaukee, wi 53233, usa [email protected] Michael Potter and Tom Ricketts, eds. The Cambridge Companion to Frege. (...) Cambridge, uk: Cambridge U. P., 2010. Pp. vii, 630. isbn 978-0-521-62479-4 (pb). £57.00; £21.99 (pb). us$38.99 (pb). February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd 162 Reviews 1 Frege: Philosophy of Mathematics (Cambridge, ma: Harvard U. P., 1991), p. 111. The paragraph contains an expression of Frege’s Context Principle and the need for Hume’s Principle as a criterion of identity in the deWnition of number. 2 There are in fact Wve stated goals. The others are: (iii) to serve as a reference work for students and non-specialists, (iv) to provide a route into the study of Frege historically and to any relevant contemporary concerns in the philosophies of logic, language, mathematics, and mind, and (v) to provide, for new readers, the most convenient detailed guide to Frege currently available. Gottlob Frege is widely recognized as one of the chief progenitors of mathematical logic and philosophy of languagez—zindeed, the importance attributed to Frege’s innovations is such that Michael Dummett, when reXecting on§62 of Frege’s Die Grundlagen der Arithmetik, feels compelled to remark that the paragraph therein is “arguably the most pregnant philosophical paragraph ever written.”1 Whether or not one agrees with Dummett on this point, the magnitude of Frege’s inXuence on the current philosophical landscape is incontestable. Frege revolutionized the then dominant Aristotelian conception of logic, introducing a formal language now recognized as the predicate calculus. Central to this end were Frege’s insights on quantiWcation, the notation that expressed it, the logicist project, and the extension of mathematical notions like function and argument to natural language. The long-awaited Cambridge Companion to Frege is a compendium of Fregean scholarship that rigorously explores these and similar topics; editors Thomas Ricketts and Michael Potter have compiled a comprehensive collection of fourteen essays that individually provide focused appraisals of a number of Frege’s most substantial insights. On the advice of this journal’s editor, I have limited my review to the connections (or rather dissimilarities ) that exist between Frege and Russell, relying exclusively on Peter Hylton ’s contribution to the collection, “Frege and Russell”. Following a brief consideration of the volume as a whole, I move immediately into a detailed explication of Hylton’s analysis. The volume includes among its goals the following two aims: (i) to provide, for advanced students and specialists, a conspectus of recent interpretation of Frege, and (ii) to dispel the intimidation felt by readers who confront a diUcult thinker.2 I single out these ambitions because they most clearly represent the volume’s strengths and shortcomings. Enthusiasts of Frege will not be disappointed by the multitude of rigorously and technically written essays, essays that contribute substantially and originally to the collective understanding of Frege and his work. For instance, Thomas Ricketts provides a thoughtful and thorough analysis—an analysis that moves well beyond mere explication—of Frege’s concept/object distinction, in particular its relevance for Frege’s Context Principle and logicism more generally. Similarly, Richard Heck addresses a number of central yet largely unexplored issues pertaining to the overall signiWcance of February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd Reviews 163 3 I strongly encourage that non-specialists augment The Cambridge Companion to Frege with Joan Weiner’s Frege Explained: from Arithmetic to Analytic Philosophy (Chicago : Open Court, 2004), one of the best available introductory texts on Frege. 4 The essay in fact was available as early as 2005 in Hylton’s Propositions, Functions, and Analysis: Selected Essays on Russell’s Philosophy (New York, ny: Oxford U. P., 2005). The editors of The Cambridge Companion to Frege partially... (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found (...) for equating any two senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd Reviews 161 7 In, respectively, PaciWsm in Britain and Semi-Detached Idealists: the British Peace Movement and International Relations (Oxford: Oxford U. P., 2000). 8 See Monk 2: Chap. 13. FUNCTIONS OR PROPOSITIONAL FUNCTIONS? Alexander Paul Bozzo Philosophy / Marquette U. Milwaukee, wi 53233, usa [email protected] Michael Potter and Tom Ricketts, eds. The Cambridge Companion to Frege. (...) Cambridge, uk: Cambridge U. P., 2010. Pp. vii, 630. isbn 978-0-521-62479-4 (pb). £57.00; £21.99 (pb). us$38.99 (pb). February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd 162 Reviews 1 Frege: Philosophy of Mathematics (Cambridge, ma: Harvard U. P., 1991), p. 111. The paragraph contains an expression of Frege’s Context Principle and the need for Hume’s Principle as a criterion of identity in the deWnition of number. 2 There are in fact Wve stated goals. The others are: (iii) to serve as a reference work for students and non-specialists, (iv) to provide a route into the study of Frege historically and to any relevant contemporary concerns in the philosophies of logic, language, mathematics, and mind, and (v) to provide, for new readers, the most convenient detailed guide to Frege currently available. Gottlob Frege is widely recognized as one of the chief progenitors of mathematical logic and philosophy of languagez—zindeed, the importance attributed to Frege’s innovations is such that Michael Dummett, when reXecting on§62 of Frege’s Die Grundlagen der Arithmetik, feels compelled to remark that the paragraph therein is “arguably the most pregnant philosophical paragraph ever written.”1 Whether or not one agrees with Dummett on this point, the magnitude of Frege’s inXuence on the current philosophical landscape is incontestable. Frege revolutionized the then dominant Aristotelian conception of logic, introducing a formal language now recognized as the predicate calculus. Central to this end were Frege’s insights on quantiWcation, the notation that expressed it, the logicist project, and the extension of mathematical notions like function and argument to natural language. The long-awaited Cambridge Companion to Frege is a compendium of Fregean scholarship that rigorously explores these and similar topics; editors Thomas Ricketts and Michael Potter have compiled a comprehensive collection of fourteen essays that individually provide focused appraisals of a number of Frege’s most substantial insights. On the advice of this journal’s editor, I have limited my review to the connections (or rather dissimilarities ) that exist between Frege and Russell, relying exclusively on Peter Hylton ’s contribution to the collection, “Frege and Russell”. Following a brief consideration of the volume as a whole, I move immediately into a detailed explication of Hylton’s analysis. The volume includes among its goals the following two aims: (i) to provide, for advanced students and specialists, a conspectus of recent interpretation of Frege, and (ii) to dispel the intimidation felt by readers who confront a diUcult thinker.2 I single out these ambitions because they most clearly represent the volume’s strengths and shortcomings. Enthusiasts of Frege will not be disappointed by the multitude of rigorously and technically written essays, essays that contribute substantially and originally to the collective understanding of Frege and his work. For instance, Thomas Ricketts provides a thoughtful and thorough analysis—an analysis that moves well beyond mere explication—of Frege’s concept/object distinction, in particular its relevance for Frege’s Context Principle and logicism more generally. Similarly, Richard Heck addresses a number of central yet largely unexplored issues pertaining to the overall signiWcance of February 19, 2011 (11:48 am) E:\CPBR\RUSSJOUR\TYPE3002\russell 30,2 040 red.wpd Reviews 163 3 I strongly encourage that non-specialists augment The Cambridge Companion to Frege with Joan Weiner’s Frege Explained: from Arithmetic to Analytic Philosophy (Chicago : Open Court, 2004), one of the best available introductory texts on Frege. 4 The essay in fact was available as early as 2005 in Hylton’s Propositions, Functions, and Analysis: Selected Essays on Russell’s Philosophy (New York, ny: Oxford U. P., 2005). The editors of The Cambridge Companion to Frege partially... (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I (...) criticize four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple (...) Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

The work of Bertrand Russell had a decisive influence on the emergence of analytic philosophy, and on its subsequent development. The prize-winning Russell scholar Peter Hylton presents here some of his most celebrated essays from the last two decades, all of which strive to recapture and articulate Russell's monumental vision. Relating his work to that of other philosophers, particularly Frege and Wittgenstein, and featuring a previously unpublished essay and a helpful new introduction, the volume will be essential for anyone (...) engaged with the history of twentieth-century ideas. (shrink)

Attitudinal propositionalism is the view that all mental attitude content is truth-evaluable. While attitudinal propositionalism is still silently assumed in large parts of analytic philosophy, recent work on objectual attitudes (i.e. attitudes like ‘fearing Moriarty’ and ‘imagining a unicorn’ that are reported through intensional transitive verbs with a direct object) has put attitudinal propositionalism under explanatory pressure. This paper defends propositionalism for a special subclass of objectual attitudes, viz. experiential attitudes. The latter are attitudes like seeing, remembering, and imagining whose (...) grammatical objects intuitively denote (events or) scenes. I provide a propositional analysis of experiential attitudes that preserves the merits of propositionalism. This analysis uses the possibility of representing the target-scenes of experiential attitudes by the intersection of all propositions that are true in these scenes. I show that this analysis makes available the usual (Russellian) account of intensionality and the common (Boolean) logic for entailments. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained (...) structures. I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

This is what I hope is an illuminating, and to a certain degree, novel exposition of Montague Grammar. It is against many standard interpretations, and perhaps even against things Montague himself says at times. However, it makes more sense of how his various commitments fit together in a systematic way. Why, for instance, is it called "Montague Grammar" rather than "Montague Semantics," and what role does his commitment to Fregeanism plays in his conception of language? It is clear that he (...) is committed to the idea that function application is the fundamental mode of semantic composition, and that he is committed to an intensional framework. However, intensions have, since Carnap, been understood as nearly conceptually equivalent to functions from possible worlds to sets of individuals. But, in truth, possible worlds semantics is just dressed up extensional semantics. There are just more objects to go around to serve as inputs for functions, whatever we think of their ontological status. That is, possible worlds semantics is really a semantic reduction of intensional semantics achieved by expanding our ontological commitments. It would be difficult to make sense of Montague's strong commitment to Fregean semantics, if his notion of intension was that of Carnap's. According to my interpretation, Montague's notion of intension must be distinct from the version adopted by possible world semantics. Montague took seriously the idea that intensional semantics was something quite different from extensionalist semantics. The first was not reducible to the second semantically speaking. Just as Frege believed that meaning consisted of both sense and reference, so too did Montague. However, just as Frege also believed, Montague thought that sense and reference were systematically related. As I illustrate, interpreting Montague as adopting a different notion of intension can also resolve the apparent problem of distinguishing the difference in meaning between intensional equivalents. It might also enable us to draw a distinction in epistemic logic between an agent having contradictory beliefs and believing contradictions. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that (...) there is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

By the standards presented in the Introduction, CMFC2 is deficient on at least one ontological ground: ‘∀’ is a syncategorematic expression and so CMFC2 is not an ideal language. To some there may be an additional difficulty: any two wffs provably equivalent in the classical sense are provably identical. We hope in sequel to present systems free of these difficulties, free either of one or the other, or perhaps both.This work was done with the aid of Canada Council Grant S74-0551-S1.

One of the main criteria for an adequate semantic theory is that it solve the problem of substitution into intensional contexts, otherwise known as Frege's Puzzle. Given common-sense assumptions about how natural language functions, a contradiction arises in explaining attitude reports. For example, Lisa might believe that Twain is tall, but not believe that Clemens is tall. Lisa is perhaps unaware that the names "Twain" and "Clemens" corefer. But Twain's being tall is just Clemens' being tall, so one (...) and the same state of affairs is either believed or not. The tasks are to specify what Lisa believes and to accurately and consistently describe the situation given certain foundational semantic principles. ;I argue that of three main semantic frameworks: Davidsonian Semantics, Model-Theoretic Semantics and Propositional Semantics , PS has the best chance to provide a complete, consistent and natural solution. On my view, dynamic propositions are complex states of affairs where things stand in the propositional relation of having expressions of a certain type which pick them out as semantic values and where those expressions stand in appropriate syntactic relations. The propositional relation crucially involves restricted quantification over expression types which are logical features of the language. The sentences "Twain is tall" and "Clemens is tall" express different DP's because even though their constituents are identical, they stand in distinct propositional relations in virtue of the different syntactic expressions. This explains how Lisa could believe one and not the other. These fine-grained propositions successfully serve as both the truth-conditions of sentences and the objects of propositional attitudes. The solution leads to the surprising result that the question of whether singular terms are Fregean or directly referential is actually irrelevant to Frege's Puzzle. ;While DP's are naturalistic and theoretically well-motivated, they face apparent difficulty accounting for translation and being the objects of mental content. The logical form of DP's limits their possible interpretation and thus sheds light on the conceptual framework of its user. I argue that DP's are not beliefs, but cognitive models that serve as interpretations of beliefs in communication. (shrink)

Arguments are given against the thesis that properties and propositional functions are identical. The first shows that the familiar extensional treatment of propositional functions -- that, for all x, if f(x) = g(x), then f = g -- must be abandoned. Second, given the usual assumptions of propositional-function semantics, various propositional functions (e.g., constant functions) are shown not to be properties. Third, novel examples are given to show that, if properties were identified (...) with propositional functions, crucial fine-grained intensional distinctions would be lost. (shrink)

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of (...) standard predicate logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

It is almost universally accepted that the Frege–Geach Point is necessary for explaining the inferential relations and compositional structure of truth-functionally complex propositions. I argue that this claim rests on a disputable view of propositional structure, which models truth-functionally complex propositions on atomic propositions. I propose an alternative view of propositional structure, based on a certain notion of simulation, which accounts for the relevant phenomena without accepting the Frege–Geach Point. The main contention is that truth-functionally complex (...) propositions do not include as their parts truth-evaluable propositions, but their simulations, which are neither forceful nor truth-evaluable. The view makes room for the idea that there is no such thing as the forceless expression of propositional contents and is attractive because it provides the resources for avoiding a fundamental problem generated by the Frege–Geach Point concerning the relation between forceless and forceful expressions of propositional contents. I further argue that the acceptance of the Frege–Geach Point mars Peter Hanks’ and François Recanati’s recent attempts to resist the widespread idea that assertoric force is extrinsic to the expression of propositional contents. Rejecting this idea, I maintain, requires a deeper break with the tradition than Hanks and Recanati have allowed for. (shrink)

continent. 1.3 (2011): 149-155. The world is teeming. Anything can happen. John Cage, “Silence” 1 Autonomy means that although something is part of something else, or related to it in some way, it has its own “law” or “tendency” (Greek, nomos ). In their book on life sciences, Medawar and Medawar state, “Organs and tissues…are composed of cells which…have a high measure of autonomy.”2 Autonomy also has ethical and political valences. De Grazia writes, “In Kant's enormously influential moral philosophy, autonomy (...) , or freedom from the causal determinism of nature, became prominent in justifying the human use of animals.”3 One of the oldest uses of autonomy in English is a description of the French civil war from the late sixteenth century: “Others of the…rebellion entred in counsell, whether they ought to admit the King vpon reasonable conditions, specially hauing their autonomy.”4 Life, and in particular human life, and in particular human politics, is well served by the usages of autonomy . What about the rest of reality, however? Should it be thought of, if it's even considered real and mind-independent, as pure stuff for the manipulation or decorative tastes of truly autonomous beings? We tend to think of things such as paperweights and iPhones as mere tools of human design and human use. To use them is to cause them to exist as fully and properly as they can. But according to Martin Heidegger, when a tool such as a paperweight is used, it disappears, or withdraws ( Entzug ). We are preoccupied with copying the page that the paperweight is holding down. We are concerned with an essay deadline, and the paperweight simply disappears into this general project. If the paperweight slips, or if the iPhone freezes, we might notice it. All of a sudden it becomes vorhanden (present-at-hand) rather than zuhanden (ready-to-hand).5 Yet Heidegger is unable to draw a meaningful distinction between what happens to a paperweight when it slips from the book I'm copying from and what happens to the paperweight when it presses on the still resilient pages of the thick paperback itself. Further still and related to this point, even when I am using the paperweight as part of some general task, I am not using the entirety of the paperweight as such. My project itself selects a thin slice of paperweight-being for the purposes of holding down a book. Even when it is zuhanden the paperweight is withdrawn. Graham Harman is the architect of this way of thinking.6 Harman discovered a gigantic coral reef of withdrawn entities beneath the Heideggerian submarine of Da-sein, which itself is operating at an ontological depth way below the choppy surface of philosophy, beset by the winds of epistemology, and infested with the sharks of materialism, idealism, empiricism and most of the other isms that have defined what is and what isn't for the last several hundred years. At a moment when the term ontology was left alone like a piece of well chewed old chewing gum that no one wants to have anything to do with, object-oriented ontology (OOO) has put it back on the table. The coral reef isn't going anywhere and once you have discovered it, you can't un-discover it. And it seems to be teeming with strange facts. The first fact is that the entities in the reef—we call them “objects” somewhat provocatively—constitute all there is: from doughnuts to dogfish to the Dog Star to Dobermans to Snoop Dogg. People, plastic clothes pegs, piranhas and particles are all objects. And they are all pretty much the same, at this depth. There is not much of a distinction between life and non-life (as there isn't in contemporary life science). And there is not much of a distinction between intelligence and non-intelligence (as there is in contemporary artificial intelligence theory). A lot of these distinctions are made by humans, for humans (anthropocentrism). And the concept autonomy has come into play in policing such distinctions. In this essay I shall to try to liberate autonomy for the sake of nonhumans. I shall do so by parsing carefully the title, which is taken from Hakim Bey's work The Temporary Autonomous Zone .8 First we shall explore the term autonomous . Then we shall explore what the full meaning of zone is. Finally, we shall investigate what temporary means. Each of these terms is of great value. An object withdraws from access. This means that its very own parts can't access it. Since an object's parts can't fully express the object, the object is not reducible to its parts. OOO is anti-reductionist. But OOO is also anti-holist. An object can't be reduced to its “whole” either, “reduced upwards” as it were. The whole is not greater than the sum of its parts. So we have a strange irreductionist situation in which an object is reducible neither to its parts nor to its whole. A coral reef is made of coral, fish, seaweed, plankton and so on. But one of these things on its own doesn't embody part of a reef. Yet the reef just is an assemblage of these particular parts. You can't find a coral reef in a parking lot. In this way, the vibrant realness of a reef is kept safe both from its parts and from its whole. Moreover, the reef is safe from being mistaken for a parking lot. Objects can't be reduced to tiny Lego bricks such as atoms that can be reused in other things. Nor can be reduced upwards into instantiations of a global process. A coral reef is an expression of the biosphere or of evolution, yes; but so is this sentence, and we ought to be able to distinguish between coral reefs and sentences in English. The preceding facts go under the heading of undermining . Any attempt to undermine an object—in thought, or with a gun, or with heat, or with the ravages of time or global warming—will not get at the withdrawn essence of the object. By essence is meant something very different from essentialism . This is because essentialism depends upon some aspect of an object that OOO holds to be a mere appearance of that object, an appearance-for some object. This reduction to appearance holds even if that object for which the appearance occurs is the object itself! Even a coral reef can't grasp its essential coral reefness. In essentialism, a superficial appearance is taken for the essence of a thing, or of things in general. In thinking essentialism we may be able to discern another way of avoiding OOO. This is what Harman has christened overmining .? The overminer decides that some things are more real than others: say for example human perception. Then the overminer decides that other things are only granted realness status by somehow coming into the purview of the more real entity. When I measure a photon, when I see a coral reef, it becomes what it is. But when I measure a photon, I never measure the actual photon. Indeed, since at the quantum scale to measure means “to hit with a photon or an electron beam” (or whatever), measurement, perception ( aisthesis ), and doing become the same. What I “see” are deflections, tracks in a diffusion cloud chamber or interference patterns. Far from underwriting a world of pure illusion where the mind is king, quantum theory is one of the very first truly rigorous realisms, thinking its objects as irreducibly resistant to full comprehension, by anything.9 So far we have made objects safe from being swallowed up by larger objects and broken down into smaller objects—undermining. And so far we have made objects safe from being mere projections or reflections of some supervenient entity—overmining. That's quite a degree of autonomy. Everything in the coral reef, from the fish to a single coral lifeform to a tiny plankton, is autonomous. But so is the coral reef itself. So are the heads of the coral, a community of tiny polyps. So is each individual head. Each object is like one of Leibniz's monads, in that each one contains a potentially infinite regress of other objects; and around each object, there is a potentially infinite progress of objects, as numerous multiverse theories are now also arguing. But the infinity, the uncountability, is more radical than Leibniz, since there is nothing stopping a group of objects from being an object, just as a coral reef is something like a society of corals. Each object is “a little world made cunningly” (John Donne).10 We are indeed approaching something like the political valance of autonomy . The existence of an object is irreducibly a matter of coexistence. Objects contain other objects, and are contained “in” other objects. Let us, however, explore further the ramifications of the autonomy of objects. We will see that this mereological approach (based on the study of parts) only gets at part of the astonishing autonomy of things. Yet there are some more things to be said about mereology before we move on. Consider the fact that since objects can't be undermined or overmined, it means that there is strictly no bottom object . There is no object to which all other objects can be reduced, so that we can say everything we want to say about them, hypothetically at least, based on the behavior of the bottom object. The idea that we could is roughly E.O Wilson's theory of consilience .11 Likewise, there is no object from which all things can be produced, no top object . Objects are not emanations from some primordial One or from a prime mover. There might be a god, or gods. Suppose there were. In an OOO universe even a god would not know the essential ins and outs of a piece of coral. Unlike even some forms of atheism, the existence of god (or nonexistence) doesn't matter very much for OOO. If you really want to be an atheist, you might consider giving OOO a spin. If there is no top object and no bottom object, neither is there a middle object . That is, there is no such thing as a space, or time, “in” which objects float. There is no environment distinct from objects. There is no Nature (I capitalize the word to reinforce a sense of its deceptive artificiality). There is no world, if by world we mean a kind of “rope” that connects things together.12 All such connections must be emergent properties of objects themselves. And this of course is well in line with post-Einsteinian physics, in which spacetime just is the product of objects, and which may even be an emergent property of a certain scale of object larger than 10?¹?cm).13 Objects don't sit in a box of space or time. It's the other way around: space and time emanate from objects. How does this happen? OOO tries to produce an explanation from objects themselves. Indeed, the ideal situation would be to rely on just one single object. Otherwise we are stuck with a reality in which objects require other entities to function, which would result in some kind of undermining or overmining. We shall see that we have all the fuel we need “inside” one object to have time and space, and even causality. We shall discover that rather than being some kind of machinery or operating system that underlies objects, causality itself is a phenomenon that floats ontologically “in front of” them. In so doing, we will move from the notion of autonomy and begin approaching a full exploration of the notion of zone , which was promised at the outset of this essay. Since an object is withdrawn, even “from itself,” it is a self-contradictory being. It is itself and not-itself, or in a slightly more expanded version, there is a rift between essence and appearance within an object (as well as “between” them). This rift can't be the same as the clichéd split between substance and accidents , which is the default ontology. On this view, things are like somewhat boring cupcakes with somewhat less boring sugar sprinkles on them of different colors and shapes. But on the OOO view, what is called substance is just another limited slice of an object, a way of apprehending something that is ontologically fathoms deeper. What is called substance and what is called accidence are just on the side of what this essay calls appearance. The rift (Greek, chorismos ) between essence and appearance means that an object presents us with something like what in logic is known as the Liar: some version of the sentence “This sentence is false.” The sentence is true, which means that it is a lie, which means that it is false. Or the sentence is false, which means that it is telling the truth, which means that it is true. Now logic since Aristotle has tried desperately to quarantine such beasts in small backwaters and side streets so that they don't act too provocatively.14 But if OOO holds, then at least one very significant thing in the universe is both itself and not-itself: the object. An object is p ? ¬p. To cope with this fact, we shall need some kind of paraconsistent or even fully dialetheic logic, one that is not allergic to dialetheias (double-truthed things). Yet if we accept that objects are dialetheic, p ? ¬p, we can derive all kinds of things easily from objects. Consider the fact of motion. If objects only occupy one location “in” space at any “one” time, then Zeno's paradoxes will apply to trying to think how an object moves. Yet motion seems like a basic, simple fact of our world. Either everything is just an illusion and nothing really moves at all (Parmenides). Or objects are here and not-here “at the same time.”15 This latter possibility provides the basic setup for all the motion we could wish for. Objects are not “in” time and space. Rather, they “time” (a verb) and “space.” They produce time and space. It would be better to think these verbs as intransitive rather than transitive, in the manner of dance or revolt . They emanate from objects, yet they are not the object. “How can we know the dancer from the dance?” (Yeats).16 The point being, that for there to be a question, there must be a distinction—or there must not be (p ? ¬p).17 It becomes impossible to tell: “What constitutes pretense is that, in the end, you don't know whether it's pretense or not.”18 In this notion of the emergence of time and space from an object we can begin to understand the term zone . Zone can mean belt , something that winds around something else. We talk of temperate zones and war zones. A zone is a place where a certain action is taking place: the zone winds around, it radiates heat, bullets fly, armies are defeated. To speak of an autonomous zone is to speak of a place that a certain political act has carved out of some other entity. Cynically, Tibet is called TAR, the Tibetan Autonomous Region, for this very reason. In this phrase, Region tries to emulate zone : it sounds as if the place has its own rules, but of course, it is very much under the control of China. What action is taking place? “[N]ot something that just is what it is, here and now, without mystery, but something like a quest…a tone on its way calling forth echoes and responses…water seeking its liquidity in the sunlight rippling across the cypresses in the back of the garden.”19 If as suggested earlier there is no functional difference between substance and accidence; if there is no difference between perceiving and doing; if there is no real difference between sentience and non-sentience—then causality itself is a strange, ultimately nonlocal aesthetic phenomenon. A phenomenon, moreover, that emanates from objects themselves, wavering in front of them like the astonishingly beautiful real illusion conjured in this quotation of Alphonso Lingis. Lingis's sentence does what it says, casting a compelling, mysterious spell, the spell of causality, like a demonic force field. A real illusion: if we knew it was an illusion, if it were just an illusion, it would cease to waver. It would not be an illusion at all. We would be in the real of noncontradiction. Since it is like an illusion, we can never be sure: “What constitutes pretense…” A zone is what Lingis calls a level . A zone is not entirely a matter of “free will”: this concept has already beaten down most objects into abject submission. Objects are far more threateningly autonomous, and sensually autonomous, than the Kantian version of autonomy cited in the first paragraph of this essay. A zone is not studiously decided upon by an earnest committee before it goes into action. One of its predominant features is that it is already happening . We find ourselves in it, all of a sudden, in the late afternoon as the shadows lengthen around a city square, giving rise to an uncanny sensation of having been here before. Objects emit zones. Wherever I find myself a zone is already happening, an autonomous zone. It is the nonautonomous zones that are impositions on what is already the case. Or rather, these zones are autonomous zones that exclude and police. They are brittle. Every object is autonomous, but some objects try to maintain themselves through rigidity and brittleness, like (and such as) a police state. Paradoxically, the more rigidly one tries to exclude contradiction, the more virulent become the dialetheias that are possible. I can get around “This sentence is false” by imagining that there are metalanguages that explain what counts as a sentence. Then I can decide that this isn't a real sentence. This is basically Alfred Tarski's strategy, since he invented the notion of metalanguage specifically to cope with dialetheias.20 For example we might claim that sentences such as “This sentence is false” are neither true nor false. But then you can imagine a strengthened version of the Liar such as: “This sentence is not true”; or “This sentence is neither true nor false.” And we can go on adding to the strengthened Liar if the counter-attack tries to build immunity by specifying some fourth thing that a sentence can be besides true, false, and neither true nor false: “This sentence is false, or neither true nor false, or the fourth thing.” And so on.21 It seems as if language becomes more brittle the more it tries to police the Liars of this world. Why? I believe that this increasing brittleness is a symptom of a deep fact about reality. What is this deep fact? Simply that there are objects, that these objects are withdrawn, and that they are walking contradictions. This means indeed that (as Lacan put it) “there is no metalanguage,” since a metalanguage would function as a “middle object” that gave coherency and evenness to the others.22 Since there is no metalanguage, there is no rising above the disturbing illusory play of causality. This may even have political implications: no global critique is therefore possible, and attempts to smooth out or totalize are doomed to fail. To think the zone is to think the notion of temporary , which we shall now begin to discuss in greater detail. The zone is not in time: rather it “times.” But because a zone is an emanation of an object, it is based on a wavering fragility, since objects are p ? ¬p. When an object is born, that means that it has broken free of some other object. An object can be born because it and other objects are fragile. If not, no movement would be possible. Objects contain the seeds of their own destruction, a dialetheic sentence that says something like “This sentence cannot be proved.” Kurt Gödel argues that every true system of propositions contains at least one sentence that the system cannot prove. In order to be true, the system must have a minimum incoherence. To be real, it has to be fragile. Imagine a record player. Now imagine a record called I Cannot Be Played on This Record Player . When you play it on this record player, it produces sympathetic vibrations that cause the record player to shudder apart. No matter how many defense mechanisms you build in, there will always be the possibility of at least one record that destroys the record player.23 That is what being physical is. An object is inherently fragile because it is both itself and not-itself. When the rift between appearance and essence collapses, that is called destruction, ending, death. When an object breaks, several new objects are born. An opera singer sings a loud note in tune with the resonant frequency of a wine glass. (See the movie included below.) The singing is a zone, an autonomous level of intensity, opening a rift between appearance and essence. The glass ripples—for a moment it is nakedly a glass and a not-glass—almost as if it were having an orgasm, a little death. It is caught in the rift of the singing. Then its structure can't handle the coherence of the sound waves, and it breaks. It is incoherence and inconsistency that is the mark of existence, not consistency and noncontradiction. When things break or die, they become coherent. Essence disappears into appearance. I become the memories of friends. A glass becomes a dancing wave. Instantly, there are glass fragments, new temporary autonomous zones. The fragments have broken free from the glass. They are no longer its parts, but emanate their own time and space, becoming perhaps accidental weapons as they bury themselves in my flesh. Thus Hakim Bey's instructions on creating temporary autonomous zones oscillate disturbingly between performance art and politics, circus clowning and revolution. To play with the aesthetic is to play with causality, to rip from the sensual ether emanating from things new regions, new zones. Anarchist politics is the creation of fresh objects in a reality without a top or a bottom object, or for that matter a middle object: Everything in nature is perfectly real including consciousness, there's absolutely nothing to worry about. Not only have the chains of the Law been broken, they never existed; demons never guarded the stars, the Empire never got started, Eros never grew a beard. … There is no becoming, no revolution, no struggle, no path; already you're the monarch of your own skin—your inviolable freedom waits to be completed only by the love of other monarchs: a politics of dream, urgent as the blueness of sky.24 Bey imagines that this is because chaos is a primordial “undifferentiated oneness-of-being.” A Parmenides or a Spinoza or a Laruelle would read this a certain way. Individual objects, or decisions to talk about this rather than that, are just maggot-like things crawling around on the surface of the giant cheese of oneness.25 Yet he also describes chaos as “Primordial uncarved block, sole worshipful monster, inert & spontaneous, more ultraviolet than any mythology.” This image is of an inconsistent object, not of an undifferentiated field. An object, indeed, that can be distinguished from other things. If not, then the first part of The Temporary Autonomous Zone , subtitled “The Broadsheets of Ontological Anarchism,” is a kind of onto-theology. Onto-theology proclaims that some things are more real than others. Bey, however, is writing poetically, and thus ambiguously. We are at liberty to read “undifferentiated oneness-of-being” as something like the irreducibility of a thing to its parts and so forth (undermining and overmining). This certainly seems closer to the language in the following paragraph: “There is no becoming … already you're the monarch of your own skin.”26 On this view, there is no difference between art and politics: “When ugliness, poor design & stupid waste are forced upon you, turn Luddite, throw your shoe in the works, retaliate.” Since Romanticism this has been the war cry of the vanguard artist.27 To say to is to fall prey to the tired axioms of the avant-garde, and we think we know how the game goes. But OOO is not simply a way to advocate “new and improved” versions of this shock-the-bourgeoisie boredom. Bey's text is certainly full enough of that. Rather, since causality as such is aesthetic, and since nonhumans are not that different from humans, the new approach would be to form aesthetic–causal alliances with nonhumans. These alliances would have to resist becoming brittle, whether that brittleness is right wing (authoritarianism) or left wing (the endless maze of critique). No “ism,” especially not the ultimate forms, nihilism and cynicism, is in any sense effective at this point. All forms of brittleness are based on the mistaken assumption that there is a metalanguage and that therefore “Anything you can do, I can do meta.” I will not be listing any approaches here, as Bey does. Such lists and manifestos belong to the vanguardism that no longer works. Why? Not because of some marvelous revolution in human consciousness, but because nonhumans have so successfully impinged upon human social, psychic and aesthetic space. It is the time after the end of the world. That happened in 1945, when a thin layer of radioactive materials was deposited in Earth's crust. Geology now calls it this era the Anthropocene . Ironically, this period, named after humans, is the moment at which even the most thick headed of us make decisive contact with nonhumans, from mercury in our blood to manta rays to magnesium. Richard Dawkins, Pat Robertson and Lady Gaga all have to deal with global warming and mass extinction, somehow. We now live in an Age of Asymmetry marked by a skewed, spiraling relationship between vast knowledge and vast nonhuman things—both become vaster and vaster because of one another and for the same reasons.28 This means that coming up with the perfect attitude or the perfect aesthetic prescription just won't work any more. Even the most hardened anthropocentrist now has to pay through the nose for basic food supplies, and has to use more sunscreen. Whether he knows it or acknowledges it, he is already acting with regard towards nonhumans. There is nothing special to think, no special critique that will get rid of the stains of coexistence. The problem won't fit into the well-established modern boxes, which is why the “mystical,” “spiritual” quality of Bey's prose is welcome. Of course, when I put it this way, you may immediately close off and decide that I am talking about perfect attitudes after all, or something outside of politics, or other ways that the radical left marshals to police its thinking of the nonhuman. Because that is what is really at stake in all this: the nonhuman in its coexistence with the human—bosons, gods, clouds, spirits, lifeforms, experiences, the sunlight rippling across the cypresses. Bey begins to get at this in a Latour litany in the second part of The Temporary Autonomous Zone , “The Assassins”: Pomegranate, mulberry, persimmon, the erotic melancholy of cypresses, membrane-pink shirazi roses, braziers of meccan aloes & benzoin, stiff shafts of ottoman tulips, carpets spread like make-believe gardens on actual lawns—a pavilion set with a mosaic of calligrammes—a willow, a stream with watercress—a fountain crystalled underneath with geometry— the metaphysical scandal of bathing odalisques, of wet brown cupbearers hide-&-seeking in the foliage—“water, greenery, beautiful faces.”29 This will be conveniently dismissed as orientalism. If we're never allowed to escape the crumbling prison of modernity for fear of imperialism there is truly no hope. In a similar way, the fear of anthropocentrism and anthropomorphism is very often staged from a place that just is anthropocentrism .30 Critique turns into ressentiment . An object radiates a zone that is aesthetic and therefore causal. Because objects “time” they are temporary. Not because they exist “in” time that eventually gets the better of them. Their very existence implies the possibility of their non-existence. Since objects are not consistent, they can cease to exist. But nothing, no one, will ever be able to insert a blade between appearance and existence, even thought there is a rift there. Now that's what I call autonomy. NOTES 1. John Cage, Silence: Lectures and Writings (Middletown, CT: Wesleyan University Press, 1973), 96. 2. P. B. Medawar and J. S. Medawar, The Life Science: Current Ideas in Biology (London: Wildwood House, 1977), 8. 3. David DeGrazia, Animal Rights: A Very Short Introduction (Oxford: Oxford University Press, 2002), 5. 4. Antony Colynet, A True History of the Civil Warres in France (London, 1591), 480. 5. Martin Heidegger, Being and Time , tr. Joan Stambaugh (Albany, N.Y: State University of New York Press, 1996) 62–71. 6. Graham Harman, Tool-Being: Heidegger and the Metaphysics of Objects (Peru, IL: Open Court, 2002). 7. Hakim Bey, The Temporary Autonomous Zone (Brooklyn: Autonomedia, 1991). 8. Graham Harman, The Quadruple Object (Ripley: Zero Books, 2011), 7–18. 9. This is not the place to get into an argument about quantum theory, but I have argued that quanta also do not endorse a world that I can't speak about because it is only real when measured. This world is that of the reigning Standard Model proposed by Niels Bohr and challenged by De Broglie and Bohm (and now the cosmologist Valentini, among others). See Timothy Morton, “Here Comes Everything: The Promise of Object-Oriented Ontology,” Qui Parle 19.2 (Spring–Summer, 2011), 163–190. 10. John Donne, Holy Sonnets 15, in The Major Works: Including Songs and Sonnets and Sermons , ed. John Carey (Oxford: Oxford University Press, 2009). 11. Edward O. Wilson, Consilience: The Unity of Knowledge (New York: Knopf, 1998). 12. Martin Heidegger, What Is a Thing? (Washington: Regnery, 1968), 243. 13. Albert Einstein, Relativity: The Special and the General Theory (London: Penguin, 2006); Petr Horava, “Quantum Gravity at a Lifshitz Point,” arXiv:0901.3775v2 [hep-th]. 14. Graham Priest, In Contradiction (Oxford University Press, 2006), passim: the most notable recent quarantine officers have been Tarski, Russell, and Frege. 15. Priest, In Contradiction , 172–181. 16. William Butler Yeats, “Among School Children,” Collected Poems , ed. Richard J. Finneran (New York: Scribner, 1996). 17. Paul de Man, “Semiology and Rhetoric,” Diacritics 3.3 (Autumn, 1973), 27–33 (30). 18. Jacques Lacan, Le seminaire, Livre III: Les psychoses (Paris: Editions de Seuil, 1981), 48. See Slavoj Zizek, The Parallax View (Cambridge, Mass.: MIT Press, 2006), 206. 19. Alphonso Lingis, The Imperative (Bloomington: Indiana University Press, 1998), 29. 20. Priest, In Contradiction , 9–27. 21. See Graham Priest and Francesco Berto, “ Dialetheism ,” The Stanford Encyclopedia of Philosophy (Summer 2010 Edition), ed. Edward N. Zalta. 22. Jacques Lacan, Écrits: A Selection , tr. Alan Sheridan (London: Tavistock, 1977), 311. 23. The analogy can be found at length in Douglas Hofstadter, “Contracrostipunctus,” Gödel, Escher, Bach: An Eternal Golden Braid (New York: Basic Books, 1999), 75–81. 24. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 25. This is closest to the language of François Laruelle in Philosophies of Difference: A Critical Introduction to Non-Philosophy (New York: Continuum, 2011) 179. 26. Bey, “ Chaos: The Broadsheets of Ontological Anarchism ,” Temporary Autonomous Zone . 27. Peter Bürger, Theory of the Avant Garde (Minneapolis: University of Minnesota Press, 1984). 28. For further discussion see Timothy Morton, “From Modernity to the Anthropocene: Ecology and Art in the Age of Asymmetry,” The International Social Science Journal 209 (forthcoming). 29. Bey, “ The Assassins ,” Temporary Autonomous Zone . 30. Timothy Morton, The Ecological Thought (Cambridge, Mass.: Harvard University Press, 2010), 75–76. (shrink)

An integrated statement is made concerning the semantic status of nodes in a propositional semantic network, claiming that such nodes represent only intensions. Within the network, the only reference to extensionality is via a mechanism to assert that two intensions have the same extension in same world. This framework is employed in three application problems to illustrate the nature of its solutions.The formalism used here utilizes only assertional information and no structural, or definitional, information. This restriction corresponds to many (...) of the psychologically motivated network models. Some of the psychological implications of network processes called node merging and node splitting are discussed. Additionally, it is pointed out that both our networks and the psychologically based networks are prone to memory confusions about knowing unless augmented by domain‐specific inference processes, or by structural information. (shrink)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

The 'Bibliography on Propositions and Truth-Bearers' is intended to be a virtually comprehensive list of the works on propositions and truth-bearers which have appeared since the time of Frege and are relevant to the problem of propositions and truth-bearers found in the Anglo-American philosophical tradition. The bibliography lists relevant books, chapters and smaller sections of books, journal articles, and encyclopedia and dictionary entries. It includes works which are either historical or philosophical treatments of the problem o f propositions and (...) truth-bearers. In addition, it lists some important works which bear on that problem in a rather indirect but nonetheless significant manner, such as the works on intentionality and the general problem of meaning. Although a large number of the entries are concerned primarily with the ontological status of propositions and truth-bearers, many of the works are concerned also with the related semantic and epistemological issues. Thus the bibliography should be an aid to anyone working on either the ontological or the epistemological issues related to the problem of propositions and truth-bearers. (shrink)

ABSTRACT: In the search for a more fine-grained criterion of propositional identity in order to provide an adequate analysis of sense and thought, I propose a revision of the ontology of the Frege and Church theory of types of sense and denotation, and I set up a natural predicative propositional logic that explains their logical form in terms of acts of predication. I also define a more subjective notion of truth according to an agent and a new (...) strong propositional implication. The intensional logic thus set forth explains why human agents possess a minimal rationality. I conclude by proposing a new axiomatisation of a minimal epistemic logic. (shrink)

The topic of this article is the ontology of practical reasons. We draw a critical comparison between two views. According to the first, practical reasons are states of affairs; according to the second, they are propositions. We first isolate and spell out in detail certain objections to the second view that can be found only in embryonic form in the literature – in particular, in the work of Jonathan Dancy. Next, we sketch possible ways in which one might respond to (...) each one of these objections. A careful evaluation of these complaints and responses, we argue, shows that the first view is not as obviously compelling as it is thought by Dancy. Indeed, it turns out that the view that practical reasons are propositions is by no means unworkable and in fact, at least under certain assumptions, explicit considerations can be made in favour of a propositional construal of reasons. (shrink)

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

Frege's advances in the development of quantification have rarely been subjected to historical interpretation. While the characterization of existence as a second-order concept awaited the invention of the Begriffsschrift, important philosophical innovations had taken place since Kant's critique of the ontological argument. In particular, Herbart had re-conceptualized the nature of existential judgement and this was recognized and adopted by Brentano. In this light, thepossible influence of Herbart and Brentano (or their schools) upon Frege's work is elaborated and critically (...) considered. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the (...) relationship between propositional functions and universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)