The problem of truthmakers for negative propositions was introduced by Bertrand Russell in 1918. Since then the debate has mostly been concerned with whether to accept or reject their existence, and little has been said about what it is that makes a negative proposition negative. This is a problem as it is obvious that you cannot just read it off from the grammar of a sentence. The aim of this paper is to demonstrate that propositions may be negative or positive (...) in many ways: it offers a typology, and shows how the question of the existence of negative facts will receive a different answer depending on its relationship to that typology. (shrink)

We naturally think of the material world as being populated by a large number of individuals . These are things, such as my laptop and the particles that compose it, that we describe as being propertied and related in various ways when we describe the material world around us. In this paper I argue that, fundamentally speaking at least, there are no such things as material individuals. I then propose and defend an individual-less view of the material world I call (...) “generalism”. (shrink)

What is the so-called “question of ontology?” Is the question of ontology genuinely a question about “categories” (Lowe 2006), “structure” (Sider 2011), “existence” (Thomasson 2015), or rather “reality” (Fine 2009)? In this article, I defend the neo-Sellarsian approach to the question of ontology, a novel, naturalistic approach according to which the foundational question of ontology is about “understanding the manifest and the scientific images of the world, and their multiple relationships.” First, I argue for the thesis of Impure Eliminativism, a (...) form of constructive pluralism about the question of ontology by which the substantivity of questions of ontology which are not the neo-Sellarsian one is to be built upon certain relations with the neo-Sellarsian question of ontology. Second, I argue for the categorial plasticity of the two images and their relations in connection with the hypothesis of Weak Epistemic Factualism. Third, and lastly, I argue for a person-based ontology framed in terms of the crucial notions of “fact” and “understanding” in response to the eliminativist categorizations of the two images and their relationships proposed by substantialism and structuralism. (shrink)

In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death. The focus of this paper is a little different. It looks at what Prior himself thought he was accomplishing. In particular it considers Prior’s attitude to the semantic metatheory of the logics that he was interested in. The paper sets out some characteristics of the metalogical study of intensional languages in terms of (...) an indexical theory of truth conditions stated in the language of set theory. In examining Prior’s work using these characteristics, it emerges that Prior had serious reservations about this way of studying modal and tense logics. (shrink)

This paper argues that theories of truth which seek to specify the ontological ground of true statements by appealing to an ontology of truth‐makers face a severe and possibly insurmountable obstacle in the form of logically complex statements. I argue that there is no apparent way to develop an account of logically complex truth within the confines of a modest and plausible ontology of truth‐makers and to this end criticize independent attempts by Armstrong and Pendlebury to develop such an account.

Esse artigo contém uma leitura da semântica fregeana na qual sentidos são parafraseados como regras cognitivas e a existência e a verdade em termos da aplicabilidade dessas regras. Nesse contexto ideias objetáveis da semântica fregeana são substituídas por outras mais intuitivas e plausíveis, sendo as consequências disso especulativamente consideradas.

What should one do when one's philosophical conclusions run counter to common sense? Bow to the might of ordinary opinion or follow the indiscriminate force of philosophical reason, no matter where it leads? A few strategies have recently been proposed which suggest we needn't have to make this difficult choice at all. According to these views, we can accept the truths of common sense whilst simultaneously endorsing philosophical views with which they seem to conflict. We can, for instance, accept it (...) as true that the Taj Mahal is in India, whilst also eliminating the Taj Mahal from our ontology. I argue that these strategies generate a new conflict with common sense and thus undercut one of the central motivations that drives them. I also argue for the stronger claim that these kinds of ‘truth-salvaging’ strategy are incapable in principle of reconciling theory with common sense. This does not mean that they must be abandoned, for there may be good independent reasons for endorsing them, but it does eliminate one of their most promising advantages. The upshot of the paper will be two-fold. First, one of the major motivations for endorsing these kinds of strategy will be severely undermined. Secondly, and perhaps more significantly, it will mean that for those who think philosophy should be strictly constrained by common sense, all radical ontological views will effectively be off the table. (shrink)

