Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

The article describes the background of Roman Ingarden's 1922 review of Leon Chwistek's book Wielość rzeczywistości, and the back-and-forth that followed. Despite the differences, the two shared some interesting similarities. Both authors had important ties to the intellectual happenings outside Poland and were not considerd mainstream at home. In the end, however, it is these connections that allowed them to gain recognition. Ingarden, who had been a student of Husserl, became the leading phenomenologist in the postwar Poland. For Chwistek, a (...) painter, philosopher, and logician interested in Russell’s work, such connections meant that he won the competition for a professorship at the university in Lwów over Alfred Tarski. Until recently, Chwistek’s place in Polish logic remains unclear and Ingarden’s interactions with Polish logic and the Vienna Circle have not been investigated extensively. A deeper look at this intellectual fracas between Ingarden and Chwistek helps one in the study of the complicated mesh of alliances within the Lwów-Warsaw School. The article also identifies the origins of the split between phenomenology and the analytic philosophical tradition in Poland. The article is also accompanied by the translations of the reviews. (shrink)

According to the idealist, facts about phenomenal experience determine facts about the physical world. Any such view must account for illusions: cases where there is a discrepancy between the physical world and our experiences of it. In this paper, I critique some recent idealist treatments of illusions before presenting my own preferred account. I then argue that, initial impressions notwithstanding, it is actually the realist who has difficulties properly accounting for illusions.

