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.

: 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)

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)

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)

It is widely acknowledged that metaphysical assumptions, commitments and presuppositions play an important role in science. Yet according to the empiricist there is no place for metaphysics as traditionally understood in the scientific enterprise. In this paper I aim to take a first step towards reconciling these seemingly irreconcilable claims. In the first part of the paper I outline a conception of metaphysics and its relation to science that should be congenial to empiricists, motivated by van Fraassen’s work on ‘stances’. (...) There has been a considerable amount of recent work devoted to van Fraassen’s ‘stance’ view, but it has not on the whole been noticed that the view has the potential to motivate a general empiricist conception of the relation between science and metaphysics. In the second and third sections I discuss two examples from biology to illustrate this conception: metaphysical punctuationism, and its relation to and influence on the thesis of punctuated equilibrium; and dialectical biology as defended by Levins and Lewontin. (shrink)

ABSTRACTEcumenical Alethic Pluralism is a novel kind of alethic pluralism. It is ecumenical in that it widens the scope of alethic pluralism by allowing for a normatively deflated truth property alongside a variety of normatively robust truth properties. We establish EAP by showing how Wright’s Inflationary Arguments fail in the domain of taste, once a relativist treatment of the metaphysics and epistemology of that domain is endorsed. EAP is highly significant to current debates on the nature of truth insofar as (...) it involves a reconfiguration of the dialectic between deflationists and pluralists. (shrink)

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)

According to Minkoswki, Einstein's special theory of relativity reveals that ‘space by itself, and time by itself are doomed to fade away into mere shadows’. But perceptual experience represents objects as instantiating shapes like squareness — properties of ‘space by itself’. Thus, STR seems to threaten the veridicality of shape experience. In response to this worry, some have argued that we should analyze the contents of our spatial experiences on the model of traditional secondary qualities. On this picture—defended in recent (...) work by Chalmers —an experience of squareness just represents whatever property usually causes such experiences. This view salvages the veridicality of shape experience, but leaves the nature of the properties we perceive outside our ken. I argue that such a move is unwarranted: STR is compatible with the idea that shape experience acquaints us with the spatial character of our world. In defending this claim, I propose a view on which shape experience presents familiar Euclidean spatial properties veridically, while implicitly representing those properties as instantiated in a particular manner — namely, relative to our own frame of reference. (shrink)

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)

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)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (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)

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)

This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We outline an intuitionistic view of knowledge which maintains the original Brouwer–Heyting–Kolmogorov semantics for intuitionism and is consistent with the well-known approach that intuitionistic knowledge be regarded as the result of verification. We argue that on this view coreflectionA→KAis valid and the factivity of knowledge holds in the formKA→ ¬¬A‘known propositions cannot be false’.We show that the traditional form of factivityKA→Ais a distinctly classical principle which, liketertium non datur A∨ ¬A, does not hold intuitionistically, but, along with the whole of (...) classical epistemic logic, is intuitionistically valid in its double negation form ¬¬(KA¬A).Within the intuitionistic epistemic framework the knowability paradox is resolved in a constructive manner. We argue that this paradox is the result of an unwarranted classical reading of constructive principles and as such does not have the consequences for constructive foundations traditionally attributed it. (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)

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)

What is truth? What precisely is it that truths have that falsehoods lack? Pluralists about truth (or “alethic pluralists”) tend to answer these questions by saying that there is more than one way for a proposition, sentence, belief—or any chosen truth-bearer—to be true. In this paper, I argue that two of the most influential formations of alethic pluralism, those of Wright (1992, 2003a) and Lynch (2009), are subject to serious problems. I outline a new formulation, which I call “simple determination (...) pluralism,” that I claim offers better prospects for alethic pluralism, with the potential to have applications for pluralist theories beyond truth. (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)

An attempt was made to show how we can plausibly commit to mathematical realism. For the purpose of illustration, a defence of natural realism for arithmetic was developed that draws upon the American pragmatist’s, Hillary Putnam’s, early and later writings. Natural realism is the idea that truth is recognition-transcendent and knowable. It was suggested that the natural realist should embrace, globally, what N. Tennant has identified as M-realism (Tennant 1997, 160). M-realism is the idea that one rejects bivalence and assents (...) to the recognition-transcendent requirement. It was argued that over-all—for all domains—the natural realist should be a M-realist, with the aim of clarifying the realist debate for arithmetic. (shrink)