This article asks the question, ``what is reliable machine learning?'' As I intend to answer it, this is a question about epistemic justification. Reliable machine learning gives justification for believing its output. Current approaches to reliability (e.g., transparency) involve showing the inner workings of an algorithm (functions, variables, etc.) and how they render outputs. We then have justification for believing the output because we know how it was computed. Thus, justification is contingent on what can be shown about the algorithm, (...) its properties, and its behavior. In this paper, I defend computational reliabilism (CR). CR is a computationally-inspired off-shoot of process reliabilism that does not require showing the inner workings of an algorithm. CR credits reliability to machine learning by identifying reliability indicators external to the algorithm (validation methods, knowledge-based integration, etc.). Thus, we have justification for believing the output of machine learning when we have identified the appropriate reliability indicators. CR is advanced as a more suitable epistemology for machine learning. The main goal of this article is to lay the groundwork for CR, how it works, and what we can expect as a justificatory framework for reliable machine learning. (shrink)

Process reliabilism says that a belief is justified iff the belief-forming process that produced it is sufficiently reliable. But any token belief-forming process is an instance of a number of different belief-forming process types. The problem of specifying the relevant type is known as the ‘generality problem’ for process reliabilism. This paper proposes a broadly relativist solution to the generality problem. The thought is that the relevant belief-forming process type is relative to the context. While the basic idea (...) behind the solution is from Mark Heller (1995), the solution defended here departs from Heller on a crucial point. Because of this departure, my solution avoids a serious problem with Heller’s solution. (shrink)

One attractive feature of process reliabilism is its reductive potential: it promises to explain justification in entirely non-epistemic terms. In this paper, I argue that the phenomenon of epistemic defeat poses a serious challenge for process reliabilism’s reductive ambitions. The standard process reliabilist analysis of defeat is the ‘Alternative Reliable Process Account’ (ARP). According to ARP, whether S’s belief is defeated depends on whether S has certain reliable processes available to her which, if they had been used, would (...) have resulted in S not holding the belief in question. Unfortunately, ARP proves untenable. I show, by way of counterexample, that ARP fails to articulate either necessary or sufficient conditions on defeat. Process reliabilists must either provide an alternative reductive account of defeat or renounce their reductive aspirations. (shrink)

Generativism about memory justification is the view that memory can generate epistemic justification. Generativism is gaining popularity, but process reliabilists tend to resist it. Process reliabilism explains the justification of beliefs by way of the reliability of the processes they result from. Some advocates of reliabilism deny various forms of generativism. Other reliabilists reject or remain neutral about only the more extreme forms. I argue that an extreme form of generativism follows from reliabilism. This result weakens a (...) long-standing argument for reliabilism. (shrink)

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon (...) worlds, and it is a challenge for the internalist to be able to do so as well. (shrink)

Reliabilism is invoked by a standard causal response to the slow switching argument for incompatibilism about mental content externalism and privileged access. Though the response in question is negative, in that it only establishes that, given such an epistemology, externalism does not rule privileged access out, the appeal to reliabilism involves an assumption about the reliability of introspection, an assumption that in turn grounds a simple argument for the positive conclusion that reliabilism itself implies privileged access. This (...) paper offers a two-part defense of that conclusion: the reliabilist account of privileged access is defended both againstarguments in favor of the rival content inheritance strategy and against an argument turning on empirical considerations concerning the individuation of the belief-producing process of introspection. (shrink)

This paper defends reliabilism against the classic demon world victim thought experiment. In doing so, I underscore two of its key alleged intuitions. I then articulate a host of varied responses open to the reliabilist, arguing that these readily available responses provide the reliabilist with a way to either accommodate or reject these initial intuitions about the demon world victim thought experiment, and in a way consistent with reliabilism. Thus, I conclude that the demon world thought experiment does (...) not undercut reliability as the hallmark of epistemic justification. (shrink)

