This paper takes stock of all the various factors that cause the design-time opacity of autonomous systems behaviour. The factors include embodiment effects, design-time knowledge gap, human factors, emergent behaviour and tacit knowledge. This situation is contrasted with the usual representation of moral dilemmas that assume perfect information. Since perfect information is not achievable, the traditional moral dilemma representations are not valid and the whole problem of ethical autonomous systems design proves to be way more empirical than previously understood.

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when (...) it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

Karl Popper and Thomas Kuhn were friends of science because they shared some values—the value of science for humanity, especially. My thesis is that their different accounts of science could not sa...

Theorists analyzing the concepts of race and gender disagree over whether the terms refer to natural kinds, social kinds, or nothing at all. The question arises: what do we mean by the terms? It is usually assumed that ordinary intuitions of native speakers are definitive. However, I argue that contemporary semantic externalism can usefully combine with insights from Foucauldian genealogy to challenge mainstream methods of analysis and lend credibility to social constructionist projects.

Karl Marx and Sigmund Freud provided powerful accounts of systematic interested ignorance. Fifty years ago, Anglo-American philosophies of science stigmatized Marx's and Freud's analyses as models of irrationality. They remain disvalued today, at a time when virtually all other humanities and social science disciplines have returned to extract valuable insights from them. Here the argument is that there are reasons distinctive to philosophy why such theories were especially disvalued then and why they remain so today. However, there are even better (...) reasons today for philosophy to break from this history and find more fruitful ways to engage with systematic interested ignorance. (shrink)

With metaphysical philosophy gaining prominence in the aftermath of the Quine-Carnap debate, not only has it become assumed that the Quinean critique leaves ontological pluralism behind as an untenable approach, but also that the same is true of deflationism more generally. Building on Quine’s criticisms against the analytic-synthetic distinction and the notion of quantifier variance, contemporary metaphysicians like van Inwagen and Sider continue to argue for the untenability of deflationary approaches to metaontology. In this paper I will argue that Quine’s (...) criticisms do not provide sufficient grounds for revitalizing metaphysics, as the aforementioned metaphysicians conceive them as doing, and that they also don’t eliminate all hope for Carnapian pluralism. Furthermore, Carnap’s initial position may even yield the most promising route for the pluralistically inclined. Moreover, pluralism is often conceived as being equivalent with the narrower notion of quantifier variance, often associated with Hirsch and Putnam. As this notion often is attributed not only to Carnap and other pluralists, but also is taken to be an essential feature of deflationism, explicating how their merits in fact don’t necessarily coincide with those of quantifier variance will clarify matters. I will conclude by noting how neither pluralism nor deflationism is committed to quantifier variance, and thus how arguments against the latter don’t entail a refutation of the former. (shrink)

I examine the (mediated) correspondence between Spinoza and Robert Boyle concerning the latter’s account of fluidity and his experiments on reconstitution of niter in the light of the epistemology and doctrine of method contained in the Treatise on the Emendation of the Intellect. I argue that both the Treatise and the correspondence reveal that for Spinoza, the proper method of science is not experimental, and that he accepted a powerful under-determination thesis. I argue that, in contrast to modern versions, Spinoza’s (...) form of naturalism was a highly rationalist and anti-empirical one. I conclude with a brief account of the value of experience and experimentation for Spinoza’s scientific method. (shrink)

This paper argues that, as all available accounts of how scientific and non-scientific goals might be distinguished rely upon distinctions as much in need of explication as the notion of scientific goals itself, naturalized accounts of science should reject the notion that there are characteristically scientific goals for a given time and place and instead countenance only the goals which happen to be had by individual scientists or their communities. This argument and the recommendation that follows from it are illustrated (...) by reference to Watson and Crick's discovery of the structure of DNA. (shrink)

Abstract: This article offers a perspective on the role of philosophy in relation to other academic disciplines and to society in general. Among the issues treated are the delimitation of philosophy, whether it is a science, its role in the community of knowledge disciplines, its losses of subject matter to other disciplines, how it is influenced by social changes and by progress in other disciplines, and its role in interdisciplinary work. It is concluded that philosophy has an important mission in (...) promoting clarity, precision, and open-mindedness in academic research and in society at large. (shrink)

This article offers a perspective on the role of philosophy in relation to other academic disciplines and to society in general. Among the issues treated are the delimitation of philosophy, whether it is a science, its role in the community of knowledge disciplines, its losses of subject matter to other disciplines, how it is influenced by social changes and by progress in other disciplines, and its role in interdisciplinary work. It is concluded that philosophy has an important mission in promoting (...) clarity, precision, and open‐mindedness in academic research and in society at large. (shrink)

