This chapter gives a truthmaker-based account of the semantics of 'reifying' quantifiers like 'something' when they act as complements of intensional transitive verbs ('need', 'look for'). It argues that such quantifiers range over 'variable satisfiers' of the attitudinal object described by the verb (e.g. the need or the search).

According to Frege, the introduction of a new sort of abstract object is methodologically sound only if its identity conditions have been satisfactorily explained. Ironically, this ontological restriction has come to be known by Quine's criticism of Frege's intensional semantics, as the precept "No entity without identity." The aim of the paper is to reconstruct Frege's methodology of the introduction of abstract objects in detail, and to defend it against the more restrictive methodology underlying Quine's criticism (...) of the recognition of intensional objects. The main thesis is that Quine's criterion of non-circularity for the satisfactory individuation of abstract objects must be rejected. (shrink)

It is not a common practice to postulate meaning entities treated as objects of some kind. The paper demonstrates two ways of introducing meaning-objects in two logics of natural language, Tichy’s Transparent Intensional Logic and Zalta’s Intensional Logic of Abstract Objects. Tichy’s theory belongs to the Fregean line of thinking, with what he calls ‘constructions’ as Fregean senses, and ‘determiners’ as object-like meaning entities constructed by the senses. Zalta’s theory belongs to Meinongian logics and (...) he postulates a rich realm of abstract Meinongian objects to play the role of meanings. The paper analyses the mechanisms of reference in both conceptions and it offers a comparison of the mediating meaning-objects and the framework designed to expose this mediation in both theories. An attempt is made to expose how the treatment of the meaning entities depends upon the theory of meaning which is assumed. (shrink)

Intensional logic has emerged, since the 1960' s, as a powerful theoretical and practical tool in such diverse disciplines as computer science, artificial intelligence, linguistics, philosophy and even the foundations of mathematics. The present volume is a collection of carefully chosen papers, giving the reader a taste of the frontline state of research in intensional logics today. Most papers are representative of new ideas and/or new research themes. The collection would benefit the researcher as well as the student. (...) This book is a most welcome addition to our series. The Editors CONTENTS PREFACE IX JOHAN VAN BENTHEM AND NATASHA ALECHINA Modal Quantification over Structured Domains PATRICK BLACKBURN AND WILFRIED MEYER-VIOL Modal Logic and Model-Theoretic Syntax 29 RUY J. G. B. DE QUEIROZ AND DOV M. GABBAY The Functional Interpretation of Modal Necessity 61 VLADIMIR V. RYBAKOV Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic 93 JERRY SELIGMAN The Logic of Correct Description 107 DIMITER VAKARELOV Modal Logics of Arrows 137 HEINRICH WANSING A Full-Circle Theorem for Simple Tense Logic 173 MICHAEL ZAKHARYASCHEV Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline 195 EDWARD N. ZALTA 249 The Modal Object Calculus and its Interpretation NAME INDEX 281 SUBJECT INDEX 285 PREFACE Intensional logic has many faces. In this preface we identify some prominent ones without aiming at completeness. (shrink)

Neo-Fregean approaches to set theory, following Frege, have it that sets are the extensions of concepts, where concepts are the values of second-order variables. The idea is that, given a second-order entity $X$, there may be an object $\varepsilon X$, which is the extension of X. Other writers have also claimed a similar relationship between second-order logic and set theory, where sets arise from pluralities. This paper considers two interpretations of second-order logic—as being either extensional or intensional—and whether either (...) is more appropriate for this approach to the foundations of set theory. Although there seems to be a case for the extensional interpretation resulting from modal considerations, I show how there is no obstacle to starting with an intensional second-order logic. I do so by showing how the $\varepsilon$ operator can have the effect of “extensionalizing” intensional second-order entities. (shrink)