The material account proposes that indicative conditionals are material, but it is widely believed that this account cannot be applied to subjunctive conditionals. There are three reasons for this consensus: (1) the concern that most subjunctive conditionals would be vacuously true if they were material, which seems implausible; (2) the inconsistency with Adams pair, which suggests that indicative and subjunctive conditionals have different truth conditions; and (3) the belief that the possible world theories are a superior alternative to the material (...) account. In this paper, I will argue against (1) by showing that the counterintuitive aspects of vacuously true conditionals can be explained away in a consistent manner, regardless of whether they are indicative or subjunctive. I will support this argument by demonstrating that the positive arguments for the material account of indicatives also apply to subjunctives. I will counter (2) by explaining the Adams pair as logically equivalent conditionals that may be appropriate at different times, depending on the speaker’s epistemic situation. Finally, I will challenge (3) by arguing that the possible world account faces insurmountable issues and that a comprehensive material account of both indicatives and subjunctives is ultimately a more elegant solution. (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

Many idealists have thought that realism raises epistemological problems. The worry is that, if it is possible for truths about ordinary objects to outstrip our experiences in the ways that realists typically suppose, we could never be justified in our beliefs about objects. Few contemporary theorists find this argument convincing; philosophers have offered a variety of responses to defend the epistemology of our object judgments under the assumption of realism. But in this paper, I offer a new type of epistemic (...) argument against realism which is immune to the standard responses in the literature. In addition to raising a challenge for realism, the epistemology of our object judgments has implications for how the idealist should develop her own positive metaphysical view. So in the second half of this paper, I discuss how the idealist should understand the dependence between objects and our experiences if she is to secure epistemic advantages over the realist. (shrink)

According to judgment internalism, there is a conceptual connection between moral judgment and motivation. This paper offers an argument against that kind of internalism that does not involve counterexamples of the amoralist sort. Instead, it is argued that these forms of judgment internalism fall prey to a Frege-Geach type argument.

A fairly simple theory of the semantics of tense is obtained by combining three claims: (i) for any time t, a present-tense sentence `p' is either true or false at t; (ii) for any time t0 earlier than t, the future-tense sentence `It will be the case that p at t' is true at t0 if `p' is true at t, false otherwise; (iii) for any time t0 later than t, the past-tense sentence `It was the case that p at (...) t' is true at t0 if `p' is true at t, false otherwise. This theory, which has been called the theory of timeless truth, is often dismissed on the basis of its alleged incapacity to comply with indeterminism. Here, instead, it will be suggested that there is no reason to be dismissive. Section 1 provides some elucidations about the theory. Sections 2 and 3 explain how a foregone objection to it can be resisted. Sections 4 and 5 show that there is a plausible sense in which (i)-(iii) are compatible with indeterminism. Sections 6 and 7 dispel some misunderstandings that may lead to think that indeterminism is not vindicated in some important sense other than that outlined. (shrink)

The present article aims to show that a subject can only fully grasp the concept of the past if she has some experiential, or recollective, memories of particular past events. More specifically, I argue that (1) in order for a subject to understand the concept of the past, it is necessary that the subject understand the concept of a particular past event in such a way that it might contribute to her understanding of the concept of the past. (2) But (...) then, in order for a subject to understand the concept of a particular past event in such a way that it might contribute to her understanding of the concept of the past, it is necessary that the subject have some recollective memories of particular past events. (C) Hence, a subject can only understand the concept of the past if she has some recollective memories of particular past events. I defend the premises of the present argument against various objections, indicate why we should accept both premises, and accordingly end by endorsing the argument's conclusion. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target (...) semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

Thesis (Ph.D.)--University of Hawaii at Manoa, 2008.

In the present paper, I offer a new argument to show that presentism about time is incompatible with time travel. Time travel requires leaving the present, which, under presentism, contains all of reality. Therefore to leave the present moment is to leave reality entirely; i.e. to go out of existence. Presentist “time travel” is therefore best seen as a form of suicide, not as a mode of transportation. Eternalists about time do not face the same difficulty, and time travel is (...) compossible with eternalism. (shrink)

In this paper, I offer a contribution to the debate on testimony that rests on three elements: the definition of semantic information, the analysis of trust as a second?order property of first?order relations, and Floridi?s Network Theory of Account (NTA). I argue that testimony transmits semantic information and it is neither grounded on trust nor justified by it. Instead, I show that testimony is an occurrence of a first?order relation of communication affected by the second?order property of trust. I then (...) defend the view that an epistemic agent can acquire some knowledge, on the basis of the information communicated through testimony, if and only if the agent is able to connect the transmitted information to the conceptual network of interrelation to which it belongs. I refer to Floridi?s NTA to show how such a network allows the epistemic agent to achieve knowledge on the basis of semantic information. (shrink)

This volume presents mathematical game theory as an interface between logic and philosophy.

This work introduces a causal explanation of the passage of time, and contrasts it with rival explanations. In the causal explanation, laws of physics are shown to entail that events are in causal succession, and the passage of time is defined as their causal succession. The causal explanation is coupled with phenomenology of the passage of time, and contrasted with the project of making sense of the idea that time does not pass.

This book discusses fundamental topics on contemporary Ockhamism. The collected essays show how contemporary Ockhamism can impact areas of research such as semantics, metaphysics and also the philosophy of science. In addition, the volume hosts one historian of Medieval philosophy who investigates the way in which William of Ockham “in flesh and bone” construed time and, more generally, future contingency. The essays explore the different meanings of this theory. They cover three main topics, in particular. The first examines the thesis (...) that sentences and propositions about the future have a definite truth value, without any ensuing commitment to determinism or fatalism. The second topic looks at the problem whether the branching-time model needs to countenance a privileged branch (the so-called Thin Red Line). Finally, the third topic considers the idea that there are so-called soft facts. These would be the subject matter of sentences and propositions verbally about the present or the past, but metaphysically about a later time, and which might change in the future. Overall, the book provides an updated and rigorous idea of the debate about Ockhamism. It gives readers a deeper understanding into this philosophical approach influenced by William of Ockham, characterized by the rejection of the Aristotelian idea that, in order to preserve the contingency of the future, future contingents must be deemed neither true nor false. (shrink)

Past entities, events, and circumstances are neither observable nor manipulatable. Several philosophers argued that this inaccessibility precludes a realistic conception of the past. I survey versions of antirealism and agnosticism about the past formulated by Michael Dummett, Leon Goldstein, and Derek Turner. These accounts differ in their motivations and reasoning, but they share the opinion that the reality of at least large swathes of the past is unknowable. Consequently, they consider statements about them as referring, at most, to present constructs. (...) These antirealists about the past are not, however, antirealists or skeptics about time or chronology. They accept, among other things, that present traces can be dated and statements about their temporal provenances are referring and truth-apt.I posit that an antirealist who accepts that at least some of the present traces can be truth-aptly dated while holding that these traces do not support knowledge about past events and circumstances commits herself to a radically skeptic stance. Otherwise, she would be diluting her position so that it will be hardly distinguishable from realism. This problem could be avoided if antirealists about the past would extend their antirealism to estimates of the age of present traces. Such a position, however, would imply a very drastic form of scientific antirealism. I conclude that the past’s inaccessibility is insufficient to support antirealism about the past, either as a part of moderate scientific antirealism or as a stand-alone position. (shrink)

Sir Michael Dummett belongs to a small group of the greatest analytical philosophers of the second half of the 20th century, and presumably it would be no exaggeration to consider him the most prominent and influential British philosopher over the last three decades. He has published numerous articles, not only in the field of philosophy. However, a reader willing to learn his recent views is going to face some problems. Although Dummett’s most extended monograph — The Logical Basis of Metaphysics (...) — being a systematic exposition of his own views, was published relatively not so long ago, large parts of it, presented as The William James Lectures at the Harvard University, originally have even come from 1976. From this earlier material, the reader can hardly separate what Dummett has added when preparing this monograph to publication, at the end of the 1980s. (shrink)

Famously, Kant is a transcendental idealist. Yet he also endorses empirical realism, and even boasts that only the transcendental idealist can be an empirical realist. The difficulty of making sense of those commitments together leads many interpreters to begin by attributing to Kant some variant of conventional, subjective idealism. That in turn requires that Kant's empirical realism be at best a merely ersatz or quasi-realism. But that drains Kant's boast of its significance. For any idealist can be a realist if (...) the 'realism' in question is defined in terms of a prior commitment to idealism. Thus I argue, on the contrary, that we must begin the interpretation of Kant's Critical philosophy by taking his empirical realism to be a genuine, common-sense realism about empirical things. That approach yields a consistent, satisfying, and novel reading of the Critical enterprise, including transcendental idealism, as explaining how empirical realism is possible. Along the way I show, among other things, (1) how to make systematic sense of Kant's controversial theory of meaning, which is standardly either downplayed or regarded as grossly inconsistent with his other core commitments; (2) how to dispense with the centuries-old Neglected Alternative objection; and (3) how to account for the syntheticity of the moral law and its role in conferring experience-immanent meaning on the practical postulates (e.g., of the existence of God). (shrink)

Presentists believe that only present things exist. Their theories, at first glance, seem to offer many admirable features: a simple ontology, and a meaningful, objective status for key temporal phenomena, such as the present moment and the passage of time. So intuitive is this theory that, as John Bigelow puts it, presentism was “believed by everyone...until at least the nineteenth century”. Yet, in the last 200 years presentism has been beset by criticisms from both physicists and metaphysicians. One of the (...) most significant criticisms is that presentists cannot provide an acceptable system of truthmaking. If there is no past, how can there still be truths about the past? In this paper, I introduce a new theory of presentism, which addresses this problem in a novel way: by simply denying that there are any truths about the past. While prima facie an unintuitive position, I will argue that a sensible presentist philosophy of this kind can be described, so long as it is accompanied by an appropriate system of physics. I will also indicate at certain points that adopting presentism could allow us to understand fundamental physics in new, more intuitive ways. By the end of the paper, I hope to not only show that hard presentism is a defensible theory of time, but also that it could offer a number of advantages to the physicist and the philosopher alike. (shrink)

Uno de los principales aportes de Michael Dummett a la filosofía contemporánea fue la idea de que ciertas disputas tradicionales de la metafísica podían ser replanteadas a través de una caracterización semántica del realismo y el antirrealismo. Apoyándose en esta caracterización, Dummett propuso una aproximación ascendente a esas disputas. Dicha aproximación buscaba resolver los desacuerdos metafísicos entre realistas y antirrealistas mediante la formulación de teorías semánticas para ciertos conjuntos de enunciados. En este artículo argumentamos que la caracterización de Dummett no (...) captura las disputas metafísicas tradicionales y que, como consecuencia de ello, dicha caracterización no constituye un buen sustento para la aproximación ascendente. (shrink)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic concepts (...) of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

This paper defends three theses: that presentism is either trivial or untenable; that the debate between tensed and tenseless theories of time is not about the status of presentism; and that there is no temporal analogue of the modal thesis of actualism.

Apparently, aiming to comply with the norm ‘Believe that P if and only if the proposition that P is true’ can hardly differ from aiming to comply with the norm ‘Believe that P if and only if the proposition that P is epistemically justified’. So one may be tempted to agree with Richard Rorty that the distinction between truth and justification is pragmatically useless because it cannot make any difference ‘when the question is about what I should believe now’. I (...) resist this conclusion by arguing that the distinction between truth and justification is pragmatically useful even if the two properties are indeed normatively coincident. The argument I offer turns on the claim that truth plays an explanatory role that justification is inherently incapable of playing. However, my contention is not just that the distinction between truth and justification is pragmatically useful because truth is a bona fide explanatory notion. It is that the distinction between truth and justification is pragmatically useful because the realization that the former plays an explanatory role that the latter is inherently incapable of playing gives access to reasons which would otherwise escape our attention. If truth is a bona fide explanatory notion, the distinction between truth and justification is pragmatically useful because it is precisely when the question is about what I should believe now that attending to such a distinction will often make a difference – and it will make a difference even if the two properties are in fact normatively coincident. (shrink)

In the first exposition of the doctrine of indeterminacy of translation, Quine asserted that the individuation and translation of truth-functional sentential connectives like 'and', 'or', 'not' are not indeterminate. He changed his mind later on, conjecturing that some sentential connectives might be interpreted in different non-equivalent ways. This issue has not been debated much by Quine, or in the subsequent literature, it is, as it were, an unsolved problem, not well understood. For the sake of the argument, I will adopt (...) Quine's background assumption that all the semantic features of a language can be reduced to the speakers' dispositions toward assent and dissent, as far as only the truth-conditional core of the meaning of sentences is concerned. I will put forward an argument to the effect that the speech dispositions of most, if not all, English (French, Italian, etc.) speakers constrain a unique translation of their connectives. This argument crucially relies on an empirical conjecture concerning the behaviour of these operators. (shrink)

Over the past few years, the tree model of time has been widely employed to deal with issues concerning the semantics of tensed discourse. The thought that has motivated its adoption is that the most plausible way to make sense of indeterminism is to conceive of future possibilities as branches that depart from a common trunk, constituted by the past and the present. However, the thought still needs to be further articulated and defended, and several important questions remain open, such (...) as the question of how actuality can be understood and formally represented in a branching framework. The present volume is intended to be a 360 degree reflection on the tree model. The contributions is gathers concern the model and its alternatives, both from a semantic and from a metaphysical point of view. ​. (shrink)

Ockhamism implies that future contingents may be true, their historical contingency notwithstanding. It is thus opposed to both the Peircean view according to which all future contingents are false, and Supervaluationist Indeterminism according to which all future contingents are neither true nor false. The paper seeks to defend Ockhamism against two charges: the charge that it cannot meet the requirement that truths be grounded in reality, and the charge that it proves incompatible with objective indeterminism about the future. In each (...) case, the defence draws on the idea that certain truths are truths only courtesy of others and of what makes the latter true. After introduction of the Ockhamist view, its competitors and implications, a suitable definition of grounded truth is being devised that both is faithful to the spirit of the grounding-requirement and allows the Ockhamist to heed that requirement quite comfortably. Then two senses in which the future might be open are being introduced, indeterminacy as failure of predetermination by past and present facts, and indeterminacy as failure of entailment by past and present truths. It is argued that while openness in the former sense, but not in the latter sense, coheres with the Ockhamist view, it is only openness in the former sense that matters for objective indeterminism. (shrink)

Presentists face a challenge from truthmaker theory: if you hold both that the only existing objects are presently existing and that truth supervenes on being, then you will be hard pressed to identify some existent on which a given true but traceless claim about the past supervenes. One reconciliation strategy, advocated by Cameron (2011), is to appeal to distributional properties so to serve as presently existing truthmakers for past truths. I argue that a presentist ought to deny that distributional properties (...) can serve as truthmakers. (shrink)

On Friday God knew everything, including f, a proposition about what Jones would do on Monday; we can write the time-indexed proposition that on Friday God believed f as Bgf. If Jones does not do the thing that makes f true, then the resulting state of affairs will be ∼f. So on Monday, before a certain time – ‘ t time’ – Jones has it in his power to bring it about that ∼f. It seems to follow that on Monday (...) Jones has it in his power to bring it about that on Friday God believed something false. Yet this is impossible, as Bgp ⊃ p . But if f is false – if Jones makes it so on Monday – then so is Bgf, and God is not infallible. So either Jones cannot not do the thing that makes f true, and he has no freewill, or God is not infallible. The traditional responses to this dilemma are subtle, time-honoured and, as I see it, almost completely unconvincing. According to Linda Zagzebski , there are five of them: the Ockhamist response that God’s Friday belief is a so-called ‘soft’ fact, itself a problematic notion; the confused Molinist claim that on Friday God has something called ‘middle knowledge’ , so that God knows what Jones would do, but does not will it or know what Jones would do if … ); and the more sensible but still perplexing solution of Boethius’s that God’s knowing is not in time, so that the time-indexed proposition Bgf is not true. (How does it help to move the knowing that is said to determine our actions from the past to the timeless? It seems to …. (shrink)

We take it that Brandom’s sense of the geography is that our way of proceeding is more or less the first and his is more or less the second. But we think this way of describing the situation is both unclear and misleading, and we want to have this out right at the start. Our problem is that we don’t know what “you start with” means either in formulations like “you start with the content of words and proceed to the (...) content of sentences” or in formulations like “you start with the content of sentences and you proceed to the content of words.” Brandom’s official view seems to be that he’s talking about explanatory priorities (see the preceding quote); but we think that can’t really be what he has in mind, and we can’t find any alternative interpretation that seems plausible. Speaking just for ourselves, we’re inclined towards a relatively pragmatic view of explanation; what explanation we should “start with” depends, inter alia, on what it’s an explanation of and whom it’s an explanation for. But, in any case, we would have thought that explanatory priority is of more than heuristic interest only if it reflects a priority of some other kind: ontological, semantical, psychological, or whatever. In talking about what one “starts with”, Brandom must be claiming more than. (shrink)

Although Brandom is critical of some features of narrowly conceived classical pragmatism, at the same time he explicitly embraces a version of pragmatism, both in his overall philosophical outlook, and in his philosophy of language. Brandom’s distinctive theoretical approach is based on what he calls rationalist pragmatism, which is a version of fundamental pragmatism. Within the philosophy of language it takes the form of semantic pragmatism. The paper briefly discusses Brandomian version of fundamental pragmatism and its semantic underpinning, and subsequently (...) formulates a basic dilemma it encounters there. (shrink)

Scientific realism is fundamentally a view about unobservable things, events, processes, and so on, but things can be unobservable either because they are tiny or because they are past. The familiar abductive arguments for scientific realism lend more justification to scientific realism about the tiny than to realism about the past. This paper examines both the “basic” abductive arguments for realism advanced by philosophers such as Ian Hacking and Michael Devitt, as well as Richard Boyd’s version of the inference to (...) the best explanation of the success of science, and shows that these arguments provide less support to historical than to experimental realism. This is because unobservably tiny things can function both as unifiers of the phenomena and as tools for the production of new phenomena, whereas things in the past can only serve as unifiers of the phenomena. The upshot is that realists must not suppose that by presenting arguments for experimental realism they have thereby defended realism in general.Author Keywords: Author Keywords: Realism; Abduction; Historical science; Hacking; Devitt; Boyd. (shrink)

This paper explores the various available forms of relativism concerning aesthetic judgement and contrasts them with aesthetic absolutism. Two important distinctions are drawn. The first is between subjectivism (which relativizes judgements to an individual's sentiments or feelings) and the relativization of aesthetic judgements to intersubjective standards. The other is between relativism about aesthetic properties and relativism about the truth-values of aesthetic judgements. Several plausible forms of relativism about aesthetic properties are on offer, but relativism about the truth-values of aesthetic judgements (...) is more elusive. In particular, John MacFarlane's approach to relativism is shown not to result in relativism about the truth-values of aesthetic judgements. (shrink)

Justificationism differs from realism about how linguistic meaning is given, and hence in its associated conception of truth, and in particular in rejecting bivalence. Empirical discourse differs from mathematical primarily in that an effective decision-procedure for an empirical statement may cease to be available at a later time. The contrast is not that empirical knowledge is derived from what is mind-dependent, namely perception, whereas mathematical knowledge is not so derived. Mathematical knowledge does not accrue simply because a proof exists: the (...) proof has to be understood and recognized to be valid. Most ordinary mathematical proofs are indirect: they supply an effective means, in principle, to construct a direct or canonical proof. An indirect justification for asserting an empirical statement does not, in general, supply a means for bringing into existence a direct justification; it merely provides a ground for supposing that a direct justification would be or have been available for someone suitably placed to make the necessary observations. But it is by what constitutes direct evidence for a statement that its meaning is given; a grasp of its meaning does not rest on an ability to survey all conceivable indirect evidence. A direct justification of an empirical statement of the kind capable of being used as a report of observation must be an actual or possible observation by a suitably placed observer. A possible observation need not be explained by means of a counterfactual: it may be taken as consisting of the appropriate physical stimuli. This way of understanding it evades all three of the untenable choices Peacocke offers the justificationist. Unlike mathematical ones, empirical statements are often justifiably asserted on probabilistic grounds. When the statement admits of a conclusive justification, probabilistic evidence will not figure as a direct justification for asserting it, and hence as determining its meaning, so no circularity is involved, as Peacocke charges. There may, however, be empirical statements that can neither be reports of observation nor admit of a conclusive justification. Such statements can be asserted only on inductive or abductive grounds; this goes to characterize their meanings. Their meanings must therefore be explained by specifying such grounds as the most direct justifications of them that can be given, although they are difeasible rather than conclusive. Peacocke appears to deny that there can be statements that transcend all possible verification. To vindicate such a view from a realist standpoint is surely very difficult: it requires a demonstration that we could not grasp what it would be for such a statement to be true. It is very obscure what a realist's conception of truth is. The principle of bivalence remains a strong mark of differentiation between a justificationist and a realist conception of truth; a clear argument why the principle should be accepted would greatly help to clarify how the realist conceives of truth. I enjoyed reading Peacocke's article, but remain as perplexed as I was before just how he does conceive of truth. (shrink)

Most of us would want to say that it is true that Socrates taught Plato. According to realists about past facts,1 this is made true by the fact that there is, located in the past, i.e., earlier than now, at least one real event that is the teaching of Plato by Socrates. Presentists, however, in denying that past events and facts exist2 cannot appeal to such facts to make their past-tensed statements true. So what is a presentist to do?

This dissertation is a defense of a particular theory of the metaphysics of time which I call "accretivism", but which is popularly known in a form usually called the "Growing Block Theory". The goal of a metaphysics of time is to incorporate the various aspects of our temporal experience into a single, comprehensive whole. To this end I delineate five aspects of our ordinary experience of time: 1) The Tensed Aspect, in virtue of which objects are presented to us as (...) past, present, or future; 2) The Transitory Aspect, in virtue of which time passes or "flows"; 3) The Durational Aspect, in virtue of which entities have a certain temporal extent; 4) The Structural Aspect, in virtue of which entities are given as being in temporal relations to one another, and 5) The Differential-Repetitive Aspect, in virtue of which things are different from one time to another, and yet there is a certain recurrence of aspects of our experience form one time to another. I contrast the accretivist picture of time, according to which that which is past and that which is present both have ontological status, but nothing which is future has ontological status, and in which temporal passage consists in the coming-into-being of new entities at the temporal edge of reality marked by the present, with the two dominant theories of time in the contemporary literature: 1) presentism, according to which only that which is present has ontological status, and 2) four-dimensionalism, according to which time is to be understood on analogy with spatial dimensions. Accretivism, I argue, is superior to the other two views in virtue of the fact that it gives full status to both the Structural Aspect of Time, for which the presentist has difficulty accounting, and the Transitory Aspect of Time, for which the four-dimensionalist has difficulty accounting. I then defend the accretivist picture against a variety of objections that might be raised to it. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

