Although the metaphysics of words remains a relatively understudied domain, one of the more discussed topics has been the question of how to account for the apparent sameness of words. Put one way, the question concerns what it is that makes two word- instances (or tokens) instances of the same word. In this paper, I argue that the existing solutions to the problems all fail as they take the problem of sameness of word to be a problem about how one (...) object relates to another. I propose an alternative solution to the problem of sameness of word which is instead focused on the intrinsic nature of the properties possessed by words. The result is a more thoroughgoing version of nominalism than is currently defended in the literature. (shrink)

Although the metaphysics of words remains a relatively understudied domain, one of the more discussed topics has been the question of how to account for the apparent sameness of words. Put one way, the question concerns what it is that makes two word- instances (or tokens) instances of the same word. In this paper, I argue that the existing solutions to the problems all fail as they take the problem of sameness of word to be a problem about how one (...) object relates to another. I propose an alternative solution to the problem of sameness of word which is instead focused on the intrinsic nature of the properties possessed by words. The result is a more thoroughgoing version of nominalism than is currently defended in the literature. (Published Open Access). (shrink)

El objetivo de este artículo es ofrecer una interpretación, en parte novedosa, del pasaje 5.54-5.5423 del Tractatus en el que Wittgenstein examina las proposiciones que representan relaciones intencionales como el juicio. La idea fundamental será que estas proposiciones se consideran como proposiciones que tratan de complejos y, en consecuencia, deberían analizarse de conformidad con el parágrafo 2.0201, lo que me llevará a desarrollar paso a paso el análisis propuesto. Adicionalmente, argumentaré que la teoría de Wittgenstein así entendida excluye la posibilidad (...) de juzgar sinsentidos, a diferencia de la teoría de Russell del juicio como relación múltiple. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

ld English manors have their ghosts. And though I would not want to call analytic philosophy a ‘manor’, nor exactly ‘old’, it certainly is of some decent English origin, and it left adolescence a while ago. No wonder then, that it is not exempt from haunting terrors. One particular spectre has been haunting it for decades; it already gave some analytic pioneers the creeps, and we still now and then find people terrified by it: the ghost of old Bradley has (...) not yet found its rest and keeps on threatening people with his notorious regress. The present essay is a lecture in exorcism; much of the fear old Bradley spread, so I will argue, peters out once we dare to look it in the eye. However, this essay is not primarily exegetical, and especially not an attempt in interpreting Bradley. I find Bradley’s writings, to say the least, not particularly accessible. Discussions of isolated passages from his longer treatises will probably be less fruitful than a careful study of the positions within the whole argumentative structure, supplied by the examination of Bradley’s intellectual upcoming. His treatments on relations and properties, in which he develops the famous regress argument, are motivated by a radical goal: a vindication of some form of monism. To reach this goal, he tries to deconstruct the most basic categories of our ordinary conceptual framework. Thus, he holds that.. (shrink)

The object of this paper is to argue once again for the combinatorial account of possibility defended in earlier work. But there I failed fully to realise the dialectical advantages that accrue once one begins by assuming the hypothesis of logical atomism, the hypothesis that postulates simple particulars and simple universals at the bottom of the world. Logical atomism is, I incline to think, no better than ‘speculative cosmology’ as opposed to ‘analytic ontology’, to use Donald Williams’ terminology. It is, (...) however, not an implausible hypothesis given the current state of quantum physics. More important for our purposes here, the strictly combinatorial theory that flows rather naturally from the atomist metaphysics shows some promise of continuing to hold in a world that is not an atomist world. (shrink)

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Does the self exist? If so, what is its nature? How long do selves last? Galen Strawson draws on literature and psychology as well as philosophy to discuss various ways we experience having or being a self. He argues that it is legitimate to say that there is such a thing as the self, distinct from the human being.

This paper argues that there is no possible structural way of drawing a distinction between objects of different types, such as individuals and properties of different adicities and orders. We show first that purely combinatorial information (information about how objects combine to form states of affairs) is not sufficient for doing this. We show that for any set of such combinatorial data there is always more than one way of typing them – that is, there are always several ways of (...) classifying the different constituents of states of affairs as individuals and properties. Therefore, contrary to received ontological opinion, no object is essentially of any specific type. In the second part we argue that taking into account logical information does not help either, since logic presupposes the very distinction we are trying to draw. Furthermore, this distinction is not even essential for logic, since logic can function perfectly well without it. We conclude that certain distinctions which have been traditionally regarded as ontologically basic (such as that between individuals and properties) cannot be as fundamental as is often supposed. (shrink)