This book offers a comprehensive primer for the study of intensionality. It explores and assesses those key theories of intensionality which have been developed in the twentieth and early twenty-first centuries. Each of the examined theories is tested as to whether it can account for the problems associated with the intersubstitution salva veritate of co-extensional expressions, and existential generalisation. All of these theories are subsequently compared so as to determine which of them comes closest to successfully solving these problems. The (...) book examines four kinds of intensionalist approaches: the Fregean approach ; the possible-worlds approaches of Carnap, Montague and Cresswell; the theory of properties relations and propositions devised by Bealer; and the Meinongian approaches put forward by Zalta and Priest. The book also proposes an alternative to intensionalism: sententialism. Sententialists argue that the problems of intensionality could be solved by appealing to linguistic items rather than intensional entities. Drawing on the works of Quine, Davidson, Scheffler and R. M. Martin, it explores the viability and value of sententialism as an alternative to intensionalism. (shrink)

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

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and (...) serves as a framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Works, Pieces, and Objects PerformedPaul Thom (bio)IntroductionJames Hamilton has written a book on the philosophy of theater that is admirable for its analytic clarity and for the wide knowledge of theatrical practice that it brings to bear on philosophical questions. The book’s main thesis is that theatrical performances are not presentations or executions or completions of texts, but the meaning of this thesis is not completely clear. (...) Hamilton sometimes expresses the thesis specifically in relation to literary texts:what is of interest in this book is the fact that the history I have been tracing—including the history of these debates—has revealed theatrical performance to be a form of art in its own right, independent of literature. And it is the meaning and truth of that discovery that is the central, indeed the only, concern in this book.1... Theatrical performance is a practice independent of literature.2This is the thesis in its weak form. Sometimes, however, he voices it in a strong form, relating to a class of artworks wider than literary texts: “A performance is... never a performance of some other work.”3Hamilton’s thesis, in either its weak or its strong form, might be understood as a claim about theatrical performance as such, or it might be understood as a generalization about individual theatrical performances. To take it the first way would be to take it intensionally, as a claim about the nature of theatrical performance—a statement about what the very notion of theatrical performance implies and what it excludes. To take it the second way would be to take it extensionally, as a claim about each and every theatrical performance. Thus, the weak thesis—the thesis relating to literary texts—might be understood (intensionally) as stating that theatrical performance as such is an art form that is independent of literary texts. Or it [End Page 67] might be understood (extensionally) as stating that no individual theatrical performance qua artwork depends on a literary text. Similarly, the strong thesis—the thesis relating to artworks in general—might be understood (intensionally) as stating that theatrical performance as such is an art form independent of all artworks that are not theatrical performances. Or it might be understood (extensionally) as stating that no individual theatrical performance qua artwork depends on any artwork that is not itself a theatrical performance.In this article I outline a framework within which I argue that Hamilton’s thesis in either its weak or its strong form should be accepted as an intensional claim about either moral or ontological independence, but it should be rejected as an extensional claim. Then I will discuss a line of reasoning Hamilton uses in support of his thesis, and I will argue that it is invalid.A FrameworkSpectators at a performance are often able to distinguish, at least to some extent, between the performance and what is performed. This must be the case if spectators are ever to be in a position to comment, for example, on whether a particular routine, which is part of what has been performed, is the same routine as was performed on another occasion—or to comment on how well or badly the routine is being executed. The concept of “what is performed” is therefore an important one for the philosophy of the performing arts.It appears that Hamilton is using this concept when he talks about “the performed object.”4 He doesn’t give us an analysis of what exactly a performed object is, but it appears to be more general than what Paul Woodruff means by a “theater piece.” Woodruff defines a theater piece as a kind of theatrical event that may be repeated.5 (I take it that the definition doesn’t imply that all theater pieces are capable, practically speaking, of being repeated—for that would be false—but merely means that the notion of a theatrical event leaves open the possibility of repetition.) A theater piece is, presumably, a performed object, but a performed object need not be a theater piece if theater is defined (following Woodruff) in terms of human action that is worth watching. Some performances—many musical... (shrink)

This article is a critical review of Cocchiarella’s theory of reference. In conceptual realism, there are two central distinctions regarding reference: first, between active and deactivated use of referential expressions, and, second, between using referential expressions with and without existential presupposition. Cocchiarella’s normative restrictions on the existential presuppositions of reference lead to postulating two fundamentally different kinds of objects in conceptual realism: realia or concrete objects, on the one hand, and abstract intensional objects or nonexistents, (...) on the other. According to Cocchiarella, nonexistents can be referred to only without existential presuppositions. However, referring to nonexistents with existential presuppositions is an ordinary human practice. To account for this fact, Cocchiarella’s normative theory of reference should be supplemented by a descriptive account of referring. (shrink)

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, (...) numbers, propositions, and degrees is considerably more marginal than generally held. (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)

