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

The perennial nature of some of philosophy’s deepest problems is a puzzle. Here, one problem, the realism–anti-realism debate, and one type of explanation for its longevity, are examined. It is argued that realism and anti-realism form a dialetheic pair: While they are in fact each other’s logical opposite, nevertheless, both are true (and both false). First, several reasons why one might think such a thing are presented. These reasons are merely the beginning, however. In the following sections, the dialetheic conclusion (...) is directly argued for by showing how realism and anti-realism satisfy Priest’s “inclosure schema”. In the last section and the conclusion, the conscious mind’s role in creating realism and anti-realism is discussed. This role further supports the conclusion that realism and anti-realism form a dialetheic pair. (shrink)

In this paper we will try to show the differences between Quine’s and Gibson’s interpretation of the naturalized epistemology project. Namely, although Gibson points out that the genetic approach advocated by Quine is the best strategy there is to investigate the relations between evidence and theory, and that externalizing of empiricism that it requires is one of Quine’s major philosophical contributions, we argue that the assumptions on which Gibson’s project is based, apart from the fact that they are in conflict (...) with some strongly held intuitions, would have to be essentially different from Quine’s. In other words, contrary to Quine’s position within which we have the possibility of staying on more moderate, and in our opinion, more plausible behavioristic line of approach, we will try to show that one of the consequences of Gibson’s interpretation is that this possibility is ruled out in Gibson’s case. On the other hand, this should enable us to draw some more radical conclusions about the nature of Quine’s epistemological project. (shrink)

For two reasons, physics occupies a preeminent position among the sciences. On the one hand, due to its recognized position as a fundamental science, and on the other hand, due to the characteristic of its obvious certainty of knowledge. For both reasons it is regarded as the paradigm of scientificity par excellence. With its focus on the issue of epistemic certainty, philosophy of science follows in the footsteps of classical epistemology, and this is also the basis of its 'judicial' pretension (...) vis-à-vis physics. Whereas physics is in a strong competitive relationship to philosophy and epistemology with respect to its position as a fundamental science - even on the subject of cognition, as the pretension of 'reductionism' shows. It is the thematic focus on epistemic certainty itself, however, that becomes the root of a profound epistemological misunderstanding of physics. The reason for this is twofold: first, the idea of epistemic certainty as a criterion of 'demarcation' between physics and metaphysics obscures the view of the much deeper heuristic differences between the two kinds of knowledge. The second, related, reason is that epistemology does not ask the question of the reason for the epistemic certainty of physics; instead, it sets itself the task of 'legitimating' physical knowledge, and this, crucially, with reference to the interpretation of the process of cognition. Thus, as a matter of course, all epistemological assumptions about this process – including the common descriptive understanding of knowledge and its ontological premises – flow into the interpretation of physics as a science. Consequently, this undertaking is not only doubtful from the ground up, because it presupposes for its meaningfulness nothing less than certainty of knowledge concerning (the interpretation of) the process of knowledge, thereby relying on mere convictions; moreover, by projecting the descriptive, 'metaphysical' concept of knowledge onto physics, it leads to unsolvable epistemological problems and corresponding resignative conclusions concerning the claim of knowledge of physics. In other words, epistemology itself builds, due to its basic assumptions, a major obstacle for an adequate understanding of physics. Physics' cross-object, deconstructive approach to knowledge implies a completely different, non-descriptive understanding of its concepts, with consequences that extend far beyond itself due to its status as a basic science. (shrink)

There occurred in the twentieth century the most remarkable episode in the history of human thought. A number of thinkers denied the existence of something we know with certainty to exist: consciousness, conscious experience. Others held back from the Denial, as we may call it, but claimed that it might be true --a claim no less remarkable than the Denial. This paper documents some aspects of this episode, with particular reference to two things. First, the development of two views which (...) are forms of the Denial --philosophical behaviourism, and functionalism considered as a doctrine in the philosophy of mind-- from a view that does not in any way involve the Denial: psychological methodological behaviourism. Second, the rise of a way of understanding naturalism --materialist or physicalist naturalism-- that wrongly takes naturalism to entail the Denial. (shrink)

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

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

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

