According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my (...) account to illuminate the nomological character of special science laws. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, (...) to be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

Perception solves computationally demanding problems at lightning fast speed. It recovers sophisticated representations of the world from degraded inputs, often in a matter of milliseconds. Any theory of perception must be able to explain how this is possible; in other words, it must be able to explain perception's computational tractability. One of the few attempts to move toward such an explanation has been the information encapsulation hypothesis, which posits that perception can be fast because it keeps computational costs low (...) by forgoing access to information stored in cognition. I argue that we have no compelling reason to believe that encapsulation explains (or even contributes to an explanation of) perceptual tractability, and much reason to doubt it. This is because there exist much deeper computational challenges for perception than information access, and these threaten to make the costs of access irrelevant. If this is right, it undermines a core computational motivation for encapsulation and sends us back to the drawing board for explanations of perceptual tractability. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as (...) computational models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

In the future, when we compare the welfare of a being of one substrate (say, a human) with the welfare of another (say, an artificial intelligence system), we will be making an intersubstrate welfare comparison. In this paper, we argue that intersubstrate welfare comparisons are important, difficult, and potentially tractable. The world might soon contain a vast number of sentient or otherwise significant beings of different substrates, and moral agents will need to be able to compare their welfare levels. However, (...) this work will be difficult, because we lack the same kinds of commonalities across substrates that we have within them. Fortunately, we might be able to make at least some intersubstrate welfare comparisons responsibly in spite of these issues. We make the case for cautious optimism and call for more research. (shrink)

The debate between relationalism and representationalism in the philosophy of perception seems to have come to a standstill where opponents radically disagree on methodological principles or fundamental assumptions. According to Fish (this volume) this is because, not unlike Kuhnian scientific paradigms, the debate displays some elements of incommensurability. This diagnosis makes advancing the debate impossible. I argue that what is hindering progress is not a clash of research programmes, but a series of misunderstandings that can be avoided by disentangling the (...) different questions each theory is invested in and by making explicit the hidden assumptions at play in the debate. One such central assumption is what I call the Superficiality Constraint. This is the idea that the phenomenal character of experience is superficial with respect to introspection. I argue that we can make progress in the debate by assessing to what extent and at what cost relationalism can accommodate this constraint. (shrink)

The debate between relationalism and representationalism in the philosophy of perception seems to have come to a standstill where opponents radically disagree on methodological principles or fundamental assumptions. According to Fish (this volume) this is because, not unlike Kuhnian scientific paradigms, the debate displays some elements of incommensurability. This diagnosis makes advancing the debate impossible. I argue that what is hindering progress is not a clash of research programmes, but a series of misunderstandings that can be avoided by disentangling the (...) different questions each theory is invested in and by making explicit the hidden assumptions at play in the debate. One such central assumption is what I call the Superficiality Constraint. This is the idea that the phenomenal character of experience is superficial with respect to introspection. I argue that we can make progress in the debate by assessing to what extent and at what cost relationalism can accommodate this constraint. (shrink)

Why should moral philosophers, moral psychologists, and machine ethicists care about computational complexity? Debates on whether artificial intelligence (AI) can or should be used to solve problems in ethical domains have mainly been driven by what AI can or cannot do in terms of human capacities. In this paper, we tackle the problem from the other end by exploring what kind of moral machines are possible based on what computational systems can or cannot do. To do so, we analyze normative (...) ethics through the lens of computational complexity. First, we introduce computational complexity for the uninitiated reader and discuss how the complexity of ethical problems can be framed within Marr’s three levels of analysis. We then study a range of ethical problems based on consequentialism, deontology, and virtue ethics, with the aim of elucidating the complexity associated with the problems themselves (e.g., due to combinatorics, uncertainty, strategic dynamics), the computational methods employed (e.g., probability, logic, learning), and the available resources (e.g., time, knowledge, learning). The results indicate that most problems the normative frameworks pose lead to tractability issues in every category analyzed. Our investigation also provides several insights about the computational nature of normative ethics, including the differences between rule- and outcome-based moral strategies, and the implementation-variance with regard to moral resources. We then discuss the consequences complexity results have for the prospect of moral machines in virtue of the trade-off between optimality and efficiency. Finally, we elucidate how computational complexity can be used to inform both philosophical and cognitive-psychological research on human morality by advancing the moral tractability thesis. (shrink)

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

