This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...) may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in which falsifications can enter into a constructivist semantics, displays the full spectrum of options, and discusses the logical systems most suitable to each one of them. While the idea of introducing falsifications into (...) the semantic account is Dummett's own, the many ways in which falsificationism departs quite radically from verificationism are here spelled out in detail for the first time. The volume is divided into three large parts. The first part provides important background information about Dummett’s program, intuitionism and logics with gaps and gluts. The second part is devoted to the introduction of falsifications into the constructive account and shows that there is more than one way in which one can do this. The third part details the logical effects of these various moves. In the end, the book shows that the constructive path may branch in different directions: towards intuitionistic logic, dual intuitionistic logic and several variations of Nelson logics. The author argues that, on balance, the latter are the more promising routes to take. "Kapsner’s book is the first detailed investigation of how to incorporate the notion of falsification into formal logic. This is a fascinating logico-philosophical investigation, which will interest non-classical logicians of all stripes." Graham Priest, Graduate Center, City University of New York and University of Melbourne. (shrink)

The Manifestation Requirement, advanced by Dummett in his critique of semantic realism, has been criticized for being behavioristic, and the responses have been made that the critics are mistaken. However, the dispute has failed to exhibit the point of the Requirement. In this paper, I shall argue (1) that, in the light of Anscombe's theory of practical knowledge, knowledge of linguistic meaning is to be seen as the knowledge-how that forms the basis of the practical knowledge that an agent has (...) of his own intentional actions, (2) that such knowledge of linguistic meaning is to be based on mutual agreements in a community, and (3) that the Manifestation Requirement is a condition for the possibility of such mutual agreements. As a result, the Manifestation Requirement finds its basis on the idea that language and linguistic acts are tools that we use while continually improving them. (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)

Meaning, according to a significant number of philosophers, is an intrinsically normative notion.1 For this reason, it is suggested, meaning is not conducive to a naturalistic explanation. In this paper, I shall not address whether this is indeed so. Nor shall I present arguments in support of the normativity thesis (see Glock 2005; Kripke 1982). Instead, I shall examine and respond to two forceful objections recently (and independently) raised against it by Boghossian (2005), Hattiangadi (2006) and Miller (2006). Although I (...) shall argue that the objections are unsuccessful, they are worth attending to, not only because the normativity thesis is so widely accepted and is thought to have such ramifications but, most importantly, because doing so offers the opportunity to help clarify how it is to be understood. (shrink)

A number of prominent philosophers advance the following ideas: (1) Meaning is use. (2) Meaning is an intrinsically normative notion. Call (1) the use thesis, hereafter UT, and (2) the normativity thesis, hereafter NT. They come together in the view that for a linguistic expression to have meaning is for there to be certain proprieties governing its employment.1 These ideas are often associated with a third.

According to Normativism, what an expression means has immediate implications for how a subject should or may (not) employ that expression. Many view this thesis as imposing substantive constraints upon theories of linguistic meaning. In this paper, I shall not consider that view; instead, I shall address the prior issue of whether or not one should accept Normativism. Against certain recent prominent lines of attack common to a number of different anti‐Normativist discussions, I shall defend both the Normativist thesis and (...) an attempt to appeal to a certain platitude in its support. (shrink)

Inference versus consequence , an invited lecture at the LOGICA 1997 conference at Castle Liblice, was part of a series of articles for which I did research during a Stockholm sabbatical in the autumn of 1995. The article seems to have been fairly effective in getting its point across and addresses a topic highly germane to the Uppsala workshop. Owing to its appearance in the LOGICA Yearbook 1997 , Filosofia Publishers, Prague, 1998, it has been rather inaccessible. Accordingly it is (...) republished here with only bibliographical changes and an afterword. (shrink)

Drawing on various resources and requirements (as expressed by Dewey, Wittgenstein, Sellars, and Brandom), this paper proposes an externalist view of conceptual mental episodes that does not equate them, even partially, with vehicles of any sort, whether the vehicles be located in the environment or in the head. The social and pragmatic nature of the use of concepts and conceptual content makes it unnecessary and indeed impossible to locate the entities that realize conceptual mental episodes in non-personal or subpersonal contentful (...) entities (vehicles). Persons, who engage in social practices of deontic scorekeeping (Brandom), and who are thus able to produce appropriate inferential behaviour, enact conceptual mental episodes and the basis of their supervenience. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

Crispin Wright attempts to develop a theory of truth which could be characterized as a form of minimalism, and he is favourable to a pluralistic account which allows for many different uses of the predicate "true", including one where the word is constrained by a norm of "superassertibility". In assessing these different claims made by the author, I adopt the position held by the deflationist philosopher. I try to show that his criticism of deflationism fails, and that there is a (...) version of this doctrine which is congenial with Wright's own approach to the problem of truth. (shrink)

