What are intuitions? According to doxastic views, they are doxastic attitudes or dispositions, such as judgments or inclinations to make judgments. According to perceptualist views, they are—like perceptual experiences—pre-doxastic experiences that—unlike perceptual experiences—represent abstract matters as being a certain way. In this paper I argue against doxasticism and in favor of perceptualism. I describe two features that militate against doxasticist views of perception itself: perception is belief-independent and perception is presentational. Then I argue that intuitions also have both features. The (...) upshot is that intuitions are importantly similar to perceptual experiences, and so should not be identified with doxastic attitudes or dispositions. I consider a popular argument from the introspective absence of sui generis intuition experiences in favor of doxasticism. I develop a conception of intuition experiences that helps to defuse this argument. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

I argue that perceptual experience provides us with both phenomenal and factive evidence. To a first approximation, we can understand phenomenal evidence as determined by how our environment sensorily seems to us when we are experiencing. To a first approximation, we can understand factive evidence as necessarily determined by the environment to which we are perceptually related such that the evidence is guaranteed to be an accurate guide to the environment. I argue that the rational source of both phenomenal and (...) factive evidence lies in employing perceptual capacities that we have in virtue of being perceivers. In showing that both kinds of evidence have the same rational source, I provide a unified account of perceptual evidence and its rational source in perceptual experience. (shrink)

The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account can be (...) given independent philosophical motivations within anintentionalist view of truth and predication. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

In this paper I provide a state of the art survey and assessment of the contemporary debate about relations. After (1) distinguishing different varieties of relations, symmetric from non-symmetric, internal from external relations etc. and relations from their set-theoretic models or sequences, I proceed (2) to consider Bradley’s regress and whether relations can be eliminated altogether. Next I turn (3) to the question whether relations can be reduced, bringing to bear considerations from the philosophy of physics as well as metaphysics. (...) Finally, (3) I consider in what sense relations have order, and whether to make sense of this we are required to conceive of relations as having direction or argument positions. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion of reality (to be specified). During the (...) last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (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)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

What is the metaphysical nature of perceptual experience? What evidence does experience provide us with? These questions are typically addressed in isolation. In order to make progress in answering both questions, perceptual experience needs to be studied in an integrated manner. I develop a unified account of the phenomenological and epistemological role of perceptual experience, by arguing that sensory states provide perceptual evidence due to their metaphysical structure. More specifically, I argue that sensory states are individuated by the perceptual capacities (...) employed and that there is an asymmetric dependence between their employment in perception and their employment in hallucination and illusion. Due to this asymmetric dependence, sensory states provide us with evidence. (shrink)

Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

Philosophers frequently comment on the intimate connection there is between something’s being present in perceptual experience and that thing’s being, or at least appearing to be, temporally present. Yet, there is relatively little existing work that goes beyond asserting such a connection and instead examines its specific nature. In this paper, I suggest that we can make progress on the latter by looking at two more specific debates that have hitherto been conducted largely isolation from each other: one about the (...) nature of conscious experience and one about the nature of time itself. The first concerns the extent to which the temporal properties of experience form an exception to the transparency of experience, meaning that introspection can provide support for one particular view of how experience itself is structured temporally; the second concerns the question as to whether there is something about experience that gives us grounds for thinking that the present is somehow metaphysically special. As I argue, the idea of a connection between experiential presence and temporal presence plays a key background role in each of these debates. Yet it can also, in each of them, be seen to draw one side towards making claims that are supposed to express an important truth but are at the same time, on the face of it, self-contradictory. In each case, resolving what it actually is that these claims are trying to get at turns on recognizing a distinctive feature of perceptual experience, which I refer to as its lack of temporal viewpointedness. Recognising this feature also helps in making sense of what the issues at stake actually are in the intuition of an intimate connection between experiential presence and temporal presence. (shrink)

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

Is linguistic understanding a form of knowledge? I clarify the question and then consider two natural forms a positive answer might take. I argue that, although some recent arguments fail to decide the issue, neither positive answer should be accepted. The aim is not yet to foreclose on the view that linguistic understanding is a form of knowledge, but to develop desiderata on a satisfactory successor to the two natural views rejected here.

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

The aim in this paper is to focus on one of the proposals about successful perception that has led its adherents to advance some kind of disjunctive account of experience. The proposal is that we should understand the conscious sensory experience involved in successful perception in relational terms. I first try to clarify what the commitments of the view are, and where disagreements with competing views may lie. I then suggest that there are considerations relating to the conscious character of (...) our perception of events that speak in its favour. (shrink)