Stewart Cohen’s New Evil Demon argument raises familiar and widely discussed concerns for reliabilist accounts of epistemic justification. A now standard response to this argument, initiated by Alvin Goldman and Ernest Sosa, involves distinguishing different notions of justification. Juan Comesaña has recently and prominently claimed that his Indexical Reliabilism (IR) offers a novel solution in this tradition. We argue, however, that Comesaña’s proposal suffers serious difficulties from the perspective of the philosophy of language. More specifically, we show that the (...) two readings of sentences involving the word ‘justified’ which are required for Comesaña’s solution to the problem are not recoverable within the two-dimensional framework of Robert Stalnaker to which he appeals. We then consider, and reject, an attempt to overcome this difficulty by appeal to a complication of the theory involving counterfactuals, and conclude the paper by sketching our own preferred solution to Cohen’s New Evil Demon. (shrink)

What is it for an imprecise credence to be justified? It might be thought that this is not a particularly urgent question for friends of imprecise credences to answer. For one might think that its answer just depends on how a well-trodden issue in epistemology plays out—namely, that of which theory of doxastic justification, be it reliabilism, evidentialism, or some other theory, is correct. I’ll argue, however, that it’s difficult for reliabilists to accommodate imprecise credences, at least if we (...) understand such credences to be determinate first-order attitudes. If I’m right, reliabilists will have to reject imprecise credences, and friends of imprecise credences will have to reject reliabilism. Near the end of the paper, I’ll also consider whether reliabilism can accommodate indeterminate credences. (shrink)

Strategic Reliabilism is a framework that yields relative epistemic evaluations of belief-producing cognitive processes. It is a theory of cognitive excellence, or more colloquially, a theory of reasoning excellence (where 'reasoning' is understood very broadly as any sort of cognitive process for coming to judgments or beliefs). First introduced in our book, Epistemology and the Psychology of Human Judgment (henceforth EPHJ), the basic idea behind SR is that epistemically excellent reasoning is efficient reasoning that leads in a robustly reliable (...) fashion to significant, true beliefs. It differs from most contemporary epistemological theories in two ways. First, it is not a theory of justification or knowledge – a theory of epistemically worthy belief. Strategic Reliabilism is a theory of epistemically worthy ways of forming beliefs. And second, Strategic Reliabilism does not attempt to account for an epistemological property that is assumed to be faithfully reflected in the epistemic judgments and intuitions of philosophers. If SR makes recommendations that accord with our reflective epistemic judgments and intuitions, great. If not, then so much the worse for our reflective epistemic judgments and intuitions. (shrink)

According to process reliabilism, a belief produced by a reliable belief-forming process is justified. I introduce problems for this theory on any account of reliability. Does the performance of a process in some domain of worlds settle its reliability? The theories that answer “Yes” typically fail to state the temporal parameters of this performance. I argue that any theory paired with any plausible parameters has implausible implications. The theories that answer “No,” I argue, thereby lack essential support and exacerbate (...) familiar problems. There are new reasons to avoid any reliability conditions on justification. (shrink)

In its most basic form, Simple Reliabilism states that: a belief is justified iff it is formed as the result of a reliable belief-forming process. But so-called New Evil Demon cases have been given as counterexamples. A common response has been to complicate reliabilism from its simplest form to accommodate the basic reliabilist position, while at the same time granting the force of NED intuitions. But what if despite initial appearances, Simple Reliabilism, without qualification, is compatible with (...) the NED intuition? What we can call the Dispositionalist Response to the New Evil Demon problem is fascinating because it contends just that: Simple Reliabilism is fully compatible with the NED intuition. It is claimed that all we need to do to recognize their compatibility is appreciate that reliability is a dispositional property. In this paper I shall critically evaluate the Dispositionalist proposal. (shrink)

One leading approach to justification comes from the reliabilist tradition, which maintains that a belief is justified provided that it is reliably formed. Another comes from the ‘Reasons First’ tradition, which claims that a belief is justified provided that it is based on reasons that support it. These two approaches are typically developed in isolation from each other; this essay motivates and defends a synthesis. On the view proposed here, justification is understood in terms of an agent’s reasons for belief, (...) which are in turn analyzed along reliabilist lines: an agent's reasons for belief are the states that serve as inputs to their reliable processes. I show that this synthesis allows each tradition to profit from the other's explanatory resources. In particular, it enables reliabilists to explain epistemic defeat without abandoning their naturalistic ambitions. I go on to compare my proposed synthesis with other hybrid versions of reliabilism that have been proposed in the literature. (shrink)