In “Practical Knowledge of Language”, C.-h. Tsai criticizes the arguments in “Swimming and Speaking Spanish” (this issue, pp. 331–341), on the grounds that its account of knowledge of language as knowledge-how is mistaken. In its place, he proposes an alternative account in terms of Russell’s concept “knowledge-by-acquaintance”. In this paper, I show that this account succeeds neither in displacing the account in Swimming and Speaking Spanish nor in addressing Tsai’s main concern: solving the “delivery problem”.

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

This paper is concerned with the use of logic to solve philosophical problems. Such use of logic goes counter to the prevailing empiricist tradition in analytic circles. Specifically, model-theoretic tools are applied to three fundamental issues in the philosophy of logic and mathematics, namely, to the issue of the existence of mathematical entities, to the dispute between first- and second-order logic and to the definition of analyticity.

How do children learn the meanings of propositional attitude verbs? We argue that children use information contained in both syntactic distribution and pragmatic function to zero in on the appropriate meanings. Specifically, we identify a potentially universal link between semantic subclasses of attitude verbs, their syntactic distribution and the kinds of indirect speech acts they can be used to perform. As a result, children can use the syntax as evidence about the meaning, which in turn constrains the kinds of pragmatic (...) enrichments they do and do not make in understanding these verbs in conversation. (shrink)

ABSTRACT In Habgood-Coote : 1033–1065) I argued that we should abandon ‘fake news’ and ‘post-truth’, on the grounds that these terms do not have stable public meanings, are unnecessary, and function as vehicles for propaganda. Jessica Pepp, Eliot Michaelson, and Rachel Sterken and Étienne Brown : 144–154) have raised worries about my case for abandonment, recommending that we continue using ‘fake news’. In this paper, I respond to these worries. I distinguish more clearly between theoretical and political reasons for abandoning (...) a term, assemble more evidence that ‘fake news’ is a nonsense term, and respond to the worries raised by Pepp, Michaelson and Sterken, and Brown. I close by considering the prospects for anti-fascist and anti-authoritarian conceptual engineering. (shrink)

Quine's naturalized epistemology is ambivalent between a modest naturalism according to which epistemology is an a posteriori discipline, an integral part of the web of empirical belief, and a scientistic naturalism according to which epistemology is to be conducted wholly within the natural sciences. This ambivalence is encouraged by Quine's ambiguous use of science, to mean sometimes, broadly, our presumed empirical knowledge and sometimes, narrowly, the natural sciences. Quine's modest naturalism is reformist, tackling the traditional epistemological problems in a novel (...) way; his scientistic naturalism is revolutionary, requiring restriction and reconceptualization of epistemological problems. In particular, his scientistic naturalism trivializes the question of the epistemic standing of the natural sciences, whereas modest naturalism takes it seriously, and can offer a plausible answer. (shrink)

Belief revision theories aim to model the dynamics of epistemic states. Besides beliefs, epistemic states comprise most importantly justificational structures. Typically, belief revision theories, however, model the dynamics of beliefs while neglecting justificational structures over and above logical relations. Despite some awareness that this approach is problematic, how devastating the consequences of this neglect are has not yet been fully grasped. In this paper, I argue that taking justificational structures into account could solve four well-known problems of belief revision.

This paper concerns local yet systematic problems of contrastive underdetermination of model choice in cognitive neuroscience debates about the so-called two visual systems hypothesis. The underdetermination problem is systematically generated by the way certain assumptions about the representationalist nature of computation are translated into experimental practice. The problem is that behavioural data underdetermine the choice between competing representational models. In this paper, I diagnose how these assumptions generate underdetermination problems in the choice between competing functional models of perception–action. Using the (...) tools of philosophy of science, I describe the type of underdetermination and sketch a possible cure. (shrink)

In this paper, I challenge an influential understanding of naturalization according to which work on traditional problems in the philosophy of law should be replaced with sociological or psychological explanations of how judges decide cases. W.V. Quine famously proposed the ‘naturalization of epistemology’. In a prominent series of papers and a book, Brian Leiter has raised the intriguing idea that Quine’s naturalization of epistemology is a useful model for philosophy of law. I examine Quine’s naturalization of epistemology and Leiter’s suggested (...) parallel and argue that the parallel does not hold up. Even granting Leiter’s substantive assumption that the law is indeterminate, there is no philosophical confusion or overreaching in the legal case that is parallel to the philosophical overreaching of Cartesian foundationalism in epistemology. Moreover, if we take seriously Leiter’s analogy, the upshot is almost the opposite of what Leiter suggests. The closest parallel in the legal case to Quine’s position would be the rejection of the philosophical positions that lead to the indeterminacy thesis. (shrink)