The first half of this article is critical: it develops an interpretation of Kant as trying, and failing, to limit our judgments to phenomena and abstain from making claims about noumena, and an interpretation of Wittgenstein as trying, and failing, to develop a theory of meaning that abstains from attempting to say the unsayable. On the reading offered, both Kant and Wittgenstein find themselves saying things that by their own lights cannot be said: in Kant’s case, claims about noumena, and (...) in Wittgenstein’s case, structural claims. While Kant attempts a solution of the problem which also fails, Wittgenstein bites the bullet and leaves his Tractatus, for the most part, void and meaningless. The suggested response is a dialetheic approach—either as an alternative or, potentially, as an amendment to a Kantian or Wittgensteinian theory. According to this approach, certain problems in philosophy arise from true contradictions and thus require a theory that makes sense of contradiction. A subgroup of these problems (among them the noumenal and structural issues in Kant and Wittgenstein) are about things that both are and are not ineffable. The second half of the paper develops a dialetheic account of ineffability and a concise formal theory to ensure that contradiction at the limits of language does not spread to other areas. (shrink)

As a typical subject, you experience a variety of paradigmatically temporal phenomena. Looking out of the window in the English summer, you can see leaves swaying in the breeze and hear the pitter-patter of raindrops steadily increasing against the window. In discussions of temporal experience, and through reflecting on examples such as those offered, two phenomenological claims are widely – though not unequivocally – accepted: firstly, you perceptually experience motion and change; secondly, while more than a momentary state of affairs (...) is presented in your ongoing perceptual experience, that which is presented nonetheless seems to be of a quite limited temporal extent. These two claims are frequently tied to the notion of the specious present. However, there has recently been a push back against the supposed link between perceived motion and the specious present. I argue that there are two ways of understanding this link, and while one has recently been the target of criticism, the other withstands such criticism. My overarching aim is to clarify the notion of the specious present through a discussion of the notion’s origins, in addition to recent criticism directed at the notion, with the hope of reframing how contemporary debates proceed. (shrink)

Do we directly perceive physical objects? What is the significance of the qualification ‘directly’ here? Austin famously denied that there was a unique interpretation by which we could make sense of the traditional debate in the philosophy of perception. I look here at Thompson Clarke’s discussion of G. E. Moore and surface perception to answer Austin’s scepticism.

[This Invited Paper will be published in December 2016.].

The paper describes the evolution of russell's theory of judgment between 1910 and 1913, With especial reference to his recently published "theory of knowledge" (1913). Russell abandoned the book and with it the theory of judgment as a result of wittgenstein's criticisms. These criticisms are examined in detail and found to constitute a refutation of russell's theory. Underlying differences between wittgenstein's and russell's views on logic are broached more sketchily.

I shall explore in this article the hypothesis that structures are relations between the components of complex entities. After having introduced hylomorphism, its major advantages and the major views of the nature of structures, I shall introduce the distinctions between external and internal relations and the one between symmetrical and non-symmetrical relations. I shall also describe the theory of non-symmetrical relations that I accept, i.e., the O-Roles theory, as most structures seem to be external and non-symmetrical relations. Later on, I (...) shall develop my hypothesis and I shall deal with one objection, i.e., that relations necessarily come together with Bradley's vicious regress. Finally, I shall also hypothesize that complex entities are different from structures and from their structured components. In this respect, I shall defend a " simple view " of complex entities. Dwelling on this view, I shall also reply to some recent objections against hylomorphism. (shrink)

Is there an explanation of why the state of x's bearing the non-symmetric binary relation R to y is different from its differential opposite, the state of y's bearing R to x? One traditional view has it that the explanation is that non-symmetric relations hold of objects in an essentially directional way, ordering the relevant relata. We call this view ‘directionalism’. Kit Fine has suggested that this approach is subject to significant metaphysical difficulties, sufficient to motivate seeking an alternative analysis. (...) He considers two such alternative explanations, which he labels ‘positionalism’ and ‘anti-positionalism’. Of these he endorses the latter. We argue that anti-positionalism fails to provide a coherent explanation of the distinction between differential opposites, and that one should simply hold the minimalist position that there is no explanation for this metaphysical difference. (shrink)