You have higher-order uncertainty iff you are uncertain of what opinions you should have. I defend three claims about it. First, the higher-order evidence debate can be helpfully reframed in terms of higher-order uncertainty. The central question becomes how your first- and higher-order opinions should relate—a precise question that can be embedded within a general, tractable framework. Second, this question is nontrivial. Rational higher-order uncertainty is pervasive, and lies at the foundations of the epistemology of disagreement. Third, the answer is (...) not obvious. The Enkratic Intuition---that your first-order opinions must “line up” with your higher-order opinions---is incorrect; epistemic akrasia can be rational. If all this is right, then it leaves us without answers---but with a clear picture of the question, and a fruitful strategy for pursuing it. (shrink)

Research on the human microbiome has gen- erated a staggering amount of sequence data, revealing variation in microbial diversity at the community, species (or phylotype), and genomic levels. In order to make this complexity more manageable and easier to interpret, new units—the metagenome, core microbiome, and entero- type—have been introduced in the scientific literature. Here, I argue that analytical tools and exploratory statisti- cal methods, coupled with a translational imperative, are the primary drivers of this new ontology. By reducing the (...) dimensionality of variation in the human microbiome, these new units render it more tractable and easier to interpret, and hence serve an important heuristic role. Nonetheless, there are several reasons to be cautious about these new categories prematurely ‘‘hardening’’ into natural units: a lack of constraints on what can be sequenced metagenomically, freedom of choice in taxonomic level in defining a ‘‘core microbiome,’’ typological framing of some of the concepts, and possible reification of statistical constructs. Finally, lessons from the Human Genome Project have led to a translational imperative: a drive to derive results from the exploration of microbiome variation that can help to articulate the emerging paradigm of per- sonalized genomic medicine (PGM). There is a tension between the typologizing inherent in much of this research and the personal in PGM. (shrink)

This paper argues that a popular account of intentions can be extended to beliefs. Beliefs are stable all-out states that allow for planning and coordination in a way that is tractable for cognitively limited creatures like human beings. Scepticism is expressed that there is really anything like credences as standardly understood.

Several recent criticisms of the somatic marker hypothesis (SMH) identify multiple ambiguities in the way it has been formulated by its chief proponents. Here we provide evidence that this hypothesis has also been interpreted in various different ways by the scientific community. Our diagnosis of this problem is that SMH lacks an adequate computational-level account of practical decision making. Such an account is necessary for drawing meaningful links between neurological- and psychological-level data. The paper concludes by providing a simple, five-step (...) model of practical decision making. Recasting SMH in terms of this model generates more precise and empirically tractable computational-level hypotheses about the various ways that somatic markers might influence practical decisions. (shrink)

What is it for philosophy to make progress? While various putative forms of philosophical progress have been explored in some depth, this overarching question is rarely addressed explicitly, perhaps because it has been assumed to be intractable or unlikely to have a single, unified answer. In this paper, we aim to show that the question is tractable, that it does admit of a single, unified answer, and that one such answer is plausible. This answer is, roughly, that philosophical progress consists (...) in putting people in a position to increase their understanding, where 'increased understanding' is a matter of better representing the network of dependence relations between phenomena. After identifying four desiderata for an account of philosophical progress, we argue that our account meets the desiderata in a particularly satisfying way. Among other things, the account explains how various other achievements, such as philosophical arguments, counterexamples, and distinctions, may contribute to progress. Finally, we consider the implications of our account for the pressing and contentious question of how much progress has been made in philosophy. (shrink)