An increasingly popular moral argument has it that the story of human evolution shows that we can explain the human disposition to make moral judgments without relying on a realm of moral facts. Such facts can thus be dispensed with. But this argument is a threat to moral realism only if there is no realist position that can explain, in the context of human evolution, the relationship between our particular moral sense and a realm of moral facts. I sketch a (...) plausible evolutionary story that illuminates this relationship. First, the sorts of adaptive pressures facing early humans would have produced more than just potent prosocial emotions, as evolutionary antirealists like to claim; it would have produced judgments—often situated within emotions—to the effect that others could reasonably disapprove of some bit of conduct, for an early human who cared deeply about how others might respond to her action enjoyed the benefits of more cooperative exchanges than those early humans who did not. Second, according to objectivist versions of moral constructivism, moral facts just are facts about how others, ideally situated, would respond to one's conduct. Thus if any objectivist moral constructivism story is true, then we can intelligibly assert that a) our capacity for moral judgment is the product of adaptive pressures acting on early humans and b) some moral judgments are objectively true. (shrink)

We conceive of many general terms we use as having satisfaction conditions that are objective in that the thought that something meets them neither entails nor is entailed by the thought that we are currently in a position in which we are ready, or warranted, to apply those terms to it. How do we manage to use a given term in such a way that it is thereby endowed, and conceived to be endowed, with satisfaction conditions that are objective in (...) this sense? In the first half of the paper, I present a number of interrelated problems for some extant metasemantical accounts of how use determines objective satisfaction conditions. In the second half, I then propose a novel account that avoids all of these problems. (shrink)

I examine Quine’s and Davidson’s arguments to the effect that classical logic is the one and only correct logic. This conclusion is drawn from their views on radical translation and interpretation, respectively. I focus on the latter, but I first address, independently, Quine’s argument to the effect that the ‘deviant’ logician, who departs from classical logic, is merely changing the subject. Regarding logical pluralism, the question is whether there is more than one correct logic. I argue that bivalence may be (...) subject matter dependent, but that distribution and the law of excluded middle can probably not be dropped whilst maintaining the standard meanings of the connectives. In discussing the ramifications of the indeterminacy of interpretation, I ask whether it forces Davidsonian interpreters to adopt Dummett’s epistemic conception of truth vis-à-vis their interpretations. And, if so, does this cohere with their attributing a nonepistemic notion of truth to their interpretees? This would be a form of logical pluralism. In addition, I discuss Davidson’s arguments against conceptual schemes. Schemes incommensurable with our own could be construed as wholesale deviant logics, or so I argue. And, if so, their possibility would yield, in turn, the possibility of a radical logical pluralism. I also address Davidson’s application of Tarski’s definition of truth. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

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)

Verificationism has often seemed attractive to philosophers because of its apparent abilityto deliver us from scepticism. However, I argue that purely epistemological considerationsprovide insufficient reason for embracing verificationism over realism. I distinguish twotypes of sceptical problem: those that stem from underdetermination by the actual data,and those that stem from underdetermination by all possible data. Verificationismevades problems of the second sort, but is powerless in the face of problems of the firstsort. But problems of the first sort are equally pressing. Furthermore, (...) there is some reasonto think that the two types of problem have a common origin. Thus the desire to avoidscepticism provides insufficient reason for adopting verificationism. (shrink)

Are the objects and events that take place in Virtual Reality genuinely real? Those who answer this question in the affirmative are realists, and those who answer in the negative are irrealists. In this paper we argue against the realist position, as given by Chalmers (2017), and present our own preferred irrealist account of the virtual. We start by disambiguating two potential versions of the realist position—weak and strong— and then go on to argue that neither is plausible. We then (...) introduce a Waltonian variety of ictionalism about the virtual, arguing that this sort of irrealist approach avoids the problems of the realist positions, fits with a unifying theory of representational works, and offers a better account of the phenomenology of engaging in virtual experiences. (shrink)

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

Husserl endorses ideal verificationism, the claim that there is a necessary correlation between truth and the ideal possibility of experience. This puts him in the company of semantic anti-realists like Dummett, Tennant, and Wright who endorse the knowability thesis that all truths are knowable. Unfortunately, there is a simple, seductive, and troubling argument due to Alonzo Church and Frederic Fitch that the knowability thesis collapses into the omniscience thesis that all truths are known. Phenomenologists should be worried. I assess the (...) damage by surveying responses that may be open to Husserl. In particular, I explore whether Husserl ought to have adopted intuitionistic logic and motivate a restriction of ideal verificationism on phenomenological grounds. (shrink)

