I defend the Received View on scientific theories as developed by Carnap, Hempel, and Feigl against a number of criticisms based on misconceptions. First, I dispute the claim that the Received View demands axiomatizations in first order logic, and the further claim that these axiomatizations must include axioms for the mathematics used in the scientific theories. Next, I contend that models are important according to the Received View. Finally, I argue against the claim that the Received View is intended to (...) make the concept of a theory more precise. Rather, it is meant as a generalizable framework for explicating specific theories. (shrink)

Carnap suggests that philosophy can be construed as being engaged solely in conceptual engineering. I argue that since many results of the sciences can be construed as stemming from conceptual engineering as well, Carnap’s account of philosophy can be methodologically naturalistic. This is also how he conceived of his account. That the sciences can be construed as relying heavily on conceptual engineering is supported by empirical investigations into scientific methodology, but also by a number of conceptual considerations. I present a (...) new conceptual consideration that generalizes Carnap’s conditions of adequacy for analytic–synthetic distinctions and thus widens the realm in which conceptual engineering can be used to choose analytic sentences. I apply these generalized conditions of adequacy to a recent analysis of scientific theories and defend the relevance of the analytic–synthetic distinction against criticisms by Quine, Demopoulos, and Papineau. (shrink)

Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...) assumption of an artificial language methodology. (shrink)

The paper presents a formal explication of the early Wittgenstein's views on ontology, the syntax and semantics of an ideal logical language, and the propositional attitudes. It will be shown that Wittgenstein gave a language of thought analysis of propositional attitude ascriptions, and that his ontological views imply that such ascriptions are truth-functions of (and supervenient upon) elementary sentences. Finally, an axiomatization of a quantified doxastic modal logic corresponding to Tractarian semantics will be given.

_ Source: _Volume 94, Issue 3, pp 301 - 331 The idea that we can understand key aspects of the metaphysics of consciousness by understanding conscious states as having a _presentational_ character plays an essential role in the phenomenological tradition beginning with Brentano and Husserl. In this paper, the author explores some potential consequences of this connection for contemporary discussions of the ontology of consciousness in the world. Drawing on Hintikka’s analysis of epistemic modality, the author argues that the essential (...) presentational character of consciousness can be seen as accounting for the familiar failure of substitutivity of identicals in intensional contexts of conscious presentation and further provides for an ontology of conscious presentation that avoids metaphysically problematic commitments to “special” intentional objects. The author next considers how the irreducibility of intensional contexts, if grounded in the presentational character of consciousness, also may provide for a kind of irreducibility of the “first-person” perspective to third-person or objective description across possible worlds. Finally, drawing on Chalmers’ “two-dimensionalist” semantic framework, the author argues that attention to the presentational aspect of consciousness as thus understood, while it provides significant motivation for the existence of the “hard problem” of the irreducibility of consciousness to physical and structural description, is nevertheless consistent with a globally monist, rather than dualist, ontology. (shrink)

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

Frege's views regarding analysis and synomymy have long been the subject of critical discussion. Some commentators, led by Dummett, have argued that Frege was committed to the view that each thought admits of a unique ultimate analysis. However, this interpretation is in apparent conflict with Frege's criterion of synonymy, according to which two sentence express the same thought if one cannot understand them without regarding them as having the same truth–value. In a recent article in this journal, Drai attempts to (...) reconcile Frege's criterion of synonymy with unique ultimate analysis by holding that, for Frege, if two sentences satisfy the criterion without being intensionally isomorphic, at most one of them is a privileged representation of the thought expressed. I argue that this proposal fails, because it conflicts not only with Frege's views of abstraction principles but also with slingshot arguments (including one presented by Drai herself) that accurately reflect Frege's commitment to the view that sentences alike in truth–value have the same Bedeutung. While Drai helpfully connects Frege's views of abstraction principles with such slingshot arguments, this connection cannot become fully clear until we recognise that Frege rejects unique ultimate analysis. (shrink)