This paper connects information with computation and cognition via concept of agents that appear at variety of levels of organization of physical/chemical/cognitive systems – from elementary particles to atoms, molecules, life-like chemical systems, to cognitive systems starting with living cells, up to organisms and ecologies. In order to obtain this generalized framework, concepts of information, computation and cognition are generalized. In this framework, nature can be seen as informational structure with computational dynamics, where an (info-computational) agent is needed (...) for the potential information of the world to actualize. Starting from the definition of information as the difference in one physical system that makes a difference in another physical system – which combines Bateson and Hewitt’s definitions, the argument is advanced for natural computation as a computational model of the dynamics of the physical world, where information processing is constantly going on, on a variety of levels of organization. This setting helps us to elucidate the relationships between computation, information, agency and cognition, within the common conceptual framework, with special relevance for biology and robotics. (shrink)

Philosophy and Phenomenological Research, EarlyView.

What are the conditions under which suspension of belief—or suspension, for short—is justified? Process reliabilists hold that our beliefs are justified if and only if these are produced or sustained by reliable cognitive processes. But they have said relatively little about suspension. Perhaps they think that we may easily extend an account of justified belief to deal with justified suspension. But it's not immediately clear how we may do so; in which case, evidentialism has a distinct advantage over reliabilism. (...) In this paper, I consider some proposals as to how process reliabilists might seek to account for justified suspension. Although several of these proposals do not work, two are promising. The first such proposal appeals to the notion of propositional justification; the second involves weaving evidentialist elements into reliabilism. I'll argue that the second proposal is better than the first. (shrink)

This paper presents a theoretical study of the binary oppositions underlying the mechanisms of natural computation understood as dynamical processes on natural information morphologies. Of special interest are the oppositions of discrete vs. continuous, structure vs. process, and differentiation vs. integration. The framework used is that of computing nature, where all natural processes at different levels of organisation are computations over informational structures. The interactions at different levels of granularity/organisation in nature, and the character of the phenomena that unfold through (...) those interactions, are modeled from the perspective of an observing agent. This brings us to the movement from binary oppositions to dynamic networks built upon mutually related binary oppositions, where each node has several properties. (shrink)

This paper aims to offer a novel interpretation of Socrates’ autobiography in the Phaedo 96-102 by using reliabilist epistemology as a heuristic guide to spell out the complex dynamics of the intellectual development of Socrates of the Phaedo. Surprisingly, scholars have mostly focused on the outcomes of Socrates’s scientific investigations, but they neglected the dynamics of the discovery process. The reason why Socrates rejected many earlier scientific ideas and the way in which he discovered new theories as much significant and (...) noteworthy as those theories. I argue that Socrates’ discovery and implementation of new methods of inquiry meet the epistemic standards of reliabilism that emphasize the reliability of processes involved in belief-formation. I show that Socrates criticized the physicists’ materialistic-mechanistic approach to explain coming-to-be, perishing, and being because of its unreliability. The paper concludes that (a) the concept of reliability is used as a guide to theory choice in Socrates’ autobiography (b) the positive feature of Socrates’ second sailing is its reliability and (c) reliability is the motive behind Socrates’ choice of certain belief-forming processes, namely a priori reasoning, the method of hypothesis, and the theory of Forms, in the search of the cause of coming-to-be, perishing, and being. -/- KEYWORDS: reliabilism, Phaedo, Socrates’ autobiography, deuteros plous. (shrink)

We offer philosophical motivations for a method we call Virtual World Cognitive Science (VW CogSci), in which researchers use virtual embodied agents that are embedded in virtual worlds to explore questions in the field of Cognitive Science. We focus on questions about mental and linguistic representation and the ways that such computational modeling can add rigor to philosophical thought experiments, as well as the terminology used in the scientific study of such representations. We find that this method forces researchers (...) to take a god’s-eye view when describing dynamical relationships between entities in minds and entities in an environment in a way that eliminates the need for problematic talk of belief and concept types, such as the belief that cats are silly, and the concept CAT, while preserving belief and concept tokens in individual cognizers’ minds. We conclude with some further key advantages of VW CogSci for the scientific study of mental and linguistic representation and for Cognitive Science more broadly. (shrink)