European Journal of Philosophy, Volume 30, Issue 3, Page 1010-1027, September 2022.

I propose a pragmatic approach to the kind of reference-shifting occurring in indexicals as used in e.g. written notes and answering machine messages. I proceed in two steps. First, I prepare the ground by showing that the arguments against such a pragmatic approach raised in the recent literature fail. Second, I take a first few steps towards implementing this approach, by sketching a pragmatic theory of reference-shifting, and showing how it can handle cases of the relevant kind. While the immediate (...) scope of the paper is restricted to indexicals and reference-shifting, and the discussion is confined to a specific range of theories and cases, the approach proposed is compatible with a fairly broad range of more or less semantically conservative theories, and many of the conclusions drawn are significant for the evaluation of pragmatic explanations in philosophy more generally. The overall goal is to offer a new perspective on the issues under discussion, and to prompt philosophers to reconsider some of the established methods by which pragmatic explanations are evaluated. (shrink)

RésuméUne partie des raisons invoquées par Wright en faveur de sa théorie «neutre» de la vérité tiennent à ce qu'il considère comme déficiente à plusieurs égards une approche apparentée proposée par Putnam. Je soutiens ici que ces déficiences affectent soit les deux doctrines, soit ni l'une ni l'autre, mais que celle de Wright est néanmoins supérieure. À mettre ensemble l'explication du prédicat de vérité offerte par Putnam et l'extension qu'il entend lui attribuer, on se heurte en effet à un dilemme (...) : revenir au réalisme traditionnel, ou verser dans un optimisme épistémique radical. Or Putnam rejette explicitement la première branche de cette alternative, tandis que la seconde est extrêmement peu plausible. Wright, lui, évite le dilemme en demeurant en retrait par rapport aux prises de position de ce genre. (shrink)

RÉSUMÉ: Une partie des raisons invoquées par Wright en faveur de sa théorie «neutre» de la vérité tiennent à ce qu'il considère comme déficiente à plusieurs égards une approche apparentée proposée par Putnam. Je soutiens ici que ces déficiences affectent soit les deux doctrines, soit ni l'une ni l'autre, mais que celle de Wright est néanmoins supérieure. À mettre ensemble l'explication du prédicat de vérité offerte par Putnam et l'extension qu'il entend lui attribuer, on se heurte en effet à un (...) dilemme: revenir au réalisme traditionnel, ou verser dans un optimisme épistémique radical. Or Putnam rejette explicitement la première branche de cette alternative, tandis que la seconde est extrêmement peu plausible. Wright, lui, évite le dilemme en demeurant en retrait par rapport aux prises de position de ce genre. (shrink)

Michael Devitt tells us that metaphysical realism has a kind of immunity from considerations concerning the nature of truth. Part of this immunity comes from Devitt’s insistence that realism is a metaphysical issue, not a semantic one. Most of Devitt’s critics have focused on this point, arguing that a proper understanding of the realism question necessarily involves semantic considerations :65–74, 1991; Miller in Synthese 136:191–217, 2003; Putnam in Comments on Michael Devitt’s ‘Hilary and Me’, in: Baghramian Reading Putnam. Taylor and (...) Francis, Hoboken, 2012; Taylor in Models, truth, and realism. Oxford University Press, New York, 2006). But Devitt also argues at length that semantic considerations should not lead us to give up on realism regardless of whether we admit that the correct characterization of realism is metaphysical in character or not. Devitt’s view hinges on the viability of a strategy which he calls Putting Metaphysics First, which essentially involves giving “a certain temporal and explanatory priority to metaphysical concerns”. Fully explicated, Devitt’s strategy is seen to be based on an epistemological naturalism in the vein of Quine. The main idea is that if we assume a naturalism according to which the only way to know anything is empirically through experience, then we will be able to establish a version of metaphysical realism early on in our investigations. According to Devitt, the empirical evidence for this realism is much stronger than the empirical evidence for the numerous semantical and epistemological views which are put forward in favor of antirealism. So, Devitt argues, we should hold on to the realism that we establish first and build our other theories on top of it. After detailing Devitt’s approach, I offer two objections. The first problem for Devitt is that in the process of putting metaphysics first, he puts epistemological naturalism first. This fact is in tension with his claim that epistemology is a weak starting place and a poor basis of theoretical revision. The second problem is that while our experiences of objects give us evidence that those objects exist, our experiences do not tell us that the objects exist mind-independently in all the ways required for metaphysical realism, or so I contend. Thus, I argue, even if we do put naturalized metaphysics first as Devitt recommends, realism is not secured as a starting point. (shrink)

