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

In The Principles of Mathematics, Bertrand Russell famously puzzled over something he called the unity of the proposition. Echoing Russell, many philosophers have talked over the years about the question or problem of the unity of the proposition. In fact, I believe that there are a number of quite distinct though related questions all of which can plausibly be taken to be questions regarding the unity of propositions. I state three such questions and show how the theory of propositions defended (...) in my recent book The Nature and Structure of Content answers them. (shrink)

Much of the recent metaphysical literature on the problem of the relational unity of complexes leaves the impression that Bradley (or some Bradleyan argument) has uncovered a serious problem to be addressed. The problem is thought to be particularly challenging for trope theorists and realists about universals. In truth, there has been little clarity about the nature and import of the original Bradley’s regress arguments. In this paper, I offer a careful analysis and reconstruction of the arguments in Bradley’s Appearance (...) and Reality (1893). The analysis reveals that no less than three regress arguments against relations can be found. I show that none of them are compelling. I argue that, as a result, it is a serious misstep for philosophers today to offer metaphysical theses based on the unchallenged assumption that Bradley has established his regress result. I further analyze the underpinnings of the Bradley problem as it is frequently cast in contemporary literature and show that they rely on certain confusions and biases, which once brought to light, make current Bradley-inspired arguments against relations unconvincing. (shrink)

In the Critique of Pure Reason, Kant conceives of general logic as a set of universal and necessary rules for the possibility of thought, or as a set of minimal necessary conditions for ascribing rationality to an agent . Such a conception, of course, contrasts with contemporary notions of formal, mathematical or symbolic logic. Yet, in so far as Kant seeks to identify those conditions that must hold for the possibility of thought in general, such conditions must hold a fortiori (...) for any specific model of thought, including axiomatic treatments of logic and standard natural deduction models of first-order predicate logic. Kant's general logic seeks to isolate those conditions by thinking through – or better, reflecting on – those conditions that themselves make thought possible. (shrink)

There are two no-change objections that can be raised against the B-theory of time. One stems from the observation that in a B-theoretic scenario changes of determinations can only be represented by propositions which have eternal truth values. The other derives from the principle that nothing can vary over a period of time if it doesn’t instantiate a state of change at all the instants of time which compose it. Here I argue that both objections apply to all comparative conceptions (...) of change, regardless of whether they take tense seriously or not. It follows that, contrary to what is widely believed, A-theoretic accounts of time are not immune to no-change objections, just in virtue of being realist about tense. A-theorists must either accept the conclusion that time, according to their account, does not flow, or put forward an account of flow that is not comparative. A number of difficulties with both of these options are discussed. (shrink)

Both through his own work and that of his students, Franz Clemens Brentano had an often underappreciated influence on the course of 20 th - and 21 st -century philosophy. _The Routledge Handbook of Franz Brentano and the Brentano School_ offers full coverage of Brentano’s philosophy and his influence. It contains 38 brand-new essays from an international team of experts that offer a comprehensive view of Brentano’s central research areas—philosophy of mind, metaphysics, and value theory—as well as of the principal (...) figures shaped by Brentano’s school of thought. A General Introduction serves as an overview of Brentano and the contents of the volume and three separate bibliographies point students and researchers on to further avenues of inquiry. Systematic and detailed, _The Routledge Handbook of Franz Brentano and the Brentano School_ provides readers with a valuable reference to Brentano’s work, and to his lasting importance in the history of philosophy and in contemporary debates. (shrink)

The concept of quantity (Größe) plays a key role in Frege's theory of real numbers. Typically enough, he refers to this theory as ?theory of quantity? (?Größenlehre?) in the second volume of his opus magnum Grundgesetze der Arithmetik (Frege 1903). In this essay, I deal, in a critical way, with Frege's treatment of the concept of quantity and his approach to analysis from the beginning of his academic career until Frege 1903. I begin with a few introductory remarks. In Section (...) 2, I first analyze Frege's use of the term ?source of knowledge? (?Erkenntnisquelle?) with particular emphasis on the logical source of knowledge. The analysis includes a brief comparison between Frege and Kant's conceptions of logic and the logical source of knowledge. In a second step, I examine Frege's theory of quantity in Rechnungsmethoden, die sich auf eine Erweiterung des Größenbegriffes gründen (Frege 1874). Section 3 contains a couple of critical observations on Frege's comments on Hankel's theory of real numbers in Die Grundlagen der Arithmetik (Frege 1884). In Section 4, I consider Frege's discussion of the concept of quantity in Frege 1903. Section 5 is devoted to Cantor's theory of irrational numbers and the critique deployed by Frege. In Section 6, I return to Frege's own constructive treatment of analysis in Frege 1903 and succinctly describe what I take to be the quintessence of his account. (shrink)