It is widely supposed that every entity falls into one of twocategories: Some are concrete; the rest abstract. The distinction issupposed to be of fundamental significance for metaphysics andepistemology. This article surveys a number of recent attempts to sayhow it should be drawn.

This essay uses a mental files theory of singular thought—a theory saying that singular thought about and reference to a particular object requires possession of a mental store of information taken to be about that object—to explain how we could have such thoughts about abstract mathematical objects. After showing why we should want an explanation of this I argue that none of three main contemporary mental files theories of singular thought—acquaintance theory, semantic instrumentalism, and semantic cognitivism—can give it. (...) I argue for two claims intended to advance our understanding of singular thought about mathematical abstracta. First, that the conditions for possession of a file for an abstract mathematical object are the same as the conditions for possessing a file for an object perceived in the past—namely, that the agent retains information about the object. Thus insofar as we are able to have memory-based files for objects perceived in the past, we ought to be able to have files for abstract mathematical objects too. Second, at least one recently articulated condition on a file’s being a device for singular thought—that it be capable of surviving a certain kind of change in the information it contains—can be satisfied by files for abstract mathematical objects. (shrink)

This paper elaborates distinctions between a core and a periphery in the ontological and the conceptual domain associated with natural language. The ontological core-periphery distinction is essential for natural language ontology and is the basis for the central thesis of my 2013 book Abstract Objects and the Semantics of Natural Language, namely that natural language permits reference to abstract objects in its periphery, but not its core.

This essay uses a mental files theory of singular thought—a theory saying that singular thought about and reference to a particular object requires possession of a mental store of information taken to be about that object—to explain how we could have such thoughts about abstract mathematical objects. After showing why we should want an explanation of this I argue that none of three main contemporary mental files theories of singular thought—acquaintance theory, semantic instrumentalism, and semantic cognitivism—can give it. (...) I argue for two claims intended to advance our understanding of singular thought about mathematical abstracta. First, that the conditions for possession of a file for an abstract mathematical object are the same as the conditions for possessing a file for an object perceived in the past—namely, that the agent retains information about the object. Thus insofar as we are able to have memory-based files for objects perceived in the past, we ought to be able to have files for abstract mathematical objects too. Second, at least one recently articulated condition on a file’s being a device for singular thought—that it be capable of surviving a certain kind of change in the information it contains—can be satisfied by files for abstract mathematical objects. (shrink)

The complement of intensional transitive verbs, like any nonreferential complement, can be replaced by a ‘special quantifier’ or ‘special pronoun’ such as 'something', 'the same thing', or 'what'. In this paper, I will defend the ‘Nominalization Theory’ of special quantifiers against a range of apparent counterexamples involving intensional transitive verbs.

The type-level abstraction is a formal way to represent molecular structures in biological practice. Graphical representations of molecular structures of biological objects are also used to identify functional processes of things. This paper will reveal that category theory is a formal mathematical language not only to visualize molecular structures of biological objects as type-level abstraction formally but also to understand how to infer biological functions from the molecular structures of biological objects. Category theory is a toolkit to (...) understand biological knowledge at the type-level formally, not individual token-level, as well as typical heuristic strategies in molecular biology. (shrink)

This paper sketches an account that explains the elusive subjective quality of 'enduring substantiality' of the phenomenal self. It integrates a recent predictive processing account of the self by Chris Letheby and Philip Gerrans with key ideas of Michael Graziano's attention schema theory of consciousness. Similarly to the attention schema theory, the present account posits an internal model of ongoing attentional processing that supports attentional control. In terms of predictive processing, it is a dynamic model of precision estimates that represents (...) the salience of features, objects, and internal and external processes. The apparent substantiality of the self is then explained by a structural feature of this salience model: it binds different dimensions of salience by representations of higher-order dimensions of salience. The result of this salience binding is a phenomenally transparent 'salience object', which is represented as a cause of widespread changes in precision estimates, and results in a form of epistemic self-control. Phenomenologically, this goes along with the experience of the self as an attentional agent, and in this way creates the origin of our consciously experienced first-person perspective: I attend, I am. (shrink)