: Bereft of the illusion of an epistemic vantage point external to science, what should be our commitment towards the categories, concepts and terms of that very science? Should we, despaired of the possibility to found these concepts on rock bottom, adopt empiricist skepticism? Or perhaps the inexistence of external foundations implies, rather, immunity for scientific ontology from epistemological criticism? Philosophy's "realism debate" died out without providing a satisfactory answer to the dilemma, which was taken over by the neighboring disciplines. (...) The "symmetry principle" of the "StrongProgramme" for the sociology of science-the requirement that truth and error receive the same kind of causal explanations-offered one bold metaphysical answer, under the guise of a methodological decree. Recently, however, it has been argued that this solution is not bold enough, that the social constructivists replaced the naïve presumption of an independent nature which adjudicates our beliefs with a mirror-image presumption of a sui generis society which furnishes these beliefs autonomously. The proper metaphysics for a foundationless epistemology, argues Bruno Latour, is one which grants nature and society, object and subject, equal roles in the success and failure of science and technology; one in which history of society merges with a history of things-in-themselves. The paper analyzes the philosophical and methodological motivations and ramifications of this extraordinary suggestion. (shrink)

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

With the discovery of consistent non-Euclidean geometries, the a priori status of Euclidean proof was radically undermined. In response, philosophers proposed two revisionary interpretations of the practice: some argued that Euclidean proof is a purely formal system of deductive logic; others suggested that Euclidean reasoning is empirical, employing concepts derived from experience. I argue that both interpretations fail to capture the true nature of our geometrical thought. Euclidean proof is not a system of pure logic, but one in which our (...) grasp of the content of geometrical concepts plays a central role; moreover, our grasp of this content is a priori. (shrink)

A commonplace in contemporary philosophy is that mental content has normative properties. A number of writers associate this view to the idea that the normativity of content is essentially connected to its social character. I agree with the first thesis, but disagree with the second. The paper examines three kinds of views according to which the norms of thought and content are social: Wittgenstein’s rule following considerations, Davidson’s triangulation argument, and Brandom’s inferential pragmatics, and criticises each. It is argued that (...) there are objective conceptual norms constitutive of mental content, but that these are not essentially social. (shrink)

Je suis trés reconnaissant à Michel Seymour d'avoir soumis mon livre à un examen détaillé, pénétrant, et charitable et d'avoir, par ses objections, mis le doigt sur un certain nombre de présupposés des thèses défendues dans ce livre, qu'il a souvent articulés bien mieux que je n'ai été capable de le faire. Le principal de ces présupposés est mon rejet implicite de la thése quinienne de l'indétermination de la traduction, qui m'engage, selon Seymour, à défendre une conception conservatrice de la (...) logique et à insister sur une détermination de son domaine qui lui paraît injustifiée. Seymour soutient au contraire qu'il faut admettre cette thése, qui «commande une tout autre perspective» que la mienne. Je voudrais à la fois résister à la prémisse et à la conclusion de cette inférence. (shrink)

Crispin Wright offers superassertibility as an anti-realist explication of truth. A statement is superassertible, roughly, if there is a state of information available which warrants it and it is warranted by all achievable enlargements of that state of information. However, it is argued, Wright fails to take account of the fact that many of our test procedures are not sure fire, even when applied under ideal conditions. An alternative conception of superassertibility is constructed to take this feature into account. However, (...) it is then argued that when this revised concept of superassertibility is taken as the truth predicate of probability statements, statements whose test procedures are paradigmatically not sure fire, then any anti-realist theory of the sense of such probability statements cannot be compositional, in Dummett's sense of compositional. (shrink)

This paper can be read as an attempt at providing philosophical foundations to linear logic. The only plausible form of philosophical antirealism deals with practical feasibility rather than with effectivity in principle. The very notion of recognizability is ambiguous, audit has to be considered from a stricter perspective than currently done. The intuitionistic assertability conditions are to be reinforced. This change requires a move towards a frame in which the circumstances of the application of a logical rule can be specified. (...) Gentzen's sequential calculi provide such a frame, when some structural rules have been removed or limited. (shrink)

Farben sind für uns sowohl objektive, als auch phänomenale Eigenschaften. In seinem Buch argumentiert Fabian Dorsch, daß keine ontologische Theorie der Farben diesen beiden Seiten unseres Farbbegriffes gerecht werden k ann. Statt dessen sollten wir akzeptieren, daß letzterer sich auf zwei verschiedene Arten von Eigenschaften bezieht: die repräsentierten Reflektanzeigenschaften von Gegenständen und die qualitativen Eigenschaften unserer Farbwahrnehmungen, die als sinnliche Gegebenheitsweisen ersterer fungieren. Die Natur der Farben gibt einen detaillierten Überblick über die zeitgenössischen philosophischen und naturwissenschaftlichen Theorien der Farben und (...) bietet sich aufgrund seines systematischen und umfassenden Charakters auch als ein seminar- oder vorlesungsbegleitendes Textbuch an. (shrink)