Greimann-Dirk_A-typology-of-conceptual-explications.

Popper emphasised both the problem-solving nature of human knowledge, and the need to criticise a scientific theory as strongly as possible. These aims seem to contradict each other, in that the former stresses the problems that motivate scientific theories while the one ignores the character of the problems that led to the formation of the theories against which the criticism is directed. A resolution is proposed in which problems as such are taken as prime in the search for knowledge, and (...) subject to discussion. This approach is then applied to the problem of induction. Popper set great stake to his solution of it, but others doubted its legitimacy, in ways that are clarified by changing the form of the induction problem itself. That change draws upon logic, which is the subject of another application: namely, in contrast to Popper’s adhesion to classical logic as the only welcome form (because of the maximal strength of criticism that it dispenses), can other logics be used without abandoning his philosophy of criticism? (shrink)

In this paper, I argue that various disputes in ontology have important ramifications and so are worth taking seriously. I employ a criterion according to which whether a dispute matters depends on how integrated it is with the rest of our theoretical projects. Disputes that arise from previous tensions in our theorizing and have additional implications for other issues matter, while insular disputes do not. I apply this criterion in arguing that certain ontological disputes matter; specifically, the disputes over concrete (...) possible worlds and coincident material objects. Finally, I consider how one could show that some ontological disputes do not matter, using a Platonism/nominalism dispute as an example. (shrink)

Although during the last decades the philosophy of chemistry has greatly extended its thematic scope, the main difficulties appear in the attempt to link the chemical description of atoms and molecules and the description supplied by quantum mechanics. The aim of this paper is to analyze how the difficulties that threaten the continuous conceptual link between molecular chemistry and quantum mechanics can be overcome or, at least, moderated from the perspective of BM. With this purpose, in “The quantum-mechanical challenges” section (...) the foundational incompatibility between chemical and SQM descriptions will be briefly recalled. “Bohmian mechanics” section will be devoted to explain the main features of BM. In “Empirical equivalence and underdetermination” section, the consequences of the empirical equivalence between SQM and BM will be discussed. Finally, in the Conclusion, we will stress the scope of the obtained conclusions and the philosophical difficulties that still remain even after adopting BM for foundational purposes. (shrink)

In this paper I examine Crispin Wright's modal anti-realism as based on the availability of a certain attitude of Caution towards judgements of necessity. I think that Wright's account should be attractive in several ways for modal theorists with an anti-realist bend. However, the attitude of Caution to which it appeals has attracted some controversy. Wright himself has later come to doubt whether Caution is ultimately coherent. Here I first address Wright's worries concerning the coherence of Caution and show that (...) they are unfounded. But then I argue that although the attitude of Caution is coherent, it cannot provide a suitable basis for a non-eliminativist account of necessity. I offer two different objections against Caution. I argue that Wright's appeal to Caution, if successful, would show not only that modal judgement is non-objective but also that it is dispensable. Thus, I claim that appeal to Caution would seem to serve more as a threat against a non-eliminativist account of necessity, rather than as a potential adequate basis for it. However, I argue that Wright's appeal to Caution is unsuccessful, for there is no genuine Caution: Caution is a mere verbal attitude. (shrink)

Philosophical research tends to be done separately from empirical research, but this makes it difficult to tackle questions which require both. To make it easier to address these hybrid research questions, I argue that we should sometimes combine philosophical and empirical investigations. I start by describing a continuum of research methods from data collecting and analysing to philosophical arguing and conceptualising. Then, I outline one possible middle-ground position where research is equally philosophical and empirical: the Community of Inquiry reconceived as (...) a research method. In this method, a group of participants engage in philosophical discussion and dialogue to answer the research question . I argue that this collaborative philosophical inquiry, moderated by a philosopher, provides a new method for collecting and testing data. The results are philosophical positions and arguments blended with empirical findings. Next, I illustrate how I used this philosophical–empirical method in a recent study to evaluate the strength of educational metaphors. I conclude that the Community of Inquiry is a viable means of combining philosophical and empirical research, and a new and worthwhile method for research in education. (shrink)

