The aim of the present volume is to draw the balance of naturalism's success so far.

Baker claims to provide an example of mathematical explanation of an empirical phenomenon which leads to ontological commitment to mathematical objects. This is meant to show that the positing of mathematical entities is necessary for satisfactory scientific explanations and thus that the application of mathematics to science can be used, at least in some cases, to support mathematical realism. In this paper I show that the example of explanation Baker considers can actually be given without postulating mathematical objects and thus (...) cannot be used by the mathematical realist. I also show that, despite this, mathematics keeps playing an important methodological role in the explanation and does not reduce to a merely computational or descriptive framework. (shrink)

La thèse de l'indétermination de la traduction de W. V. O. Quine est certainement une des thèses les plus controversées de la philosophie du langage. Le présent article explique en quoi consiste cette thèse et examine les liens qu'elle entretient avec la thèse de la sous-détermination des théories scientifiques. La première section montre comment la thèse de l'indétermination de la traduction découle de la conception behavioriste du langage de Quine. Les sections suivantes exposent deux façons de dériver la thèse de (...) l'indétermination: par le holisme et le vérificationnisme dans la section 2 et par la thèse de la sous-détermination dans la section 3. La section 4 précise la formulation de la thèse de la sous-détermination proposée dans «On Empirically Equivalent Systems of the World» et la section 5 expose les critiques exprimées par W. Bechtel à propos de cette formulation. Ces critiques témoignent d'une mauvaise compréhension de la position de Quine et j'essaierai de montrer en quoi elles sont fautives. La section 6 traite des deux façons de dériver la thèse de l'indétermination, à la lumière des modifications apportées à la formulation de la thèse de la sous-détermination. Enfin, la section 7 s'intéresse aux questions de fait relatives à la sous-détermination des théories et à l'indétermination de la traduction. (shrink)

Despite Donald Davidson's influential criticism of the very notion of conceptual schemes, the notion continues enjoying its popularity in contemporary philosophy and, accordingly, conceptual relativism is still very much alive. There is one major reason responsible for Davidson's failure which has not been widely recognized: What Davidson attacks fiercely is not the very notion, but a notion of conceptual schemes, namely, the Quinean notion of conceptual schemes and its underlying Kantian scheme-content dualism. However, such a notion simply cannot carry the (...) weight of conceptual relativism for it does not catch the essences of conceptual relativism. Consequently, I argue that the very notion of conceptual schemes and conceptual relativism have survived Davidson's attack. Therefore, the failure of the Quinean notion of conceptual schemes and Kantian scheme-content dualism, even if Davidson can claim victory, does not mark the end of the very notion of conceptual schemes.[ABSTRACT FROM AUTHOR]. (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)

I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...) is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions. (shrink)

This paper considers the connection between concepts, conceptual schemes and grammar in Wittgenstein’s last writings. It lists eight claims about concepts that one can garner from these writings. It then focuses on one of them, namely that there is an important difference between conceptual and factual problems and investigations. That claim draws in its wake other claims, all of them revolving around the idea of a conceptual scheme, what Wittgenstein calls a ‘grammar’. I explain why Wittgenstein’s account does not fall (...) prey to Davidson’s animadversions against the idea of a conceptual scheme as a force operating on a pre-conceptual content. In the sequel I deny that the distinction between grammatical and empirical propositions disappears in the last writings: it is neither deliberately abandoned, nor willy-nilly undermined by the admission of hinge propositions in On Certainty or by the role accorded to agreement in judgement. (shrink)

This paper is an examination of evidential holism, a prominent position in epistemology and the philosophy of science which claims that experiments only ever confirm or refute entire theories. The position is historically associated with W.V. Quine, and it is at once both popular and notorious, as well as being largely under-described. But even though there’s no univocal statement of what holism is or what it does, philosophers have nevertheless made substantial assumptions about its content and its truth. Moreover they (...) have drawn controversial and important conclusions from these assumptions. In this paper I distinguish three types of evidential holism and argue that the most oft-cited and controversial thesis is entirely unmotivated. The other two theses are much overlooked, but are well-motivated and free from controversial implications. (shrink)

