This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

Uncertainty is an intriguing aspect of social life. Uncertainty is epistemic, future-oriented, and implies that we can neither predict nor foresee what will happen when acting. In cases in which no institutionalized certainty about future states exists, or can be generated, judgment is needed. This article presents the forms by which uncertainty is reduced as a result of judgments made about different alternatives in a process involving several actors. This type of uncertainty may exist, for example, about which artist is (...) the best, which offer in the market is more valuable, which football team is better than all the rest, or which research proposal will get a grant. The result of different forms of uncertainty reduction is increased certainty concerning alternatives in relation to one another, such as good and bad, rank lists, scores, quality assessment, and “winner and losers.” Based on the result, uncertainty is reduced and action is facilitated. The forms are structural and comprise roles; may be legitimate in a smaller or larger domain; and may exist in all spheres of life, as exemplified in sports competitions, in labor markets, and in the ranking of universities. Three forms of uncertainty reduction based on judgment are identified in this article: (1) decision, made by an authority; (2) valuation, by means of which order arises as a result of actors ascribing values; and (3) contest, by which an order is the result of direct struggle. (shrink)

Truth and knowledge are essentially the dictates of some rationality or metaphysical ordainment. By sense experience man is capable of accounting for his past, contemplate his life and predict his future and all of reality, for traditional Africa, however (as is the case with most native societies), there is another mode of knowing beyond man’s immediate capacity in search of truth and reality. An analysis of this perception indicates that there is some metaphysical tinge to epistemology or knowledge claims—whether in (...) the spheres of justice, morality/ethics, religion, political authority, prosperity, law, or ontology/world-view. Put on a plain pedestal: Isn’t there an African mode of knowing? By the study among the Afemai-Etsako of Southern Nigeria, this article tersely adumbrates the scope and nature of knowledge and discovers that, beside the common routes to it (experience and reason), the gamut of knowledge among the traditional Africans also have several metaphysical strands reducible to creative determinism, reactive interference, and representativeness in timing and naming. (shrink)

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)

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)

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)

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)

The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory. To this, UF adds what may be regarded as certain extensionality principles, although it is not immediately clear how these principles (...) are to be interpreted philosophically. In fact, this framework gives an interesting example of a kind of border case between intensional and extensional mathematics. Our main purpose will be the philosophical investigation of this system, and the relation of the concepts of intensionality it satisfies to more traditional philosophical or logical concepts such as those of Carnap and Quine. (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)

b>. Recent findings in cognitive science suggest that the epistemic subject is more complex and epistemically porous than is generally pictured. Human knowers are open to the world via multiple channels, each operating for particular purposes and according to its own logic. These findings need to be understood and addressed by the philosophical community. The current essay argues that one consequence of the new findings is to invalidate certain arguments for epistemic anti-realism.

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)

David Lewis presented Convention as an alternative to the conventionalism characteristic of early-twentieth-century analytic philosophy. Rudolf Carnap is well known for suggesting the arbitrariness of any particular linguistic convention for engaging in scientific inquiry. Analytic truths are self-consistent, and are not checked against empirical facts to ascertain their veracity. In keeping with the logical positivists before him, Lewis concludes that linguistic communication is conventional. However, despite his firm allegiance to conventions underlying not just languages but also social customs, he pioneered (...) the view that convening need not require any active agreement to participate. Lewis proposed that conventions arise from “an exchange of manifestations of a propensity to conform to a regularity” (87–8). In reasserting the conventional quality of languages and other practices resting on mutual expectations, Lewis comfortably works within the analytic tradition. Yet he also deviates from his predecessors because his conventionalist approach is comprehensively grounded in instrumentalism. Lewis adopts an extension of David Hume's desire-belief psychology articulated in rational choice theory. He develops his philosophy of convention relying on the highly formal mid-twentieth-century expected utility and game theories. This attempt to account for language and social customs wholly in terms of instrumental rationality has the implication of reducing normativity to preference satisfaction. Lewis’ approach continues in the trend of undermining normative political philosophy because institutions and practices arise spontaneously, without the deliberate involvement of agents. Perhaps Lewis’ Convention is best seen as a resurgent form of analytic philosophy, characterized by “a style of argument, hostility to [ambitious] metaphysics, focus on language, and the dominance of logic and formalization” that solves the dilemma of “combining the analytic inheritance…with normative concerns” by reducing normativity to individuals’ preference fulfillment consistent with the axioms of rational choice. (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)

