abstractThe paper explores a new interpretation of the consequentializing project. Three prominent interpretations are criticized for neglecting the explanatory dimension of moral theories. Instead...

There is a crisis in philosophical rationality today—in which modern logic is implicated—that can be traced to the abandonment of a common background of principles. The situation has no parallel within the pre-modern tradition, which not only admits of such principles, but also refers them back to a set of assumptions grounded in a clearly religious frame of mind. Modern conceptions of rationality claim complete independence from religious sources, as from tradition more generally, and typically end up disposing of first (...) principles altogether. The result is a fragmentation of reason, which can be seen to be dramatically exemplified in the realm of modern logic, populated by countless different systems and incompatible conceptions of what it is to be a logic. Many of the conceptual choices that became implicit in the philosophical discussions eventually leading to the rejection of the religious picture, and ultimately to the aforementioned crisis, were themselves originally linked to religious premises, so that all along, a kind of religious subconscious has subsisted throughout those disputations; however, the lack of any proper recognition of this background obstructs the possibility of making a reasonable assessment of the nature and causes of the crisis. Alasdair MacIntyre, whose thought inspires the argument developed here, reached similar conclusions regarding practical rationality and the effects of abandoning the teleological framework of Aristotelian philosophy. MacIntyre’s arguments can be adapted, as he suggests, to deal with reason more generally, and his insistence upon the tradition-laden character of rational enquiry can help point toward the grounding of human reason in religion. (shrink)

This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the latter as the epistemology of the modern mathematical, natural, and artificial sciences, the theoretical computer science included. I present the formal philosophy in the framework of the category theory (CT) as an axiomatic metalanguage—in many senses “wider” than set theory (ST)—of mathematics and logic, both (...) of the “extensional” logics of the pure and applied mathematical sciences (=mathematical logic), and the “intensional” modal logics of the philosophical disciplines (=philosophical logic). It is particularly significant in this categorical framework the possibility of extending the operator algebra formalism from (quantum and classical) physics to logic, via the so-called “Boolean algebras with operators” (BAOs), with this extension being the core of our formal ontology. In this context, I discuss the relevance of the algebraic Hopf coproduct and colimit operations, and then of the category of coalgebras in the computations over lattices of quantum numbers in the quantum field theory (QFT), interpreted as the fundamental physics. This coalgebraic formalism is particularly relevant for modeling the notion of the “quantum vacuum foliation” in QFT of dissipative systems, as a foundation of the notion of “complexity” in physics, and “memory” in biological and neural systems, using the powerful “colimit” operators. Finally, I suggest that in the CT logic, the relational semantics of BAOs, applied to the modal coalgebraic relational logic of the “possible worlds” in Kripke’s model theory, is the proper logic of the formal ontology and epistemology of the natural realism, as a formalized philosophy of nature and sciences. (shrink)

W. V. O. Quine's well-known attack upon the analytic-synthetic distinction is held to affect only one of the two species of analytic statements he distinguishes. In particular it is not directed at and does not affect the so-called logical truths. In this paper the scope of Quine's attack is extended so as to embrace the logical truths as well. It is shown that the unclarifiability of the notion of 'synonymy' deprives us not only of "analytic statements that are obtainable from (...) logical truths by the replacement of synonyms with synonyms" but of "logical truths" themselves. (shrink)