Truth-makers are the dark matter of metaphysics. On the one hand, truth-makers seem obvious and necessary: if there are truths then there must be something that makes these truths true. On the other hand, it’s proven difficult to say exactly what these truth-makers are. Even defenders disagree about what sort of entity truth-makers are or whether all truths have truth-makers. Skeptics have questioned whether truth-makers are actually so obvious and necessary, or even whether they exist at all. Here I offer (...) an account of this unhappy state of affairs and a modest proposal. First, I argue that not only are there no good arguments for truth-makers but it’s unlikely that there ever will be. Second I point to how much can be done without resorting to truth-makers in the first place: they are not as essential as often assumed. Finally, I conclude that we needn’t jettison the concept of truth-makers entirely. Understood in a modest and pragmatic spirit we can hold on to truth-makers while recognizing their inherent limitations. (shrink)

The main conclusion of this article is that propositional attitudes are physical brain processes that pertain to language. Hence, propositional attitudes cannot be direct manifestations of our mental states, neither direct representations; instead they must be understood as second-order representations. Thus, propositional attitudes cannot serve for explaining our basic mental activity. Otherwise, propositional attitudes must be understood as language shortcuts used for referring to basic mental states, events or processes.

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

Prominent ethical and policy issues such as affirmative action and female enrollment in science and engineering revolve around the idea that diversity is good. However, a precise definition is seldom provided. I show that diversity may be construed as a factual description, a craving for symmetry, an intrinsic good, an instrumental good, a symptom, or a side effect. These acceptions differ vastly in their nature and properties. Some are deeply mistaken and some others cannot lead to concrete policies. It is (...) thus necessary to clarify what one means by ‘diversity.’ It may be a neutral description of a given state; but this is insufficient to act. The idea that there should be the same representation in a specific context as in the overall population is both puzzling and arbitrary. Diversity as intrinsic good is a mere opinion, which cannot be concretely applied; moreover, the most commonly invoked forms of diversity are not intrinsically good. On the other hand, diversity as instrumental good can be evaluated empirically and can give rise to policies, but these may be very weak. Finally, symptoms and side effects are not actually about diversity. I consider the example of female enrollment in science and engineering, interpreting the various arguments found in the literature in light of this polysemy. (shrink)