In his Problems of Philosophy, Bertrand Russell distinguished knowledge by acquaintance and knowledge of truths. This paper argues for a new interpretation of the relationship between these two species of knowledge. I argue that knowledge by acquaintance of an object neither suffices for knowledge that one is acquainted with the object, nor puts a subject in a position to know that she is acquainted with the object. These conclusions emerge from a thorough examination of the central role played by attention (...) in Russell's theory of knowledge. Attention bridges the gap between knowledge by acquaintance and our capacity to form judgements about the objects of acquaintance. (shrink)

I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of (...) its formative period in the incompleteness results of Gödel, became modern logic, as distinct from the traditional logic of Aristotle, and why and how the logistic tradition that led from Frege through Russell, rather than the algebraic tradition that led from De Morgan and Boole through Peirce and Schröder, came, in his view, to define modern logic. (shrink)

There are three different degrees to which we may allow a systematic theory of the world to embrace the idea of relatedness—supposing realism about non-symmetric relations as a background requirement. (First Degree) There are multiple ways in which a non-symmetric relation may apply to the things it relates—for the binary case, aRb ≠ bRa. (Second Degree) Every such relation has a distinct converse—for every R such that aRb there is another relation R* such that bR*a. (Third Degree) Each one of (...) them applies in an order to the things it relates—with regard to the state that results from R's applying to a and b, either R applies to a first and b second, or it applies to b first and a second. Whereas the first degree is near-indubitable, embracing the second or third generates unwholesome consequences. The second degree embodies a commitment to the existence of a superfluity of distinct converses and states to which such relations give rise. The third degree embodies commitment to recherché facts of the matter about how the states that arise from the application of one non-symmetric relation compare to any other. It is argued that accounts that purport to offer an analysis of the first degree generate unwelcome second or third degree consequences. This speaks in favour of our adopting an account of the application of relations that's not an analysis at all, an account that takes the first degree as primitive. (shrink)

The philosophy of measurement studies the conceptual, ontological, epistemic, and technological conditions that make measurement possible and reliable. A new wave of philosophical scholarship has emerged in the last decade that emphasizes the material and historical dimensions of measurement and the relationships between measurement and theoretical modeling. This essay surveys these developments and contrasts them with earlier work on the semantics of quantity terms and the representational character of measurement. The conclusions highlight four characteristics of the emerging research program in (...) philosophy of measurement: it is epistemological, coherentist, practice oriented, and model based. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

Dieser Band versammelt Beiträge zu den drei klassischen Disziplinen der Philosophie – dem Wahren, dem Guten, dem Schönen. Ihre Autoren zeichnet aus, dass sie aus dem akademischen Umfeld Michael Sukales zu seiner Zeit am Institut für Philosophie an der Carl-von-Ossietzky-Universität Oldenburg stammen. Ihm ist dieses Buch zum Abschied von seiner aktiven Lehrtätigkeit in Oldenburg gewidmet. Die thematische Vielfalt der enthaltenen Texte spiegelt die Bandbreite seines philosophischen Schaffens wider.

In recent literature on plurals the claim has often been made that the move from singular to plural expressions can be iterated, generating what are occasionally called higher-level plurals or superplurals, often correlated with superplural predicates. I argue that the idea that the singular-to-plural move can be iterated is questionable. I then show that the examples and arguments intended to establish that some expressions of natural language are in some sense higher-level plurals fail. Next, I argue that these and some (...) other expressions should instead be classified as plurals whose reference is articulated, an idea explained and elaborated in the paper. I also show that the related categories of plural and superplural predicates collapse to that of ordinary predicates. In the process we also see that the law of substitutivity salva veritate should be elaborated for cases involving expressions more complex than singular ones. (shrink)

Between April and November 1912, Bertrand Russell and Ludwig Wittgenstein were engaged in a joint philosophical program. Wittgenstein‘s meeting with Gottlob Frege in December 1912 led, however, to its dissolution – the joint program was abandoned. Section 2 of this paper outlines the key points of that program, identifying what Russell and Wittgenstein each contributed to it. The third section determines precisely those features of their collaborative work that Frege criticized. Finally, building upon the evidence developed in the preceding two (...) sections, section 4 recasts along previously undeveloped lines Wittgenstein‘s logical–philosophical discoveries in the two years following his encounter with Frege in 1912. The paper concludes, in section 5, with an overview of the dramatic consequences the Frege-Wittgenstein critique had for Russell‘s philosophical development. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