Prior to the twentieth century, theories of knowledge were inherently perceptual. Since then, developments in logic, statis- tics, and programming languages have inspired amodal theories that rest on principles fundamentally different from those underlying perception. In addition, perceptual approaches have become widely viewed as untenable because they are assumed to implement record- ing systems, not conceptual systems. A perceptual theory of knowledge is developed here in the context of current cognitive science and neuroscience. During perceptual experience, association areas in the (...) brain capture bottom-up patterns of activation in sensory-motor areas. Later, in a top-down manner, association areas partially reactivate sensory-motor areas to implement perceptual symbols. The stor- age and reactivation of perceptual symbols operates at the level of perceptual components – not at the level of holistic perceptual expe- riences. Through the use of selective attention, schematic representations of perceptual components are extracted from experience and stored in memory (e.g., individual memories of green, purr, hot). As memories of the same component become organized around a com- mon frame, they implement a simulator that produces limitless simulations of the component (e.g., simulations of purr). Not only do such simulators develop for aspects of sensory experience, they also develop for aspects of proprioception (e.g., lift, run) and introspec- tion (e.g., compare, memory, happy, hungry). Once established, these simulators implement a basic conceptual system that represents types, supports categorization, and produces categorical inferences. These simulators further support productivity, propositions, and ab- stract concepts, thereby implementing a fully functional conceptual system. Productivity results from integrating simulators combinato- rially and recursively to produce complex simulations. Propositions result from binding simulators to perceived individuals to represent type-token relations. Abstract concepts are grounded in complex simulations of combined physical and introspective events. Thus, a per- ceptual theory of knowledge can implement a fully functional conceptual system while avoiding problems associated with amodal sym- bol systems. Implications for cognition, neuroscience, evolution, development, and artificial intelligence are explored. (shrink)

According to the instrumentalism of Friedman and Machlup it is irrelevant whether the explanatory principles or “assumptions” of a theory satisfy any criterion of “plausibility,” “realism,” “credibility,” or “soundness.” In this view the main or only criterion for selecting theories is whether a theory yields empirically testable implications that turn out to be consistent with observations. All we should require or expect from a theory is that it is a useful instrument for the purpose of prediction. Considerations of the “efficiency” (...) of a theory for the purpose of ordering our experiences are permitted, but considerations of “plausibility” are not. “Explanatory assumptions” are not really explanatory in the sense that they claim to represent underlying causal processes in reality; they only serve to generate, by deduction, implications that are in accordance with as many observations as possible. (shrink)

The indispensability argument seeks to establish the existence of mathematical objects. The success of the indispensability argument turns on finding cases of genuine extra- mathematical explanation. In this paper, I identify a new case of extra- mathematical explanation, involving the search patterns of fully-aquatic marine predators. I go on to use this case to predict the prevalence of extra- mathematical explanation in science.

Legal philosophers divide over whether it is possible to analyze legal concepts without engaging in normative argument. The influential analysis of legal rights advanced by Jules Coleman and Jody Kraus some years ago serves as a useful case study to consider this issue because even some legal philosophers who are generally skeptical of the neutrality claims of conceptual analysts have concluded that Coleman and Kraus's analysis manages to maintain such neutrality. But that analysis does depend in subtle but important ways (...) on normative claims. Their argument assumes not only a positivist concept of law, but also that it counts in favor of an analysis of legal rights that it increases the number of options available to legal decisionmakers. Thus, whether Coleman and Kraus's analysis is right in the end depends on whether those normative assumptions are justified. If even their analysis, which makes the thinnest of conceptual claims, depends on normative premises, that fact serves as strong evidence of the difficulty of analyzing legal concepts while remaining agnostic on moral and political questions. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

In this article I consider what it would take to combine a certain kind of mathematical Platonism with serious presentism. I argue that a Platonist moved to accept the existence of mathematical objects on the basis of an indispensability argument faces a significant challenge if she wishes to accept presentism. This is because, on the one hand, the indispensability argument can be reformulated as a new argument for the existence of past entities and, on the other hand, if one accepts (...) the indispensability argument for mathematical objects then it is hard to resist the analogous argument for the existence of the past. (shrink)

Recently, nominalists have made a case against the Quine–Putnam indispensability argument for mathematical Platonism by taking issue with Quine’s criterion of ontological commitment. In this paper I propose and defend an indispensability argument founded on an alternative criterion of ontological commitment: that advocated by David Armstrong. By defending such an argument I place the burden back onto the nominalist to defend her favourite criterion of ontological commitment and, furthermore, show that criterion cannot be used to formulate a plausible form of (...) the indispensability argument. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