Epistemic responsibility involves at least two central ideas. (V) To be epistemically responsible is to display the virtue(s) epistemic internalists take to be central to justification (e.g., coherence, having good reasons, fitting the evidence). (C) In normal (non-skeptical)circumstances and in thelong run, epistemic responsibility is strongly positively correlated with reliability. Sections 1 and 2 review evidence showing that for a wide range of real-world problems, the most reliable, tractable reasoning strategies audaciously flout the internalist''s epistemic virtues. In Section 3, I (...) argue that these results force us to give up either (V), our current conception of what it is to be epistemically responsible, or (C) the responsibility-reliability connection. I will argue that we should relinquish (V). This is likely to reshape our epistemic practices. It will force us to alter our epistemic judgments about certain instances of reasoning, to endorse some counterintuitive epistemic prescriptions, and to rethink what it is for cognitive agents to be epistemically responsible. (shrink)

While epistemic democrats have claimed that majority rule recruits the wisdom of the crowd to identify correct answers to political problems, the conjecture remains abstract. This article illustrates how majority rule leverages the epistemic capacity of the electorate to practically enhance the instrumental value of elections. To do so, we identify a set of sufficient conditions that effect such a majority rule mechanism, even when the decision in question is multidimensional. We then look to the case of sociotropic economic voting (...) in US presidential elections to provide empirical tractability for these conditions. We find that absent such an epistemic capacity a number of presidential elections might well have been decided differently. By generating clear conditions for the plausibility of claims made by epistemic democrats, and demonstrating their correspondence to empirical data, this article strengthens the broader instrumental grounds recommending democracy. (shrink)

This chapter explores the idea that phylogenetic diversity plays a unique role in underpinning conservation endeavour. The conservation of biodiversity is suffering from a rapid, unguided proliferation of metrics. Confusion is caused by the wide variety of contexts in which we make use of the idea of biodiversity. Characterisations of biodiversity range from all-variety-at-all-levels down to variety with respect to single variables relevant to very specific conservation contexts. Accepting biodiversity as the sum of a large number of individual measures results (...) in an empirically intractable framework. However, large-scale decisions cannot be based on biodiversity variables inferred from local conservation imperatives because the variables relevant to the many systems being compared would be incommensurate with one another. We therefore need some general conception of biodiversity that would make tractable such large-scale environmental decision-marking. We categorise the large array of strategies for the measurement of biodiversity into four broad groups for consideration as general measures of biodiversity. We compare common moral justifications for the conservation of biodiversity and conclude that some form of instrumental value is the most plausible justification for biodiversity conservation. Although this is often interpreted as a reliance on option value, we opt for a broadly consequentialist characterisation of biodiversity conservation. We conclude that the best justified general measure of biodiversity will be some form of phylogenetic diversity. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a 'typical' dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light --a different light-- on philosophical debates on the laws of (...) nature. In the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The conditions required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such conditions might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

The notion of belief appears frequently in cognitive science. Yet it has resisted definition of the sort that could clarify inquiry. How then might a cognitive science of belief proceed? Here we propose a form of pluralism about believing. According to this view, there are importantly different ways to "believe" an idea. These distinct psychological kinds occur within a multi-dimensional property space, with different property clusters within that space constituting distinct varieties of believing. We propose that discovering such property clusters (...) is empirically tractable, and that this approach can help sidestep merely verbal disputes about what constitutes “belief.”. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...) of the reasons why CDs form a good notation is that they are highly mathematically tractable: experts can obtain valid results by ‘calculating’ with CDs. These calculations, take the form of ‘diagram chases’. In order to draw inferences, experts move algebraic elements around the diagrams. It will be argued that these diagrams are dynamic. It is thanks to their dynamicity that CDs can externalize the relevant reasoning and allow experts to draw conclusions directly by manipulating them. Lastly, it will be shown that CDs play essential roles in the context of proof as well as in other phases of the mathematical enterprise, such as discovery and conjecture formation. (shrink)

