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)

In this paper, we will discuss what is called the “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John McDowell’s response to this anti-realistic challenge, which was put forward to show that the challenge cannot undermine realism. According to (...) McDowell, knowledge of undecidable sentences’ truth-conditions can be properly manifested in our ordinary practice of asserting such sentences under certain circumstances, and any further requirement will be redundant. Wright’s further objection to McDowell’s response will be also discussed and it will be argued that this objection fails to raise any serious problem for McDowell’s response and that it is an implausible objection in general. (shrink)

Thinking and using a language are two different but similar activities. Thinking about thinking and thinking about language use have been two major strands in the history of philosophy. One of the principal similarities is that they are both rational activities. As a result, the ability to think and the ability to use a language require being able to recognise and respond to reasons. However, there is a further feature of these activities: we humans are able to have explicit knowledge (...) of how those activities work and what is done by performances in those activities. Thus, theorists face at least two constraints: 1. An account of a rational activity must be compatible with the possibility of agents engaging in that activity. 2. Having described an activity, it must be possible to have knowledge of an activity which is correctly described like that. There are a variety of accounts of how thinking works and how using a language works, and further variation in accounts of what is involved in explicit understanding of particular performances. These accounts can be distinguished by their views of the nature of the reasons that govern performances in that activity and by their views of the way a description of the activity relates to the way the activity proceeds. I argue that any description of thinking or language use requires showing how the truth conditions of thoughts/sentences are determined, and how the truth values of thoughts/sentences affects the way the activity proceeds. I then argue that in order to have explicit knowledge of what we do, truth has to be a substantial evaluative property of uses of language, and furthermore a truth conditional theory of meaning has to be taken as the description of the rationality of using a language. The big result is that, because in understanding language we understand truth, the philosophy of language is first philosophy. (shrink)

Three recent ‘state of the art’ Frankfurt cases are responded to: Widerker’s Brain-Malfunction-W case and Pereboom’s Tax Evasion cases (2 & 3). These cases are intended by their authors to resurrect the neo-Frankfurt project of overturning the Principle of Alternative Possibilities (PAP) in the teeth of the widespread acceptance of some combination of the WKG (Widerker-Kane-Ginet) dilemma, the Flicker of Freedom strategy and the revised PAP response (‘Principle of Alternative Blame’, ‘Principle of Alternative Expectations’). The three neo-Frankfurt cases of Pereboom (...) and Widerker shown to be insufficient for their intended purpose. Of central importance to any account of responsibility is that this applies at the level of the Right and not the Good. Arguments of Carlos Moya are expanded and augmented by considerations from Chisholm, Lucas, Dummett and Lockie (2003) to show that a number of severe problems remain for anyone attempting to resurrect the Frankfurt project. (shrink)

The paper aims at meeting Blackburn’s challenge to explain the non-reductive supervenience of moral predicates on natural ones. It offers a critical examination of Hare’s model of moral thinking which can be used as a candidate for such an explanation. It is argued that, as it stands, Hare’s model fails to meet Blackburn’s challenge. Yet some revisions of the model are suggested, and it is claimed that the improved version does supply the required explanation. The model suggested in the paper (...) carries a meta-ethical implication concerning the superiority of the anti-realist understanding of moral discourse. (shrink)