This paper makes three points. First, empathy cannot be considered an epistemic basis for qualitative research and evaluation. Second, it is, however, a valuable method for understanding the private meanings of words and deeds. Third, this method is not completely reliable for purposes of what Popper called refutation, but is useful in what he dubbed scientific conjecture or the generation of theory. Basic researchers will need to take the necessary steps to subject empathetic hunches to critical examination. However, owing to (...) the exigencies of action settings and decision-making, disciplined conjectures are sometimes the most that evaluators can hope to record. (shrink)

Our interest in this paper is to drive a wedge of contention between two different programs that fall under the umbrella of “experimental philosophy”. In particular, we argue that experimental philosophy’s “negative program” presents almost as significant a challenge to its “positive program” as it does to more traditional analytic philosophy.

The empirical underdetermination of theories is a philosophical problem which until the last century has not seriously troubled actual science. The reason is that confirmation does not depend only on empirical consequences, and theoretical virtues allow to choose among empirically equivalent theories. Moreover, I argue that the theories selected in this way are not just pragmatically or aesthetically better, but more probably true. At present in quantum mechanics not even theoretical virtues allow to choose among many competing theories and interpretations, (...) but this is because none of them possess those virtues to a sufficient degree. However, first, we can hope for some future advancement. Second, even if no further progress came forth, all the most credited competitors agree on a substantial core of theoretical assumptions. Therefore underdetermination does not show that we cannot be realist on unobservable entities in general, but at most that in particular fields our inquiry may encounter some de facto limits. (shrink)

The skeptical challenge to politics is that if knowledge is in short supply and it is a condition for the proper use of political power, then there is very little just politics. Cicero’s Republicanism is posed as a program for political legitimacy wherein both citizens and their states are far from ideal. The result is a form of what is termed negative conservatism, which shows political gridlock in a more positive light.

While many scholars agree that the ‘‘separation thesis’’ (Freeman in Bus Ethics Quart 4(4):409–421, 1994)—that business issues and ethical issues can be neatly compartmentalized—is harmful to business ethics scholarship and practice, they also conclude that eliminating it is either inadvisable because of the usefulness of the positive/ normative distinction, or actually impossible. Based on an exploration of the fact/value dichotomy and the pragmatist and virtue theoretic responses to it, we develop an approach to eliminating the separation thesis that integrates ‘‘business’’ (...) with ‘‘ethics’’ while still permitting a positive/ normative distinction, which we call ‘‘ethics from observation.’’. (shrink)

The ubiquitous goals of helping precollege students develop informed conceptions of nature of science and experience inquiry learning environments that progressively approximate authentic scientific practice have been long-standing and central aims of science education reforms around the globe. However, the realization of these goals continues to elude the science education community partly because of a persistent, albeit not empirically supported, coupling of the two goals in the form of ‘teaching about NOS with inquiry’. In this context, the present paper aims, (...) first, to introduce the notions of, and articulate the distinction between, teaching with and about NOS, which will allow for the meaningful coupling of the two desired goals. Second, the paper aims to explicate science teachers’ knowledge domains requisite for effective teaching with and about NOS. The paper argues that research and development efforts dedicated to helping science teachers develop deep, robust, and integrated NOS understandings would have the dual benefits of not only enabling teachers to convey to students images of science and scientific practice that are commensurate with historical, philosophical, sociological, and psychological scholarship, but also to structure robust inquiry learning environments that approximate authentic scientific practice, and implement effective pedagogical approaches that share a lot of the characteristics of best science teaching practices. (shrink)

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