Jonathan Westphal's recent paper attempts to reconcile the view that propositions about the future can be true or false now with the idea that the future cannot now be real. I attempt to show that Westphal's proposal is either unoriginal or unsatisfying. It is unoriginal if it is just the well-known eternalist solution. It is unsatisfying if it is instead making use of a peculiar, tensed truthmaking principle.

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

In this paper, I focus on some intuitionistic solutions to the Paradox of Knowability. I first consider the relatively little discussed idea that, on an intuitionistic interpretation of the conditional, there is no paradox to start with. I show that this proposal only works if proofs are thought of as tokens, and suggest that anti-realists themselves have good reasons for thinking of proofs as types. In then turn to more standard intuitionistic treatments, as proposed by Timothy Williamson and, most recently, (...) Michael Dummett. Intuitionists can either point out the intuitionistc invalidity of the inference from the claim that all truths are knowable to the insane conclusion that all truths are known, or they can outright demur from asserting the existence of forever-unknown truths, perhaps questioning—as Dummett now suggests—the applicability of the Principle of Bivalence to a certain class of empirical statements. I argue that if intuitionists reject strict finitism—the view that all truths are knowable by beings just like us—the prospects for either proposal look bleak. (shrink)

While there has been a great deal of recent interest in parallels between metaethics and metaepistemology, there has been little discussion of epistemological analogues of the open question argument. This is somewhat surprising—the general trend in recent work is in the direction of emphasizing the continuity between metaethics and metaepistemology, and to treat metanormative questions as arising in parallel in these two normative domains. And while the OQA has been subjected to a wide variety of objections, it is still influential (...) in metaethics. In this paper, I aim to show that an epistemological version of the OQA is just as promising as its moral cousin. That's not to say that I'll unqualifiedly endorse either argument. Rather, my aim is to show that there is just as strong a prima facie case for an OQA in metaepistemology as there is in metaethics—I leave open whether the ultima facie case collapses. (shrink)