The main aim of this thesis is to defend moral realism. In chapter 1, I argue that moral realism is best understood as the view that moral sentences have truth-value, there are moral properties that make some moral sentences true, and moral properties are not reducible to non- moral properties. Realism is contrasted with non-cognitivism, error-theory and reductionism, which, in brief, deny, and, respectively. In the introductory chapter, it is also argued that there are some prima facie reasons to assume (...) that non-cognitivism and error-theory are erroneous. In chapters 2 and 3, I suggest that the two main forms of reductionism, analytic and synthetic reductionism, are mistaken. In chapter 4, I argue that the considerations in the previous chapters in relation to non-cognitivism, error-theory and reductionism provide support to moral realism. It is also suggested that these considerations make it plausible to hypothesise that moral properties depend on non- moral properties in a way I refer to as ‘the realist formula’. The realist formula confirms moral realism since it implies that moral properties are not reducible to non- moral properties. In chapters 5, 6 and 7, I argue that moral realism, much owing to the realist formula, is able to explain significant meta-ethical issues regarding moral disagreement, moral reason and moral motivation. Among other things, externalism concerning moral motivation is defended. The explanatory value of moral realism in relation to these meta-ethical issues is taken to suggest that this view is preferable to non-cognitivism, error-theory and reductionism. Some of the meta-ethical issues discussed in these chapters, particularly moral disagreement and motivation, have been thought to provide support to non-cognitivism and error-theory. I maintain that since realism, unlike reductionism, is able to counter these arguments, it justifies us in upholding the view that moral sentences have truth-value and the view that there are moral properties. In chapter 8, various objections against realism with regard to the dependence of moral properties on non- moral properties are responded to. In chapter 9, I consider an influential argument to the effect that moral properties are not involved in causal explanations. I maintain that this argument fails and that it therefore is reasonable to assume that moral properties are natural properties. However, the discussions in chapters 8 and 9 also suggest that moral realism might face problems that cannot be thoroughly discussed in this thesis. (shrink)

This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...) program. Finally, the fourth case study is paraconsistent logic, perhaps the most controversial of serious proposals. (shrink)

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.

This paper begins by applying a version of Timothy Williamson’s anti-luminosity argument to normative properties. This argument suggests that there must be at least some unknowable normative facts in normative Sorites sequences, or otherwise we get a contradiction given certain plausible assumptions concerning safety requirements on knowledge and our doxastic dispositions. This paper then focuses on the question of how the defenders of different forms of metaethical anti-realism (namely, error theorists, subjectivists, relativists, contextualists, expressivists, response dependence theorists, and constructivists) could (...) respond to the explanatory challenge created by the previous argument. It argues that, with two exceptions, the metaethical anti-realists need not challenge the argument itself, but rather they can find ways to explain how the unknowable normative facts can obtain. These explanations are based on the idea that our own attitudes on which the normative facts are grounded need not be transparent to us either. Reaching this conclusion also illuminates how metaethical anti-realists can make sense of instances of normative vagueness more generally. (shrink)

In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall and Restall (...) (2006), Field (2009), Lynch (2009), and Sher (2016a).1 Whenever possible, I focus on positive rather than negative views on the issues involved, although in some cases this is not possible. (shrink)

The epistemological chasm between how we (implicitly and subjectively) perceive or imagine the actual world and how we (explicitly and “objectively”) think of its underlying entities has motivated perhaps the most disconcerting impasse in human thought: the explanatory gap between the phenomenal and physical properties of the world. Here, I advocate a combination of philosophical skepticism and simplicity as an informed approach to arbitrate among theories of consciousness. I argue that the explanatory gap is rightly a gap in our understanding, (...) but one that is not surprising; and we being observers biased by our first-person perspective and our existence may both hinder and (the realization we have them) assist our reasoning. Further, I unfold the concept of observer into two distinct notions based on its functional and phenomenal aspects, and exploit this device to elucidate the subject-observer relationship. Then, I proceed to analyze the philosophical zombie dilemma. Lastly, I contend that from a skeptical viewpoint, panpsychism (or neutral monism) is the most parsimonious doctrine accounting for the explanatory gap, and suggest that it would be possible to make headway in the hard problem of consciousness by uncovering non-trivial causal relationships between qualia states and functional states, if routine and controlled manipulation of neural circuits were easily available. (shrink)

The perennial nature of some of philosophy’s deepest problems is a puzzle. Here, one problem, the realism–anti-realism debate, and one type of explanation for its longevity, are examined. It is argued that realism and anti-realism form a dialetheic pair: While they are in fact each other’s logical opposite, nevertheless, both are true (and both false). First, several reasons why one might think such a thing are presented. These reasons are merely the beginning, however. In the following sections, the dialetheic conclusion (...) is directly argued for by showing how realism and anti-realism satisfy Priest’s “inclosure schema”. In the last section and the conclusion, the conscious mind’s role in creating realism and anti-realism is discussed. This role further supports the conclusion that realism and anti-realism form a dialetheic pair. (shrink)