This paper sets out to undermine the view that a commitment to the early modern conception of the mind as immortalized in Ryle’s metaphor of the (Cartesian) ghost in the machine and in Quine’s metaphor of the (Lockean) myth of the museum is required to articulate a defence of the sui generis character of humanistic explanations. These powerful metaphors have not only contributed to undermining the claim for methodological pluralism by caricaturizing the arguments for disunity in the sciences; they have (...) also, and more worryingly, planted red herrings that have diverted attention away from the genuine issues at stake. This paper is an exercise in removing these false clues to reveal what the claim for the autonomy of humanistic explanations really amounts to. (shrink)

In his précis of a recent book, Richard Joyce writes, “My contention…is that…any epistemological benefit-of-the-doubt that might have been extended to moral beliefs…will be neutralized by the availability of an empirically confirmed moral genealogy that nowhere…presupposes their truth.” Such reasoning – falling under the heading “Genealogical Debunking Arguments” – is now commonplace. But how might “the availability of an empirically confirmed moral genealogy that nowhere… presupposes” the truth of our moral beliefs “neutralize” whatever “epistemological benefit-of-the-doubt that might have been extended (...) to” them? In this article, I argue that there appears to be no satisfactory answer to this question. The problem is quite general, applying to all arguments with the structure of Genealogical Debunking Arguments aimed at realism about a domain meeting two conditions. The Benacerraf-Field Challenge for mathematical realism affords an important special case. (shrink)

Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...) exactly comprehensive) overview of the structure and content of Hale’s book and, second, to a limited extent, to engage Hale’s book philosophically. I approach these tasks more or less sequentially: Parts I and 2 of the review are primarily expository; in Part 3 I adopt a somewhat more critical stance and raise several issues concerning one of the central elements of Hale’s account, his essentialist theory of modality. (shrink)

This paper has three objectives: arguing against levels of reality by employing the Lewis-Jackson method for doing metaphysics, also known as the Canberra plan; showing how this method renders the idea of levels of reality incoherent, but nevertheless leaves the conceptual space open for dualism; sketching out a concrete proposal for a dualism of mind and matter that relies on normativity and that employs ontic structural realism.

Permissivism is the thesis that, for some body of evidence and a proposition p, there is more than one rational doxastic attitude any agent with that evidence can take toward p. Proponents of uniqueness deny permissivism, maintaining that every body of evidence always determines a single rational doxastic attitude. In this paper, we explore the debate between permissivism and uniqueness about evidence, outlining some of the major arguments on each side. We then consider how permissivism can be understood as an (...) underdetermination thesis, and show how this moves the debate forward in fruitful ways: in distinguishing between different types of permissivism, in dispelling classic objections to permissivism, and in shedding light on the relationship between permissivism and evidentialism. (shrink)

This paper introduces the philosophy of Grace Andrus de Laguna in order to renew interest in it. I show that, in the 1910s and 1920s, she develops ideas and arguments that are also found playing key roles in the development of analytic philosophy decades later. Further, I describe her sympathetic, but acute, criticism of pragmatism and Heideggerian ontology, and situate her work in the tradition of American, speculative philosophy. Before 1920, we will see, de Laguna appeals to multiple realizability to (...) undermine reductionism in science, to support perspectival, scientific realism and, with help from a private language argument, to favour the view that mental states are classified by behavioural, teleological roles over what came to be called ‘type physicalism’. Her view of speech, mostly developed in the 1920s, tells us that its primary role is coordinating group behaviour rather than expressing thoughts. Belief is understood in terms of its causal role, including its causal relations to other kinds of mental states, when coordinating group behaviour. Thought is similarly understood. In developing her theory of mind, de Laguna rejects the pragmatist claims that belief can be reduced to dispositions to behaviour and that thought’s function is to address specific, rather than general, problems. She also favours meaning holism and rejects the analytic–synthetic distinction. In later work, de Laguna argues that individuals’ activity of self-maintenance brings universals, conceived of as irreducible potentialities, into being and makes them increasingly determinate. Further, she identifies the existence of all individuals with forms of self-maintenance and takes the existence of people to include maintenance of the cultural world. Such a unified treatment of existence, she holds, permits making its evolution intelligible. Heidegger’s view of being is rejected for not permitting this. All de Laguna’s work, we will see, fits a vision of philosophy as the systematic, imaginative and naturalistic examination of being as well as a source of criticism of science. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