Expected Utility Theory (EUT) has anomalies when interpreted descriptively and tested empirically. Experiments show that the way in which options are formulated is, in most cases, relevant for decision-making. This kind of anomaly is directly related, however, not with a proper axiom of EUT but rather with the logical principle of extensionality and its decision theoretic version: the principle of invariance. This paper focuses on the phenomenon of framing effects (FE) and the associated failures of invariance. FE arise when different (...) descriptions of the same object lead to different preferences, beliefs, or choices. A formal reconstruction of the Gain–Loss (G-L) frame is proposed, expanding the domain of standard decision theory to incorporate not only prospects but also descriptions of prospects. The system is extended by adding non-monotonic logical resources so as to account for the ceteris paribus character of FE. Finally, the same method is applied to sketching a formal representation for an anomalous case that involves subjective probabilities. The logical method is a general one that can be applied to most cases of FE. The philosophical consequences of the strategy pursued are also discussed. (shrink)

Deploying distinctions between ignorance of \ and ignorance that \ , and between knowledge of \ and knowledge that \ , I address a question that has hitherto received little attention, namely: what is it to have knowledge of propositions? I then provide a taxonomy of ontological conceptions of the nature of propositions, and explore several of their interesting epistemological implications.

Werning applies a theorem by Hodges in order to put forward an argument against Quine's thesis of the indeterminacy of translation and in favour of what Werning calls 'semantic realism'. We show that the argument rests on two critical premises both of which are false. The reasons for these failures are explained and the actual place of this application of Hodges' theorem within Quine's philosophy of language is outlined.

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...) predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

This paper investigates the relation between Carnap and Quine’s views on analyticity on the one hand, and their views on philosophical analysis or explication on the other. I argue that the stance each takes on what constitutes a successful explication largely dictates the view they take on analyticity. I show that although acknowledged by neither party (in fact Quine frequently expressed his agreement with Carnap on this subject) their views on explication are substantially different. I argue that this difference not (...) only explains their differences on the question of analyticity, but points to a Quinean way to answer a challenge that Quine posed to Carnap. The answer to this challenge leads to a Quinean view of analyticity such that arithmetical truths are analytic, according to Quine’s own remarks, and set theory is at least defensibly analytic. (shrink)

This paper argues that Carnap both did not view and should not have viewed Frege's project in the foundations of mathematics as misguided metaphysics. The reason for this is that Frege's project was to give an explication of number in a very Carnapian sense — something that was not lost on Carnap. Furthermore, Frege gives pragmatic justification for the basic features of his system, especially where there are ontological considerations. It will be argued that even on the question of the (...) independent existence of abstract objects, Frege and Carnap held remarkably similar views. I close with a discussion of why, despite all this, Frege would not accept the principle of tolerance. (shrink)