Teresa believes in God. Maggie’s wife believes that the Earth is flat, and also that Maggie should be home from work by now. Anouk—a cat—believes it is dinner time. This dissertation is about what believing is: it concerns what, exactly, ordinary people are attributing to Teresa, Maggie’s wife, and Anouk when affirming that they are believers. Part I distinguishes the attitudes of belief that people attribute to each other (and other animals) in ordinary life from the cognitive states of belief (...) theoretically posited by (some) cognitive scientists. Part II defends the view that to have an attitude of belief is to live—to be disposed to act, react, think, and feel—in a pattern that an actual belief attributor identifies with taking the world to be some way. Drawing on scientific, scholarly, and literary sources of evidence, How Beliefs are like Colors provides a framework for research on belief across the humanities and sciences of the mind. (shrink)

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

The objective of this dissertation is to write the first pages of the biography of paleobiological data. I will focus on i) the genesis of this kind of data as it emerged in German stratigraphy and paleontology between the mid 19th and the early 20th centuries and ii) how the conceptualization of the paleontological data was reformulated and taken as the starting point for studying the patterns of the diversity of life in deep time between the 1940s and 70s. This (...) is the turning point that marks the ‘coming into being’ of specifically paleobiological data. I will reconstruct in detail how it was possible to transform an incomplete and misleading material object — the fossil record that can be admired in a museum —into a no longer misleading source of knowledge. I will namely describe the genesis of the paleobiological practice by retracing the encounter of two different approaches to the fossil record between the mid 19th and early 20th centuries in German academia and their later diffusion into English-speaking countries. (shrink)

Disagreement over what exists is so fundamental that it tends to hinder or even to block dialogue among disputants. The various controversies between believers and atheists, or realists and nominalists, are only two kinds of examples. Interested in contributing to the intelligibility of the debate on ontology, in 1939 Willard van Orman Quine began a series of works which introduces the notion of ontological commitment and proposes an allegedly objective criterion to identify the exact conditions under which a theoretical discourse (...) signals an assumption of existence. I intend to present the concept of ontological commitment and the Quinean criterion, to expose and evaluate some of the many criticisms to which the criterion has subject and to situate it in the context of Quine’s philosophy. As a product of such analyses, I hope to contribute to the discussion on the application and relevance of the notion of ontological commitment. (shrink)

The aim of this paper is to demonstrate that empirically delimited structures of mind are also differentiable by means of systematic logical analysis. In the sake of this aim, the paper first summarizes Demetriou's theory of cognitive organization and growth. This theory assumes that the mind is a multistructural entity that develops across three fronts: the processing system that constrains processing potentials, a set of specialized structural systems (SSSs) that guide processing within different reality and knowledge domains, and a hypecognitive (...) system that monitors and controls the functioning of all other systems. In the second part the paper focuses on the SSSs, which are the target of our logical analysis, and it summarizes a series of empirical studies demonstrating their autonomous operation. The third part develops the logical proof showing that each SSS involves a kernel element that cannot be reduced to standard logic or to any other SSS. The implications of this analysis for the general theory of knowledge and cognitive development are discussed in the concluding part of the paper. (shrink)

In this paper I consider an objection that friends of the Metaphysic of Temporal Parts (MTP) press against other solutions to the problem of temporary intrinsics and turn it against the MTP itself. I do not argue that the MTP must be false, nor do I argue that there are no arguments in favor of the MTP. Rather, the conclusion I draw is conditional: if the MTP provides an adequate response to the problem of temporary intrinsics, then the MTP provides (...) no reason to reject our commonsense view of the nature of material objects. (shrink)

Vít Gvoždiak published a reconciliatory analysis of Searle’s social ontology with semiotics in Gvoždiak (2012). Without prior knowledge of his paper, an analysis of the same subject appeared in Msimang (2014). Even though Searle’s social ontology is a common point of reference in the formulation of semiotics in these papers, it also serves as a point of departure in their understanding of semiotics and its development. The semiotic theory expressed in Gvoždiak (2012) is an inherently linguistic (speech act centred) theory, (...) whereas the semiotic theory presented in Msimang (2014) tends more towards a general theory of communicative systems in which social ontology, which follows from speech act theory, is an interesting part. It is my purpose in this note to contrast the two positions of semiotic theory as they appear in the aforementioned papers in reference to their appropriation of Searle’s social ontology. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