We introduce a distinction, unnoticed in the literature, between four varieties of objective Bayesianism. What we call ' strong objective Bayesianism' is characterized by two claims, that all scientific inference is 'logical' and that, given the same background information two agents will ascribe a unique probability to their priors. We think that neither of these claims can be sustained; in this sense, they are 'dogmatic'. The first fails to recognize that some scientific inference, in particular that concerning evidential relations, is (...) not (in the appropriate sense) logical, the second fails to provide a non-question-begging account of 'same background information'. We urge that a suitably objective Bayesian account of scientific inference does not require either of the claims. Finally, we argue that Bayesianism needs to be fine-grained in the same way that Bayesians fine-grain their beliefs. (shrink)

The underdetermination thesis poses a threat to rational choice of scientific theories. We discuss two arguments for the thesis. One draws its strength from deductivism together with the existence thesis, and the other is defended on the basis of the failure of a reliable inductive method. We adopt a partially subjective/objective pragmatic Bayesian epistemology of science framework, and reject both arguments for the thesis. Thus, in science we are able to reinstate rational choice called into question by the underdetermination thesis.

In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...) they are dictated by merely formal considerations, not interpretive concerns. I conclude that Kripke's model theoretic semantics does not induce a metaphysical reading of necessity, and is formally adequate independently of the specific interpretation of the modal operators. (shrink)

This paper develops and critiques the two-dimensionalist account of mental content developed by David Chalmers. I first explain Chalmers's account and show that it resists some popular criticisms. I then argue that the main interest of two-dimensionalism lies in its accounts of cognitive significance and of the connection between conceivability and possibility. These accounts hinge on the claim that some thoughts have a primary intension that is necessarily true. In this respect, they are Carnapian, and subject to broadly Quinean attack. (...) The remainder of the paper advances such an attack. I argue that there are possible thinkers who are willing to revise their beliefs in response to expert testimony, and that such thinkers will have no thoughts with necessary primary intensions. I even suggest that many actual humans may well be such thinkers. I go on to argue that these possible thinkers show that the two-dimensionalist accounts fail. (shrink)

In this article I contrast two opposing forms of essentialism, definitional and transcendental versus productivist and historical, and trace both forms back to Kripke's Naming and Necessity (1980). Definitional essentialism, as developed by Fine, centers on kind-membership. Historical essentialism, as anticipated by Prior and developed by Almog, puts origin at its center. The article focuses on the fundamentally distinct manners in which these two views handle the necessity of origin thesis. In the final section of the article, inspired by a (...) Nietzschean genealogical methodology, I pursue a naturalization strategy and conclude that rather than origin being necessary, it is essentialist necessity that reduces to origin. (shrink)

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

It is argued here that mathematical objects cannot be simultaneously abstract and perceptible. Thus, naturalized versions of mathematical platonism, such as the one advocated by Penelope Maddy, are unintelligble. Thus, platonists cannot respond to Benacerrafian epistemological arguments against their view vias Maddy-style naturalization. Finally, it is also argued that naturalized platonists cannot respond to this situation by abandoning abstractness (that is, platonism); they must abandon perceptibility (that is, naturalism).

The article analyses in detail the Meselson–Stahl experiment, identifying two novel difficulties for the crucial experiment account, namely, the fragility of the experimental results and the fact that the hypotheses under scrutiny were not mutually exclusive. The crucial experiment account is rejected in favour of an experimental-mechanistic account of the historical significance of the experiment, emphasizing that the experiment generated data about the biochemistry of DNA replication that is independent of the testing of the semi-conservative, conservative, and dispersive hypotheses. _1_ (...) Introduction _2_ The Meselson–Stahl Experiment _3_ Some Difficulties for the Crucial Experiment Account _3.1_ Additional experiments were required _3.2_ Simplicity considerations are unconvincing _3.3_ The fragility of the experimental results _3.4_ The problematic interpretation of falsifyng results _3.5_ Not all possible hypotheses considered or tested _3.6_ The tested hypotheses were not mutually exclusive _4_ The Historical and Scientific Significance of the Meselson–Stahl Experiment _4.1_ The challenge for the crucial experiment account _4.2_ A mechanistic perspective on the experiment _4.3_ The experimental design and its independence from theoretical speculations _4.4_ The advantages of a ‘bottom-up’ mechanistic account _5_ Conclusion. (shrink)