The use of multiple means of determination to “triangulate” on the existence and character of a common phenomenon, object, or result has had a long tradition in science but has seldom been a matter of primary focus. As with many traditions, it is traceable to Aristotle, who valued having multiple explanations of a phenomenon, and it may also be involved in his distinction between special objects of sense and common sensibles. It is implicit though not emphasized in the distinction between (...) primary and secondary qualities from Galileo onward. It is arguably one of several conceptions involved in Whewell’s method of the “consilience of inductions” (Laudan 1971) and is to be found in several places in Peirce. (From M. Brewer and B. Collins, eds., (1981); Scientific Inquiry in the Social Sciences (a festschrift for Donald T. Campbell), San Francisco: Jossey-Bass, pp. 123–162.). (shrink)

Adolf Grünbaum is one of the giants of 20th century philosophy of science. This volume is the first of three collecting his most essential and highly influential work. The essays collected in this first volume focus on three related areas. They discuss scientific rationality-the problem of what it takes for a theory to be called scientific, and ask whether it is plausible to draw a clear distinction between science and non-science as was famously proposed by Karl Popper. They delve into (...) the debate between determinism and indeterminism, in both science and in the humanities. Grünbaum defends the position of the Humane Determinist, which then leads to a thorough criticism of the current theological approaches to ethics and morality-where Grünbaum defends an explicit Secular Humanism-as well as of prominent theistic interpretations of twentieth century physical cosmologies. The second volume is devoted to Grünbaum's writings on the Philosophy of Physics and Space-Time, and the third to his lectures on the Philosophy of Psychology and Psychoanalysis, including his 1985 Gifford Lectures, which are to be published for the first time. (shrink)

The Gettier Problem is the problem of revising the view that knowledge is justified true belief in a way that is immune to Gettier counter-examples. The “Gettier Problem problem”, according to Lycan, is the problem of saying what is misguided about trying to solve the Gettier Problem. In this paper I take up the Gettier Problem problem. I distinguish giving conditions that are necessary and sufficient for knowledge from giving conditions that explain why one knows when one does know. I (...) argue that the problem with the Gettier Problem is that it requires us to articulate conditions that suffice for knowledge even if those conditions are non-explanatory. After defending this view, I take up two related methodological issues, one about the evidence that can be given in favor of an account of knowledge, and one about the role that investigating justification might play in investigating knowledge. (shrink)

At the onset of quantum mechanics, it was argued that the new theory would entail a rejection of classical logic. The main arguments to support this claim come from the non-commutativity of quantum observables, which allegedly would generate a non-distributive lattice of propositions, and from quantum superpositions, which would entail new rules for quantum disjunctions. While the quantum logic program is not as popular as it once was, a crucial question remains unsettled: what is the relationship between the logical structures (...) of classical and quantum mechanics? In this essay we answer this question by showing that the original arguments promoting quantum logic contain serious flaws, and that quantum theory does satisfy the classical distributivity law once the full meaning of quantum propositions is properly taken into account. Moreover, we show that quantum mechanics can generate a distributive lattice of propositions, which, unlike the one of quantum logic, includes statements about expectation values which are of undoubtable physical interest. Lastly, we show that the lattice of statistical propositions in classical mechanics follows the same structure, yielding an analogue non-commutative sublattice of classical propositions. This fact entails that the purported difference between classical and quantum logic stems from a misconstructed parallel between the two theories. (shrink)