Despite their success in describing and predicting cognitive behavior, the plausibility of so-called ‘rational explanations’ is often contested on the grounds of computational intractability. Several cognitive scientists have argued that such intractability is an orthogonal pseudoproblem, however, since rational explanations account for the ‘why’ of cognition but are agnostic about the ‘how’. Their central premise is that humans do not actually perform the rational calculations posited by their models, but only act as if they do. Whether or not the problem (...) of intractability is solved by recourse to ‘as if’ explanations critically depends, inter alia, on the semantics of the ‘as if’ connective. We examine the five most sensible explications in the literature, and conclude that none of them circumvents the problem. As a result, rational ‘as if’ explanations must obey the minimal computational constraint of tractability. (shrink)

This peer-reviewed paper intervenes in debates relating to overarching themes that impact upon mass media studies, communication theory and theories of cognition more generally. In particular, the paper discusses issues involving how our ordinary psychological thinking relates to norms of rationality (and how these latter are conceived). In essence, I argue against a dominant approach taken by Christopher Peacocke, that rationality can be grounded in the possession of certain concepts. The article makes a new contribution to the field by arguing (...) against the dominant approach on two grounds: (a) it fails to distinguish between true and false normative commitments; (b) it is empirically unsound. In response, I briefly offer suggestions towards an alternative, and psychologically tractable, account of rational commitment. Presentations of earlier drafts of the paper were given at a seminar at the Centre for Study of Mind and Nature, Oslo, as well as the conference of the European Society for Philosophy and Psychology. (shrink)

This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in RCA0. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in RCA0. This approach yields a proof of Arrow's theorem in RCA0, and (...) thus in PRA, since Arrow's theorem can be formalised as a Π01 sentence. Finally we show that Fishburn's possibility theorem for countable societies is equivalent to ACA0 over RCA0. (shrink)

This paper empirically raises and examines the question of ‘conceptual control’: To what extent are competent thinkers able to reason properly with new senses of words? This question is crucial for conceptual engineering. This prominently discussed philosophical project seeks to improve our representational devices to help us reason better. It frequently involves giving new senses to familiar words, through normative explanations. Such efforts enhance, rather than reduce, our ability to reason properly, only if competent language users are able to abide (...) by the relevant explanations, in language comprehension and verbal reasoning. This paper examines to what extent we have such ‘conceptual control’ in reasoning with new senses. The paper draws on psycholinguistic findings about polysemy processing to render this question empirically tractable and builds on recent findings from experimental philosophy to address it. The paper identifies a philosophically important gap in thinkers’ control over the key process of stereotypical enrichment and discusses how conceptual engineers can use empirical methods to work around this gap in conceptual control. The paper thus empirically demonstrates the urgency of the question of conceptual control and explains how experimental philosophy can empirically address the question, to render conceptual engineering feasible as an ameliorative enterprise. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

The field of AI safety aims to prevent increasingly capable artificially intelligent systems from causing humans harm. Research on moral alignment is widely thought to offer a promising safety strategy: if we can equip AI systems with appropriate ethical rules, according to this line of thought, they'll be unlikely to disempower, destroy or otherwise seriously harm us. Deontological morality looks like a particularly attractive candidate for an alignment target, given its popularity, relative technical tractability and commitment to harm-avoidance principles. (...) I argue that the connection between moral alignment and safe behavior is more tenuous than many have hoped. In general, AI systems can possess either of these properties in the absence of the other, and we should favor safety when the two conflict. In particular, advanced AI systems governed by standard versions of deontology need not be especially safe. (shrink)

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can be built (...) from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

This chapter discusses the main types of so-called ’subjective measures of consciousness’ used in current-day science of consciousness. After explaining the key worry about such measures, namely the problem of an ever-present response bias, I discuss the question of whether subjective measures of consciousness are introspective. I show that there is no clear answer to this question, as proponents of subjective measures do not employ a worked-out notion of subjective access. In turn, this makes the problem of response bias less (...) tractable than it might otherwise be. (shrink)