In this paper I argue for a view of groups, things like teams, committees, clubs and courts. I begin by examining features all groups seem to share. I formulate a list of six features of groups that serve as criteria any adequate theory of groups must capture. Next, I examine four of the most prominent views of groups currently on offer—that groups are non-singular pluralities, fusions, aggregates and sets. I argue that each fails to capture one or more of the (...) criteria. Last, I develop a view of groups as realizations of structures. The view has two components. First, groups are entities with structure. Second, since groups are concreta, they exist only when a group structure is realized. A structure is realized when each of its functionally defined nodes or places are occupied. I show how such a view captures the six criteria for groups, which no other view of groups adequately does, while offering a substantive answer to the question, “What are groups?”. (shrink)

Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas.

Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...) meaning, while providing historical background. I suggest that to make substantial advances the program needs to solve the problem of propositional unity and develop an intensional mereology of abstract objects. (shrink)

A number of papers have argued in favour of the material account of indicative conditionals, but typically they either concentrate on defending the account from the charge that it has counterintuitive consequences, or else focus on some particular positive argument in favour of the theory. In this paper, I survey the various positive arguments that can be given, presenting simple versions where possible and showing the connections between them. I conclude with some methodological considerations.

Infinite regress arguments play an important role in many distinct philosophical debates. Yet, exactly how they are to be used to demonstrate anything is a matter of serious controversy. In this paper I take up this metaphilosophical debate, and demonstrate how infinite regress arguments can be used for two different purposes: either they can refute a universally quantified proposition (as the Paradox Theory says), or they can demonstrate that a solution never solves a given problem (as the Failure Theory says). (...) In the meantime, I show that Black’s view on infinite regress arguments (1996, this journal) is incomplete, and how his criticism of Passmore can be countered. (shrink)

Jin Yuelin (1895?1984), a Chinese logician and philosopher, is greatly influenced by Hume's and Russell's philosophies. How should we respond to Hume's problem of induction? This is an important clue to understand Jin's whole philosophical career. The first section of this paper gives a brief historical review of Russell and Jin. The second section outlines Hume's skeptical arguments against causality and induction. The third section expounds Russell's justification of induction by discussing his views on Hume's skepticism, causality, principle of induction, (...) and empirical postulates. The fourth section clarifies Jin's justification of induction by discussing his critique of Hume's epistemology and his arguments for the reliability of causality and the eternal truth and apriority of the principle of induction. The final section compares Jin's justification of induction with Russell's and concludes that there are similarities and differences between their projects and that both their attempts fail. This paper takes the similar responses to the problem of induction by Jin and Russell to demonstrate the communication that there has been between Chinese philosophers and the Western ones. (shrink)

One of the many ways that ‘deflationary’ and ‘inflationary’ theories of truth are said to differ is in their attitude towards truth qua property. This difference used to be very easy to delineate, with deflationists denying, and inflationists asserting, that truth is a property, but more recently the debate has become a lot more complicated, owing primarily to the fact that many contemporary deflationists often do allow for truth to be considered a property. Anxious to avoid inflation, however, these deflationists (...) are at pains to point out that the truth property, on their view, is not a property of any significant interest. Correspondingly, inflationists have seen this as an opportunity to refine what kind of property they think truth is, which—according to them—moves their views beyond deflationism. The upshot of this is that there are number of different accounts in the literature of what distinguishes an inflationary truth property from a deflationary one, or—as it is sometimes put—what distinguishes a ‘substantive’ property from an ‘insubstantive’ one. This has made it hard to pin down exactly what is at issue at the metaphysical level between deflationists and inflationists, which makes it increasingly hard to see how debates between them are properly phrased. Given that these positions represent the two central attitudes towards truth in contemporary debates, this makes for a serious obstacle for the project of discerning the correct theory of truth. The aim of this paper is to discern the best way to distinguish between substantive and insubstantive properties, and thus to restore some focus to these debates. I argue that the three central distinctions in the literature fail, and offer what I take to be a more promising distinction in terms of a graded distinction between abundant and sparse properties. (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)

