The article discusses Friedman's classic claim that economics can be based on irrealistic assumptions. It exploits Samuelson's distinction between two "F-twists" (that is, "it is an advantage for an economic theory to use irrealistic assumptions" vs "the more irrealistic the assumptions, the better the economic theory"), as well as Nagel's distinction between three philosophy-of-science construals of the basic claim. On examination, only one of Nagel's construals seems promising enough. It involves the neo-positivistic distinction between theoretical and non-theoretical ("observable") terms; so (...) Friedman would in some sense argue for the major role of theoretical terms in economics. The paper uses a model-theoretic apparatus to refine the selected construal and check whether it can be made to support the claim. This inquiry leads to essentially negative results for both F-twists, and the final conclusion is that they are left unsupported. (shrink)

According to a two-level criterion for combination tests in the field of ordinary language, moral 'ought'-sentences may be taken to imply 'I intend'-sentences partly semantically and partly pragmatically. If so, a trenchant linguistic analysis of the concept of moral obligation cannot do without a non-classical logic which allows to model these important kinds of ordinary-language implications by means of purely syntactical derivations. For this purpose, an integrated logic of conviction and intention has been tentatively devised by way of a doxastically, (...) buletically, and pragmatically extended calculus of natural deduction. This system of buletic logic cannot even be launched without one or two derivation rules of deductive closedness. However, these very closedness rules appear to be responsible for buletic paradoxes which are analogous to paradoxes long since known from other, less exotic branches of logic but at first sight look much more virulent. After having scrutinized two potential strategies for coping with the paradoxes of buletic logic, finally we can convince ourselves that these paradoxes, as well as their familiar non-buletic counterparts, are but apparent paradoxes, provided we consistently lean on C-CT and do not let pragmatical considerations intrude into purely logical ones. (shrink)