Here is one argument against realism. (1) Realists are committed to the classical rules for negation. But (2) legitimate rules of inference must conserve evidence. And (3) the classical rules for negation do not conserve evidence. So (4) realism is wrong. Most realists reject 2. But it has recently been argued that if we allow denied sentences as premisses and conclusions in inferences we will be able to reject 3. And this new argument against 3 generates a new response to (...) the antirealist argument: keep 1 and 2, avoiding 4 by rejecting 3. My aim in this paper is to see how much work in the fight against anti-realism this new response can really do. I argue that there is a powerful objection to the response: 2 is in tension with the claim that denied sentences can be premisses and conclusions in inferences. But I show that, even given this objection, the new response has an important role to play. (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

In ``Revising the Logic of LogicalRevision'' J. Salerno attempts to undermineCrispin Wright 's recent arguments forintuitionism, and to replace Wright andDummett's arguments with a revisionary argumentof his own. I show that Salerno's criticismsof Wright involve both attributing an inferenceto Wright that no intuitionist would make andfallaciously treating a negative universal asan existential negative. Then I show how verygeneral considerations about the nature ofwarrant undermine both Wright and Salerno'sarguments, when these arguments are applied todiscourses with defeasible warrants. WhileSalerno explicitly restricts his (...) discussion tomathematics, Wright and Dummett intend theirrevisionary arguments to have much widerscope. (shrink)

The corpus of physical theory is a paradigm of knowledge. The evolution of modern physical theory constitutes the clearest exemplar of the growth of knowledge. If the development of physical theory does not constitute an example of progress and growth in what we know about the Universe nothing does. So anyone interested in the theory of knowledge must be interested consequently in the evolution and content of physical theory. Crucial to the conception of physics as a paradigm of knowledge is (...) the way in which physical theory provides explanations of a vast diversity of natural phenomena on the basis of a very few fundamental principles. A central problem for the epistemologist is therefore what is theoretical explanation in physics? Here we can get good insight from what Redhead has said. Indeed one could agree with almost everything Redhead says and simply endorse much of his careful and extensive defence of the covering law account of explanation in the physical sciences at least as an ideal. However I shall, I fear, try the reader's patience by extending some of the considerations he introduced and raising those issues where we disagree, especially in the important area of statistical explanation. (shrink)

The first half of Mark Quentin Gardiner’s recent book, Semantic Challenges to Realism: Dummett and Putnam, is a sustained, systematic, and, for the most part, novel attempt to demolish the case against semantic realism instigated by Michael Dummett. In this article I reply on the anti-realist’s be-half. I aim to demonstrate that none of Gardiner’s main anti-Dummettian arguments are successful, and moreover that his errors are, in the main, consequences of serious misconstruals of vital aspects of the semantic realist and (...) anti-realist positions. (shrink)

In this paper, I will attempt to develop and defend a common form of intuitive resistance to the companions in guilt argument. I will argue that one can reasonably believe there are promising solutions to the access problem for mathematical realism that don’t translate to moral realism. In particular, I will suggest that the structuralist project of accounting for mathematical knowledge in terms of some form of logical knowledge offers significant hope of success while no analogous approach offers such hope (...) for moral realism. (shrink)

What is the status of a cat in a virtual reality environment? Is it a real object? Or part of a fiction? Virtual realism, as defended by D. J. Chalmers, takes it to be a virtual object that really exists, that has properties and is involved in real events. His preferred specification of virtual realism identifies the cat with a digital object. The project of this paper is to use a comparison between virtual reality environments and scientific computer simulations to (...) critically engage with Chalmers’s position. I first argue that, if it is sound, his virtual realism should also be applied to objects that figure in scientific computer simulations, e.g. to simulated galaxies. This leads to a slippery slope because it implies an unreasonable proliferation of digital objects. A philosophical analysis of scientific computer simulations suggests an alternative picture: The cat and the galaxies are parts of fictional models for which the computer provides model descriptions. This result motivates a deeper analysis of the way in which Chalmers builds up his realism. I argue that he buys realism too cheap. For instance, he does not really specify what virtual objects are supposed to be. As a result, rhetoric aside, his virtual realism isn’t far from a sort of fictionalism. (shrink)