Philosophers of science often make reference — whether tacitly or explicitly — to the notion of a scientific community. Sometimes, such references are useful to make our object of analysis tractable in the philosophy of science. For others, tracking or understanding particular features of the development of science proves to be tied to notions of a scientific community either as a target of theoretical or social intervention. We argue that the structure of contemporary scientific research poses two unappreciated, or at (...) least underappreciated, challenges to this concept of the “scientific community” in the philosophy of science. In particular, we will present two case studies from robotics research, broadly construed, which show that (1) the boundedness of the scientific community is threatened when private citizens can develop scientific and technological advances at minimal expense (democratization), and (2) the discreteness of scientific research programs is threatened by the complexly interrelated environment of contemporary scientific work (interconnectivity). Taken together, the extent of democratization and interconnectivity present a significant challenge for any practically oriented philosophy of science, one which we hope will be taken on directly by philosophers in the future. (shrink)

Subjectivity is that feature of consciousness whereby there is something it is like for a subject to undergo an experience. One persistent challenge in the study of consciousness is to explain how subjectivity relates to, or arises from, purely physical brain processes. But, in order to address this challenge, it seems we must have a clear explanation of what subjectivity is in the first place. This has proven challenging in its own right. For the nature of subjectivity itself seems to (...) resist straightforward characterization. In this paper, I won't address how subjectivity relates to the physical. Instead, I'll address subjectivity itself. I'll do this by introducing and defending a model of subjectivity based on self-acquaintance. My model does not purport to reduce, eliminate, or naturalize subjectivity, but it does make subjectivity more tractable, less paradoxical, and perhaps less dubious to those averse to obscurity. (shrink)

Scientists, philosophers, and policymakers disagree about how to define microaggression. Here, we offer a taxonomy of existing definitions, clustering around (a) the psychological motives of perpetrators, (b) the experience of victims, and (c) the functional role of microaggression in oppressive social structures. We consider conceptual and epistemic challenges to each and suggest that progress may come from developing novel hybrid accounts of microaggression, combining empirically tractable features with sensitivity to the testimony of victims.

Modeling involves the use of false idealizations, yet there is typically a belief or hope that modeling somehow manages to deliver true information about the world. The paper discusses one possible way of reconciling truth and falsehood in modeling. The key trick is to relocate truth claims by reinterpreting an apparently false idealizing assumption in order to make clear what possibly true assertion is intended when using it. These include interpretations in terms of negligibility, applicability, tractability, early-step, and more. (...) Elaborations are suggested about their precise formulations, mutual relationships, and truth-aptness. (shrink)

The idea of dignity is pervasive in political discourse. It is central to human rights theory and practice, and it features regularly in conceptions of social justice as well as in the social movements they seek to understand or orient. However, dignity talk has been criticized for leading to problematic exclusion. Critics challenge it for undermining our recognition of the rights of non-human animals and of many human individuals (such as children, the elderly, and people with disabilities). I argue that, (...) on a plausible articulation of it, the idea of dignity does not lead to these exclusions and that it in fact helps defend an appropriately inclusive moral and political treatment of all individuals. Difficult issues about equality and diversity indeed arise, but a dignitarian approach can provide good answers to them or at least help make them clearer and more tractable. (shrink)

I argue that Frege's so-called "concept 'horse' problem" is not one problem but many. When these different sub-problems are distinguished, some emerge as more tractable than others. I argue that, contrary to a widespread scholarly assumption originating with Peter Geach, there is scant evidence that Frege engaged with the general problem of the inexpressibility of logical category distinctions in writings available to Wittgenstein. In consequence, Geach is mistaken in his claim that in the Tractatus Wittgenstein simply accepts from Frege certain (...) lessons about the inexpressibility of logical category distinctions and the say-show distinction. In truth, Wittgenstein drew his own morals about these matters, quite possibly as the result of reflecting on how the general problem of the inexpressibility of logical category distinctions arises in Frege's writings , but also, quite possibly, by discerning certain glimmerings of these doctrines in the writings of Russell. (shrink)