NPs with intensional relative clauses such as 'the impact of the book John needs to write' pose a significant challenge for trope theory (the theory of particularized properties), since they seem to refer to tropes that lack an actual bearer. This paper proposes a novel semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that an alternative analysis based on the notion of an individual concept would (...) face. (shrink)

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing (...) begins. The main reason for producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

Conceptual realism begins with a conceptualist theory of the nexus of predication in our speech and mental acts, a theory that explains the unity of those acts in terms of their referential and predicable aspects. This theory also contains as an integral part an intensional realism based on predicate nominalization and a reflexive abstraction in which the intensional contents of our concepts are “object”-ified, and by which an analysis of predication with intensional verbs can be given. Through (...) a second nominalization of the common names that are part of conceptual realism’s theory of reference (via quantifier phrases), the theory also accounts for both plural reference and predication and mass noun reference and predication. Finally, a separate nexus of predication based on natural kinds and the natural properties and relations nomologically related to those natural kinds, is also an integral part of the framework of conceptual realism. (shrink)

NPs with intensional relative clauses such as 'the book John needs to write' pose a significant challenge for semantic theory. Such NPs act like referential terms, yet they do not stand for a particular actual object. This paper will develop a semantic analysis of such NPs on the basis of the notion of a variable object. The analysis avoids a range of difficulties that a more standard analysis based on the notion of an individual concept would face. Most importantly, (...) unlike the latter, the proposed analysis can be carried over NPs such as 'the number of people that fit into the bus', which describe tropes (particularized properties). (shrink)

Roger Scruton; XI*—Intensional and Intentional Objects, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 187–208, https://doi.org.

Roger Scruton; XI*—Intensional and Intentional Objects, Proceedings of the Aristotelian Society, Volume 71, Issue 1, 1 June 1971, Pages 187–208, https://doi.org.

Two fundamental categories of any ontology are the category of objects and the category of universals. We discuss the question whether either of these categories can be infinite or not. In the category of objects, the subcategory of physical objects is examined within the context of different cosmological theories regarding the different kinds of fundamental objects in the universe. Abstract objects are discussed in terms of sets and the intensional objects of conceptual (...) realism. The category of universals is discussed in terms of the three major theories of universals: nominalism, realism, and conceptualism. The finitude of mind pertains only to conceptualism. We consider the question of whether or not this finitude precludes impredicative concept formation. An explication of potential infinity, especially as applied to concepts and expressions, is given. We also briefly discuss a logic of plural objects, or groups of single objects (individuals), which is based on Bertrand Russell’s (1903, The principles of mathematics, 2nd edn. (1938). Norton & Co, NY) notion of a class as many. The universal class as many does not exist in this logic if there are two or more single objects; but the issue is undecided if there is just one individual. We note that adding plural objects (groups) to an ontology with a countable infinity of individuals (single objects) does not generate an uncountable infinity of classes as many. (shrink)

This article examines Moltmann’s analysis of intensional transitive verbs , and argues that the analysis fails because the key notion it employs, ‘variable satisfier’, is inconsistent.

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

objects are standardly taken to be causally inert, but this claim is rarely explicitly argued for. In the context of his platonism about musical works, in order for musical works to be audible, Julian Dodd argues that abstracta are causally efficacious in virtue of their concrete tokens participating in events. I attempt to provide a principled argument for the causal inertness of abstracta by first rejecting Dodd’s arguments from events, and then extending and generalizing the causal exclusion argument to (...) the abstract/concrete distinction. For reasons of parsimony, if concrete tokens or instantiations of abstract objects account for all causal work, then there is no reason to attribute causal efficacy to abstracta, and thus reason to maintain their causal inertness. I then consider how one of the main arguments against causal exclusion, namely Stephen Yablo’s notion of “proportionality”, could be modified to support the causal efficacy of abstracta. I argue that from a few simple premises Yablo’s account in fact supports their causal inertness. Having a principled reason for the causal inertness of abstracta appears to entail that the musical platonist must admit that we never literally hear the musical work, but only its performances. I sketch a solution to this problem available to Dodd, so that the musical platonist can maintain that musical works are abstract objects and are causally inert while retaining their audibility. (shrink)