The notorious problem of the many makes it difficult to resist the conclusion that almost coincident with any ordinary object are a vast number of near-indiscernible objects. As Unger was aware in his presentation of the problem, this abundance raises a concern as to how—and even whether—we achieve singular thought about ordinary objects. This paper presents, clarifies, and defends a view which reconciles a plenitudinous conception of ordinary objects with our having singular thoughts about those objects. Indeed, this strategy has (...) independent application in the case of singular thoughts about other putatively ‘abundant’ phenomena, such as locations or lumps of matter. In essence, singular thought-vehicles need not express just one singular content. If there are many objects, one’s singular thought-vehicle may express as many thought-contents. (shrink)

This paper addresses a number of closely related questions concerning Kant's model of intentionality, and his conceptions of unity and of magnitude [Gröβe]. These questions are important because they shed light on three issues which are central to the Critical system, and which connect directly to the recent analytic literature on perception: the issues are conceptualism, the status of the imagination, and perceptual atomism. In Section 1, I provide a sketch of the exegetical and philosophical problems raised by Kant's views (...) on these issues. I then develop, in Section 2, a detailed analysis of Kant's theory of perception as elaborated in both the Critique of Pure Reason and the Critique of Judgment; I show how this analysis provides a preliminary framework for resolving the difficulties raised in Section 1. In Section 3, I extend my analysis of Kant's position by considering a specific test case: the Axioms of Intuition. I contend that one way to make sense of Kant's argument is by juxtaposing it with Russell's response to Bradley's regress; I focus in particular on the concept of ‘unity’. Finally, I offer, in Section 4, a philosophical assessment of the position attributed to Kant in Sections 2 and 3. I argue that, while Kant's account has significant strengths, a number of key areas remain underdeveloped; I suggest that the phenomenological tradition may be read as attempting to fill precisely those gaps. (shrink)

A many-faceted beast, the metaphysics of relations can be approached from many angles. One could begin with the various ways in which relational states are expressed in natural language. If a more historical treatment is wanted, one could begin with Plato, Aristotle, or Leibniz. In the following, I will approach the topic by first drawing on Russell’s Principles of Mathematics (1903) (still a natural-enough starting point), and then turn to a discussion mainly of positionalism. The closing section contains an overview (...) of the six contributions to this Special Issue. (shrink)

Is knowledge a uniform kind? If not, what relation do the different kinds of knowledge bear to one another? Is there a central notion of knowledge which other kinds of knowledge must be understood in terms of? In this paper, I use Aristotle’s theory of homonyms as a framework to make progress on these questions. I argue that knowledge is not a uniform kind but rather a core-dependent homonym. To demonstrate this, I focus on knowledge by acquaintance. I argue that (...) the principles that govern propositional knowledge cannot govern knowledge by acquaintance. I then develop analogue principles for knowledge by acquaintance and show why, despite their different modal profiles, knowledge by acquaintance is nevertheless a form of knowledge. I then show that the analysis of propositional knowledge fundamentally depends on knowledge by acquaintance. (shrink)

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue to shape (...) contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

Russell’s theory of memory as acquaintance with the past seems to square uneasily with his definition of acquaintance as the converse of the relation of presentation of an object to a subject. We show how the two views can be made to cohere under a suitable construal of ‘presentation’, which has the additional appeal of bringing Russell’s theory of memory closer to contemporary views on direct reference and object-dependent thinking than is usually acknowledged. The drawback is that memory as acquaintance (...) with the past falls short of fulfilling Russell’s requirement that knowledge by acquaintance be discriminating knowledge – a shortcoming shared by contemporary externalist accounts of knowledge from memory. (shrink)

Many currently working on a Russellian notion of perceptual acquaintance and its role in perceptual experience (including Campbell 2002a, 2002b, and 2009 and Tye 2009) treat naïve realism and indirect realism as an exhaustive disjunction of possible views. In this paper, I propose a form of direct realism according to which one is directly aware of external objects and their features without perceiving a mind-dependent intermediary and without making any inference. Nevertheless, it also maintains that the qualitative character of perceptual (...) experience is a feature of our internal states of sentient awareness and so is to be distinguished from the features of objects in the perceptual scene. On this proposal, we are pre-reflectively aware of the qualitative character of our sensations simply in virtue of having them, and we are non-inferentially aware of external objects and their features by being attuned to what the occurrence of our sensations tells us about the rest of the world. Consequently, we are presented with, and thus acquainted with, both the external objects and the qualitative character of our sensory experiences, albeit in very different ways. Drawing on resources from Perry (2001) and Searle (in draft), I explain how perceptual experience has this “two-faced presentational character”. (shrink)