The Reference Principle states that co-referring expressions are everywhere intersubstitutable salva congruitate. On first glance, looks like a truism, but a truism with some bite: transforms difficult philosophical questions about co-reference into easy grammatical questions about substitutability. This has led a number of philosophers to think that we can use to make short work of certain longstanding metaphysical debates. For example, it has been suggested that all we need to do to show that the predicate ‘ is a horse’ does (...) not refer to a property is point out that ‘ is a horse’ and ‘the property of being a horse’ are not everywhere intersubstitutable salva congruitate. However, when we understand ‘substitution’ in the simplest and most straightforward way, is no truism; in fact, natural languages are full of counterexamples to the principle. In this paper, I introduce a new notion of substitution, and then develop and argue for a version of that is immune to these counterexamples. Along the way I touch on the following topics: the relation between argument forms and their natural language instances; the reification of sense; the difference between terms and predicates; and the relation between reference and disquotation. I end by arguing that my new version of cannot be used to settle metaphysical debates quite as easily as some philosophers would like. (shrink)

Frege holds the distinction between complete (saturated) and incomplete (unsaturated) things to be a basic distinction of logic. Many disagree. In this paper I will argue that one can defend Frege's distinction against criticism if one takes, inspired by Frege, a wh -question to be the paradigm incomplete expression.

Frege’s writings contain arguments for the thesis (i) that a thought expressed by a sentence S is a structured object whose composition pictures the composition of S, and for the thesis (ii) that a thought is an unstructured object. I will argue that Frege’s reasons for both (i) and (ii) are strong. Frege’s explanation of the difference in sense between logically equivalent sentences rests on assumption (i), while Frege’s claim that the same thought can be decomposed differently makes (ii) plausible. (...) Thoughts are supposed to do work that requires that they be structured and work that requires that they be unstructured. But this cannot be! While the standard response to this problem is to reject either (i) or (ii), I propose a charitable repair in the spirit of Frege’s theory that accepts both. The key idea can be found in Frege’s Basic Laws of Arithmetic(BL, GGA). Frege argues that the thought expressed by a sentence is determined by the truth-conditions that can be derived from the semantic axioms for the sentence constituents. The fact that the same axiomatic truth-condition can be derived in different ways from different semantic axioms suggests a Fregean solution of the dilemma: A thought is a type that is instantiated by all sequences of senses (decomposed thoughts) that have the same axiomatic truth-conditions. This allows for multiple decomposability of the same thought (for different decomposed thoughts can have the same axiomatic truth-conditions) and for a notion of containment (the decomposed thought contains those senses whose semantic axioms are needed in the derivation of the truth-conditions). My proposal combines the virtues of (i) and (ii) without inheriting their vices. (shrink)

On the Genealogy of Universals: The Metaphysical Origins of Analytic Philosophy, by MacBrideFraser. Oxford: Oxford University Press, 2018. Pp. viii + 263.

Aristotle, Dignāga, Descartes, Arnauld, Locke, Brentano, Sartre and many others are right about the nature of conscious awareness: all such awareness comports—somehow carries within itself—awareness of itself . This is a necessary condition of awareness being awareness at all: no ‘higher-order’ account of what makes conscious states conscious can be correct. But is very paradoxical: it seems to require that awareness be somehow already present, in such a way as to be available to itself as object of awareness, in order (...) to be constituted as awareness in the first place. Can anything relate to itself in this way? Can there be a relation that is necessarily one-term, reflexive, non-logical , concretely realizable, dynamically real, such that its holding is a necessary condition of the existence of the thing it holds of? It helps to consider the thought this very thought is puzzling. Many accept the reality of the kind of awareness of awareness posited in and , and think it must be not only ‘pre-reflective’ and ‘non-positional’, but also irrelational or non-intentional. But perhaps such awareness of awareness can be fully relational and fully intentional, and can be legitimately said to be its own object or content, even while being pre-reflective and non-positional. (shrink)