This essay reconsiders Davidson's critical attribution of the scheme‐content distinction to Quine's naturalized epistemology. It focuses on Davidson's complaint that the presence of this distinction leads Quine to mistakenly construe neural input as evidence. While committed to this distinction, Quine's epistemology does not attempt to locate a justificatory foundation in sensory experience and does not then equate neural intake with evidence. Quine's central epistemological task is an explanatory one that attempts to scientifically clarify the route from stimulus to science. Davidson's (...) critical remarks wrongly assign concerns to Quine's view that it does not have and further obscures the status of his naturalized conception of epistemology. (shrink)

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

The purpose of this paper is to present a thought experiment and argument that spells trouble for “radical” deflationism concerning meaning and truth such as that advocated by the staunch nominalist Hartry Field. The thought experiment does not sit well with any view that limits a truth predicate to sentences understood by a given speaker or to sentences in (or translatable into) a given language, unless that language is universal. The scenario in question concerns sentences that are not understood but (...) are known to be logical consequences of known and understood sentences. Ultimately, the issue turns on the notion of logical consequence that is available to various versions of deflationism. (shrink)

Quines ontological relativity is related to Tarskis theory of truth in two ways: Quine repudiates term-by-term-correspondence, as does Tarskis rule of truth; and Quines proxy argument in support of relativity finds exact formulation in Tarskis truth definition.Unfortunately, relativity is threatened by the fact that the proxy argument doesnt comply with the rule of truth (Tarskis celebrated condition (T)). Despite Quines express allegiance to (T), use of proxy schemes does not generate all of the true sentences condition (T) requires.