This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of -categorial languages of the sort defined by Max Cresswell in [6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate -categorial languages with variables.

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

Principia Mathematic goes to great lengths to hide its order/type indices and to make it appear as if its incomplete symbols behave as if they are singular terms. But well-hidden as they are, we cannot understand the proofs in Principia unless we bring them into focus. When we do, some rather surprising results emerge ? which is the subject of this paper.

Bernard Linsky, The Evolution of Principia Mathematica; Bertrand Russell's Manuscripts and Notes for the Second Edition. Cambridge: Cambridge University Press. 2011. 407 pp. + two plates. $150.00/£...

According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are ambiguous, as (...) they can refer to form in either the syntactic or the morphological sense. CTM fails on each disambiguation, and the arguments for CTM immediately cease to be compelling once we register that ambiguity. The terms 'mechanical' and 'automatic' are comparably ambiguous. Once these ambiguities are exposed, it turns out that there is no possibility of mechanizing thought, even if we confine ourselves to domains where all problems can be settled through decision-procedures. The impossibility of mechanizing thought thus has nothing to do with recherché mathematical theorems, such as those proven by Gödel and Rosser. A related point is that CTM involves, and is guilty of reinforcing, a misunderstanding of the concept of an algorithm. (shrink)

We begin to fill a lacuna in the relevance logic enterprise by providing a foundational analysis of identity in relevance logic. We consider rival interpretations of identity in this context, settling on the relevant indiscernibility interpretation, an interpretation related to Dunn's relevant predication project. We propose a general test for the stability of an axiomatisation of identity, relative to this interpretation, and we put various axiomatisations to this test. We fill our discussion out with both formal and philosophical remarks on (...) identity in relevance logic. (shrink)

Content, according to Bolzano, is intransparent: our knowledge of certain essential features of the contents of our contentful mental acts is often severely limited. In this paper, I identify various intransparency theses Bolzano is committed to and present and evaluate the defence he offers for his view. I argue that while his intransparency theses may be correct, his defence is unsuccessful. Moreover, I argue that improving on his defence would require substantially modifying his general epistemology of content.

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

Rudolf Carnap’s logical pluralism is often held to be one in which corresponding connectives in different logics have different meanings. This paper presents an alternative view of Carnap’s position, in which connectives can and do share their meaning in some contexts. This re-interpretation depends crucially on extending Carnap’s linguistic framework system to include meta-linguistic frameworks, those frameworks which we use to talk about linguistic frameworks. I provide an example that shows how this is possible, and give some textual evidence that (...) Carnap would agree with this interpretation. Additionally, I show how this interpretation puts the Carnapian position much more in line with the position given in Shapiro than had been thought before. (shrink)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

In his paper on ‘Frege's Theory of Sense and Reference’ Saul Kripke remarks: “Like the present account, Künne stresses that for Frege times, persons, etc. can be part of the expression of the thought. However, his reading is certainly not mine in significant respects . . .”. On both counts, he is right. As regards the differences between our readings, in some respects I shall confess to having made a mistake, in several others I shall remain stubbornly unmoved. Thus I (...) shall insist on the need for distinguishing Fregean sense from linguistic (lexico-grammatical) meaning, I shall resist Kripke's function-theoretic account of ‘hybrid’ thought-expressions, and I shall deplore his transformation of Gottlob Frege into Gottrand Fressell. As regards this transformation, I shall argue that some of the main points Kripke wants to drive home do not depend on it. (shrink)

A response to critics, Douglas Patterson and Mark Textor, on Künne's modest theory of truth in *Conceptions of Truth*.

We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science. Firstly, it is argued that Dedekind sees the beginnings of a science in concepts, whereas Hilbert sees such beginnings in axioms. Secondly, it is argued that for Dedekind, the primitive terms of a science are substantive terms whose sense is to be conveyed by elucidation, whereas (...) Hilbert dismisses elucidation and consequently treats the primitives as schematic. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

In the essay, I compare the aims and especially the methods of philosophers and grammarians. It transpires that there are several interesting similarities to be found with the method and aim in particular of traditional 'armchair philosophers'. I argue that these similarities go far enough to suggest that if armchair philosophers' method is in a state of challenge, as is claimed by a number of experimental philosophers, then the same can be said about the method of grammarians. However, I also (...) try to show that it is not easy for experimental philosophers to frame their critique in a way that avoids construing its target too broadly, which would lead to unacceptable consequences. I conclude with some brief remarks on the extent to which a properly targeted critique can provide a challenge for traditional philosophical method. (shrink)

The Reduction of the Possible to the Real. Modern philosophy cannot avoid dealing with possible worlds - neither in the field of intensional logic nor in other fields not directly connected with logical investigations. This paper attempts to develop a method to substitute possible worlds by the real world, referring to the works of Stig Kanger and Nino B. Cocchiarella. This is done by investigating the metaphorical and dynamical functions of natural languages. It is proved that this new technique is (...) adequate for use in the semantics of intensional languages. As an example a language is constructed, which is based on the aristotelian view of universal concepts. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Everyday reasoning is replete with arguments which, though not logically valid, nonetheless harbor a measure of credibility in their own right. Here the claim that such arguments force us to acknowledge material validity, in addition to logical validity, is advanced, and criteria that attempt to unpack this concept are examined in detail. Of special concern is the effort to model these criteria on explications of logical validity that rely on notions of substitutivity and logical form. It is argued, however, that (...) such a parallel is not easily located and that it is uncertain that a construal of material validity can be fashioned after traditional accounts of logical validity. Attention is also given to the topics of enthymemes and to the proper domain of logic. (shrink)

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme □∃xφ ⊃ ∃x□φ.

The determination of the meaning of theoretical terms by the axioms of theories as meaning postulates and the merely fictitious character of a basic observational language leads to Feyerabends problem of the incommensurability of physical theories. Different theories are actually compared by physicists as well. They might have a common sub-language as the language of macroscopic physics in atomic physics. Furthermore shared metalaws define an equivalence relation which identifies terms of different theories and enables physicists to talk about them in (...) a common language. (shrink)