The widespread idea that infinitesimals were “eliminated” by the “great triumvirate” of Cantor, Dedekind, and Weierstrass is refuted by an uninterrupted chain of work on infinitesimal-enriched number systems. The elimination claim is an oversimplification created by triumvirate followers, who tend to view the history of analysis as a pre-ordained march toward the radiant future of Weierstrassian epsilontics. In the present text, we document distortions of the history of analysis stemming from the triumvirate ideology of ontological minimalism, which identified the continuum (...) with a single number system. Such anachronistic distortions characterize the received interpretation of Stevin, Leibniz, d’Alembert, Cauchy, and others. (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)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect of the (...) problem of non-existence, despite what some philosophers say. (shrink)

Extension is probably the most general natural property. Is it a fundamental property? Leibniz claimed the answer was no, and that the structureless intuition of extension concealed more fundamental properties and relations. This paper follows Leibniz's program through Herbart and Riemann to Grassmann and uses Grassmann's algebra of points to build up levels of extensions algebraically. Finally, the connection between extension and measurement is considered.

The authors provide an object-theoretic analysis of two paradoxes in the theory of possible worlds and propositions stemming from Russell and Kaplan. After laying out the paradoxes, the authors provide a brief overview of object theory and point out how syntactic restrictions that prevent object-theoretic versions of the classical paradoxes are justified philosophically. The authors then trace the origins of the Russell paradox to a problematic application of set theory in the definition of worlds. Next the authors show that an (...) object-theoretic analysis of the Kaplan paradox reveals that there is no genuine paradox at all, as the central premise of the paradox is simply a logical falsehood and hence can be rejected on the strongest possible grounds—not only in object theory but for the very framework of propositional modal logic in which Kaplan frames his argument. The authors close by fending off a possible objection that object theory avoids the Russell paradox only by refusing to incorporate set theory and, hence, that the object-theoretic solution is only a consequence of the theory’s weakness. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Attempts to characterize unarticulated constituents (henceforth: UCs) by means of quantification over the parts of a sentence and the constituents of the proposition it expresses come to grief in more complicated cases than are commonly considered. In particular, UC definitions are inadequate when we consider cases in which the same constituent appears more than once in a proposition that only has one word with the constituent as its semantic value. This article explores some consequences of trying to repair the formal (...) definitions. (shrink)

Cauchy’s contribution to the foundations of analysis is often viewed through the lens of developments that occurred some decades later, namely the formalisation of analysis on the basis of the epsilon-delta doctrine in the context of an Archimedean continuum. What does one see if one refrains from viewing Cauchy as if he had read Weierstrass already? One sees, with Felix Klein, a parallel thread for the development of analysis, in the context of an infinitesimal-enriched continuum. One sees, with Emile Borel, (...) the seeds of the theory of rates of growth of functions as developed by Paul du Bois-Reymond. One sees, with E. G. Björling, an infinitesimal definition of the criterion of uniform convergence. Cauchy’s foundational stance is hereby reconsidered. (shrink)

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)

There is a strong intuition that for a change to occur, there must be a moment at which the change is taking place. It will be demonstrated that there are no such moments of change, since no state the changing thing could be in at any moment would suffice to make that moment a moment of change. A moment in which the changing thing is simply in the state changed from or the state changed to cannot be the moment of (...) change, since these states are respectively before and after the change; moreover, to select one of these moments over the other as the moment of change would be arbitrary. A moment in which the changing thing is neither in the state changed from nor in the state changed to cannot be the moment of change, since there are changes for which it is impossible for something to be in neither state. Finally, the moment of change cannot be a moment in which the changing thing is in both the state changed from and the state changed to, as suggested by Graham Priest and others. Even if, like proponents of this view, we are willing to accept the contradictions that the account entails, it is demonstrated that on such a model, every change would require an infinite number of other changes, every change would take an infinite amount of time, and some changes would occur without occurring at any time. Further, the model is grossly counterintuitive, with the exact nature of the counterintuitive element depending on what model of time and space one endorses. Finally, it is demonstrated that this model is incompatible with the Leibniz Continuity Condition. (shrink)

The main task of this paper is to understand if and how static images like photographs can represent and/or depict temporal extension (duration). In order to do this, a detour will be necessary to understand some features of the nature of photographic representation and depiction in general. This important detour will enable us to see that photographs (can) have a narrative content, and that the skilled photographer can 'tell a story' in a very clear sense, as well as control and (...) guide the attention of the spectator of the photograph. The understanding and defence of this claim is a secondary aim of this paper, and it will then allow us to provide a good treatment of the particular case of photographic representation and depiction of temporal extension. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist.