According to the hypothesis-generator account, valid extrapolations from a source to a target system are circular, since they rely on knowledge of relevant similarities and differences that can onl...

Feminist epistemologies hold that differences in the social locations of inquirers make for epistemic differences, for instance, in the sorts of things that inquirers are justified in believing. In this paper we situate this core idea in feminist epistemologies with respect to debates about social constructivism. We address three questions. First, are feminist epistemologies committed to a form of social constructivism about knowledge? Second, to what extent are they incompatible with traditional epistemological thinking? Third, do the answers to these questions (...) raise serious problems for feminist epistemologies? We argue that some versions of two of the main strands in feminist epistemology – feminist standpoint theory and feminist empiricism – are committed to a form of social constructivism, which requires certain departures from traditional epistemological thinking. But we argue that these departures are less problematic than one might think. Thus, (some) feminist epistemologies provide a plausible way of understanding how (some) knowledge might be socially constructed. (shrink)

A common account of the distinction between analytic and synthetic truths is that while the former are true solely in virtue of meaning, the latter are true also in virtue of the way of the world. Quine famously disputed this characterization, and his skepticism over the analytic/synthetic distinction has cast a long shadow. Against this skepticism, I argue that the common account comes close to the truth, and that truthmaker theory in particular offers the resources for providing a compelling account (...) of the distinction that preserves the basic ideas behind it, and avoids the standard criticisms facing the distinction. In particular, I argue that analytic truths are truths that ontologically depend in no way whatsoever upon what exists. (shrink)

The Duhem-Quine thesis famously holds that a single hypothesis cannot be confirmed or disconfirmed in isolation, but instead only in conjunction with other background hypotheses. This article argues that this has important and underappreciated implications for metaethics. Section 1 argues that if one begins metaethics firmly wedded to a naturalistic worldview—due (e.g.) to methodological/epistemic considerations—then normativity will appear to be reducible to a set of social-psycho-semantic behaviors that I call the ‘normative stance.’ Contra Hume and Bedke (2012), I argue that (...) the normative stance provides semantically-grounded entailments from natural truths to normative truths, reducing the latter to the former. Specifically, the normative stance explains the truth-conditions, truth-values, and truth-makers of normative propositions in terms of socially grounded cognitive-behavioral rules and other natural facts, thus explaining how there can be bona fide normative facts and properties in a wholly naturalistic world. I then show that the normative stance explains the apparent stance-independence and non-naturalness of normative reasons, intrinsic value, and categoricity of moral reasons as ‘user-illusions’ generated by people having strong psycho-social propensities—rooted in evolution and social cooperation—to take these normative stances. Section 2 then argues that while the normative stance may appear to naturalists to successfully explain normativity, it will not appeal to those who come to metaethics with different background commitments. I conclude that naturalists should take the normative stance to be a promising metaethical theory of normativity, and that whether it is a true theory of normativity is something that can only be ascertained by determining which background hypotheses—naturalistic or otherwise—we should have when doing metaethics. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

Religious discourse is in some way about the world, but its relation to other kinds of discourse – scientific historical, and moral – is a matter of dispute. Suggestions to avoid conflict with other kinds of discourse – the suggestion that religion invokes a distinct ‘language game’ and the suggestion that it should be taken as ‘basic’ for instance – have not, I argue, been successful. Essentially religion is involved in orienting us to the world and our goals, and orientation (...) has its own concerns. I ask what would be needed for successful orientation and suggest that talk about God my include elements which are essential for orientation. The argument suggests that the object of our orientation transcends the usual distinctions between the subjective and the objective. Perhaps this is the idea of the beatific vision. (shrink)