Identity metaphysics finds identity or unity where other metaphysical theories find difference or diversity. It denies the fundamentality of ontological distinctions that other theories treat as fundamental. It’s opposed to separatism, which mistakes natural conceptual distinctions for ground-floor ontological differences. It proposes that the distinctions between the concepts substance, object, quality, property, process, state, and event are metaphysically superficial; so too the distinctions between the concepts energy, lawsofnature, force, causation, power, and naturalnecessity. So too the distinction between these two sets (...) of concepts. “Thinking takes apart what is really one”. (shrink)

W najogólniejszym sformułowaniu panpsychizm to pogląd, który głosi, że wszystko jest umysłem lub świadomością. Mimo że stanowisko to ma długą tradycję i staje się coraz popularniejsze we współczesnej debacie, wciąż ma ono wielu przeciwników. Celem tego artykułu jest dowiedzenie, że panpsychizm stanowi najlepsze metafizyczne wyjaśnienie natury tego, co stanowi ostateczne tworzywo rzeczywistości. Jest to zarazem odmiana fizykalizmu, zgodnie z którą doświadczenie jest budulcem wszystkich konkretnie istniejących przedmiotów.

In the early years of this century the debate as to the nature of judgment was a central issue dividing British philosophers. What a philosopher said about judgment was not independent of what he said about perception, the distinction between the a priori and empirical, the distinction between external and internal relations, the nature of inference, truth, universals, language, the reality of the self and so on.

In the early years of this century the debate as to the nature of judgment was a central issue dividing British philosophers. What a philosopher said about judgment was not independent of what he said about perception, the distinction between the a priori and empirical, the distinction between external and internal relations, the nature of inference, truth, universals, language, the reality of the self and so on.

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)

Ruth Garrett Millikan’s new book, Beyond Concepts,1 is a tour de force that integrates and refines the distinctive naturalistic accounts of mental representatio.

In the 1930s, C. I. Lewis, who was responsible for the revival of modal logic in the era of modern symbolic logic, characterized ‘intensional’ approaches to logic as typical of post-Leibnizian ‘continental philosophy’, in contrast to the ‘extensionalist’ approaches dominant in the British tradition. Indeed Lewis’s own work in this area had been inspired by the logic of his teacher, the American ‘Absolute Idealist’, Josiah Royce. Hegel’s ‘Subjective Logic’ in Book III of hisScience of Logic, can, I suggest, be considered (...) as an intensional modal logic, and this paper explores parallels between it and a later variety of modal logic—tenselogic, as developed by Arthur Prior in the 1950s and 60s. Like Lewis, Prior too had been influenced in this area by a teacher with strong Hegelian leanings—John N. Findlay. Treated as anintensional logic, Hegel’s subjective logic can be used as a framework for addressing issues ofintentionality—the mind’s capacity to be intentionally directed to objects. In this way, I suggest that the structures of his subjective logic can clarify what is at issue in the ‘Psychology’ section of theEncyclopaediaPhilosophy of Subjective Spirit. (shrink)

For many recent readers of Hegel, Wilfrid Sellars’s 1956 London lectures on the “Myth of the Given” have signaled an important rapprochement between Hegelian and analytic traditions in philosophy. Here I want to explore the ideas of another philosopher, also active in London in the 1950s, who consciously pursued such a goal: John N. Findlay. The ideas that Findlay brought to Hegel—sometimes converging with, sometimes diverging from those of Sellars—had been informed by his earlier study of the Austrian philosopher Alexius (...) Meinong, and transformations of Meinong’s ideas by his student, the logician Ernst Mally. These ideas that Findlay found Hegel-friendly are ones that have had a particular bearing on more recent analytic modal metaphysics, especially via the work of Findlay’s own former student, Arthur Prior. Given this, we might not be surprised at the similarities between the type of actualist interpretation of modal logic that Prior offered in opposition to David Lewis’s variant on Leibnizian possibilism, and Hegel’s approach to the category of “Actuality” [Wirklichkeit] at the end of the Objective Logic of The Science of Logic. But the similarities, I suggest, do not end there, as elements of Hegel treatment of predication in the Subjective Logic parallel similar elements found in the work of Mally and, more recently, “modal actualists” such as Prior and Stalnaker. In this paper I explore some puzzling features of Hegel’s treatment of predication in the Subjective Logic from the point of view of the need for a logic for thought about the modally complex actual world, as Hegel conceived it. (shrink)