The paper argues, as against Thau and Caplan, that the traditional interpretation that Frege abandoned his earlier views about identity and identity--statements is correct.

It is argued that the finitist interpretation of wittgenstein fails to take seriously his claim that philosophy is a descriptive activity. Wittgenstein's concentration on relatively simple mathematical examples is not to be explained in terms of finitism, But rather in terms of the fact that with them the central philosophical task of a clear 'ubersicht' of its subject matter is more tractable than with more complex mathematics. Other aspects of wittgenstein's philosophy of mathematics are touched on: his view that mathematical (...) propositions are 'grammatical propositions' (and so, Strictly speaking, Not genuine propositions at all) and his view that in mathematics 'everything is algorithm, Nothing meaning'. His views on consistency and his anti-Foundationalism are linked with this central thesis. (shrink)

Our aim in the present paper is to investigate, from the standpoint of truth-theoretic semantics, English tense, temporal designators and quantifiers, and other expressions we use to relate ourselves and other things to the temporal order. Truth-theoretic semantics provides a particularly illuminating standpoint from which to discuss issues about the semantics of tense, and their relation to thoughts at, and about, times. Tense, and temporal modifiers, contribute systematically to conditions under which sentences we utter are true or false. A Tarski-style (...) truth-theoretic semantics, by requiring explicitly represented truth conditions, helps to sharpen questions about the function of tense, and to deepen our insight into the contribution the tenses and temporal modifiers make to what we say by using them. (shrink)

According to Michael Friedman, Ernst Cassirer’s “outstanding contribution [to Neo-Kantianism] was to articulate, for the first time, a clear and coherent conception of formal logic within the context of the Marburg School” (Friedman 2000, p. 30). In his paper “Kant und die moderne Mathematik” (1907), Cassirer argued not only that the new relational logic of Frege1 and Russell was a major breakthrough with profound philosophical implications, but also that the logicist thesis itself was a “fact” of modern mathematics. Cassirer summarizes (...) his evaluation of Russell’s work: Here logic and mathematics have been fused into a true, henceforth indissoluble unity; and from this inner connection there arises for each... (shrink)

After describing the philosophical background of Kerry's work, an account is given of the way Kerry proposed to supplement Bolzano's conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege's work and Kerry's views were then attacked by Frege.The following two issues were central to this controversy: (a) the relation between the content of a concept and the object of a concept; (b) the logical roles of the definite article. Not only (...) did Frege in 1892 offer an unconvincing solution to Kerry's puzzle concerning 'the concept horse' but he also overlooked the many criticisms levelled by Kerry against the notion of an (indefinite) extension on which his own definition of number was based. (shrink)

The work of Hugh MacColl (1837–1909) suffered the same fate after his death as before it:despite being vaguely alluded to and in part even commended, on the whole it has remained an unknown quantity. Even worse, those of his ideas which have played a decisive role in the history of logic have been credited to his successors; this is especially the case with the definition of strict implication and the first formal development of formal modal logic. This paper takes an (...) initial step towards a rectification of this unfortunate misrepresentation, presenting a bibliography of MacColl’s most significant publications with particular regard to their reception. (shrink)

On investigating a theorem that Russell used in discussing paradoxes of classes, Graham Priest distills a schema and then extends it to form an Inclosure Schema, which he argues is the common structure underlying both class-theoretical paradoxes (such as that of Russell, Cantor, Burali-Forti) and the paradoxes of ?definability? (offered by Richard, König-Dixon and Berry). This article shows that Russell's theorem is not Priest's schema and questions the application of Priest's Inclosure Schema to the paradoxes of ?definability?.1 1?Special thanks to (...) Francesco Orilia for criticisms of an early draft of this article. (shrink)

During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main points (...) in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

The article concerns the treatment of the so-called denoting phrases, of the forms ?every A?, ?any A?, ?an A? and ?some A?, in Russell's Principles of Mathematics. An initially attractive interpretation of what Russell's theory was has been proposed by P.T. Geach, in his Reference and Generality (1962). A different interpretation has been proposed by P. Dau (Notre Dame Journal, 1986). The article argues that neither of these is correct, because both credit Russell with a more thought-out theory than he (...) actually had. The conclusion is mainly negative: at this date Russell has no coherent theory of these phrases. An appendix notes that his understanding of the quantifiers in predicate logic is also, at this date, not entirely secure. (shrink)