Michael Dummett offered a semantic characterisation of a variety of realism-antirealism debates. This approach has fallen out of fashion. This has been to the detriment of metaphysics. This paper offers an accurate characterisation of Dummett’s view, often lacking in the literature, and then defends it against a range of attacks (from Devitt, Miller and Williamson). This understanding of realism debates is resilient, and if we take it seriously the philosophical terrain looks importantly different. In particular, the philosophy of language has (...) a foundational role with respect to metaphysics. (shrink)

This dissertation is centered around a set of apparently conflicting intuitions that we may have about mathematics. On the one hand, we are inclined to believe that the theorems of mathematics are true. Since many of these theorems are existence assertions, it seems that if we accept them as true, we also commit ourselves to the existence of mathematical objects. On the other hand, mathematical objects are usually thought of as abstract objects that are non-spatiotemporal and causally inert. This makes (...) it difficult to understand how we can have knowledge of them and how they can have any relevance for our mathematical theories. I begin by characterizing a realist position in the philosophy of mathematics and discussing two of the most influential arguments for that kind of view. Next, after highlighting some of the difficulties that realism faces, I look at a few alternative approaches that attempt to account for our mathematical practice without making the assumption that there exist abstract mathematical entities. More specifically, I examine the fictionalist views developed by Hartry Field, Mark Balaguer, and Stephen Yablo, respectively. A common feature of these views is that they accept that mathematics interpreted at face value is committed to the existence of abstract objects. In order to avoid this commitment, they claim that mathematics, when taken at face value, is false. I argue that the fictionalist idea of mathematics as consisting of falsehoods is counter-intuitive and that we should aim for an account that can accommodate both the intuition that mathematics is true and the intuition that the causal inertness of abstract mathematical objects makes them irrelevant to mathematical practice and mathematical knowledge. The solution that I propose is based on Rudolf Carnap's distinction between an internal and an external perspective on existence. I argue that the most reasonable interpretation of the notions of mathematical truth and existence is that they are internal to mathematics and, hence, that mathematical truth cannot be used to draw the conclusion that mathematical objects exist in an external/ontological sense. (shrink)

Pour contrer le scepticisme au sujet de la connaissance des valeurs, la plupart soutiennent avec John Rawls qu’une croyance comme celle qu’une action est bonne est justifiée dans la mesure où elle appartient à un ensemble de croyances cohérent, ayant atteint un équilibre réfléchi. Christine Tappolet s’inspire des travaux de Max Scheler et d’Alexius von Meinong pour défendre une conception opposée au cohérentisme. La connaissance des valeurs est affirmée dépendre de nos émotions, ces dernières étant conçues comme des perceptions des (...) valeurs. (shrink)

Metaphysics has had a long history of debate over its viability, and substantivity. This thesis explores issues connected to the realism question within the domain of metaphysics, ultimately aiming to defend a realist, substantive metaphysics by responding to so-called deflationary approaches, which have become prominent, and well supported within the recent metametaphysical and metaontological literature. To this end, I begin by examining the changing nature of the realism question. I argue that characterising realism and anti-realism through theories of truth unduly (...) places epistemology prior to ontology, and is unwarranted in assuming a non-neutrality between theories of truth and positions within the realism debate. I therefore propose a characterisation of realism and anti-realism understood through truthmaking. This produces a suitable working characterisation of realism that will be used within the remainder of this project. In the second section, I trace the historical influences upon current deflationary approaches to metaphysics, most prominently those of Carnap, and Putnam. I argue that Quine’s supposed attack on Carnap’s anti-metaphysical thought fails, and show how current deflationary thought, most prominently exhibited by Hirsch, came to focus on linguistically derived concerns over the substantivity of metaphysics. In the third section, I outline a number of issues for the deflationist, and defend the coherency and legitimacy of the unrestricted existential quantifier. Focusing on the linguistic aspect of deflationism, I argue that the conception of language that the deflationist relies upon lacks suitable empirical and theoretical support within linguistics and other related domains. Furthermore, I suggest that linguistic analysis in fact supports the claim that the quantifier carries no inherent restrictions. This restores our ability to suitably posit the unrestricted existential quantifier, as a quantifier wherein the domain is only restricted by metaphysically substantive restrictions. Through this, I argue that metaphysics is a substantive domain of discourse. Lastly, I sketch a positive account of how, under an empirically and theoretically justified conception of language, metaphysics can be coherently held to be a realist, substantive enterprise, contra claims that hold that the nature of language inherently prevents metaphysics being considered to be a substantive domain of discourse. (shrink)