This paper investigates an objection often raised against metaethical error theory. The challenge runs as follows. Metaethical error theory says that all substantive ethical sentences are false. But if a sentence p is false, then given a standard semantics for “not,” ¬p must be true, and vice versa. On the face of it, one can’t hold that p and ¬p are both false. After presenting a more refined version of the challenge (in the form of a set of initially plausible (...) and yet jointly inconsistent principles), the paper examines a common way out of the puzzle, finds it unsatisfactory, and offers some alternative escape routes that, it is submitted, fare better than the standard one. (shrink)

Not long ago I found myself at a metaphysics conference in which one of the speakers right at the outset declared dismissively that he would be doing metaphysics ‘of the last five minutes’. Everybody laughed. I was horrified. A traditional metaphysical problem was presented and discussed as it had been set out by a contemporary philosopher, and we were all expected to take for granted the parameters of the debate as they were being presented, without further questioning and examining of (...) the assumptions, and without looking back at the history of the problem and why it had been set out in such a way. What the laughing audience did not seem to realize was that no solid progress in metaphysics can be made in this way, for there is really no such thing as the metaphysics of the last five minutes. Contemporary metaphysicians, whether they are aware of it or not, whether they credit their predecessors or not, frequently end up importing very problematic assumptions from historical debates previously enacted. Unless such assumptions are properly explored and questioned, we cannot feel confident that we are making any genuine progress in contemporary metaphysics rather than just repeating the same mistakes of our philosophical forebears. (shrink)

This paper is an attempt to further our understanding of mechanisms conceived of as ontologically separable from laws. What opportunities are there for a mechanistic perspective to be independent of, or even more fundamental than, a law perspective? Advocates of the mechanistic view often play with the possibility of internal and external reliability, or with the paralleling possibilities of enforcing, counteracting, redirecting, etc., the mechanisms’ power to produce To further this discussion I adopt a trope ontology. It is independent of (...) the notion of law, and can easily be adapted to account for such characteristics of mechanisms. The idea of tropes as mechanisms is worked out in some detail. According to the resulting picture, there is still an opportunity to link mechanisms and laws. But while the predominant law view conceives of mechanistic approaches as special kinds of law accounts, this study indicates that the converse may be true. Law accounts are special cases of mechanistic accounts, and they work only in those worlds where the mechanisms are of the right kind. (shrink)

This paper offers a response to Ramsey's famous challenge to draw a logical, as opposed to merely syntactical, distinction between names and predicates. Three attempts to meet this challenge are considered, one from Dummett, one from Geach, and one from Brandom. It is shown that none of these adequately addresses Ramsey's challenge. The paper concludes with a response to Ramsey that avoids the pitfalls of the other three replies. The advantage of the view proposed is that there is nothing preventing (...) the set of sentences in consideration from consisting only of atomic sentences. The upshot of my solution is that the distinction between names and properties rests on the presence of relational predicates in a language and the validity of the structural rules of identity, contraction, and cut. (shrink)

I defend a new conception of the particular-universal distinction based on considerations about what David Lewis calls ‘amphibians’. I argue, first, that given the possibility of amphibians, two recently popular conceptions of the particular-universal distinction, namely the repeatability conception and the duplicability conception, are both objectionable since they are biased in one way or another. I then propose a more flexible conception that solves this problem by regarding amphibians as belonging to a sui generis sort of property distinct from what (...) I call ‘strong universals’ and ‘strong tropes’. Finally, I respond to some objections directed at this new account. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

In this paper I want to show that topology has a bearing on the theory of tropes. More precisely, I propose a topological ontology of tropes. This is to be understood as follows: trope ontology is a „one-category”-ontology countenancing only one kind of basic entities, to wit, tropes. 1 Hence, individuals, properties, relations, etc. are to be constructed from tropes.

This paper focuses on a central aspect of the “picture theory” in the Tractatus – the “identity requirement” – namely the idea that a proposition represents elements in reality as combined in the same way as its elements are combined. After introducing the Tractatus' views on the nature of the proposition, I engage with a “nominalist” interpretation, according to which the Tractatus holds that relations are not named in propositions. I claim that the nominalist account can only be maintained by (...) rejecting the “identity requirement.” I then consider an opposite – “realist” – interpretation, according to which Tractarian names include names of properties and relations. I argue that, although it can accommodate the “identity requirement,” the realist interpretation falls short of providing a correct interpretation of the Tractatus' conception of a name. I conclude by presenting an alternative account (to both nominalism and realism) of the Tractatus' conception of a name. (shrink)