It has been much debated whether Tractarian objects are what Russell would have called particulars or whether they include also properties and relations. This paper claims that the debate is misguided: there is no logical category such that Wittgenstein intended the reader of the Tractatus to understand his objects either as providing examples of or as not providing examples of that category. This is not to say that Wittgenstein set himself against the very idea of a logical category: quite the (...) contrary. However, where Russell presents his logical variety of particulars and the various types of universal, and Frege presents his of objects and the various types of function, Wittgenstein denies the propriety of such a priori expositions. Wittgenstein envisages a variety of logical types of entity but insists that the nature of these types is something to be discovered only through analysis. (shrink)

In the following article I intend to examine the problem of the unity of the proposition in Russell, Frege, and Wittgenstein. My chief aim will be to draw attention to the distinction between Russell’s conception of propositional constituents, on the one hand, with Frege and Wittgenstein’s on the other. My focus will be on Russell’s view of terms as independent, propositions being built up out of these building blocks, compared with Frege and Wittgenstein’s ‘top down’ approach. Furthermore, I will argue (...) that, contra certain other commentators, Frege’s metaphor of saturation and unsaturation does not serve as a solution to the problem of unity, and that the extension of this metaphorical language to Wittgenstein is, therefore, inappropriate. (shrink)

How we talk about relations has a great influence on how we think about relations. By saying that Spain defeated the Netherlands we obviously say something entirely different from saying that the Netherlands defeated Spain. This makes many of us think that in the underlying relation itself one of the relata comes first and the other comes second. However, there are good reasons to view the order as a representational artifact. In this paper I present a new logic that allows (...) us to think and talk about relations in a coordinate-free manner. The logic is minimalistic in the sense that it has no predicates except equality, but its expressive power is the same as that of first-order predicate logic. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

A theory of relations is presented that provides a detailed account of the logical structure of relational complexes. The theory draws a sharp distinction between relational complexes and relational states. A salient difference is that relational complexes belong to exactly one relation, whereas relational states may be shared by different relations. Relational complexes are conceived as structured perspectives on states ‘out there’ in reality. It is argued that only relational complexes have occurrences of objects, and that different complexes of the (...) same relation may correspond to the same state. (shrink)

Different notions of analysis have been both theorized and put to use in early analytic philosophy. Two of them stand out: connective analysis and analysis as paraphrase. The latter played a central role in the development of analytic philosophy from Frege to Quine and beyond. With the advent of formal semantics of natural language in the 1970s, paraphrase came to be characterizable as translation into a formal “target language”. While I claim that the method cannot achieve its original philosophical aims, (...) I insist that, in spite of them, it is far from being a theoretically empty operation and that it lives on in some contemporary philosophical enterprises. (shrink)

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must be supplemented (...) by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

It is often presumed by those who use propositions in their theories that propositions are representational; that is, that propositions represent the world as being some way. This paper makes two claims against this presumption. First, it argues that it does not follow from the fact that propositions play the theoretical roles usually attributed to them that they are representational. This conclusion is reached by rebutting three arguments that can be made in support of the claim that propositions are representational. (...) This paper then advances the further claim that propositions are not representational. It considers several ways to overcome the difficulties traditionally associated with this claim, particularly how to account for falsity. (shrink)

Historians of philosophy commonly regard as antipodal Bertrand Russell and Edmund Husserl, the founding fathers of analytic philosophy and phenomenology. This paper, however, establishes that during a formative phase in both of their careers Russell and Husserl shared a range of seminal ideas. In particular, the essay adduces clear cases of family resemblance between Husserl’s and Russell’s philosophy during their middle period, which spanned the years 1905 through 1918. The paper thus challenges the received view of Husserl’s relation to early (...) analytic philosophy and this by pursuing two strategies of exposition. One involves comparing Husserl with Russell, and not, as has been the usual practice, with Frege. The other, which follows the first, foregrounds Husserl’s thinking vis-à-vis Russell’s from 1905 onward, a move that constitutes a break with what has become the standard approach of emphasising the relatedness of Husserl of the Logical Investigations (1900/1) to analytic philosophy. Moreover, this approach discloses two chief grounds of relatedness between the middle Husserl and the middle Russell. One is their shared interest in exploring philosophical “fundamentals”. The second consists of common elements shared by their epistemologies and philosophies of mind. (shrink)

Bertrand Russell developed a conception of the nature of the visual field, and of other sensory fields, as part of his project of explaining the construction of the external world. Wittgenstein's remarks on the visual field in the Tractatus are in part a response to Russell. Wittgenstein, against Russell, analyses the visual field in terms of facts rather than objects. Further, his conception of the field is, in a distinctive sense, depsychologised.