In this article, I shall consider a method for conceptual analysis which has been called the Canberra Plan and which might perhaps be conceived as an alternative approach to conceptual analysis in the classical sense. The Canberra Plan is not, however, aimed primarily at the elucidation of the relevant concept, but at the metaphysical question of identifying the descriptive (or natural or physical) property that corresponds to the concept.[1] The idea of the Canberra Plan is, more specifically, (a) to clarify (...) the import of the concept by reference to the role the concept plays in a network of concepts, principles, and claims, and (b) to investigate and see what, if any, descriptive property corresponds to the concept thus analyzed. What I want to do in this article, then, is first to introduce the Canberra Plan and give some consideration to its advantages and disadvantages and, secondly, to apply it to the concept of law, in order not only to clarify the import of this concept, but also to find out what, if any, descriptive property corresponds to the concept. The question of what descriptive property, if any, corresponds to the concept of law should be of considerable interest to jurisprudents, not only because the meta-ethical question of whether legal properties are descriptive, or even natural or physical, is generally interesting, but also because the existence of such descriptive (or natural or physical) legal properties is precisely what is asserted by legal positivists through the so-called social thesis, which has it that we determine what the law is using factual criteria. That is to say, if the analyst succeeds in establishing that the property of being law is a descriptive property, he would seem to have offered at least some support for the social thesis of legal positivism and, therefore, for legal positivism. In order to investigate this interesting question, I shall carry out a Canberra-style analysis of the concept of law, and I shall argue, tentatively, (1) that X is law if, and only if, (i) X is a relation between (a) a system of norms all of which can be traced back to one of several recognized sources of law that can be handled on the basis of exclusively factual considerations, and (b) an organization that is constituted and regulated by the norms of the system and whose task it is to interpret and apply these norms, (ii) X aspires to regulate social life in general, (iii) X is non-optional, and (iv) X claims to trump competing normative systems. In addition, I shall argue, equally tentatively, (2a) that the property of being law is precisely the descriptive property that satisfies the conditions (i)-(iv), (2b) that this property is a role property, not a realizer property, and (2c) that there is very little to be said about the legal realizer property on a general level and that the legal realizer property differs in this regard from moral and mental realizer properties. I shall, however, also argue (3a) that the analyst who applies the Canberra Plan to the concept of law will almost certainly find it very difficult to come up with a collection of sufficiently rich analytic platitudes, especially what Frank Jackson calls input and output clauses, (3b) that he is not likely to get much help from the idea of mature legal thinking (introduced here as an analog to Jackson’s idea of mature folk morality), and (3c) that the so-called permutation problem, which is very problematic, will arise as a result of the above-mentioned lack of input and output clauses. And I shall therefore argue (4) that, as things stand, the Canberra Plan will not help us clarify the nature of law or lend support to the strong social thesis of legal positivism. (shrink)

While classical pragmatism quickly became identified with the theory of truth that dominated critical discussions of it, both of its founders, Charles Sanders Peirce and William James, understood pragmatism essentially as a method. The article compares Peirce’s conceptions of pragmatism with James’s view that the pragmatic method would allow us to resolve many disputes in philosophy, and argues that their differences undermine any purely ‘Peircian’ reading of James’s Pragmatic Maxim. It then examines the advantages and drawbacks of three other readings (...) of James’s maxim: the “activist” reading, the “subjectivist” reading, and the “practical” reading. (shrink)