There is a long tradition of drawing metaphysical conclusions from investigations into language. This paper concerns one contemporary variation on this theme: the alleged ontological significance of cognitivist truth-theoretic accounts of semantic competence. According to such accounts, human speakers’ linguistic behavior is in part empirically explained by their cognizing a truth-theory. Such a theory consists of a finite number of axioms assigning semantic values to lexical items, a finite number of axioms assigning semantic values to complex expressions on the basis (...) of their structure and the semantic values of their constituents, and a finite number of production schemata. The theory enables the derivation of truth-conditions for each sentence of the language: something of roughly the form ‘S is true iff P’.1 The claim that speakers stand in a cognitive relation to such theories is advanced, not as a conceptual analysis of semantic competence or understanding, but rather as an empirical hypothesis about human speakers in particular, one part of a broader empirical account of our linguistic competence and cognition generally. It therefore must mesh with the rest of our theorizing in these areas and whatever relevant data from neighboring inquiries there may be. The precise nature of the cognitive relation a speaker is supposed to bear to a truththeory is a matter of some dispute. I speak of ‘‘cognizing’’ (following. (shrink)

A chief aim of this paper is to provide common ground for discussion of outstanding issues between defenders of classical logic and contemporary advocates of intuitionistic logic. In this spirit, I draw upon (and reconstruct) here the relationship between dialogue and evidence as emphasized in German constructivist authors. My approach depends upon developments in the methodology of empirical linguistics. As a preliminary to saying how one might decide between these two versions of logic (this issue is most closely approached in (...) Section V. discussing the constructivist approach), it is well worth the effort to look closely at how logic is (or might be) learned and at questions concerning logic in translation, i.e., the question of how we might detect the variety of logic actually employed in a given speech community. (shrink)

The present paper challenges the narrow scientistic conception of Nature that underlies current projects of naturalization involving, say, evaluative or intentional discourse. It is more plausible to hold that science provides only a partial characterization of the natural world. I consider McDowell's articulation of a more liberal naturalism, one which recognizes autonomous normative facts about reasons, meanings and values, as genuine constituents of Nature on a more liberal conception of it. Several critics have claimed that this account is vitiated by (...) the threat of supernaturalism. Responsiveness to normative facts is, I argue, a phenomenological datum that we have good reason to take at face value. I trace the source of the supernaturalist objection to a misreading of McDowell's perceptual analogy with respect to value and a related failing to clearly distinguish physical and logical notions of an object. (shrink)

The scales across which physical properties exist are vast and subtle in their effects on particular systems placed locally on such scales. For example, human experiential access is restricted only to partial segments of the mass density, size, and temperature scales of the universe. I argue that philosophers must learn to appreciate better the effects of physical scales. Specifically, thought experiments in philosophy should be more sensitive to physical scale effects, because the conclusion of a thought experiment may be undermined (...) by unintentionally ignored scale effects, and the changes required to obtain the foreground state of affairs in a thought experiment might require unacknowledged scale-spanning changes to the contextual background. I discuss four philosophical thought experiments: Putnam's Twin Earth and Brain in a Vat, Searle's Chinese Room, and Chalmers's Zombies Without Qualia. I close by briefly defending the greater interest and importance of physical possibility over logical possibility. (shrink)

This paper discusses conceptual relativism. The main focus is on the contrasting ideas of Wittgenstein and Davidson, with Quine, Kuhn, Feyerabend and Hacker in supporting roles. I distinguish conceptual from alethic and ontological relativism, defend a distinction between conceptual scheme and empirical content, and reject the Davidsonian argument against the possibility of alternative conceptual schemes: there can be conceptual diversity without failure of translation, and failure of translation is not necessarily incompatible with recognizing a practice as linguistic. Conceptual relativism may (...) be untenable, but not for the hermeneutic reasons espoused by Davidson. (shrink)

Operationalism and theoretical entities. The thesis of the“theory ladenness” of observation leads to an antinomy. In order to solve this antinomy a technical operationalism is sketched, according to which theories should in principle not contain anything that cannot be reduced to technical procedures. This implies the rejection of Quine's underdeterminacy thesis and of many views about the theoretical-observational distinction, e.g. neopositivistic views, van Fraassen's view, Sneed-Stegmüller's view. Then I argue for the following theses: 1. All scientific concepts are theory laden (...) in the sense that they allow us to anticipate possible experiences, but they have to be in principle fully observable, i.e. integrally convertible into operational-technical applications. 2. The observation/theory distinction can be maintained as a historical one: what is observable depends on the instruments that are available at any stage of the development of science. 3.In principle theoretical entities are empirically real in Hacking's sense. However, some aspects of Hacking's realism are to be criticized. Theoretical entities are to be resolved into the totality of the interrelated properties accessible to us by means of theoretical points of view embodied in scientific instruments. (shrink)

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

Blackburn and Searle have argued that Quine‘s thesis of the indeterminacy of translation results in a denial of the sort of first-person authority that we commonly concede we have over our mental and semantical content. For, the indeterminacy thesis implies that there is no determinate meaning to know at all. And, according to Quine, the indeterminacy holds at home too. For Blackburn, Quine must constrain the domain of indeterminacy to the case of translation only. Searle believes that Quine has no (...) other choice but to give up on his behaviorism. Hylton, however, has attempted to defend Quine against these objections, by arguing that Quine‘s naturalistic claim that speaking a language is nothing but possessing certain dispositions to act in specific ways would enable him to accommodate first-person authority. I will argue that the objections from Blackburn and Searle, as well as Hylton‘s solution, are all problematic when seen from within Quine‘s philosophy. I will introduce a sort of Strawsonian-Wittgensteinian conception of first-person authority and offer that it would be more than compatible with Quine‘s naturalistic philosophy. (shrink)

This chapter uses the distinction between speculative and analytic philosophy as a background against which to present the summaries of the articles on the nature of philosophy by Mary Whiton Calkins, Dorothy Walsh and Marjorie Glicksman. Calkins and Walsh (in her first contribution) examine the relationship between philosophy and metaphysics: Calkins identifies philosophy with speculative metaphysics while Walsh argues that any ethical theory requires some underlying speculative metaphysics. In Walsh’s second contribution, she further argues that philosophical language rightly is characteristically (...) different from the languages of science, logic and poetry. Glicksman, finally, addresses the question how to deal with the multiplicity of views concerning the nature of philosophy. (shrink)

This is an updated version of an essay originally written for a special issue of Philosophical Topics on the links between Kant and analytic philosophy. It explores these links by focusing on: Wittgenstein’s Tractatus; the logical positivism endorsed by Ayer; and the (very different) variation on that theme endorsed by Quine. The claim defended is that in all three cases we see analytic philosophers trying to attain and express a general philosophical understanding of why the bounds of sense should be (...) drawn where they should—but thereby confronting the aporia, which Kant too confronted, that it is impossible to do this without transgressing those very bounds. The paper closes by suggesting that the problem is in trying to attain and express such an understanding; in other words, that such an understanding is attainable, but not expressible. (shrink)

Time is what clocks are used to measure. Information about time tells the durations of events and when they occur and which events happen before which others, so time plays a very significant role in the universe’s structure, including the structure of our personal lives. But carefully describing time’s properties has led to many unresolved issues, both philosophical and scientific.

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

Quine’s argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine’s argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher’s quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake as there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine’s argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine’s work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. -/- . (shrink)

In her paper “Neo-positivist metaphysics” (Philosophical Studies, 160(1), 53–78, 2012), Alyssa Ney promises a naturalized metaphysics that is acceptable even by positivists’ – and specifically Carnap’s – standards. This neo-positivist metaphysics takes its outset in the findings of our best science and relies on them to inform a metaphysics that can avoid the dependence on linguistic frameworks that is inherent to Carnapian deflationism. Neo-positivist metaphysics attempts to sidestep these problems by inheriting its semantic credentials directly from science itself. This paper (...) argues that such attempts are unsuccessful since science contains no resources with which to answer Carnap’s challenge either, and a science-based metaphysics is therefore just as vulnerable to Carnapian deflationism as traditional metaphysics. Consequently, neo-positivist metaphysics does not provide the promised metaphysics that can avoid Carnapian deflationism. While this conclusion focuses on Ney’s neo-positivist metaphysics, its scope includes any attempt to avoid Carnapian deflationism by a naturalized metaphysics that relies on strict deference to the findings of science. Substantial metaphysics – naturalized or not – is impossible unless or until Carnapian deflationism is refuted, and the resources for such a refutation cannot be found in naturalized metaphysics. (shrink)

In this article a neo-Jamesian approach to the self is developed within a naturalistic, bottom-up, and systemic-relational framework. In this approach, consciousness of the body as one’s own body is a necessary precondition of self-consciousness as psychological self-awareness, and hence of a socially and historically situated narrative self. Thus we take on board the criticism of those accounts of the narrative self that pay little attention to embodiment, or go to the extreme of stating that the narrative self is abstract (...) and hence not embodied. But at the same time, we reject the idea that the embodiment of the narrative self is provided by a pre-reflective self-consciousness. By contrast, we view self-consciousness as a construction all the way down, which develops from automatic and pre-reflective processing of representations of objects (object-consciousness), through awareness and then self-awareness of the body, up to introspective self-awareness and then narrative identity. This form of constructivism is a naturalistic reinterpretation of the Hegelian idea that selfhood is socially constructed and self-experience intersubjectively mediated. However, it enables to move away from that blend of narrativism and epiphenomenism that characterizes some strands of the socio-constructivist approach to the narrative self. The storied Me that the selfing process makes is not “empty chatter”, but rather a causally efficacious layer of personality viewed as a self-unifying system. (shrink)

On a common reading of Davidson, the motivation for his proposal that a meaning theory is to take the form of a truth theory is at least partly guided by concern with the ends and means of interpretation. At the same time, the consensus seems to be that this proposal faces a particularly stubborn justificatory burden. The aim of this paper is twofold: first, to suggest that there is a promising route to discharging this burden, albeit one that is visible (...) only once we shift our attention away from the so-called ‘problem of interpretation’; second, to make the case that, contrary to initial appearances, the line of justification offered here gives us a plausible interpretation of Davidson’s own goals. (shrink)

I discuss Putnam’s conception of logical truth as grounded in his picture of mathematical practice and ontology. i begin by comparing Putnam’s 1971 Philosophy of Logic with Quine’s homonymous book. Next, Putnam’s changing views on modality are surveyed, moving from the modal pre-formal to the de-modalized formal characterization of logical validity. Section three suggests a complementary view of Platonism and modalism underlying different stages of a dynamic mathematical practice. The final section argues for the pervasive platonistic conception of the working (...) mathematician. (shrink)

In this paper I return to the mid-20th-century debate between Quine and Carnap on the status of metaphysics questions with an eye toward advancing contemporary debates about whether naturalists can coherently undertake substantive metaphysical inquiry. Following Huw Price, I take the debate between Quine and Carnap to hinge, in part, on whether human inquiry is functionally unified. However, unlike Price, I suggest that this question is not best understood as a question about the function(s) of descriptive discourse. This goes along (...) with rejecting a “linguistic conception” of the starting point of metaphysical inquiry, which, although shared by Quine and Carnap, Price gives us no good reason to think is mandatory for naturalists. I sketch two reasons naturalists have to reject a particular manifestation of this linguistic conception in Quine’s work—his criterion of ontological commitment. Finally, I show how these reasons can help us identify the grains of truth in some recent critiques of “mainstream metaphysics of mind.”. (shrink)

Contemporary analytic philosophy is dominated by metaphilosophical naturalism, the view that philosophy ought to be continuous with science. This naturalistic turn is for a significant part due to the work of W. V. Quine. Yet, the development and the reception of Quine’s naturalism have never been systematically studied. In this paper, I examine Quine’s evolving naturalism as well as the reception of his views. Scrutinizing a large set of unpublished notes, correspondence, drafts, papers, and lectures as well as published responses (...) to Quine’s work, I show how both internal tensions and external criticisms forced him to continuously develop, rebrand, and refine his metaphilosophy before he explicitly decided to label his view ‘naturalism’ in the late 1960s. (shrink)

Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...) forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)