This paper (in Finnish) concerns the ontological status of categories of entities. I argue that categories are not be considered as further entities. Rather, it is suffcient for entities belonging to the same category that they are in exactly the same formal ontological relations and have the same general category features.

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

La tesis de indispensabilidad se toma habitualmente como un argumento (posiblemente el mejor) para defender el realismo matemático. La propuesta se asocia con Quine y Putnam, y establece que, en tanto en cuanto las entidades matemáticas se muestran indispensables para nuestras mejores teorías físicas, comparten el estatus ontológico de las entidades científicas. Pese a que el argumento ha sufrido ataques desde prácticamente todas las direcciones, algunos autores continúan tratando de defenderlo. En este artículo se analizan de manera especial las críticas (...) de Elliot Sober al argumento y se sugiere que debería ser abandonado o, al menos, reformulado. (shrink)

This is a defense of the doctrine of scientific realism. SR is defined through the following two claims: Most essential unobservables posited by the well-established current scientific theories exist independently of our minds. We know our well-established scientific theories to be approximately true. I first offer positive argumentation for SR. I begin with the so-called 'success arguments' for SR: 1) scientific theories most of the times entail successful predictions; 2) science is methodologically successful in generating empirically successful theories. SR explains (...) these facts via inference to the best explanation. I combine Hacking's experimental argument for entity realism with Salmon's common-cause principle. I take entity realism to be foundational to SR: one may believe in the existence of some theoretical entities without believing in any particular theory in which these are embedded. Its motivation comes from experimental practice, where the manipulation of these entities often relies on incompatible theoretical accounts. The underdetermination topic is thereafter discussed. Several attempts to distinguish between an observable and an unobservable realm are critically discussed, as well as the possibility that for any given theory, there are empirically equivalents generated by means of algorithms. I present extensive argumentation to the effect that such algorithmic rivals are not to be taken seriously. Social constructivism is being critically treated. I proceed by distinguishing between a metaphysical, a semantic, and an epistemic variant of SC. I conclude that only a moderate metaphysical constructivism can stand on its own feet. Its claim is merely that some facts about the world are socially constructed. I finish with a plea for a selective SR, able to do justice to the presence of both instrumentalism and modest constructivism in scientific practice. (shrink)

Questions concerning the nature of representation and what representations are about have been a staple of Western philosophy since Aristotle. Recently, these same questions have begun to concern neuroscientists, who have developed new techniques and theories for understanding how the locus of neurobiological representation, the brain, operates. My dissertation draws on philosophy and neuroscience to develop a novel theory of representational content.

Some of the most enduring skeptical arguments invoke stories of deception -- the evil demon, convincing dreams, an envatted brain, the Matrix -- in order to show that we have no first-order knowledge of the external world. I confront such arguments with a dilemma: either (1) they establish no more than the logical possibility of error, in which case they fail to threaten fallible knowledge, the only kind of knowledge of the external world most of us think we have anyway; (...) or (2) they defeat themselves because they must grant us empirical knowledge or justified beliefs of the very kind they must also entirely deny us. Either way they pose no significant threat. (shrink)

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

This article explores the way in which Husserl’s transcendental idealism reverses the thesis stemming from the naturalistic worldview, according to which the existence of humanity in the universe is a contingent fact. It will appear that the resulting teleological account of the world history does not interfere with the traditional explanations provided by the empirical sciences and that it is a consequence of the teleology inbuilt in the correlation between transcendental subjectivity and the world. The conclusion is reached by analyzing (...) some of Husserl’s text concerning the transcendental role of embodiment and normality. (shrink)

The question raised by this volume is “How successful is naturalism?” The question presupposes that we already know what naturalism is and what counts as success. But, as anyone familiar with the literature on naturalism knows, both suppositions are suspect. To answer the question, then, we must first say what we mean in this context by both ‘naturalism’ and ‘success’. I’ll start with ‘success’. I will then argue that, by the standard of measurement that I shall identify here, naturalism is (...) an utter failure. (shrink)

This paper deals with the question whether science and philosophy are continuous, as Quine thought, or whether they are completely separated, as Wittgenstein held. Reconstructing the reasons why the latter kept a sharp distinction between science and philosophy, it examines the attempts of the former to resolve philosophical problems in scientific terms. It maintains that Quine’s scientism is misconceived and presents further reasons for making a distinction (if not a separation) between science and philosophy.