Different versions of moral projectivism are delineated: minimal, metaphysical, nihilistic, and noncognitivist. Minimal projectivism (the focus of this paper) is the conjunction of two subtheses: (1) that we experience morality as an objective aspect of the world and (2) that this experience has its origin in an affective attitude (e.g., an emotion) rather than in perceptual faculties. Both are empirical claims and must be tested as such. This paper does not offer ideas on any specific test procedures, but rather undertakes (...) the important preliminary task of clarifying the content of these subtheses (e.g., what is meant by "objective"? what is meant by "experience"?). Finally, attention is given to the relation between (a) acknowledging that the projectivist account might be true of a token moral judgment and (b) maintaining moral projectivism to be true as a general thesis. (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.

I. An argument is presented for the conclusion that the hypothesis that no one will ever decide a given proposition is intuitionistically inconsistent. II. A distinction between sentences and statements blocks a similar argument for the stronger conclusion that the hypothesis that I have not yet decided a given proposition is intuitionistically inconsistent, but does not block the original argument. III. A distinction between empirical and mathematical negation might block the original argument, and empirical negation might be modelled on Nelson''s (...) strong negation, but only on intuitionistically unacceptable assumptions. IV. Intuitionists may have to accept the original argument, and therefore be committed to a dubious view of time on which there cannot be merely inductive evidence for statements about the infinite future. (shrink)

Realists claim that, amongst the statements weunderstand, there are some which are true, yetwhose truth potentially transcends the limits ofwhat we can recognize. Dummett and othershave argued that this realist thesis is incompatiblewith an account of understanding in termsof recognitional capacities. But careful analysis revealsthat this contention is mistaken. Thealleged incompatibility presupposes the truth of ametaphysical principle which cannot bevindicated on the basis of an account of understanding.Realists have independent reason toreject this metaphysical principle, as it leads to a collapseof (...) more modest forms of realisminto more contentious ones. According to moderate realism,we neither know that there areactually recognition-transcendent truthsnor do we know taht there are none. Pending apositive case for the metaphysical principle, thisagnosticism is sufficient to warrant therealists' key thesis, viz. that there arepotentially recognition-transcendent truths. Thusrealism, in its more moderate guise, turns outto be the default position. (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)

The aim of this paper is to describe a methodology for revising logical principles in the light of empirical psychological findings. Historical philosophy of science and wide reflective equilibrium in ethics are considered as providing possible models for arguing from the descriptive to the normative. Neither is adequate for the psychology/logic case, and a new model is constructed, employing criteria for evaluating inferential systems. Once we have such criteria, the notion of reflective equilibrium becomes redundant.

It's generally agreed that, for a certain a class of cases, a rational subject cannot be wrong in treating two elements of thought as co-referential. Even anti-individualists like Tyler Burge agree that empirical error is impossible in such cases. I argue that this immunity to empirical error is illusory and sketch a new anti-individualist approach to concepts that doesn't require such immunity.

Questions concerning the nature of representation and what representations are about have been a staple of Western philosophy since Aristotle. Recently, these same questions have begun to concern neuroscientists, who have developed new techniques and theories for understanding how the locus of neurobiological representation, the brain, operates. My dissertation draws on philosophy and neuroscience to develop a novel theory of representational content.

There has been much discussion over the last decade between so-called ‘de se skeptics’ and ‘de se exceptionalists’. The debate concerns claims made by John Perry and David Lewis in 1979 on the basis of some now-famous examples they introduced. In this paper, I argue that different problems and questions have commonly been conflated when approaching these issues, and I reframe the whole debate by appealing to two theses on the transparency of mental content that have been widely overlooked. These (...) theses are essential components of the view challenged by Perry and Lewis and are indispensable for understanding the proper nature of the debates and positions in the literature. After distinguishing among three frequently conflated questions, I conclude that Perry’s and Lewis’s examples indeed present a problem for the view they were targeting, but this is not necessarily related to self-locating thoughts or indexical expressions. I also argue that our commitments to potential ‘de se thoughts’ are contingent on our positions regarding the transparency theses. I conclude the paper by exploring the prospects of an approach that, unlike most proposed views, completely abandons the idea that thoughts are relations between agents and contents. (shrink)

Call the epistemological grounds on which we rationally should determine our ontological (or alethiological) commitments regarding an entity its arbiter of existence (or arbiter of truth). It is commonly thought that arbiters of existence and truth can be provided by our practices. This paper argues that such views have several implications: (1) the relation of arbiters to our metaphysical commitments consists in indispensability, (2) realist views about a kind of entity should take the kinds of practices providing that entity’s arbiters (...) to align with respect to their metaphysical dependencies, (3) if realists take a kind of practice to provide grounds on which to affirm the existence of a kind of entity, they should turn to those same grounds when seeking to provide an epistemology of the relevant domain. (shrink)

Argues that truth, moral right, political right, and aesthetic value may be understood as arising out of a naturalist account of humanity, if naturalism is rightly conceived.

Brouwer’s view on induction has relatively recently been characterised as one on which it is not only intuitive (as expected) but functional, by van Dalen. He claims that Brouwer’s ‘Ur-intuition’ also yields the recursor. Appealing to Husserl’s phenomenology, I offer an analysis of Brouwer’s view that supports this characterisation and claim, even if assigning the primary role to the iterator instead. Contrasts are drawn to accounts of induction by Poincaré, Heyting, and Kreisel. On the phenomenological side, the analysis provides an (...) alternative to that in Tieszen’s Mathematical Intuition, and confirms a view of Gödel on his Dialectica Interpretation. (shrink)

In the current dialogue between two authors with different views on analysis, philosophy, and the use of labels, the leading question is: How should one understand the expression ‘analytic philosophy’? Lewin argues that as there are no generally agreed tenets and methods of what is being called ‘analytic philosophy’, the name is to be replaced by a more specific one or abandoned. Williamson defends the use of this phrase, claiming that it is quite serviceable, as it relates to a broad (...) tradition of influence, while it is not even required to adhere to the method of analysis in any distinctive sense. Lewin counters that, in this case, ‘analytic philosophy’ is too empty. One could heal this by conceptual analysis of ‘analytic philosophy’ — but then Kant, for whom philosophy is inherently analytic, would be a proponent of analytic philosophy. Another option is to follow Ryle’s ideal of a label-free, coherent and honest thinking. As Lewin argues, Williamson’s views seem at least partially to agree with Kant’s conception of the difference between philosophy and history of philosophy as well as empirical analysis and the underlying empirical realism. Williamson replies that he uses ‘analytic philosophy’ in its current meaning, which is not composed of the meanings of ‘analytic’ and ‘philosophy’. The current use is different from the earlier ones and not applicable to Kant. He argues against the transcendental idealism and the coarse-grained distinction between analytic and synthetic and a priori and a posteriori that requires an update. (shrink)

In these replies I develop responses to the fascinating issues raised in the commentaries on my book The Metaphysics of Truth from Matti Eklund, Gila Sher, Crispin Wright, and Jeremy Wyatt. I focus on four main areas where there seemed to be a degree of convergence amongst the critics: (1) the viability and use of the sparse/abundant property distinction; (2) truth, dependence, and superassertibility; (3) correspondence, realism, and anti—realism; and (4) my ‘globalizing’ argument against deflationism.

A position that has been called ‘classical indeterminism’ has recently been developed in order to model vagueness: this approach appeals to an object-language ‘determinately’ operator, the semantics of which are defined in such a way as to preserve the principle of bivalence. I suggest that a prominent argument against this strategy, which I call the Field–Williamson argument, fails. The classical indeterminist position in its general form was anticipated by the Aristotelian commentators in their discussions of Aristotle’s famous ‘sea battle’ passage (...) concerning future contingency. But I maintain that, ironically enough, the strategy is less happily applied in this case, where a version of the Field–Williamson argument succeeds. (shrink)

Williamson claims that we are cognitive homeless, and for most aspects of our cognitive life it is not the case that if we are in the mental state S we know or are in a position to know that we are in said mental state. In this paper, I critically examine Williamson’s argument, some common misconceptions, and provide a different understanding of the way we relate to our own mental states that shows how we are not always in a condition (...) of cognitive homelessness. (shrink)

In this dissertation, I seek to explain G.W.F. Hegel’s view that human accessible conceptual content can provide knowledge about the nature or essence of things. I call this view “Conceptual Transparency.” It finds its historical antecedent in the views of eighteenth century German rationalists, which were strongly criticized by Immanuel Kant. I argue that Hegel explains Conceptual Transparency in such a way that preserves many implications of German rationalism, but in a form that is largely compatible with Kant’s criticisms of (...) the original rationalist version. After providing background on Hegel’s relationship to the traditional rationalist theory of concepts and Kant’s challenge to it, I claim that Hegel’s central task is to provide a theory of conceptual content that allows a relationship to the objective world without being dependent on the specifically sensory aspect of the world, which Kant’s theory of concepts required. Since many interpreters deny that Hegel’s use of the term “concept” is comparable to other historical philosophers (or our own), I first show that Hegel’s critique of standard conceptions of concepts presupposes an agreement of subject matter. I then show how Hegel’s account of the “formal concept” provides the skeleton for a view of conceptual content that relies on negative relations between terms, rather than a relation to sensibility, to provide content. Hegel’s account of conceptual content is completed when he shows how a universal term is further specified so that it can determine singular objects. This occurs in its adequate form in a teleological process. I argue that Hegel’s account of teleology in the Science of Logic is an attempt to explain how and where Conceptual Transparency obtains. A teleological process is one in which a concept constitutes an object, and this means that a concept is perfectly adequate to express that thing’s nature and not merely to represent it. However, in the final chapter, I show that Hegel’s concept of teleology is meant paradigmatically to illuminate how human purposive processes have constituted a social world that is conceptually accessible to us. In this way, the primary “province” of Hegel’s rationalism is the human constructed world. (shrink)

I reconstruct my own journey into the history of the human sciences, which I show to have been a process of discovering the metaphysical standing of the human. I begin with Alexandre Koyré’s encounter with Edmund Husserl in the 1930s, which I use to throw light on the legacy of Kant’s ‘anthropological’ understanding of the human, which dominated and limited 19th-century science. As I show, those who broke from Kant’s strictures and set the stage for the 20th-century revolutions in science (...) - from Hegel, to John McTaggart, to Max Weber - typically were pursuing crypto-theological questions about how a finite being can comprehend an infinite universe. This journey is about the ‘common measure’ of being human, which is what links Plato to Kuhn, but has been most consistently taken up by law. I suggest that in seeking this ‘measure of man’, we may discover that to be human is not necessarily to be Homo sapiens, which would suggest a radical reorientation of the history of the human sciences. (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 we address the question of how it can be possible for a non-expert to acquire justified true belief from expert testimony. We discuss reductionism and epistemic trust as theoretical approaches to answer this question and present a novel solution that avoids major problems of both theoretical options: Performative Expert Testimony (PET). PET draws on a functional account of expertise insofar as it takes the expert’s visibility as a good informant capable to satisfy informational needs as equally important (...) as her specific skills and knowledge. We explain how PET generates justification for testimonial belief, which is at once assessable for non-experts and maintains the division of epistemic labor between them and the experts. Thereafter we defend PET against two objections. First, we point out that the non-expert’s interest in acquiring widely assertable true beliefs and the expert’s interest in maintaining her status as a good informant counterbalances the relativist account of justification at work in PET. Second, we show that with regard to the interests at work in testimonial exchanges between experts and non-experts, PET yields a better explanation of knowledge-acquisition from expert testimony than externalist accounts of justification such as reliabilism. As our arguments ground in a conception of knowledge, which conceives of belief-justification as a declarative speech act, throughout the rearmost sections of this paper we also indicate to how such a conception is operationalized in PET. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

In the recent literature on proof-theoretic semantics, there is mention of a generality condition on defining rules. According to this condition, the schematic formulation of the defining rules must be maximally general, in the sense that no restrictions should be placed on the contexts of these rules. In particular, context variables must always be present in the schematic rules and they should range over arbitrary collections of formulae. I argue against imposing such a condition, by showing that it has undesirable (...) results and that it is ill-supported by the arguments brought in its favour. (shrink)

Many work on flushing out what our consciousness means in cognitive and phenomenological terms, but no one has yet connected the dots on how consciousness and truth intersect, much less how our phenomenal consciousness can form the ground for most of our models of truth. Here, I connect those dots and argue that the basic structure of our phenomenal consciousness grounds the nature of truth as concordance, to harmonize in agreement, and that most extant theories on truth are well explained (...) in that grounding. Said another way, the unifying and bifurcating intentional structure of phenomenal consciousness is the non-epistemic ground of truth, such that most theories of truth can be explained as particular expressions of concordance based upon the differing aspects of that ground. (shrink)

The Generalized Integration Challenge is the task of providing, for a given domain of discourse, a simultaneously acceptable metaphysics, epistemology and metasemantics and showing them to be so. In this paper, we focus on a metaethical position for which seems particularly acute: the brand of normative realism which takes normative properties to be mind-independent and causally inert. The problem is that these metaphysical commitments seem to make normative knowledge impossible. We suggest that bringing metasemantics into play can help to resolve (...) this puzzle. We propose an independently plausible metasemantic constraint on reference determination and show how it can provide a plausible response to for this brand of normative realism. (shrink)

This paper aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of the equivalence relations countenanced in Homotopy Type Theory, in order to specify an abstraction principle for epistemic intensions. The homotopic abstraction principle for epistemic intensions provides an epistemic conduit into our knowledge of intensions as abstract objects. I examine, then, how intensional functions in Epistemic Modal Algebra are deployed as core models in the philosophy of mind, Bayesian perceptual psychology, (...) and the program of natural language semantics in linguistics, and I argue that this provides abductive support for the truth of homotopic abstraction. Epistemic modality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the Language of Thought. (shrink)

This paper deals with the possibility of faultless disagreement in law. It does this by looking to other spheres in which faultless disagreement appears to be possible, mainly in matters of taste and ethics. Three possible accounts are explored: the realist account, the relativist account, and the expressivist account. The paper tries to show that in the case of legal disagreements, there is a place for an approach that can take into account our intuitions in the sense that legal disagreements (...) are genuine and at times faultless. (shrink)

_ Source: _Page Count 25 The familiar challenges to historiographical knowledge turn on epistemological concerns having to do with the unobservability of historical events, or with the problem of establishing a sufficiently strong inferential connection between evidence and the historiographical claim one wishes to convert from a true belief into knowledge. This paper argues that these challenges miss a deeper problem, viz., the lack of obvious truth-makers for historiographical claims. The metaphysical challenge to historiography is that reality does not appear (...) to co-operate in our cognitive endeavours by providing truth-makers for claims about historical entities and events. Setting out this less familiar, but more fundamental, challenge to the very possibility of historiography is the first aim of this paper. The various ways in which this challenge might be met are then set out, including ontologically inflationary appeals to abstract objects of various kinds, or to “block” theories of time. The paper closes with the articulation of an ontologically parsimonious solution to the metaphysical challenge to historiography. The cost of this approach is a revision to standard theories of truth. The central claim here is that the standard theories of truth have mistaken distinct causes of truth for truth itself. This mistake leads to distorted expectations regarding truth-makers for historiographical claims. The truth-makers of historiographical claims are not so much the historical events themselves but atemporal modal facts about the order of things of which those events were a part. (shrink)

What is it to know the meaning of a word? The traditional view is that it involves the possession of a concept that determines the extension of a word, with the concept corresponding to a single psychological state. Millikan criticizes this view, denying not only that concepts determine extensions but also that sharing a concept means sharing a psychological state. The purpose of this article is to defend a modified version of the traditional view. I argue that Millikan's claims do (...) not translate directly into a thesis about word meaning. Her arguments relate to an extra-linguistic approach to extension, which we can distinguish from a linguistically oriented notion of extension. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

It has become apparent that the debate between scientific realists and constructive empiricists has come to a stalemate. Neither view can reasonably claim to be the most rational philosophy of science, exclusively capable of making sense of all scientific activities. On one prominent analysis of the situation, whether we accept a realist or an anti-realist account of science actually seems to depend on which values we antecedently accept, rather than our commitment to “rationality” per se. Accordingly, several philosophers have attempted (...) to argue in favour of scientific realism or constructive empiricism by showing that one set of values is exclusively best, for anyone and everyone, and that the downstream choice of the philosophy of science which best serves those values is therefore best, for anyone and everyone. These efforts, however, seem to have failed. In response, I suggest that philosophers of science should suspend the effort to determine which philosophy of science is best for everyone, and instead begin investigating which philosophy of science is best for specific people, with specific values, in specific contexts. I illustrate how this might be done by briefly sketching a single case study from the history of science, which seems to show that different philosophies of science are better at motivating different forms of scientific practice. (shrink)

In this paper I provide a theory of the speech act of assertion according to which assertion is a species of joint action. In doing so I rely on a theory of joint action developed in more detail elsewhere. Here we need to distinguish between the genus, joint action, and an important species of joint action, namely, what I call joint epistemic action. In the case of the latter, but not necessarily the former, participating agents have epistemic goals, e.g., the (...) acquisition of knowledge. It is joint epistemic action that assertion is a species of. (shrink)

In this paper, I argue that a definition of paternalism must meet certain methodological constraints. Given the failings of descriptivist and normatively charged definitions of paternalism, I argue that we have good reason to pursue a normatively neutral definition. Archard's 1990 definition is one such account. It is for this reason that I return to Archard's account with a critical eye. I argue that Archard's account is extensionally inadequate, failing to capture some cases which are clear instances of paternalism. I (...) refine each of his three conditions, ultimately providing an improved definition of paternalistic interference. This revised definition meets specific methodological constraints, offering a definition that is both neutral between anti- and pro-paternalistic intuitions, but that also explains why paternalism is normatively significant. Specifically, this definition captures the conflict between interfering with an individual's choices and treating the individual benevolently, without making paternalism permissible or impermissible by definition. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

Michael Dummett famously maintained that analytic philosophy was simply philosophy that followed Frege in treating the philosophy of language as the basis for all other philosophy (1978, 441). But one important insight to emerge from computer science is how difficult it is to animate the linguistic artifacts that the analysis of thought produces. Yet, modeling the effects of thought requires a new skill that goes beyond analysis: procedural literacy. Some of the most promising research in philosophy makes use of a (...) variety of modeling techniques that go beyond basic logic and elementary probability theory. What unifies this approach is a focus on what Alan Perlis called procedural literacy. This essay argues that the future spoils in philosophical research will disproportionally go to those who are procedurally literate. (shrink)

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version of the verificationist principle of truth (...) in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories. (shrink)

Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about (...) the truth or falsity of atomic sentences, A always receives the top-element of a certain partial order on non-ontic semantic values as its value. The ordering in question is a told-true order. Analogously, a formula A is logically false just in case no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain told-false order as its value. Here, truth and falsity are pari passu , and it is the treatment of truth and falsity as independent of each other that leads to an informational interpretation of these notions in terms of a certain kind of higher-level information. (shrink)

A principal challenge for a deflationary theory is to explain the value of truth: why we aim for true beliefs, abhor dishonesty, and so on. The problem arises because deflationism sees truth as a mere logical property and the truth predicate as serving primarily as a device of generalization. Paul Horwich, attempts to show how deflationism can account for the value of truth. Drawing on the work of J. L. Austin, I argue that his account, which focuses on belief, cannot (...) adequately accommodate the complex role that truth plays in the norms governing assertion and similar speech acts. (shrink)

Whether meaning is compositional has been a major issue in linguistics and formal philosophy of language for the last 2 decades. Semantic holism is widely and plausibly considered as an objection to the principle of semantic compositionality therein. It comes as a surprise that the holistic peculiarities of scientific language have been rarely addressed in formal accounts so far, given that semantic holism has its roots in the philosophy of science. For this reason, a model-theoretic approach to semantic holism in (...) the language of science is presented here. This approach preserves compositionality to a large extent. *Received September 2009; revised February 2010. †To contact the author, please write to: Seminar for Philosophy, Logic, and Theory of Science, Hauspostfach 49, Ludwig-Maximilians-Universität, Munich 80539, Germany; e-mail: [email protected]. (shrink)

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

In this paper the informativeness account of assertion (Pagin in Assertion. Oxford University Press, Oxford, 2011) is extended to account for inference. I characterize the conclusion of an inference as asserted conditionally on the assertion of the premises. This gives a notion of conditional assertion (distinct from the standard notion related to the affirmation of conditionals). Validity and logical validity of an inference is characterized in terms of the application of method that preserves informativeness, and contrasted with consequence and logical (...) consequence, that is defined in terms of truth preservation. The proposed account is compared with that of Prawitz (Logica yearbook 2008, pp. 175-192. College Publications, London, 2009). (shrink)

Philosophers have responded to McTaggart’s famous argument for the unreality of time in a variety of ways. Some of those responses are not easy to evaluate, since they involve, for example, sometimes murky questions concerning whether a certain infinite regress is or is not vicious. In this paper I set out a response that has not, I think, been advanced by any other author, and which, if successful, is absolutely clear-cut. The basic idea is simply that a tensed approach to (...) time can avoid McTaggart’s contradiction, and can also avoid any regress, vicious or otherwise, by specifying the times at which events have different tensed properties in a tenseless fashion — namely, by using dates. This answer to McTaggart’s argument is, however, open to four important objections. The first objection is that my answer to the second part of McTaggart’s argument is incompatible with something that McTaggart takes himself to have proved in the first part of his argument — the claim, namely, that “there can be no change unless some propositions are sometimes true and sometimes false.” The second objection is that the sentences that I claim can be used to specify when an event has a given tensed property do not in fact do so, since they turn out to be purely tenseless sentences. The third objection is that the sentences in question make use of tenseless verbs, and that it is not in fact possible to make sense of such verbs. The fourth and final objection is that it is not really possible to specify, in tenseless terms, when an event has a given tensed property, since dates have to be analyzed using the relation of temporal priority, and that relation, in turn, must be analyzed in terms of the tensed properties of pastness, presentness and futurity, so that the purportedly tenseless specification is implicitly tensed. I argue, however, that none of these four objections can be sustained. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)