The problem with model-theoretic modal semantics is that it provides only the formal beginnings of an account of the semantics of modal languages. In the case of non-modal language, we bridge the gap between semantics and mere model theory, by claiming that a sentence is true just in case it is true in an intended model. Truth in a model is given by the model theory, and an intended model is a model which has as domain the actual objects (...) of discourse, and which relates these objects in an appropriate manner. However, the same strategy applied to the modal case seems to require an intended modal model whose domain includes mere possibilia. Building on recent work by Christopher Menzel (Synthese 85 (1990)), I give an account of model-theoretic semantics for modal languages which does not require mere possibilia or intensional entities of any kind. Menzel has offered a representational account of model-theoretic modal semantics that accords with actualist scruples, since it does not require possibilia. However, Menzel's view is in the company of other actualists who seek to eliminate possible worlds, but whose accounts tolerate other sorts of abstract, intensional entities, such as possible states of affairs. Menzel's account crucially depends on the existence of properties and relations in intension. I offer a purely extensional, representational account and prove that it does all the work that Menzel's account does. The result of this endeavor is an account of model theoretic semantics for modal languages requiring nothing but pure sets and the actual objects of discourse. Since ontologically beyond what is prima facie presupposed by the model theory itself. Thus, the result is truly an ontology-free model-theoretic semantics for modal languages. That is to say, getting genuine modal semantics out of the model theory is ontologically cost-free. Since my extensional account is demonstrably no less adequate, and yet is at the same time more ontologically frugal, it is certainly to be preferred. (shrink)

Quine has persuasively shown that the empiricist "dogma of reductionism", which is the belief that each meaningfiil statement of science can be reduced to statements about immediate sense experience, must be abandoned. However, Quine's methodology of ontology seems to incorporate an analogous physicalistic dogma according to which the identity conditions of each scientifically respectable sort of abstract objects can be reduced to the identity conditions of physical objects. This paper aims to show that the latter dogma must (...) be abandoned, too. In section 1, the reductionist methodology underlying Quine's prescript "No Entity without Identity" is reconstructed in detail. In section 2 and 3, this methodology is criticized on the ground that Quine's individuation of sets offendsagainst the reductive Criteria of adequacy for individuations that are presupposed by his criticism of the ontological recognition of intensional objects. Finally, in section 4 an alternative holistic conception of individuation is outlined. (shrink)

Quine has persuasively shown that the empiricist "dogma of reductionism", which is the belief that each meaningfiil statement of science can be reduced to statements about immediate sense experience, must be abandoned. However, Quine's methodology of ontology seems to incorporate an analogous physicalistic dogma according to which the identity conditions of each scientifically respectable sort of abstract objects can be reduced to the identity conditions of physical objects. This paper aims to show that the latter dogma must (...) be abandoned, too. In section 1, the reductionist methodology underlying Quine's prescript "No Entity without Identity" is reconstructed in detail. In section 2 and 3, this methodology is criticized on the ground that Quine's individuation of sets offendsagainst the reductive Criteria of adequacy for individuations that are presupposed by his criticism of the ontological recognition of intensional objects. Finally, in section 4 an alternative holistic conception of individuation is outlined. (shrink)

The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, (...) such as symbolic manipulations or ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

In this paper, I explore a line of argument against one form of realism about fictional characters : abstract artifact theory, the view according to which fictional characters like Harry Potter are part of our reality, but, they are abstract objects created by humans, akin to the institution of marriage and the game of soccer. I will defend artifactualism against an objection that Mark Sainsbury considers decisive against it: the category-mistake objection. The objection has it that artifactualism (...) attributes to people who produce and process sentences and thoughts about Harry Potter massive error, indeed, a category mistake about what kind of thing Harry Potter is; for an abstract object isn’t the sort of thing that can wear glasses, ride a double-decker bus, attend school. Given problems with this objection, artifactualism, I shall conclude, remains a tenable contender. (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)