Quine’s naturalism has no room for a point of view outside science from which one might criticize science, or a transcendental point of view from which one could ask questions about the adequacy of science with respect to reality (‘as it is in itself ’). Adrian Moore sniffs out some genuine tensions in this, arguing in effect that Quine is forced by his own views to admit those sorts of questions as legitimate. I venture that Quine, even if he would (...) grant that the posing of such questions is an inevitable feature of reason in some sense, would take such curiosity to be strictly speaking a mistake, something like that of thinking there must be a single truth-predicate for all levels of Tarski’s hierarchy. (shrink)

As against the view represented here by Peter Hacker and John Canfield, I urge that the philosophies of Quine and Wittgenstein can be reconciled. Both replace the orthodox view of language as resting on reference: Quine with the notion of linguistic disposition, Wittgenstein with the notions of grammar and forms of life. I argue that Wittgenstein's insistence, in the rule-following discussion, that at bottom these are matters of practice, of ‘what we do’, is not only compatible in a rough sort (...) of way with Quine's outlook, but is very close to Quine's naturalistic view of language. And I argue that the likely objections to this can on the one hand be explained away as Quine's having been interested in a very narrow slice of language in comparison with Wittgenstein, and on the other by a failure to take into account later developments in Quine’s views. (shrink)

David Enoch has recently proposed that the deliberative indispensability of irreducibly normative facts suffices to support their inclusion in our ontology, even if they are not necessary for the explanation of any observable phenomena. He challenges dissenters to point to a relevant asymmetry between explanation and deliberation that shows why explanatory indispensability, but not deliberative indispensability, is a legitimate guide to ontology. In this paper, I aim to do just that. Given that an entity figures in the actual explanation of (...) some phenomenon, it is not an open question whether that entity exists. Thus, if you can manage to find actual explanations, you can find answers to ontological questions. In contrast, even if some entity is indispensable to deliberation, it still might not exist. For example, even if some form of libertarian free will is deliberatively indispensable, we still might not have libertarian free will. So even if you manage to discover the indispensable commitments of deliberation, there is still more work to do to get to the bottom of things. That additional work is explanatory work, and so deliberative indispensability is not an independent guide to what there is. (shrink)