This thesis is an examination and critique of naturalistic representational theories of phenomenal character. Phenomenal character refers to the distinctive quality that perceptual and sensational experiences seem to have; it is identified with 'what it is like' to undergo experiences. The central claims of representationalism are that phenomenal character is identical with the content of experience and that all representational states, bearing appropriate relations to the cognitive system, are conscious experiences. These claims are taken to explain both how conscious experiential (...) states arise and their nature. After examining the desiderata for naturalistic explanations, I argue that theories which ascribe nonconceptual content to experiences are the most plausible versions of representationalism. Further, causal covariation and teleological theories yield distinctive and interesting representationalist positions, hence, they become the focus of this study. To assess representationalism, I investigate whether all differences in phenomenal character can be correlated with differences in content. I claim that a useful distinction can be drawn between implicit and explicit content, which allows one to best describe the phenomena of perfect and relative pitch. I then argue that ambiguous figures show that two experiences can have the same content but different phenomenal character. I explicate the Inverted Earth hypothesis and claim that to identify content and phenomenal character, representationalists either have to condone the possibility of philosophical zombies, or hold that people lack authoritative first-person knowledge of their current experiences. Both these positions are unpalatable. Finally, I argue that representationalists cannot ascribe contents to experiences of novel colours to account for their phenomenal character. I also question, in light of dissociation phenomena, whether there is one distinctive relationship that all experiences bear to the cognitive system. I conclude that phenomenal character cannot be identical with the type of content under investigation, and that naturalistic representationalist theories cannot fully explain conscious experience. (shrink)

It is often claimed that realism about normativity entails that it is difficult for us to know anything about it. I refine this thought by characterizing realism as a thesis which is committed to explaining a semantic thesis about possible uses of normative language: that normative terms like ‘ought’ are semantically stable, in the sense that the term refers to the same property even if it is used differently. There are independent arguments which show that a realist view, if it (...) is plausible, should entail semantic stability for ‘ought’. In this paper I argue that, if the realist succeeds in explaining semantic stability, the realist view implies that normative beliefs will be at risk of being false, and hence not knowledge. Central to this argument is a phenomenon I call meta-semantic risk. I argue that the phenomenon of meta-semantic risk gives rise to a significant dose of normative skepticism for the realist, but it does not entail wholesale skepticism, since the epistemic threats are only contingent, and threatens only precise normative beliefs. I close by sketching two arguments that may show that even this limited form of skepticism counts significantly against the realist view. (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)