Social norms – rules governing which behaviours are deemed appropriate or inappropriate within a given community – are typically taken to be uniquely human. Recently, this position has been challenged by a number of philosophers, cognitive scientists, and ethologists, who have suggested that social norms may also be found in certain non-human animal communities. Such claims have elicited considerable scepticism from norm cognition researchers, who doubt that any non-human animals possess the psychological capacities necessary for normative cognition. However, there is (...) little agreement among these researchers about what these psychological prerequisites are. This makes empirical study of animal social norms difficult, since it is not clear what we are looking for and thus what should count as behavioural evidence for the presence (or absence) of social norms in animals. To break this impasse, we offer an approach that moves beyond contested psychological criteria for social norms. This approach is inspired by the animal culture research program, which has made a similar shift away from heavily psychological definitions of ‘culture’ and to become organized around a cluster of more empirically tractable concepts of culture. Here, we propose an analogous set of constructs built around the core notion of a normative regularity, which we define as a socially maintained pattern of behavioural conformity within a community. We suggest methods for studying potential normative regularities in wild and captive primates. We also discuss the broader scientific and philosophical implications of this research program with respect to questions of human uniqueness, animal welfare and conservation. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This paper addresses two specific and related questions the Buddhist neuroethics program raises for our traditional understanding of Buddhist ethics: Does affective neuroscience supply enough evidence that contempla- tive practices such as compassion meditation can enhance normal cognitive functioning? Can such an account advance the philosophical debate concerning freedom and determinism in a profitable direction? In response to the first question, I argue that dispositions such as empathy and altruism can in effect be understood in terms of the mechanisms that (...) regulate affective cognition. In response to the second question, I claim that moral agency is a type of achievement that comes with learning the norms of ethical con- duct, which are not tractable by specifically neurobiological mechanisms and processes (though, once learned, such norms would have their neural cor- relates when enacted). (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

Right after Philo’s about-face in Part 12 of the Dialogues, he gives an argument that the dispute between the theist and the atheist is merely verbal. Since everything is at least a little like everything else, the atheist must concede that the source of order is at least remotely like a human intellect, even if this source is something like a rotting turnip. This passage provides a major argument for dismissing Hume’s apparent avowals of theism in the Dialogues and elsewhere, (...) since Philo’s assertions are so loose as to let in a rotting turnip. The right reading of the passage is more interesting. The paragraph was written in 1776, right before Hume’s death. It’s thus one of the few philosophical texts written late enough to reflect his encounter with the French philosophes in the 1760s. We have good biographical evidence that Hume was criticized for being too much of a theist in France. The turnip is rotting not in order to make fun of the argument from design, but in order to make fun of d’Holbach's and Diderot's account of the origin of life, accounts that generalized dramatically from John Needham’s observations of nematodes in rotting wheat. In the rotting turnip paragraph, Hume is attempting to establish that the dispute between the theist and the atheist isn’t empirically tractable, that atheists will never outflank the apophatic theologian on the question of whether human minds are unlike God, and that if atheists are consistent with their analogical methods, they ought to be more open to the argument from design. (shrink)

Bradford Hill (1965) highlighted nine aspects of the complex evidential situation a medical researcher faces when determining whether a causal relation exists between a disease and various conditions associated with it. These aspects are widely cited in the literature on epidemiological inference as justifying an inference to a causal claim, but the epistemological basis of the Hill aspects is not understood. We offer an explanatory coherentist interpretation, explicated by Thagard's ECHO model of explanatory coherence. The ECHO model captures the complexity (...) of epidemiological inference and provides a tractable model for inferring disease causation. We apply this model to three cases: the inference of a causal connection between the Zika virus and birth defects, the classic inference that smoking causes cancer, and John Snow’s inference about the cause of cholera. (shrink)

In this paper we introduce three methods to approach philosophical problems informationally: Minimalism, the Method of Abstraction and Constructionism. Minimalism considers the specifications of the starting problems and systems that are tractable for a philosophical analysis. The Method of Abstraction describes the process of making explicit the level of abstraction at which a system is observed and investigated. Constructionism provides a series of principles that the investigation of the problem must fulfil once it has been fully characterised by the previous (...) two methods. For each method, we also provide an application: the problem of visual perception, functionalism, and the Turing Test, respectively. (shrink)

In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of the (...) DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

With increasing publication and data production, scientific knowledge presents not simply an achievement but also a challenge. Scientific publications and data are increasingly treated as resources that need to be digitally ‘managed.’ This gives rise to scientific Knowledge Management : second-order scientific work aiming to systematically collect, take care of and mobilise first-hand disciplinary knowledge and data in order to provide new first-order scientific knowledge. We follow the work of Leonelli, Efstathiou and Hislop in our analysis of the use of (...) KM in semantic systems biology. Through an empirical philosophical account of KM-enabled biological research, we argue that KM helps produce new first-order biological knowledge that did not exist before, and which could not have been produced by traditional means. KM work is enabled by conceiving of ‘knowledge’ as an object for computational science: as explicated in the text of biological articles and computable via appropriate data and metadata. However, these founded knowledge concepts enabling computational KM risk focusing on only computationally tractable data as knowledge, underestimating practice-based knowing and its significance in ensuring the validity of ‘manageable’ knowledge as knowledge. (shrink)

Certain results, most famously in classical statistical mechanics and complex systems, but also in quantum mechanics and high-energy physics, yield a coarse-grained stable statistical pattern in the long run. The explanation of these results shares a common structure: the results hold for a ‘typical’ dynamics, that is, for most of the underlying dynamics. In this paper I argue that the structure of the explanation of these results might shed some light—a different light—on philosophical debates on the laws of nature. In (...) the explanation of such patterns, the specific form of the underlying dynamics is almost irrelevant. The constraints required, given a free state-space evolution, suffice to account for the coarse-grained lawful behaviour. An analysis of such constraints might thus provide a different account of how regular behaviour can occur. This paper focuses on drawing attention to this type of explanation, outlining it in the diverse areas of physics in which it appears, and discussing its limitations and significance in the tractable setting of classical statistical mechanics. (shrink)

Generally, an epistemic fallibilist considers it reasonable to claim, “I know that P, but I may be wrong.” An epistemic infallibilist, on the other hand, would consider this claim absurd. I argue initially that infallibilism presents more advantages in its assertion of the claim’s absurdity than fallibilism does in making the claim. One, infallibilism is not faulted with the propensity for violations of epistemic closure that beleaguers some fallibilist accounts, due in part to the latter’s problematic shunting of fallible epistemic (...) standards across inferential chains. Two, infallibilism is more easily modelled doxastically than fallibilism, as the former’s understanding of certainty is more tractable than the latter’s idea of what counts as a viable standard of fallibility. A rectification of these fallibilist issues may then be called upon to motivate gradualist variants of fallibilism. For epistemic gradualism, the problematic modellability and shunting of standards is curtailed via an awareness that the standard for knowledge is just one out of many along a gradient that includes, at one extreme, the infallibilist standard of certainty. Specifically, first, gradualism, along with infallibilism, can be modelled doxastically through elucidating upon an obtaining relation between doubt and knowledge; next, the problem with violating closure, although not generally applicable to infallibilism, can be answered by gradualism with a reasonable denial of closure altogether that makes precise which epistemic standard is relevant for which part of an inferential chain; lastly, these modelling resources can be appropriated, by both gradualism and infallibilism, to successfully address a doxastically pertinent form of closure violation called rational self-doubt. (shrink)

To what extent can one be saddled with responsibility or guilt as a result of actions committed not by oneself but by others with whom one has a familial or national connection or some other communal association? The issue of communal guilt has been extensively discussed, and there has been no shortage of writers willing to apply the notion of communal responsibility and guilt to Germany after the Holocaust. But the whole notion of communal guilt is deeply puzzling. How can (...) evil actions cast a shadow over the future in this way to generate obligations or guilt on the part of those who did not in any way participate in those actions? In this article, I will focus on a question that is a smaller-scale analogue of the question of communal guilt, one which raises similar perplexities but in a more tractable way. I will concentrate on the restoration of relations with perpetrators of great evil in cases in which their whole-hearted repentance is not in doubt. Most of us feel a strong antipathy to the restoration of relations with such a perpetrator. What explains and supports that emotive reaction is the subject of this article, and its conclusions are suggestive of promising approaches to the question of communal guilt. (shrink)