Author's replies to an APA book symposium on "Carnap, Tarski, and Quine at Harvard.".

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in the literature (...) which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

Do numbers exist? Do properties? Do possible worlds? Do fictional characters? Many metaphysicians spend time and effort trying to answer these and other questions about the existence of various entities. These inquiries have recently encountered opposition: a group of philosophers, drawing inspiration from Aristotle, have argued that many or all of the existence questions debated by metaphysicians can be answered trivially, and so are not worth debating. Our task is to defend existence questions from the neo-Aristotelians' attacks.

The special composition question is the question, ‘When do some things compose something?’ The answers to this question in the literature have largely been at odds with common sense, either by allowing that any two things compose something, or by denying the existence of most ordinary composite objects. I propose a new ‘series-style’ answer to the special composition question that accords much more closely with common sense, and I defend this answer from van Inwagen's objections. Specifically, I will argue that (...) the proposed answer entails the transitivity of parthood, that it is non-circular, and that it casts some light on the ancient puzzle about the Ship of Theseus. (shrink)

W. V. Quine thinks logical truth can be defined in purely extensional terms, as follows: a logical truth is a true sentence that exemplifies a logical form all of whose instances are true. P. F. Strawson objects that one cannot say what it is for a particular use of a sentence to exemplify a logical form without appealing to intensional notions, and hence that Quine's efforts to define logical truth in purely extensional terms cannot succeed. Quine's reply to this criticism (...) is confused in ways that have not yet been noticed in the literature. This may seem to favour Strawson's side of the debate. In fact, however, a proper analysis of the difficulties that Quine's reply faces suggests a new way to clarify and defend the view that logical truth can be defined in purely extensional terms. (shrink)