We present a decision-theoretically motivated notion of contraction which, we claim, encodes the principles of minimal change and entrenchment. Contraction is seen as an operation whose goal is to minimize loses of informational value. The operation is also compatible with the principle that in contracting A one should preserve the sentences better entrenched than A (when the belief set contains A). Even when the principle of minimal change and the latter motivation for entrenchment figure prominently among the basic intuitions in (...) the works of, among others, Quine and Ullian (1978), Levi (1980, 1991), Harman (1988) and Gärdenfors (1988), formal accounts of belief change (AGM, KM – see Gärdenfors (1988); Katsuno and Mendelzon (1991)) have abandoned both principles (see Rott (2000)). We argue for the principles and we show how to construct a contraction operation, which obeys both. An axiom system is proposed. We also prove that the decision-theoretic notion of contraction can be completely characterized in terms of the given axioms. Proving this type of completeness result is a well-known open problem in the field, whose solution requires employing both decision-theoretical techniques and logical methods recently used in belief change. (shrink)

In this paper, I describe the main lines of modern error theory, a systemic theory which regards errors not as the results of someone’s negligence, but as parts of a complex system. Bearing in mind that errors must be considered as such by an observer or attributor, I expose Wittgenstein’s conception of the attributor responsible for discerning if a strange event constitutes an error or an anomaly. Subsequently, I illustrate this conception of the attributor by describing some traits of the (...) role played by many attributors in business organizations, specifically in the production line of a car manufacturer’s plant, when carrying out the rootcause analysis of problems that arise in the plant. Finally, I reveal a paradox whereby if the attributor denies the possibility that anomalies may happen without being able to explain their source within the system that he or she takes as reference, then the very idea of system no longer makes sense. (shrink)

In this paper I critically evaluate the Implicit Definition Theory and its possibility of resolution of two main problems concerning logical knowledge: the explication and the justification. I point at five results that can be obtained: apriority, factuality, normativity applicability and non-circularity. I argue that in case of explication all mentioned results can be obtained but in case of justification the circularity is inevitable. In the last paragraph I propose a solution of this problem.

In this chapter I investigate the prospects of integrated history and philosophy of science, by examining how philosophical issues raised by “hidden entities”, entities that are not accessible to unmediated observation, can enrich the historical investigation of their careers. Conversely, I suggest that the history of those entities has important lessons to teach to the philosophy of science. Hidden entities have played a crucial role in the development of the natural sciences. Despite their centrality to past scientific practice, however, several (...) of them (e.g., phlogiston, caloric, and the ether) turned out to be fictitious. For this reason, they have figured prominently in recent debates on scientific realism. The issues I explore in this paper are entangled with those debates. I argue that our understanding of hidden entities and their role in experimental practice can be enhanced by adopting an integrated historical-cum-philosophical approach. On the one hand, philosophical reflection on the reality of those entities has a lot to gain by examining historically how they were ntroduced and investigated. On the other hand, the historical reconstruction of the careers of those entities may profit from philosophical reflection on their existence. (shrink)

Philosophical discussion tends to converge on the view that narratives are at the center of the emotion of grief. In this article, I expand on this kind of view. On the one hand, I argue that key strands of phenomenological and neuroscientific studies suggest that grief consists in a complex emotional process of disconfirmation-and-updating of the narrative self-model. By heuristically drawing on an analogy between binocular rivalry and grief, I show that certain salient aspects of the phenomenology of grief, such (...) as self-alienation and ambiguity, are straightforwardly reflected by this account. On the other hand, I argue that this hierarchical approach has the resources to: (i) show that both narratable and unnarratable experiences of personal loss are both instances of grief; and (ii) differentiate between narratable and unnarratable experiences of grief, without compromising the view that self-constituting narratives are at the center of the phenomenon. (shrink)

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)