This dissertation addresses a variety of foundational issues pertaining to the notion of algorithm employed in mathematics and computer science. In these settings, an algorithm is taken to be an effective mathematical procedure for solving a previously stated mathematical problem. Procedures of this sort comprise the notional subject matter of the subfield of computer science known as algorithmic analysis. In this context, algorithms are referred to via proper names of which computational properties are directly predicated )). Moreover, many formal results (...) are traditionally stated by explicitly quantifying over algorithms. These observations motivate the view that algorithms are themselves abstract mathematical objects -- a view I refer to as algorithmic realism. The status of this view is clearly related to that of Church's Thesis -- i.e. the claim that a function is computable by an algorithm just in case it is partial recursive. But whereas Church's Thesis is widely accepted on the basis of several well-known mathematical analyses of algorithmic computability, there is presently no consensus on how we can uniformly identify individual algorithms with mathematical objects. In the first chapter of this work, I attempt to illustrate the theoretical significance of algorithmic realism. I suggest that this view is not only of foundational significance to computer science, but also worth highlighting due to the role algorithms play in the fixation of mathematical knowledge and their relationship to intensional entities such as propositions and properties. Chapter Two presents a formal framework for reducing computational discourse to mathematical discourse modeled on contemporary discussion of mathematical nominalism. Chapter Three is centered on a case study intended to illustrate the technical exigencies involved with defending algorithmic realism. Chapter Four explores various ways in which algorithms might be identified with models of computation. And finally, Chapter Five argues that no such identification can uniformly satisfy all statements of algorithmic identity and non-identity affirmed by computational practice. I suggest that the technical crux of algorithmic realism lies in the necessity of reducing recursive specifications of algorithms to iterative models of computation in a manner which preserves algorithmic identity. (shrink)

Art and Abstract Objects presents a lively philosophical exchange between the philosophy of art and the core areas of philosophy. The standard way of thinking about non-repeatable (single-instance) artworks such as paintings, drawings, and non-cast sculpture is that they are concrete (i.e., material, causally efficacious, located in space and time). Da Vinci's Mona Lisa is currently located in Paris. Richard Serra's Tilted Arc is 73 tonnes of solid steel. Johannes Vermeer's The Concert was stolen in 1990 and remains (...) missing. Michaelangelo's David was attacked with a hammer in 1991. By contrast, the standard way of thinking about repeatable (multiple-instance) artworks such as novels, poems, plays, operas, films, symphonies is that they must be abstract (i.e., immaterial, causally inert, outside space-time): consider the current location of Melville's Moby Dick, the weight of Yeats' "Sailing to Byzantium", or how one might go about stealing Puccini's La Boheme or vandalizing Mozart's Piano Concerto No. 9. Although novels, poems, and symphonies may appear radically unlike stock abstract objects such as numbers, sets, and propositions, most philosophers of art think that for the basic intuitions, practices, and conventions surrounding such works to be preserved, repeatable artworks must be abstracta. -/- This volume examines how philosophical enquiry into art might itself productively inform or be productively informed by enquiry into abstracta taking place within not just metaphysics but also the philosophy of mathematics, epistemology, philosophy of science, and philosophy of mind and language. While the contributors chiefly focus on the relationship between philosophy of art and contemporary metaphysics with respect to the overlap issue of abstracta, they provide a methodological blueprint from which scholars working both within and beyond philosophy of art can begin building responsible, mutually informative, and productive relationships between their respective fields. (shrink)

This paper explores the influence of Søren Kierkegaard upon Paul Feyerabend by examining their common criticisms of totalising accounts of human nature. Both complained that philosophical and scientific theories of human nature which were methodologically committed to objectivity and abstraction failed to capture the richness of human experience. Kierkegaard and Feyerabend argued that philosophy and the science were threatening to become obstacles to human development by imposing abstract theories of human nature and reality which denied the complexities of both. (...) In both cases, this took the form of asserting an ‘existential’ criterion for the assessment of philosophical and scientific theories. Kierkegaard also made remarks upon the inappropriateness of applying natural scientific methods to human beings which Feyerabend later expanded and developed in his criticisms of the inability of the ‘scientific worldview’ to accommodate the values necessary to a flourishing human life. I conclude by noting some differences between Kierkegaard and Feyerabend’s positions and by affirming the value of existential criticisms of scientific knowledge.Keywords: Feyerabend; Kierkegaard; Objectivity;ion; Human nature. (shrink)