Theological incompatibility arguments suggest God's comprehensive foreknowledge is incompatible with human free will. Logical incompatibility arguments suggest a complete set of truths about the future is logically incompatible with human free will. Of the two, most think theological incompatibility is the more severe problem; but hardly anyone thinks either kind of argument presents a real threat to free will. I will argue, however, that sound theological and logical incompatibility arguments exist and that, in fact, logical incompatibly is the more severe (...) problem. A deep analysis of the arguments will reveal that, to avoid a fatalist conclusion, we must reject bivalence and adopt a specific kind of temporal ontology (presentism), which also forces the theist to embrace open theism. (shrink)

In this paper I shall deal with the role of "understanding a thought" in the debate on the definition of the content of an assertion. I shall present a well known tension in Frege's writings, between a cognitive and semantic notion of sense. This tension is at the source of some of the major contemporary discussions, mainly because of the negative influence of Wittgenstein's Tractatus, which did not give in-depth consideration to the tension found in Frege. However many contemporary authors, (...) after the first attempt by Carnap himself, have tried to make room both for a cognitive and semantic aspect of meaning. I claim that at least some of these attempts (Dummett, Perry and Chalmers) are seriously flawed, mainly due to the difficulty in making a proper connection between the two different conceptions of sense. I shall outline an alternative project, which takes into consideration Frege's requirements on antipsychologism and of the objectivity of thought, while maintaining a close connection between the two aspects of sense. (shrink)

This work aims to make tense logic a more robust tool for ontologists, philosophers, knowledge engineers and programmers by outlining a fusion of tense logic and ontology of time. In order to make tense logic better understandable, the central formal primitives of standard tense logic are derived as theorems from an informal and intuitive ontology of time. In order to make formulation of temporal propositions easier, temporal operators that were introduced by Georg Henrik von Wright are developed, and mapped to (...) the ontology of time. (shrink)