For a long time, regularity accounts of causation have virtually vanished from the scene. Problems encountered within other theoretical frameworks have recently induced authors working on causation, laws of nature, or methodologies of causal reasoning – as e.g. May (Kausales Schliessen. Eine Untersuchung über kausale Erklärungen und Theorienbildung. Ph.D. thesis, Universität Hamburg, Hamburg, 1999), Ragin (Fuzzy-set social science. Chicago: University of Chicago Press, 2000), Graßhoff and May (Causal regularities. In W. Spohn, M. Ledwig, & M. Esfeld (Eds.), Current issues in (...) causation (pp. 85–114). Paderborn: Mentis, 2001), Swartz (The concept of physical law (2nd ed.). http://www.sfu.ca/philosophy/physical-law/, 2003), Halpin (Erkenntnis, 58, 137–168, 2003) – to direct their attention back to regularity theoretic analyses. In light of the latest proposals of regularity theories, the paper at hand therefore reassesses the criticism raised against regularity accounts since the INUS theory of causation of Mackie (The cement of the universe. A study of causation. Oxford: Clarendon Press, 1974). It is shown that most of these objections target strikingly over-simplified regularity theoretic sketches. By outlining ways to refute these objections it is argued that the prevalent conviction as to the overall failure of regularity theories has been hasty. (shrink)

We defend two claims: (1) if one is attracted to a strong non-maximalist view about truthmaking, then it is natural to construe this as the view that there exist fundamental truths; (2) despite considerable aversion to fundamental truths, there is as yet no viable independent argument against them. That is, there is no argument against the existence of fundamental truths that is independent of any more specific arguments against the ontology accepted by the strong non-maximalist. Thus there is no argument (...) that the strong non-maximalist herself will find dialectically motivating. (shrink)

The aim of this paper is to show that it is not irrational to doubt one’s own existence, even in the face of introspective evidence to the effect that one is currently in a certain mental state. For this purpose, I will outline a situation in which I do not exist, but which cannot be ruled out on the basis of any evidence available to me—including introspective evidence about my current mental states. I use this ‘superskeptical scenario,’ as I will (...) call it, to formulate an argument to the conclusion that I do not know that I exist. In order to substantiate my argument, I draw upon Terence Parsons’ theory of non-existent objects. I conclude that, inasmuch as Parsons’ theory is reasonable, doubts about one’s own existence are reasonable as well. (shrink)

Recent discussion of the problem of negative existentials for truthmaker theory suggests a modest solution to the problem: fully general negative truths like do not require truthmakers, whereas partially general negative truths like do. This modest solution provides a third alternative to the two standard solutions to the problem of negative existentials: the endorsement of truthmaker gaps, and the appeal to contentious ontological posits. We argue that this modest, middle-ground position is inconsistent with certain plausible general principles for truthmaking. The (...) only stable positions are to treat all negative truths as requiring truthmakers, or admit that no negative truths require truthmakers. Along the way, we explore some previously unaddressed questions for nonmaximalist truthmaker theory. (shrink)

Explanation has played myriad roles in truthmaker theory. The notion of explanation is sometimes thought to give content to the very idea of truthmaking, and is sometimes used as a weapon to undermine the entire point of truthmaker theory. I argue that the notion of explanation is dialectically useless in truthmaker theory: while it’s true that truthmaking offers a form of explanation, this claim is theoretically unilluminating, and leaves truthmaker theorists vulnerable to various kinds of attack. I advocate an alternative (...) approach to truthmaker theory that downplays the role of explanation, and show how it releases the enterprise from a variety of problematic commitments that have troubled truthmaker theorists. The “ontology-first” approach to truthmaking that I advocate not only restores the initial impulse behind truthmaking, but also has a number of theoretical advantages. Most prominently, it dodges the infamous problem of negative existentials, and lessens truthmaker theory’s dependence on contentious intuitive judgments about both explanation and truthmaking. (shrink)

Realism and anti-realism about a domain of thought are metaphysical theses that involve the natures of the truthmakers in that domain and the truthmaking relation that is operant in the domain. Truthmaker theory is not exclusive territory for realists: anti-realist views are also best understood in terms of how they understand truthmakers and truthmaking. In particular, I explore the possibility of projectivist truthmaking, and show how it makes sense of quasi-realism. In addition to critically examining some extant accounts of the (...) relationship between realism and truthmaking, I offer an account that best captures the nature of the various realism debates. (shrink)

This paper defends a version of the old empiricist claim that to think about unobservable physical properties a subject must be able to think perception-based thoughts about observable properties. The central argument builds upon foundations laid down by G. E. M. Anscombe and P. F. Strawson. It bridges the gap separating these foundations and the target claim by exploiting a neglected connection between thought about properties and our grasp of causation. This way of bridging the gap promises to introduce substantive (...) constraints on right accounts of perception and perception-based thought. (shrink)

If I see, hear, or touch a sparrow, the sparrow seems real to me. Unlike Bigfoot or Santa Claus, it seems to exist; I will therefore judge that it does indeed exist. The “sense of existence” refers to the kind of awareness that typically grounds such ordinary judgments of existence or “reality.” The sense of existence has been invoked by Humeans, Kantians, Ideologists, and the phenomenological tradition to make substantial philosophical claims. However, it is extremely controversial; its very existence has (...) been called into question. This paper aims to clarify the nature and reality of the sense of existence by studying a psychiatric condition in which the sense appears to be disrupted: depersonalization disorder (DPD). (shrink)

According to MODERATISM, perceptual justification requires that one independently takes for granted propositional hinges like <There is an external world>, <I am not a brain in a vat (BIV)>, and so on. This view faces the truth problem: to offer an account of truth for hinges that is not threatened by skepticism. Annalisa Coliva has tried to solve the truth problem by combining the claim that external world propositions have a substantive truth property like correspondence with the claim that hinges (...) have a deflationary truth property. I argue that the resulting view cannot offer a coherent characterization of ‘skeptical switch scenarios’ while providing an effective anti-skeptical strategy. In a more positive vein, I defend an approach that combines a correspondence conception of truth with epistemological disjunctivism. (shrink)

Wittgenstein held that Russell’s multiple relation theory of judgment fails to explain an atomic judgment’s representation of entities as combined. He demonstrated this failure as follows. Under the multiple relation theory, an atomic judgment is a complex whose relating relation is judgment, the universal, and whose terms include the entities the judgment represents as combined. Taking such a complex we may arrive through the substitution of constituents at a complex whose relating relation is again judgment but whose terms do not (...) include entities which are logically suited for combination. This second judgment complex will not represent any of its terms as combined, for entities that are logically uncombinable are unrepresentable as combined. Russell’s theory does not, however, explain how the original judgment differs from the complex arrived at by the substitution of constituents such that the former but not the latter represents certain of its terms as combined. (shrink)

Four accounts, three of them Kantian, of true sentences of the form “ exists” are contrasted. Russell’s theory that such sentences are meaningless is contrasted with two other Kantian theories that are analogous to one another: Frege’s semantic-ascent theory and the Frege-inspired ungerade (indirect, “oblique”) theory. Frege’s objection to the semantic-ascent account of identity is applied, ironically with equal force, against his account of existence. A second argument favoring the ungerade theory is offered. The argument is then refuted through an (...) application of a general strategy suggested by Kripke. A fourth theory, the deeply anti-Kantian existence-as-predicate theory, fully accommodates these results. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

This article examines the traditional and modern doctrines of categorical propositions and argues that both doctrines have serious problems. While the doctrines disagree about existential imports...

This paper is a defense of the view that existence is a property. Since the view is still a minority one, a fair amount of space is allotted to defending it against objections and counter-arguments. Positive arguments aren’t lacking, however, and emerge in the course of the discussion. Not all of the many positive or negative arguments which follow are wholly original—a fact to be expected in this context—but a fair number are, and both sorts of argument are seamlessly interwoven (...) in the warp and woof of what follows. (shrink)

Metaphilosophy, Volume 53, Issue 4, Page 457-474, July 2022.

Metaphilosophy, Volume 53, Issue 4, Page 457-474, July 2022.

The notion of more truth, or of more truth and less falsehood, is central to epistemology. Yet, I argue, we have no idea what this consists in, as the most natural or obvious thing to say—that more truth is a matter of a greater number of truths, and less falsehood is a matter of a lesser number of falsehoods—is ultimately implausible. The issue is important not merely because the notion of more truth and less falsehood is central to epistemology, but (...) because an implicit, false picture of what this consists in underpins and gives shape to much contemporary epistemology. (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)

In this paper, I defend the thesis that alleffects of extra-linguistic context on thetruth-conditions of an assertion are traceable toelements in the actual syntactic structure of thesentence uttered. In the first section, I develop thethesis in detail, and discuss its implications for therelation between semantics and pragmatics. The nexttwo sections are devoted to apparent counterexamples.In the second section, I argue that there are noconvincing examples of true non-sentential assertions.In the third section, I argue that there are noconvincing examples of what (...) John Perry has called`unarticulated constituents''. I conclude by drawingsome consequences of my arguments for appeals tocontext-dependence in the resolution of problems inepistemology and philosophical logic. (shrink)

One of the major historical effects of Quine’s attacks upon the analytic-synthetic distinction has been to popularise the belief that philosophy is continuous with science. Currently, most philosophers believe that such continuity is an inevitable consequence of naturalism. This article argues that though Quine’s semantic holism does imply that there is no sharp distinction between truths discoverable by scientific investigation and truths discoverable by philosophical investigation, it also implies that there is a perfectly sharp and natural distinction between natural science (...) and naturalistic philosophy. (shrink)

The core idea of David Armstrong’s combinatorial theory of possibility is attractive. Rearrangement is the key to modality; possible worlds result from scrambling bits and pieces of other possible worlds. Yet I encounter great difficulty when trying to formulate the theory rigorously, and my best attempts are vulnerable to counterexamples. The Leibnizian biconditionals relate possibility and necessity to possible world and true in.

In the first part of the article the author discusses the use of the word 'fact'. In the second he uses his conclusions to "throw light on some of the discussions of the logical atomists." he discusses austin, Russell, And strawson. The author concludes that it a mistake to identify questions of ontology with questions of language, Which arises because of a confusion with the term 'fact'. (staff).

In his important recent book Schroeder proposes a Humean theory of reasons that he calls hypotheticalism. His rigourous account of the weight of reasons is crucial to his theory, both as an element of the theory and constituting his defence to powerful standard objections to Humean theories of reasons. In this paper I examine that rigourous account and show it to face problems of vacuity and consonance. There are technical resources that may be brought to bear on the problem of (...) vacuity but implementation is not simple and philosophical motivation a further difficulty. Even supposing vacuity is fixed, the problems of consonance bring to light a different obstruction lying in Schroeder’s path. There is a difference between the general weighing of reasons and the context specificity of the correct placing of weight on them in deliberation and this difference cannot be fixed by the resources in the account. For these reasons we are still waiting for a plausible Humean theory of reasons. (shrink)

In contemporary debates, the realist position (here speculative realism/materialism is of particular interest) not only implies a belief in what is real, but also allows us to ascertain a certain possibility of accessing reality, thus bringing about the question of correlation as it pertains to determination and subordination. This article borrows from Cornelius Castoriadis’ arguments regarding Georg Cantor’s set theory to criticize the primacy of mathematics in Quentin Meillassoux’s thinking. At the same time, it argues that there are three regimes (...) of correlation. The first two senses of correlation imply determining subordination, whereas the third one invokes a new understanding of correlation: being is always related to the subject, but is never determined or subordinated by it. In this light, Castoriadis’s notion of radical imagination aims to maintain an emancipatory meaning – the call for an anamorphic procedure of change in perspective, to the gestures of constant re-determination, without any pretense to totality. (shrink)

In his ‘anti-zombie argument’, Keith Frankish turns the tables on ‘zombists’, forcing them to find an independent argument against the conceivability of anti-zombies. I argue that zombists can shoulder the burden, for there is an important asymmetry between the conceivability of zombies and the conceivability of anti-zombies, which is reflected in the embedding of a totality-clause under the conceivability operator. This makes the anti-zombie argument susceptible to what I call the ‘Modified Incompleteness’, according to which we cannot conceive of scenarios. (...) In this paper I also argue that conceiving of the zombie-situation is a good starting point for rendering the zombie argument plausible. (shrink)

Western philosophy has a long-standing interest in the relationship between thought and language. This is not least because language use and our mental capacities are so central to our human self-conception, as well as to the ways in which we have tried to think about other beings. Retrospectively, it is possible to identify certain broad traditions in the philosophical study of thought and language, traditions which also have their representatives in psychology and linguistics. In this introduction I shall focus on (...) one such tradition, the one sometimes known as ‘lingualism ’, in so far as it bears on the papers brought together in this volume. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this constraint cannot explain why nonsense (...) appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)

From 1901 till, at least, 1919, Russell persistently maintained that there are two kinds of logic, between which he sharply discriminated: mathematical logic and philosophical logic. In this paper, we discuss the concept of philosophical logic, as used by Russell. This was only a tentative program that Russell did not clarify in detail, so our task will be to make it explicit. We shall show that there are three (-and-a-half) kinds of Russellian philosophical logic: (i) “pure logic”; (ii) philosophical logic (...) investigating the logical forms of propositions; (iii) philosophical logic exploring the logical forms of facts: in epistemology; and in the external world. In particular, Russell’s program or philosophical logic of the facts of the external world remained less than sketchily outlined. We shall discuss it in some detail in the hope that it can start a new life. (shrink)

Frege taught us how to understand one form of predication: an atemporal one. There is also a different, temporal form of predication, which I briefly introduce. Accordingly, there are two fundamentally different approaches to time: a reductive one, aiming to account for time in terms of Frege’s atemporal predication, and a non-reductive one, insisting that the temporal form of predication is sui generis, and that time is to be understood in its terms. I do not directly argue for or against (...) reductionism in this paper. Rather, by evaluating the debates on endurantism–perdurantism, A-theory–B-theory, and presentism–eternalism, I argue that these debates, although aiming to be fundamental, largely boil down to mere quarrels between alternative reductive approaches. We should take notice of this fact and reorient ourselves within the debate on time accordingly: the real issue is whether we should reduce or not. I briefly sketch in what sense endurantism, A-theory, and presentism may be developed on a properly anti-reductionist basis. (shrink)

In this paper I deal with the relation between the disjunction thesis—that the truthmaking relation is distributed over a disjunction—and the necessary connection thesis—that the existence of some entities requires the existence of other distinct entities. I will first show that because of this very relation, the arguments for and against the disjunction thesis that overlook its metaphysical considerations will fail. Finally, I will show that the commitment produced by truthmaker maximalism to totality states of affairs, or some relevantly similar (...) things, requires one to accept a necessary connection that disaffirms the disjunction thesis. (shrink)

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond to (...) parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (shrink)