Phenomena like the happiness of the wicked or the misfortune of the worthies were for Confucian thinkers, just as for Christian theologians, puzzles that their ‘theories on fortune and misfortune’, just like Theodicies in the West, were trying, with some difficulty, to explain or rationalize. This article first surveys some standard explanations of the phenomena given by scholars of eighteenth-century Japan within the framework of the available monist, rationalist paradigms. Afterward, it turns to another type of representation of the world (...) that could answer the puzzles—not, it should be stressed, by solving them, but rather by dis-solving them: by making them disappear as problems. In this new representation, for which many inhabitants of industrialized societies today have much affinity, the world in which humans live is ruled by many independent and mutually irreducible rationalities—economic, productive, military, moral (under various forms), political, physical, etc. If humans view the world in such manner, they are certainly confronted by many questions—for example the need to order or prioritize those logics in order to achieve an overarching order—but they are delivered at least of one burden: the necessity to justify scandals like the happiness of the wicked. Most such tragedies arise then simply from the encounter of different rationalities qua independent rationalities: say, the encounter of the physical laws that produce devastating earthquakes with the moral principles that lead us to attach value to human lives. There is no mystery to explain, just a tragedy to lament. The article thus captures the most important developments in political, social and economic thought of the Japanese eighteenth century through the concept of concurrent rationalities, following the thread of the treatments of the puzzle of the happy villains. (shrink)

The present paper is a continuation of a previous one by the same title, the content of which faced the issue concerning the relations of coreference and qualification in compliance with the Navya-Nyāya theoretical framework, although prompted by the Advaita-Vedānta enquiry regarding non-difference. In a complementary manner, by means of a formal analysis of equivalence, equality, and identity, this section closes the loop by assessing the extent to which non-difference, the main issue here, cannot be reduced to any of the (...) former. The following sections of this study will focus on the assessment of the eventual possibility of causation and transformation in non-difference. (shrink)

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

The principle of clinical equipoise requires that, aside from certain exceptional cases, second generation treatments ought to be tested against standard therapy. In violation of this principle, placebo-controlled trials (PCTs) continue to be used extensively in the development and licensure of second-generation treatments. This practice is typically justified by appeal to methodological arguments that purport to demonstrate that active-controlled trials (ACTs) are methodologically flawed. Foremost among these arguments is the so called assay sensitivity argument. In this paper, I take a (...) closer look at this argument. Following Duhem, I argue that all trials, placebo-controlled or not, rely on external information for their meaningful interpretation. Pending non-circular empirical evidence that we can trust the findings of PCTs to a greater degree than the findings of ACTs, I conclude that the assay sensitivity argument fails to demonstrate that placebo-controlled trials are preferable, methodologically or otherwise, to active-controlled trials. Contrary to the intentions of its authors, the fundamental lesson taught by the assay sensitivity argument is Duhemian: the validity of all clinical trials depends on external information. (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)

On Choice of Time Metric. What criteria ought to be satisfied by those observable processes which, accompanied by a function assigning values to intervals of that processes, serve as the standard for measurement of time? In how far do the criteria which can reasonably be established admit of an unambigous definition of time metric? That are the questions to which I have addressed myself in the paper. Peter Janich has aimed at solving the problem with careful avoidance of any reference (...) to physical theory. Although this paper owes a great deal to his ‘Protophysik der Zeit’, reasons will be ad-vanced that it is in principle impossible to give a foundation of time metric without any reference to physical theory. It follows that taking results of physical theory into account is unavoidable as far as a definite decision concerning the choice of time metric is aspired. At first sight reference to law-like assertions on the duration of temporal intervals appears to be paradoxical for it means to take something which originally ought to be submitted to experimental test as the standard for measurement. Poincaré is fairly conscious of this problem, yet explicitly acknowledges that there is a mutual relationship between definition of time metric and physical theory. It will be shown that this kind of mutual relationship which even might be termed as circular does not void physical theory of empirical content. Thus in the final part I am concerned to free the position which recommends reference to physical theory from its paradoxical image in order to advance a conventionalist account as a sceptical, but nevertheless fully satisfying solution. (shrink)

Modal logic has been applied in many different areas, as reasoning about time, knowledge and belief, necessity and possibility, to mention only some examples. In the present paper, an attempt is made to use modal logic to account for the semantics of theoretical sentences in scientific language. Theoretical sentences have been studied extensively since the work of Ramsey and Carnap. The present attempt at a modal analysis is motivated by there being several intended interpretations of the theoretical terms once these (...) terms are introduced through the axioms of a theory. (shrink)