The article analyses the explication of the infinity in the philosophical courses taught at Kyiv-Mohyla Academy at the 17th and 18th centuries. It examines 12 philosophical courses – since 1645 (the course by Inokentii Gizel) until 1751 (the course by Georgii Konyskyi). It shows how the infinity was defined and in which kinds it was divided in different courses. In general, all the professors, as well as other scholastic philosophers, agree that categorematic infinity exists only in God, but syncategorematic is (...) present in the created world. Regarding the question whether God, being omnipotent, can create a categorematic infinity in the world, the Mogilyans are divided into several camps: (1) Inokentii Gizel, Stefan Yavorskyi, Inokentii Popovskyi, Sylvestr Pinovskyi, Platon Malynovskyi gave a positive answer to the question; (2) Yosyf Volchanskyi, Ilarion Levytskyi, Amvrosii Dubnevych, Sylvestr Kulabka believed that this kind of infinity is in principle impossible, hence God cannot create it; (3) Teofan Prokopovych and Georgii Konyskyi took a sceptical stand and consider that the human mind as such could not solve this problem. The article analyses which arguments were offered by each camp, and gives suggestions what influenced the position of certain Mohylian professors. Most probably, Mohylian philosophers who supported the possibility of actual infinity in the created world were influenced by nominalistically oriented Jesuit philosophers, like Pedro Hurtando de Mendoza and Rodrigo Arriaga. The other Mohylians backed a more traditional idea, supported by Thomas Aquinas, that only one actual infinity can exist and it is God. (shrink)

This paper shows how critical realism can be used to integrate empirical data and philosophical analysis within ‘empirical bioethics’. The term empirical bioethics, whilst appearing oxymoronic, simply refers to an interdisciplinary approach to the resolution of practical ethical issues within the biological and life sciences, integrating social scientific, empirical data with philosophical analysis. It seeks to achieve a balanced form of ethical deliberation that is both logically rigorous and sensitive to context, to generate normative conclusions that are practically applicable to (...) the problem, challenge, or dilemma. Since it incorporates both philosophical and social scientific components, empirical bioethics is a field that is consistent with the use of critical realism as a research methodology. The integration of philosophical and social scientific approaches to ethics has been beset with difficulties, not least because of the irreducibly normative, rather than descriptive, nature of ethical analysis and the contested relation between fact and value. However, given that facts about states of affairs inform potential courses of action and their consequences, there is a need to overcome these difficulties and successfully integrate data with theory. Previous approaches have been formulated to overcome obstacles in combining philosophical and social scientific perspectives in bioethical analysis; however each has shortcomings. As a mature interdisciplinary approach critical realism is well suited to empirical bioethics, although it has hitherto not been widely used. Here I show how it can be applied to this kind of research and explain how it represents an improvement on previous approaches. (shrink)

Adopting Murdoch’s pragmatist reading of Bohr’s theory of meaning with regard to Bohr’s notion of complementarity, in this paper I try to see Bohr’s post-Como and, in particular, post-EPR philosophy of quantum mechanics in the light of Peircean pragmatism with the hope that such a construal can shed more light to Bohr’s philosophy. I supplement Murdoch’s position on Bohr’s pragmatism by showing that in addition to his complementarity, Bohr’s correspondence principle, instrumentalism and realism can be read on the basis of (...) Peirce’s pragmatic maxim and his notion of indeterminism has commonalities with Peirce’s tychism. Also, Bohr’s practice of applying the correspondence principle can be interpreted in the light of Peirce’s fallibilism. However, when it comes to Bohr’s understanding of the symbolic character of quantum mechanics, Bohr’s philosophy deviates from Peircean pragmatism. Bohr’s philosophy distinguishes between the symbolic language of quantum formalism, which counts as a tool practically useful for prediction, and observation sentences which are visualizable in space and time and refer to the so-called individual phenomena. Such an epistemologically significant distinction is not recognized by Peircean pragmatism. (shrink)

Some members of the Vienna Circle argued for a coherence theory of truth. Their coherentism is immune to standard objections. Most versions of coherentism are unable to show why a sentence cannot be true even though it fails to cohere with a system of beliefs. That is, it seems that truth may transcend what we can be warranted in believing. If so, truth cannot consist in coherence with a system of beliefs. The Vienna Circle's coherentists held, first, that sentences are (...) warranted by coherence with a system of beliefs. Next they drew upon their verification theory of meaning, a consequence of which is that truth cannot transcend what can be warranted. The coherence theory of knowledge and verificationism together entail that truth cannot transcend what can be warranted by coherence with a system of beliefs. The Vienna Circle's argument for coherentism is strong and anticipates contemporary anti-realism. (shrink)