Human subjects seem to have a type of introspective access to their mental states that allows them to immediately judge the types and intensities of their occurrent emotions, as well as what those emotions are about or “directed at”. Such judgments manifest what I call “emotion-direction beliefs”, which, if reliably produced, may constitute emotion-direction knowledge. Many psychologists have argued that the “directed emotions” such beliefs represent have a componential structure, one that includes feelings of emotional responses and related but independent (...) representations of what those feelings are about. I argue that such componentiality may help to explain how emotion-direction knowledge is achievable. I begin by developing a hybrid view of introspection that combines David Chalmers’ phenomenal realism with Alvin Goldman’s “partial redeployment” account of meta-belief content. I then provide a process-reliabilist account of introspectively gained emotion-direction knowledge that outlines the minimum conditions of reliably forming emotion-direction beliefs, and specifies several ways in which the warrant of such beliefs could be defeated by relevant counterfactual alternatives. The overall account suggests how distinct introspective processes might be epistemically synergistic. (shrink)

Pretheoretically we hold that we cannot gain justification or knowledge through an epistemically circular reasoning process. Epistemically circular reasoning occurs when a subject forms the belief that p on the basis of an argument A, where at least one of the premises of A already presupposes the truth of p. It has often been argued that process reliabilism does not rule out that this kind of reasoning leads to justification or knowledge. For some philosophers, this is a reason to (...) reject reliabilism. Those who try to defend reliabilism have two basic options: (I) accept that reliabilism does not rule out circular reasoning, but argue that this kind of reasoning is not as epistemically “bad” as it seems, or (II) hold on to the view that circular reasoning is epistemically “bad”, but deny that reliabilism really allows this kind of reasoning. Option (I) has been spelled out in several ways, all of which have found to be problematic. Option (II) has not been discussed very widely. Vogel considers and quickly dismisses it on the basis of three reasons. Weisberg has shown in detail that one of these reasons is unconvincing. In this paper I argue that the other two reasons are unconvincing as well and that therefore option (II) might in fact be a more promising starting point to defend reliabilism than option (I). (shrink)

This paper aims to show that Selim Berker’s widely discussed prime number case is merely an instance of the well-known generality problem for process reliabilism and thus arguably not as interesting a case as one might have thought. Initially, Berker’s case is introduced and interpreted. Then the most recent response to the case from the literature is presented. Eventually, it is argued that Berker’s case is nothing but a straightforward consequence of the generality problem, i.e., the problematic aspect of (...) the case for process reliabilism (if any) is already captured by the generality problem. (shrink)

According to epistemic internalism, the only facts that determine the justificational status of a belief are facts about the subject’s own mental states, like beliefs and experiences. Externalists instead hold that certain external facts, such as facts about the world or the reliability of a belief-producing mechanism, affect a belief’s justificational status. Some internalists argue that considerations about evil demon victims and brains in vats provide excellent reason to reject externalism: because these subjects are placed in epistemically unfavorable settings, externalism (...) seems unable to account for the strong intuition that these subjects’ beliefs are nonetheless justified. I think these considerations do not at all help the internalist cause. I argue that by appealing to the anti-individualistic nature of perception, it can be shown that skeptical scenarios provide no reason to prefer internalism to externalism. (shrink)

The value problem for knowledge is the problem of explaining why knowledge is cognitively more valuable than mere true belief. If an account of the nature of knowledge is unable to solve the value problem for knowledge, this provides a pro tanto reason to reject that account. Recent literature argues that process reliabilism is unable to solve the value problem because it succumbs to an objection known as the swamping objection. Virtue reliabilism (i.e., agent reliabilism), on the (...) other hand, is able to solve the value problem because it can avoid the swamping objection. I argue that virtue reliabilism escapes the swamping objection only by employing what I call an entailment strategy. Furthermore, since an entailment strategy is open to the process reliabilist (in two different forms), I argue that the process reliabilist is also able to escape the swamping objection and thereby solve the value problem for knowledge. (shrink)