In this paper I argue that Kant’s doctrine of definitions, as it is developed in theTranscendental Doctrine of Method(TDM) and in the lectures on logic, lays down the semantic background of the problem of the objective reality of the categories and of the solution Kant provides for it in theTranscendental Analytic. The distinction between nominal and real definitions introduces a two-dimensional element in Kant’s theory of concepts, and this, I argue, provides a compelling explanation for the assumption Kant makes in (...) §13 that it is possible to possess a concept without knowing the conditions of its legitimate application. This view is supported by the parallels between Kant’s discussion of empirical, mathematical, and philosophical concepts in §13 and in theTDM. And, it allows clarifying the sense in which the arguments that prove the objective reality of the categories are, at the same time, counterfactual reflections that give us (incomplete) insight into their real definitions. (shrink)

In “Empiricism, Semantics, and Ontology” Carnap drew his famous distinction between ‘internal’ and ‘external’ questions of existence, pronouncing the former meaningful and the latter meaningless. In The Significance of Philosophical Scepticism, Barry Stroud understands Carnap to be applying the verification criterion of meaningfulness in order to refute Cartesian skepticism. I suggest that Stroud misrepresents both Carnap’s aim and method. Carnap was responding to critics who suggested that his willingness to quantify over abstract entities in his work in semantics violated his (...) commitment to empiricism. He rejected that criticism as presupposing a super-scientific standpoint from which constraints on the admissible domain of entities of science could be delivered. Carnap wanted to insulate science from the imposition of frrst-philosophical metaphysical prejudice, not to defuse scepticism by appeal to verificationism. (shrink)

This paper contrasts two metaphysical accounts of modality and properties: Modal Realism which treats possible entities as primitive; and Strong Dispositionalism in which metaphysical possibility and necessity are determined by actually existing dispositions or powers. I argue that Strong Dispositionalism loses its initial advantages of simplicity and parsimony over Modal Realism as it is extended and amended to account for metaphysical rather than just causal necessity. Furthermore, to avoid objections to its material and formal adequacy, Strong Dispositionalism requires a richer (...) fundamental ontology which it cannot explicate without appealing either to possible worlds or to an account of counterfactual truth conditions, both of which Strong Dispositionalism was intended to replace. (shrink)

This is the first of two companion articles drawn from a larger project, provisionally entitled Undisciplining Moral Epistemology. The overall goal is to understand how moral claims may be rationally justified in a world characterized by cultural diversity and social inequality. To show why a new approach to moral justification is needed, it is argued that several currently influential philosophical accounts of moral justification lend themselves to rationalizing the moral claims of those with more social power. The present article explains (...) how discourse ethics is flawed just in this way. The article begins by identifying several conditions of adequacy for assessing reasoning practices designed to achieve moral justification and shows that, when used in contexts of cultural diversity and social inequality, discourse ethics fails these conditions. It goes on to argue that the failure of discourse ethics is rooted in its reliance on a broader conception of moral epistemology that is invidiously idealized. It concludes by pointing to the need to rethink both the mission and the method of moral epistemology. (shrink)

Advocates of political liberalism hold it as a superior alternative to perfectionism on the grounds that it avoids superfluous and/or controversial claims in favor of a maximally-inclusive approach undergirded by a "free-standing" justification for the ideology. These assertions prove difficult to defend: political interpretations of liberalism tend to be implicitly ethnocentric; they often rely upon a number of controversial, and even empirically falsified, assumptions about rationality--and in many ways prove more parochial than their perfectionist cousins. It is possible to reform (...) political liberalism to address these challenges, but generally at the expense of the supposed normative force and universality of the liberal project. However, this para-liberal approach is much better in keeping with contemporary findings in sociology, psychology and cognitive science--and can much more effectively accommodate the illiberal challenge. (shrink)