ABSTRACTIn ‘Universals’, Ramsey declares that we do not, and cannot, know the forms of atomic propositions. A year later, in a symposium with Braithwaite and Joseph, he announces a change of mind: atomic propositions may, after all, be discoverable by analysis. It is clear from the 1926 paper that Ramsey intends this to be a revision of the 1925 claim. Puzzlingly, however, Ramsey does not mention analysis in 1925. My task in this article is to provide a justification for that (...) change of mind. My argument consists of two parts. I first show what relation holds between the negative 1925 assertion and the more positive 1926 assertion which allows us to read the latter claim as a retraction of the former, as Ramsey appears to have intended it. Then I shall argue that the retraction of the 1925 claim is forced upon Ramsey by reflection on the fact that three theses, all of which he held in or around the relevant period, are, rather surprisingly, revealed to be inconsistent. (shrink)

Logical realism is the view that there is logical structure in the world. I argue that, if logical realism is true, then we are deeply ignorant of that logical structure: either we can’t know which of our logical concepts accurately capture it, or none of our logical concepts accurately capture it at all. I don’t suggest abandoning logical realism, but instead discuss how realists should adjust their methodology in the face of this ignorance.

The revisionary metaphysician seemingly faces a seriously unfortunate dilemma where she is forced to choose between the Scylla of too little regimentation and the Charbydes of too much. Many take this to be an impossible dilemma, and regard it as a reductio against the revisionary framework itself. In this paper, I argue that the dilemma is not necessarily impossible. To be justified, ontological theorising must be regimented just enough. To escape the dilemma, therefore, the revisionary metaphysician must, to be able (...) to answer the question: -/- Why should one hold that the world is a world of tropes? -/- first answer another question: -/- Can revisionary theorising be regimented just enough? -/- I will address both these questions in the order here indicated. I will suggest that the now popular truthmaker theory might, if added to a revisionary framework, offer the resources necessary to obtain just the right amount of regimentation for its revisionary ontological conclusions to be justified. The world is a world of tropes if (minimally) tropes can fulfil their truthmaking function. That tropes can fulfil their truthmaking function only tells us that the world could be a world of tropes, it does not tell us why we should prefer a theory of tropes as truthmakers to a theory of, say, states of affairs, however. I therefore end the paper with a discussion of the limits of theory comparison in revisionary ontology. (shrink)

Much recent work on Aristotle's Categories assumes that there is an ontological theory presented in that work and tries to reconstruct it on the basis of the slender evidence in the book. I claim that this is misguided. Using a distinction made by G.E.L. Owen between theory and the "phaenomena", I argue that the Categories is mainly concerned with setting out the phenomena -- the intuitions that any ontology must explain. This thesis has consequences for the interpretation of Aristotle's ontological (...) writings. I explore some of these. (shrink)

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

Is there a particular‐universal distinction? Ramsey famously advocated scepticism about this distinction. In “Some Formal Ontological Relations” E.J. Lowe argues against Ramsey that a particular‐universal distinction can be made out after all if only we allow ourselves the resources to distinguish between the elements of a four‐fold ontology. But in defence of Ramsey I argue that the case remains to be made in favour of either the four‐fold ontology Lowe recommends or the articulation of a particular‐universal distinction within it. I (...) also argue that the case remains to be made against a spatio‐temporal conception of the particular‐universal distinction. (shrink)

Is there a particular‐universal distinction? Ramsey famously advocated scepticism about this distinction. In “Some Formal Ontological Relations” E.J. Lowe argues against Ramsey that a particular‐universal distinction can be made out after all if only we allow ourselves the resources to distinguish between the elements of a four‐fold ontology. But in defence of Ramsey I argue that the case remains to be made in favour of either the four‐fold ontology Lowe recommends or the articulation of a particular‐universal distinction within it. I (...) also argue that the case remains to be made against a spatio‐temporal conception of the particular‐universal distinction. (shrink)