This article is an extended critical study of Robert C. Stalnaker, 'Inquiry' (Cambridge, MA: MIT Press, 1984).

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...

Later Wittgenstein is famous for having related meaning and use. Nonetheless, thanks to Dummett and Kripke, and the debates they provoked, a conventional wisdom is nowadays available: Wittgenstein, so the story goes, adopted a theory of meaning in terms of assertability conditions. This paper claims that it is wrong to attribute such a theory to the Investigations. For such a thesis to go through, one of the following two scenarios should be confirmed. It should either be true that Wittgenstein reduces (...) all meaning-engendering uses and conditions of use to assertion and assertability conditions, or that he invokes assertability conditions to show that meaning is always use. But, I will be claiming, the first scenario is excluded by Wittgenstein’s thoughts about the role of assertion and his thoughts about the sense-force distinction, while the second scenario is excluded by Wittgenstein’s thoughts about truth. (shrink)

I address the question whether Dummetts manifestation challenge to semantic realism can be disarmed by reflection on the compositionality of meaning. Building on work of Dummett and Wright, I develop in §§12 what I argue to be the most formidable version of the manifestation challenge. Along the way I review attempts by previous authors to deploy considerations about compositionality in realisms favour, and argue that they are unsuccessful. The formulation of the challenge I develop renders explicit something which I argue (...) to be implicit in Dummetts and Wrights presentations: that the challenge depends on a contention about the constitution of speakers states of declarative sentence understanding: i.e., that many such states incorporate abilities to recognize whether the associated sentences truth conditions are satisfied. In §3 I argue that reflection on the compositionality of meaning reveals, first, that this contention must be rejected by the realist, and second, that it is unmotivated. This result does not settle the debate over the manifestation challenge, but it implies that the onus of argument does not currently rest with the realist. (shrink)

The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in (...) the famous Hilbert-Brouwer controversy in the 1920s. -/- The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them? To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today? These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics. (shrink)

After introducing semantic anti-realism and the paradox of knowability, the paper offers a reconstruction of the anti-realist argument from understanding. The proposed reconstruction validates an unrestricted principle to the effect that truth requires the existence of a certain kind of “demonstration”. The paper shows that that principle fails to imply the problematic instances of the original unrestricted feasible-knowability principle but that the overall view underlying the new principle still has unrestricted epistemic consequences. Appealing precisely to the paradox of knowability, the (...) paper also argues, against the BHK semantics, for the non- constructive character of the demonstrations envisaged by semantic anti-realism, and contends that, in such setting, one of the most natural arguments for a broadly intuitionist revision of classical logic loses all its force.Tras presentar el anti-realismo semántico y la paradoja de la cognoscibilidad, el artículo ofrece una reconstrucción del argumento anti-realista basado en la comprensión. La reconstrucción que se propone valida un principio irrestricto, del que se sigue que la verdad requiere la existencia de un determinado tipo de “demostración”. El artículo muestra que este principio no implica las instancias problemáticas del original principio irrestricto de la cognoscibilidad realizable, y que la concepción general que subyace al nuevo principio todavía tiene consecuencias epistémicas irrestrictas. Apelando precisamente a la paradoja de la cognoscibilidad, el artículo argumenta además, en contra de la semántica BHK, a favor del carácter no constructivo de las demostraciones que contempla el anti-realismo semántico, y defiende que, en ese marco, uno de los argumentos más naturales a favor de una revisión a grandes rasgos intuicionista de la lógica clásica pierde toda su fuerza. (shrink)

In this paper, a solution to the problem of theoretical terms is developed that is based on Carnap’s doctrine of indirect interpretation of theoretical terms. This doctrine will be given a semantic, model-theoretic explanation that is not given by Carnap himself as he remains content with a syntactic explanation. From that semantic explanation, rules for the truth-value assignment to postulates, i.e. sentences that determine the meaning of theoretical terms, are derived. The logical status of postulates will be clarified thereby in (...) such a way that the problem of theoretical terms disappears. (shrink)