Der Kommentar zur Kritik der reinen Vernunft bietet eine textnahe Erschließung der zentralen Begriffe, Thesen und Argumentationsgänge von Kants Hauptwerk auf aktuellem Forschungsstand. Es ist der erste Kommentar zur KrV, der den gesamten Text in der Fassung der ersten und zweiten Auflage gleichmäßig und lückenlos berücksichtigt. Davon profitieren vor allem die „Transzendentale Dialektik“ und die „Methodenlehre“, die in früheren Gesamtkommentaren meist nicht hinreichend berücksichtigt worden sind. Die Beiträge wurden nach einheitlichen Richtlinien verfasst, wobei unterschiedliche Herangehensweisen und Interpretationsansätze zur Geltung kommen. (...) Um dem Leser dieses Kommentars die Orientierung zu erleichtern, ist jeder Beitrag in drei bzw. vier Teile untergliedert: Der erste Teil behandelt die Stellung und Funktion des kommentierten Textabschnitts in der KrV, der zweite Teil gibt einen Überblick über Inhalt und Aufbau des Abschnitts, der dritte Teil enthält den eigentlichen Textkommentar. Wo dies sinnvoll erschien, wurden in einem vierten Teil wichtige Interpretationsfragen angesprochen. Hinweise auf weiterführende Spezialliteratur am Ende eines jeden Beitrags, eine Auswahlbibliographie zu Kant und zur Kritik der reinen Vernunft sowie ein Namen- und ein Sachregister machen den Band zu einem komfortablen Arbeitsmittel für den Benutzer. Die vorliegende zweite Auflage trägt der Tatsache Rechnung, dass der Band mittlerweile als Standardwerk der Kant-Forschung gilt. Mit Beiträgen von Henry Allison, Karl Ameriksm Reinhard Brandt, Wolfgang Carl, Konrad Cramer, Jean Ferrari Eckart Förster, Volker Gerhardt, Paul Guyer, Otfried Höffe, Hansgeorg Hoppe, Rolf-Peter Horstmann, Heiner F. Klemme, Lothar Kreimendahl, Béatrice Longuenesse, Georg Mohr, Birgit Recki, Alain Renaut, Peter Rohs, Gerhard Seel, Dieter Sturma, Bernhard Thöle, Eric Watkins, Marcus Willaschek. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

The meaning of a symbol is determined by its use, but the canonical way of specifying meaning is in a statement of the form "S means...". To be able to provide such a specification is equivalent to being able to translate the symbol S into one's own terms. A change in usage of terms involves a change of meaning iff the correct translation between earlier usage and later usage takes a term into a different expression. Such translation is holistic, a (...) matter of finding the best mapping. Sameness of meaning is a similarity relation, as is sameness of concept. The meaning of a larger expression is derived from the meaning of its parts iff the translation of the whole is derived from the translation of its parts. (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

The main goal of this paper is to work out Quine's account of explication. Quine does not provide a general account, but considers a paradigmatic example which does not fit other examples he claims to be explications. Besides working out Quine's account of explication and explaining this tension, I show how it connects to other notions such as paraphrase and ontological commitment. Furthermore, I relate Quinean explication to Carnap's conception and argue that Quinean explication is much narrower because its main (...) purpose is to be a criterion of theory choice. (shrink)

I begin by reviewing some recent work on the status of the geodesic principle in general relativity and the geometrized formulation of Newtonian gravitation. I then turn to the question of whether either of these theories might be said to ``explain'' inertial motion. I argue that there is a sense in which both theories may be understood to explain inertial motion, but that the sense of ``explain'' is rather different from what one might have expected. This sense of explanation is (...) connected with a view of theories---I call it the ``puzzleball view''---on which the foundations of a physical theory are best understood as a network of mutually interdependent principles and assumptions. (shrink)

Belief storage is often modeled as having the structure of a single, unified web. This model of belief storage is attractive and widely assumed because it appears to provide an explanation of the flexibility of cognition and the complicated dynamics of belief revision. However, when one scrutinizes human cognition, one finds strong evidence against a unified web of belief and for a fragmented model of belief storage. Using the best available evidence from cognitive science, we develop this fragmented model into (...) a nascent theory of the cognitive architecture of belief storage. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)

This contributed volume is the result of a July 2010 workshop at the University of Wuppertal Interdisciplinary Centre for Science and Technology Studies which brought together world-wide experts from physics, philosophy and history, in order to address a set of questions first posed in the 1950s: How do we compare spacetime theories? How do we judge, objectively, which is the “best” theory? Is there even a unique answer to this question? -/- The goal of the workshop, and of this book, (...) is to contribute to the development of a meta-theory of spacetime theories. Such a meta-theory would reveal insights about specific spacetime theories by distilling their essential similarities and differences, deliver a framework for a class of theories that could be helpful as a blueprint to build other meta-theories, and provide a higher-level viewpoint for judging which theory most accurately describes nature. But rather than drawing a map in broad strokes, the focus is on particularly rich regions in the “space of spacetime theories.” -/- This work will be of interest to physicists, as well as philosophers and historians of science working with or interested in General Relativity and/or Space, Time and Gravitation more generally. (shrink)