The Computational Theory of Mind (CTM) holds that cognitive processes are essentially computational, and hence computation provides the scientific key to explaining mentality. The Representational Theory of Mind (RTM) holds that representational content is the key feature in distinguishing mental from non-mental systems. I argue that there is a deep incompatibility between these two theoretical frameworks, and that the acceptance of CTM provides strong grounds for rejecting RTM. The focal point of the incompatibility is the fact that representational (...) content is extrinsic to formal procedures as such, and the intended interpretation of syntax makes no difference to the execution of an algorithm. So the unique 'content' postulated by RTM is superfluous to the formal procedures of CTM. And once these procedures are implemented in a physical mechanism, it is exclusively the causal properties of the physical mechanism that are responsible for all aspects of the system's behaviour. So once again, postulated content is rendered superfluous. To the extent that semantic content may appear to play a role in behaviour, it must be syntactically encoded within the system, and just as in a standard computational artefact, so too with the human mind/brain - it's pure syntax all the way down to the level of physical implementation. Hence 'content' is at most a convenient meta-level gloss, projected from the outside by human theorists, which itself can play no role in cognitive processing. (shrink)

For most of their respective existences, reliabilism and evidentialism (that is, process reliabilism and mentalist evidentialism) have been rivals. They are generally viewed as incompatible, even antithetical, theories of justification.1 But a few people are beginning to re-think this notion. Perhaps an ideal theory would be a hybrid of the two, combining the best elements of each theory. Juan Comesana (forthcoming) takes this point of view and constructs a position called “Evidentialist Reliabilism.” He tries to show how (...) each theory can profit by borrowing elements from the other. Comesana concentrates on reliabilism’s problems and how it might be improved by infusions from evidentialism. This paper follows a similar tack. My emphasis, however, is the reverse of Comesana’s. I highlight problems for evidentialism and show how it could benefit by incorporating reliabilist themes. I am not sanguine that evidentialists will see it my way. They might even view my proposals as an insidious attempt to convert evidentialists to reliabilism. Well, I won’t debate the best way to formulate this paper’s recipe. At any rate, it began with the idea (which anteceded my reading of Comesana) of creating a synthesis of reliabilism and evidentialism. It retains significant strands of that idea, although the synthesis theme does not pervade the entire paper. What is mentalist evidentialism? Its original formulation was succinct. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

. Computational chemistry grew in a new era of “desktop modeling,” which coincided with a growing demand for modeling software, especially from the pharmaceutical industry. Parameterization of models in computational chemistry is an arduous enterprise, and we argue that this activity leads, in this specific context, to tensions among scientists regarding the epistemic opacity transparency of parameterized methods and the software implementing them. We relate one flame war from the Computational Chemistry mailing List in order to assess (...) in detail the relationships between modeling methods, parameterization, software and the various forms of their enclosure or disclosure. Our claim is that parameterization issues are an important and often neglected source of epistemic opacity and that this opacity is entangled in methods and software alike. Models and software must be addressed together to understand the epistemological tensions at stake. (shrink)

The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes (...) and pragmatic goals. Hence there is no independent or uniform fact to the matter, and I advance the ‘anti-realist’ conclusion that computational descriptions of physical systems are not founded upon deep ontological distinctions, but rather upon interest-relative human conventions. Hence physical computation is a ‘conventional’ rather than a ‘natural’ kind. (shrink)

Evidentialism and Reliabilism are two of the main contemporary theories of epistemic justification. Some authors have thought that the theories are not incompatible with each other, and that a hybrid theory which incorporates elements of both should be taken into account. More recently, other authors have argued that the resulting theory is well- placed to deal with fine-grained doxastic attitudes (credences). In this paper I review the reasons for adopting this kind of hybrid theory, paying attention to the case (...) of credences and the notion of probability involved in their treatment. I argue that the notion of probability in question can only be an epistemic (or evidential) kind of probability. I conclude that the resulting theory will be incompatible with Reliabilism in one important respect: it cannot deliver on the reductivist promise of Reliabilism. I also argue that attention to the justification of basic beliefs reveals limitations in the Evidentialist framework as well. The theory that results from the right combination of Evidentialism and Reliabilism, therefore, is neither Evidentialist nor Reliabilist. (shrink)

Virtue reliabilism appears to have a major advantage over generic reliabilism: only the former has the resources to explain the intuition that knowledge is more valuable than mere true belief. I argue that this appearance is illusory. It is sustained only by the misguided assumption that a principled distinction can be drawn between those belief-forming methods that are grounded in the agent’s intellectual virtues, and those that are not. A further problem for virtue reliabilism is that of (...) explaining why knowledge is more valuable than mere justified true belief. I argue that virtue reliabilism lacks the resources to explain this value difference. I conclude by considering what it would take for a theory to explain the extra value of knowledge over mere justified true belief. (shrink)