In this book, the extend to which we can equip artificial agents with moral reasoning capacity is investigated. Attempting to create artificial agents with moral reasoning capabilities challenges our understanding of morality and moral reasoning to its utmost. It also helps philosophers dealing with the inherent complexity of modern organizations. Modern society with large multi-national organizations and extensive information infrastructures provides a backdrop for moral theories that is hard to encompass through mere theorising. Computerized support for theorising is needed to (...) be able to fully grasp and address the inherent complexity. Using moral reasoning capacity will help us addressing the challenges that technological artefacts pose. They do not only contain information about us, they start to act on our behalves.With the increasing autonomy comes an increased need to ensure that their behaviour is in line with what we expect from them. To investigate and address these issues a laboratoy for philosophy is outlined: SophoLab. It consists of a methodology; a framework of modal logic, DEAL; and multi-agent software systems. SophoLab provides the basis for an experimental, computational philosophy. Its viability and usefulness are demonstrated through several experiments. (shrink)

Causal theory of knowledge has been used by some theoreticians who, dealing with the philosophy of mathematics, touched the subject of mathematical knowledge. Some of them discuss the necessity of the causal condition for justification, which creates the grounds for renewing the old conflict between empiricists and rationalists. Emphasizing the condition of causality as necessary for justifiability, causal theory has provided stimulus for the contemporary empiricists to venture on the so far unquestioned cognitive foundations of mathematics. However, in what sense (...) can we speak about the justifiability as causality when it comes to mathematical knowledge? Can we justify the mathematical statement 2+2=4 by means of causality-perceptibility? Do we need perceptibility, a visual image of apples and marbles we add up in our first mathematics lesson, in order to know that statement? Does the same go with the statement that any two points can be joined by a straight line, and that the sum of angles in any triangle is the angle the measure of which equals the sum of the measures of the two right angles? Even though the major part of this article offers a review of the attitudes of various authors who endeavor to discuss the application of the causal theory to the problem of understanding of mathematical knowledge, it advocates the idea that knowledge expressed in a mathematical statement is acquired and transmitted by evidence. Evidence is by itself a guarantee of truth. It convinces us of the accuracy of mathematical truths. Proving, we find out. The greatest part of what we know is based on evidence of the previous knowledge . Due to the previous knowledge, we can say that knowledge in mathematics is in itself different from the knowledge in empirical sciences, i.e. it does not require causal relation that is considered necessary condition of knowing in those sciences.Uzročna teorija znanja iskorištena je od strane nekih teoretičara koji su se, baveći se filozofijom matematike, dotakli teme matematičkog znanja. Neki od njih govore o nužnosti uzročnog uvjeta za opravdanje, čime se stvaraju uvjeti za obnavljanje starog sukoba empirista i racionalista. Uzročna teorija je, isticanjem uvjeta uzročnosti kao nužnog za opravdanost, dala poticaj suvremenim empiristima da krenu čak i na do tada nedodirljive spoznajne temelje matematike. Međutim, u kom smislu možemo govoriti o opravdanosti kao uzročnosti kad je riječ o matematičkom znanju? Da li uzročnošću-čulnošću možemo opravdati matematički iskaz 2+2=4? Je li nam za znanje tog iskaza neophodna čulnost, vizualna predodžba jabuka ili klikera koje zbrajamo na našim prvim satovima matematike u školi? Stoje li stvari isto i s iskazom da se kroz bilo koje dvije točke može povući točno jedan pravac, ili da je zbroj kutova bilo kojeg trokuta kut čija je mjera jednaka zbroju mjera dvaju pravih kutova? Iako je u ovom radu, uglavnom, dan pregled stavova autora koji pokušavaju govoriti o primjeni uzročne teorije u shvaćanju matematičkog znanja, ideja koja se podržava u njemu jest da je znanje, iskazano matematičkim tvrđenjem, dobiveno i preneseno dokazom. Dokaz, sam po sebi, jamac je istine. On nas uvjerava u točnost matematičkih tvrdnji. Dokazujući spoznajemo. Najveći dio onoga što znamo zasnovano je dokazom na prethodnim znanjima . Zbog prethodnog možemo reći da je znanje u matematici po svojoj prirodi drugačije od znanja u empirijskim znanostima, to jest da ne iziskuje uzročnu vezu koja se smatra nužnim uvjetom za znanje u tim znanostima. (shrink)