This is a critique of Michael P. Lynch’s functional pluralism with respect to truth. The paper is sympathetic to Lynch’s overall approach to truth, but is critical of (i) his platitudinous characterization of the general principles of truth, (ii) his excessive pluralism with respect to the “realizers” of truth, (iii) his treatment of atomic truth, and (iv) his analysis of “mixed” logical inferences. The paper concludes with a proposal for a functional pluralism that puts greater emphasis on the unity of (...) truth. For example: while Lynch regards truth as based on correspondence principles in some domains and on coherence principles in others, the current proposal regards truth as based on correspondence principles in all domains, restricting the plurality of truth to a plurality of correspondence principles. (shrink)

The Knowability Paradox purports to show that the controversial but not patently absurd hypothesis that all truths are knowable entails the implausible conclusion that all truths are known. The notoriety of this argument owes to the negative light it appears to cast on the view that there can be no verification-transcendent truths. We argue that it is overly simplistic to formalize the views of contemporary verificationists like Dummett, Prawitz or Martin-Löf using the sort of propositional modal operators which are employed (...) in the original derivation of the Paradox. Instead we propose that the central tenet of verificationism is most accurately formulated as follows: if φ is true, then there exists a proof of φ Building on the work of Artemov (Bull Symb Log 7(1): 1-36, 2001), a system of explicit modal logic with proof quantifiers is introduced to reason about such statements. When the original reasoning of the Paradox is developed in this setting, we reach not a contradiction, but rather the conclusion that there must exist non-constructed proofs. This outcome is evaluated relative to the controversy between Dummett and Prawitz about proof existence and bivalence. (shrink)

The concern of this paper is not with the truth of any particular realist or anti-realist view, but rather with determining what it is to be a realist or anti-realist in the first place. While much skepticism has been voiced in recent years about the viability of such a project, my goal is to articulate interesting and informative conditions whereby any view in any domain of experience can count as either a realist or an anti-realist position.

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

Realism is multiply ambiguous. The central concern of Part 1 of this paper is to distinguish several of its many senses — four (Theoretical Realism, Cumulative Realism, Progressive Realism and Optimistic Realism) in which it refers to theses about the status of scientific theories, and five (Minimal Realism, Ambitious Absolutism, Transcendentalism, Nidealism, Scholastic Realism) in which it refers to theses about the nature of truth or truth-bearers. Because Realism has these several, largely independent, senses, the conventional wisdom that Tarski's theory (...) of truth supports realism, and that the Meaning-Variance thesis undermines it, needs re-evaluation. The concern of the rest of the paper is to sort out in which senses the conventional wisdom, with respect to Tarski's theory (Part 2) and the Meaning-Variance thesis (Part 3), is correct. (shrink)

Lee Braver: A thing of this world: A history of continental anti-realism Content Type Journal Article Pages 1-10 DOI 10.1007/s11007-011-9210-9 Authors Paul Livingston, University of New Mexico, Albuquerque, NM, USA Journal Continental Philosophy Review Online ISSN 1573-1103 Print ISSN 1387-2842.

We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...) and everyaf is endowed with ajustification value, defined in terms of the intuitive notion of proof and depending on the truth values of its radical subformulas. In this framework, we define the notion ofpragmatic validity in P and yield a list of criteria of pragmatic validity which hold under the assumption that only classical metalinguistic procedures of proof be accepted. We translate the classical propositional calculus (CPC) and the intuitionistic propositional calculus (IPC) into the assertive part of P and show that this translation allows us to interpret Intuitionistic Logic as an axiomatic theory of the constructive proof concept rather than an alternative to Classical Logic. Finally, we show that our framework provides a suitable background for discussing classical problems in the philosophy of logic. (shrink)