W. V. Quine famously argues that though all knowledge is empirical, mathematics is entrenched relative to physics and the special sciences. Further, entrenchment accounts for the necessity of mathematics relative to these other disciplines. Michael Friedman challenges Quine’s view by appealing to historicism, the thesis that the nature of science is illuminated by taking into account its historical development. Friedman argues on historicist grounds that mathematical claims serve as principles constitutive of languages within which empirical claims in physics and the (...) special sciences can be formulated and tested, where these mathematical claims are themselves not empirical but conventional. For Friedman, their conventional, constitutive status accounts for the necessity of mathematics relative to these other disciplines. Here I evaluate Friedman’s challenge to Quine and Quine’s likely response. I then show that though we have reason to find Friedman’s challenge successful, his positive project requires further development before we can endorse it. (shrink)

The idea that there are conceptual schemes, relative to which we conceptualize experience, and empirical content, the “raw” data of experience that get conceptualized through our conceptual schemes into beliefs or sentences, is not new. The idea that there are neither conceptual schemes nor empirical content, however, is. Moreover, it is so new, that only four arguments have so far been given against this dualism, with Donald Davidson himself presenting versions of all four. In this paper, I show that in (...) both the general and Davidson’s specific form the first three arguments against scheme-content dualism rely on the fourth. From many there is just one. Then I show that the fate of the first three arguments against scheme-content dualism hangs on that of the fourth. Finally I present four reasons why the fourth argument fails. For the sake of the dualism’s detractors, therefore, one can only hope that forthcoming arguments against scheme-content dualism fare better than those given so far. (shrink)

Replicability is a term that not only comes with different meanings in the literature of many domains but is often associated or confused with other terms such as ‘reproducibility,’ ‘repeatability,’ ‘reliability,’ ‘validity,’ and so on. To add to the confusion, it can even be used differently across diverse disciplines. Though all named concepts are important, what makes them barely advantageous is that they do not cover some peculiar aspects of the replicability and validation processes, i.e., appropriateness of conceptualization; trustworthiness of (...) operational definition and operational acts; accuracy of researcher’s description, categorization and/or measurement; successfulness of observational (or field) relation. Moreover, in social sciences and organization studies, the concept of validity of data is highly questionable due to the quite frequent shortage of real statuses of the observed objects. The present paper aims to challenge the received view on the concept of ‘replicability,’ by proposing a “situational approach” based on the idea that replicability works under certain organizational and socio-technic conditions, and that it is heavily influenced by the way that different stakeholders (scientists, technicians, participants artifacts, and technologies) respond to them. Consequently, it is important to understand how and why replicability works in different contexts. Its main purpose, without denying the importance of current conventional perspectives on replicability and its siblings, is to widen and change them to include an organizational setting and a reflexive epistemology. This implies the pursuit of a third way of replicability, between the postmodernist negation of its possibility and its opposite, i.e., a naïve naturalism. A way asserting that replicability is a jigsaw puzzle or a mosaic, constituted by discursive practices (poetics) and organizational achievements guiding the politics of accountability, validation and legitimation. The domain here considered pertains to the social and organizational sciences. However, though going beyond the aim of this essay, many issues could be reframed and adapted to medical, natural and physical sciences, as some of the following examples can show. (shrink)

There are currently two legally established criteria for death: the irreversible cessation of circulation and respiration and the irreversible cessation of neurologic function. Recently, there have been technological developments that could undermine the irreversibility requirement. In this paper, I focus both on whether death should be identified as an irreversible state and on the proper scope of irreversibility in the biological definition of death. In this paper, I tackle the distinction between the commonsense definition of death and the biological definition (...) of death to show that even the commonsense concept of death is specified by biological facts. Resting on this argument, I argue that any definition of death is a posteriori. Thus, irreversibility is part of any definition of death because the actual phenomenon of death is irreversible. In addition, I show that the proper domain of irreversibility in a definition of death is circumscribed by physical possibilities and that irreversibility in the definition of death refers to current possibilities for the reversal of relevant biological processes. I conclude that, despite recent technological advancements, death is still irreversible. (shrink)

Following Wesley Hohfeld's pioneering analyses, which demonstrated that the concept of ownership conflated a variety of distinct legal relations, a deflationary regarding those relations as essentially unconnected held sway for much of the subsequent century. In recent decades, this theory has been thought too diffuse; it seems counterintuitive to insist, for instance, that rights of possession and alienation over a property are associated only contingently. Accordingly, scholars such as James Penner and James Harris have advanced theories that revive the concept (...) of ownership, identifying some instances of property as and regarding others as conceptually subsidiary. I propose a new interpretation of the bundle theory, based on David Lewis's idea of among physical particles. I critically examine the major antibundle positions, arguing that their criticisms result from confusion about the claims of the bundle theory, which remains the best account of property rights available. (shrink)