This paper considers the connection between concepts, conceptual schemes and grammar in Wittgenstein’s last writings. It lists eight claims about concepts that one can garner from these writings. It then focuses on one of them, namely that there is an important difference between conceptual and factual problems and investigations. That claim draws in its wake other claims, all of them revolving around the idea of a conceptual scheme, what Wittgenstein calls a ‘grammar’. I explain why Wittgenstein’s account does not fall (...) prey to Davidson’s animadversions against the idea of a conceptual scheme as a force operating on a pre-conceptual content. In the sequel I deny that the distinction between grammatical and empirical propositions disappears in the last writings: it is neither deliberately abandoned, nor willy-nilly undermined by the admission of hinge propositions in On Certainty or by the role accorded to agreement in judgement. (shrink)

W. V. Quine describes himself as a “robust realist” about physical objects in the external world. This realism about objects is due to Quine's naturalism. On the other hand, Quine's naturalistic epistemology involves a conception of objects as posits that we introduce in our theories about the world. This conception of objects can be seen as anti-realist rather than realist. In this article, I discuss the questions whether there is a tension between Quine's realism and his epistemological conception of objects, (...) and how Quine's conception of objects should be understood if he is also to be regarded as a realist. I also address the question whether Quine should be placed on the realist or the anti-realist side of the current realism debate. I argue that Quine's conception of objects as posits is a general account of the nature of objects, and that this account does not conflict with Quine's realism as long as this realism is properly understood. I also argue that Quine cannot be placed on either side of the contemporary realism debate, since his realism is not metaphysical realism and his conception of objects is not an anti-realist doctrine according to which objects would be less than real. (shrink)

It is claimed that the indispensability argument for the existence of mathematical entities (IA) works in a way that allows a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. This is supposed to be possible by virtue of the appeal to confirmational holism that enters into the formulation of IA. Holism about confirmation is supposed to be motivated in analogy with holism about falsification. I present an account of how holism about (...) falsification is supposed to be motivated. I argue that the argument for holism about falsification is in tension with how we think about confirmation and with two principles suggested by Quine for construing a plausible variety of holism. Finally, I show that one of Quine's principles does not allow a proponent of mathematical realism to remain agnostic with regard to how we establish that mathematical entities exist. (shrink)