Both arguments are based on the breakdown of normal criteria of identity in certain science-fictional circumstances. In one case, normal criteria would support the identity of person A with each of two other persons, B and C; and it is argued that, in the imagined circumstances, A=B and A=C have no truth value. In the other, a series or spectrum of cases is tailored to a sorites argument. At one end of the spectrum, persons A and B are such that (...) A=B is clearly true; at the other end, A and B are such that the identity is clearly false. In between, normal criteria of identity leave the truth or falsehood of A=B undecided, and it is argued that in these circumstances A=B has no truth value.These arguments are to be understood counterfactually. My claim is that, so understood, neither establishes its conclusion. The first involves a pair of counterfactual situations that are equally possible or tied. If A=B and A=C have no truth value, a counterfactual conditional with one of them as consequent and an antecedent that is true in circumstances in which either is true should have no truth value. Intuitively, however, any such counterfactual is false. The second argument can be seen to invite an analogous response. If this is right, however, there is an important disanalogy between this and the classical paradox of the heap. If the disanalogy is only apparent, the argument shows at most that the existence of persons can be indeterminate. (shrink)

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

How distinct is European philosophy of science? The first step is to characterize what is or might be considered as ‘European philosophy of science’. The second is to analyse philosophy of the social sciences as a relevant case in the European contribution to philosophy of science. ‘European perspective’ requires some clarification, which can be done from two main angles: the historical approach and the thematic view. Thus, there are several structural and dynamic things to be considered in European philosophy of (...) science and compare with other conceptions: the topics discussed; the contents proposed; and the style of thought used. The case of philosophy of the social sciences is relevant for the historical approach and for the thematic view. Historically, the Erklären–Verstehen methodological controversy arose in this continent, where the main authors and most of the influential approaches are located. Thematically, we can consider the contributions made by these European approaches... (shrink)

This paper is an attempt to convince anti-realists that their correct intuitions against the metaphysical inflationism derived from some versions of mathematical realism do not force them to embrace non-standard, epistemic approaches to truth and existence. It is also an attempt to convince mathematical realists that they do not need to implement their perfectly sound and judicious intuitions with the anti-intuitive developments that render full-blown mathematical realism into a view which even Gödel considered objectionable. I will argue for the following (...) two theses: that realism, in its standard characterization, is our default position, a position in agreement with our pre-theoretical intuitions and with the results of our best semantic theories, and that most of the metaphysical qualms usually related to it depends on a poor understanding of truth and existence as higher-order concepts. (shrink)

The intuitionistic conception of truth defended by Dummett, Martin Löf and Prawitz, according to which the notion of proof is conceptually prior1 to the notion of truth, is a particular version of the epistemic conception of truth. The paradox of knowability (first published by Frederic Fitch in 1963) has been described by many authors2 as an argument which threatens the epistemic, and the intuitionistic, conception of truth. In order to establish whether this is really so, one has to understand what (...) the epistemic conception of truth really is. So I shall start inpart I with a description of the matter at issue between theepistemic conception of truth and the opposite position, therealistic conception of truth. Inpart II I shall very briefly describe the paradox. Inpart III I shall try to answer the question which appears in the title of this paper: What can we learn from the paradox of knowability?. My conclusion will be that the paradox of knowability is not a refutation of the epistemic conception of truth, but helps us to better formulate (and understand) such a view. (shrink)

forthcoming in S. Lindström, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen (eds) Logicism, Intuitionism, and Formalism — What has Become of Them?, Synthese Library, Springer. Pdf file.

Truth’s universal knowability entails its discovery. This threatens antirealism, which is thought to require it. Fortunately, antirealism is not committed to it. Avoiding it requires adoption (and extension) of Dag Prawitz’s position in his long-term disagreement with Michael Dummett on the notion of provability involved in intuitionism’s identification of it with truth. Antirealism (intuitionism generalized) must accommodate a notion of lost-opportunity truth (a kind of recognition-transcendent truth), and even truth consisting in the presence of unperformable verifications. Dummett’s position cannot abide (...) this, while Prawitz’s can. Antirealism’s epistemic notion of truth derives from general features of its meaning theory, not from a universal knowability principle. (shrink)