According to Chomsky and his followers, language as a biological phenomenon is a property of individual minds and brains; its status as a social phenomenon is merely epiphenomenal and not a proper object of scientific study. On a rival view, the individual's biological capacity for language cannot be properly understood in isolation from the linguistic environment, which it both depends on for its operation and—in collaboration with other speakers—builds and shapes for future generations. I argue here for the rival view (...) by demonstrating firstly its greater consonance with several themes in current biological theory, and secondly its ability to answer two well‐known philosophical challenges to generative linguistics due to Quine and Kripke. (shrink)

Since Freges terms were meant to refer always to sets, that is, entities composed of individuals. Classical philosophy up to Leibniz and Kant had a different view on this questionBegriffes syntaxhighercorresponding to the idea which Leibniz used in the construction of his characteristic numbers. Thus, this paper is an addendum to Corcorans theory via predicate logic.

Knowledge representation is a central issue for Artificial Intelligence and the Semantic Web. In particular, the problem of representing n-ary relations in RDF-based languages such as RDFS or OWL by no means is an obvious one. With respect to previous attempts, we show why the solutions proposed by the well known W3C Working Group Note on n-ary relations are not satisfactory on several scores. We then present our abstract model for representing n-ary relations as directed labeled graphs, and we show (...) how this model gives rise to a new ontological pattern for the representation of such relations in the Semantic Web. To this end, we define PROL. PROL is an ontological language designed to express any n-ary fact as a parametric pattern, which turns out to be a special RDF graph. The vocabulary of PROL is defined by a simple RDFS ontology. We argue that the parametric pattern may be particularly beneficial in the context of the Semantic Web, in virtue of its high expressive power, technical simplicity, and faithful meaning rendition. Examples are also provided. (shrink)

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth (one sentence-based and one model-based) and two of empirical adequacy (one sentence-based and one model-based), we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism (MCR). We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

The paper analyses theoretical presuppositions of the predominant form of semantic naturalism in contemporary analytic philosophy. The aim is to show that irrespective of the fact that the doctrine of semantic naturalism is grounded in ontological and epistemological naturalism, and is developed on the basis of semantic externalism, this conception of foundational semantics rests on internalist premises, and therefore should be construed as Cartesian. Theories and their interrelations that are assumed by semantic naturalism are explicated by relying on the tripartite (...) interpretation of “the problem of intentionality”. The Cartesian aspects of the assumed theories – and thus of the form of semantic naturalism that is analysed – are then specified in the context of Hilary Putnam’s version of semantic externalism. (shrink)

Elizabeth Anscombe’s classic paper Causality and Determination claims that causation can be perceived. It also defends causal singularism, the idea that the causal relation is fundamentally between the particular cause and effect, and does not depend on regularities holding elsewhere in the universe. But does the former furnish an argument for the latter? The present paper analyses a special type of causal experience involving emotional reactions to present stimuli; for instance, being frightened by a spider. It argues that such experiences (...) are strongly local, in the sense that they justify belief in a local causal relation independently of our knowledge about events elsewhere in the universe. If this analysis is correct, Humean regularity theories of causation are false; and all other non-singularist theories of causation face a difficult explanatory challenge. This means that the case for causal singularism comes out considerably strengthened. (shrink)

The final-year undergraduate dissertation is commonplace in Education Studies programmes across the world and yet its philosophical assumptions are complex and not always questioned. In England there is evidence to suggest a tacit preference for empiricism in textbooks designed to support early researchers. This brings, we suggest, problems associated with dualism, instrumentalism and of accounting for value, redolent of the dilemmas that emerge from Hume’s empiricist epistemology. The paper suggests that if argumentation were explicitly taught to undergraduates it may help (...) oversee the more judicious use of empirical approaches that are currently privileged in dissertation guidance. (shrink)

This paper presents considerations against the linguistic view of a priori knowledge. The paper has two parts. In the first part I argue that problems about the individuation of lexical meanings provide evidence for a moderate indeterminacy, as distinct from the radical indeterminacy of meaning claimed by Quine, and that this undermines the idea of a priori knowledge based on knowledge of synonymies. In the second part of the paper I argue against the idea that a priori knowledge not based (...) on knowledge of synonymies can be explained in terms of implicit definitions. (shrink)

Multivariate pattern analysis, or MVPA, has become one of the most popular analytic methods in cognitive neuroscience. Since its inception, MVPA has been heralded as offering much more than regular univariate analyses, for—we are told—it not only can tell us which brain regions are engaged while processing particular stimuli, but also which patterns of neural activity represent the categories the stimuli are selected from. We disagree, and in the current paper we offer four conceptual challenges to the use of MVPA (...) to make claims about neural representation. Our view is that the use of MVPA to make claims about neural representation is problematic. (shrink)