In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of (...) working memory to show how modeling has progressed over the years. The methodological assumptions of new modeling work are best understood in the mechanistic framework, which is evidenced by the way in which models are empirically validated. Moreover, the methodological and theoretical progress in computational neuroscience vindicates the new mechanistic approach to explanation, which, at the same time, justifies the best practices of computational modeling. Overall, computational modeling is deservedly successful in cognitive science. Its successes are related to deep conceptual connections between cognition and computation. Computationalism is not only here to stay, it becomes stronger every year. (shrink)

Reliability theories of epistemic justification face three main objections: the generality problem, the demon-world (or brain-in-a-vat) counterexample, and the clairvoyant-powers counterexample. In Perception and Basic Beliefs(Oxford 2009), Jack Lyons defends reliabilism at length against the clairvoyant powers case. He argues that the problem arises due to a laxity about the category of basic beliefs, and the difference between inferential and non-inferential justification. Lyons argues reliabilists must pay more attention to architecture. I argue this isn’t necessarily so. What really matters (...) for understanding and solving the case involves paying closer attention to the origins of our belief forming capacities, both inferential and non-inferential. Reliabilists should make origins matter more. (shrink)

Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection fit into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the (...) field. Moreover, we argue that philosophers contribute to computational modeling not only by building their own models, but also by thinking about the various applications of the method in philosophy and the sciences. In this context, we note that models in philosophy are usually simple, while models in the sciences are often more complex and empirically grounded. Bridging certain methodological gaps that arise from this discrepancy may prove to be challenging and fruitful for the further development of computational modeling in philosophy and beyond. (shrink)

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

Contemporary philosophers nearly unanimously endorse knowledge reliabilism, the view that knowledge must be reliably produced. Leading reliabilists have suggested that reliabilism draws support from patterns in ordinary judgments and intuitions about knowledge, luck, reliability, and counterfactuals. That is, they have suggested a proto-reliabilist hypothesis about “commonsense” or “folk” epistemology. This paper reports nine experimental studies (N = 1262) that test the proto-reliabilist hypothesis by testing four of its principal implications. The main findings are that (a) commonsense fully embraces (...) the possibility of unreliable knowledge, (b) knowledge judgments are surprisingly insensitive to information about reliability, (c) “anti-luck” intuitions about knowledge have nothing to do with reliability specifically, and (d) reliabilists have mischaracterized the intuitive counterfactual properties of knowledge and their relation to reliability. When combined with the weakness of existing arguments for reliabilism and the recent emergence of well supported alternative views that predict the widespread existence of unreliable knowledge, the present findings are the final exhibit in a conclusive case for abandoning reliabilism in epistemology. I introduce an alternative theory of knowledge, abilism, which out-performs reliabilism and well explains all the available evidence. (shrink)

Critics have recently argued that reliabilists face trade-off problems, forcing them to condone intuitively unjustified beliefs when they generate lots of true belief further downstream. What these critics overlook is that reliabilism entails that there areside-constraintson belief-formation, on account of which there are some things you should not believe, even if doing so would have very good epistemic consequences. However, we argue that by embracing side-constraints the reliabilist faces a dilemma: she can either hold on to reliabilism, and (...) with it aforementioned side-constraints, but then needs to explain why we should allow the pursuit of justification to get in the way of the acquisition of true belief; or she can deny that there are side-constraints – and in effect give up on reliabilism. We'll suggest that anyone moved by the considerations that likely attract people to reliabilism in the first place – the idea the true belief is good, and as such should be promoted – should go for the second horn, and instead pursue a form ofepistemic utilitarianism. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

Intelligent Tutoring Systems (ITS) has a wide influence on the exchange rate, education, health, training, and educational programs. In this paper we describe an intelligent tutoring system that helps student study computer networks. The current ITS provides intelligent presentation of educational content appropriate for students, such as the degree of knowledge, the desired level of detail, assessment, student level, and familiarity with the subject. Our Intelligent tutoring system was developed using ITSB authoring tool for building ITS. A preliminary evaluation of (...) the ITS was done by a group of students and teachers. The results were acceptable. (shrink)

Computer-Assisted Argument Mapping (CAAM) is a new way of understanding arguments. While still embryonic in its development and application, CAAM is being used increasingly as a training and development tool in the professions and government. Inroads are also being made in its application within education. CAAM claims to be helpful in an educational context, as a tool for students in responding to assessment tasks. However, to date there is little evidence from students that this is the case. This paper outlines (...) the use of CAAM as an educational tool within an Economics and Commerce Faculty in a major Australian research university. Evaluation results are provided from students from a CAAM pilot within an upper-level Economics subject. Results indicate promising support for the use of CAAM and its potential for transferability within the disciplines. If shown to be valuable with further studies, CAAM could be included in capstone subjects, allowing computer technology to be utilised in the service of generic skill development. (shrink)

This paper explores how the Leviathan that projects power through nuclear arms exercises a unique nuclearized sovereignty. In the case of nuclear superpowers, this sovereignty extends to wielding the power to destroy human civilization as we know it across the globe. Nuclearized sovereignty depends on a hybrid form of power encompassing human decision-makers in a hierarchical chain of command, and all of the technical and computerized functions necessary to maintain command and control at every moment of the sovereign's existence: this (...) sovereign power cannot sleep. This article analyzes how the form of rationality that informs this hybrid exercise of power historically developed to be computable. By definition, computable rationality must be able to function without any intelligible grasp of the context or the comprehensive significance of decision-making outcomes. Thus, maintaining nuclearized sovereignty necessarily must be able to execute momentous life and death decisions without the type of sentience we usually associate with ethical individual and collective decisions. (shrink)

The segregation of image parts into foreground and background is an important aspect of the neural computation of 3D scene perception. To achieve such segregation, the brain needs information about border ownership; that is, the belongingness of a contour to a specific surface represented in the image. This article presents psychophysical data derived from 3D percepts of figure and ground that were generated by presenting 2D images composed of spatially disjoint shapes that pointed inward or outward relative to the continuous (...) boundaries that they induced along their collinear edges. The shapes in some images had the same contrast (black or white) with respect to the background gray. Other images included opposite contrasts along each induced continuous boundary. Psychophysical results demonstrate conditions under which figure-ground judgment probabilities in response to these ambiguous displays are determined by the orientation of contrasts only, not by their relative contrasts, despite the fact that many border ownership cells in cortical area V2 respond to a preferred relative contrast. Studies are also reviewed in which both polarity-specific and polarity-invariant properties obtain perceptual figure-ground grouping results. The FACADE and 3D LAMINART models are used to explain these data. Keywords: figure-ground separation, border ownership, perceptual grouping, surface filling-in, V2, V4, FACADE Theory. (shrink)

European Computing and Philosophy conference, 2–4 July Barcelona The Seventh ECAP (European Computing and Philosophy) conference was organized by Jordi Vallverdu at Autonomous University of Barcelona. The conference started with the IACAP (The International Association for CAP) presidential address by Luciano Floridi, focusing on mechanisms of knowledge production in informational networks. The first keynote delivered by Klaus Mainzer made a frame for the rest of the conference, by elucidating the fundamental role of complexity of informational structures that can be analyzed (...) on different levels of organization giving place for variety of possible approaches which converge in this cross-disciplinary and multi-disciplinary research field. Keynotes by Kevin Warwick about re-embodiment of rats’ neurons into robots, Raymond Turner on syntax and semantics in programming languages, Roderic Guigo on Biocomputing Sciences and Francesco Subirada on the past and future of supercomputing presented different topics of philosophical as well as practical aspects of computing. Vonference tracks included: Philosophy of Information (Patrick Allo), Philosophy of Computer Science (Raymond Turner), Computer and Information Ethics (Johnny Søraker and Alison Adam), Computational Approaches to the Mind (Ruth Hagengruber), IT and Cultural Diversity (Jutta Weber and Charles Ess), Crossroads (David Casacuberta), Robotics, AI & Ambient Intelligence (Thomas Roth-Berghofer), Biocomputing, Evolutionary and Complex Systems (Gordana Dodig Crnkovic and Søren Brier), E-learning, E-science and Computer-Supported Cooperative Work (Annamaria Carusi) and Technological Singularity and Acceleration Studies (Amnon Eden). (shrink)

The development of technology is unbelievably rapid. From limited local networks to high speed Internet, from crude computing machines to powerful semi-conductors, the world had changed drastically compared to just a few decades ago. In the constantly renewing process of adapting to such an unnaturally high-entropy setting, innovations as well as entirely new concepts, were often born. In the business world, one such phenomenon was the creation of a new type of entrepreneurship. This paper proposes a new academic discipline of (...) computational entrepreneurship, which centers on: (i) an exponentially growing (and less expensive) computing power, to the extent that almost everybody in a modern society can own and use that; (ii) omnipresent high-speed Internet connectivity, wired or wireless, representing our modern day’s economic connectomics; (iii) growing concern of exploiting “serendipity” for a strategic commercial advantage; and (iv) growing capabilities of lay people in performing calculations for their informed decisions in taking fast-moving entrepreneurial opportunities. Computational entrepreneurship has slowly become a new mode of operation for business ventures and will likely bring the academic discipline of entrepreneurship back to mainstream economics. (shrink)

Context: At present, we lack a common understanding of both the process of cognition in living organisms and the construction of knowledge in embodied, embedded cognizing agents in general, including future artifactual cognitive agents under development, such as cognitive robots and softbots. Purpose: This paper aims to show how the info-computational approach (IC) can reinforce constructivist ideas about the nature of cognition and knowledge and, conversely, how constructivist insights (such as that the process of cognition is the process of (...) life) can inspire new models of computing. Method: The info-computational constructive framework is presented for the modeling of cognitive processes in cognizing agents. Parallels are drawn with other constructivist approaches to cognition and knowledge generation. We describe how cognition as a process of life itself functions based on info-computation and how the process of knowledge generation proceeds through interactions with the environment and among agents. Results: Cognition and knowledge generation in a cognizing agent is understood as interaction with the world (potential information), which by processes of natural computation becomes actual information. That actual information after integration becomes knowledge for the agent. Heinz von Foerster is identified as a precursor of natural computing, in particular bio computing. Implications: IC provides a framework for unified study of cognition in living organisms (from the simplest ones, such as bacteria, to the most complex ones) as well as in artifactual cognitive systems. Constructivist content: It supports the constructivist view that knowledge is actively constructed by cognizing agents and shared in a process of social cognition. IC argues that this process can be modeled as info-computation. (shrink)

In an essay titled Aquinas on the Foundations of Knowledge, Eleonore Stump rejects the idea that Aquinas's epistemology is foundationalist. I agree with Stump, and share in her conviction that the Angelic doctor developed instead what can be seen as a kind of theological reliabilism. In this article, I intend to take her position a step further. First, I would like to show that Thomistic reliabilism falls into a vicious circle if seen as based on a merely rational (...) theism. Second, I am going to argue that for Aquinas such reliabilism depends instead on Christian faith, construed as the act of believing the revealed truth by virtue of the love relationship that God allows human beings to have with him. (shrink)

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

Scientists depend on complex computational systems that are often ineliminably opaque, to the detriment of our ability to give scientific explanations and detect artifacts. Some philosophers have s...

Process reliabilism is a theory about ex post justification, the justification of a doxastic attitude one has, such as belief. It says roughly that a justified belief is a belief formed by a reliable process. It is not a theory about ex ante justification, one’s justification for having a particular attitude toward a proposition, an attitude one might lack. But many reliabilists supplement their theory such that it explains ex ante justification in terms of reliable processes. In this paper (...) I argue that the main way reliabilists supplement their theory fails. In the absence of an alternative, reliabilism does not account for ex ante justification. (shrink)

In most accounts of realization of computational processes by physical mechanisms, it is presupposed that there is one-to-one correspondence between the causally active states of the physical process and the states of the computation. Yet such proposals either stipulate that only one model of computation is implemented, or they do not reflect upon the variety of models that could be implemented physically. In this paper, I claim that mechanistic accounts of computation should allow for a broad variation of models (...) of computation. In particular, some non-standard models should not be excluded a priori. The relationship between mathematical models of computation and mechanistically adequate models is studied in more detail. (shrink)