The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Research on the capacity to understand others' minds has tended to focus on representations ofbeliefs,which are widely taken to be among the most central and basic theory of mind representations. Representations ofknowledge, by contrast, have received comparatively little attention and have often been understood as depending on prior representations of belief. After all, how could one represent someone as knowing something if one does not even represent them as believing it? Drawing on a wide range of methods across cognitive science, (...) we ask whether belief or knowledge is the more basic kind of representation. The evidence indicates that nonhuman primates attribute knowledge but not belief, that knowledge representations arise earlier in human development than belief representations, that the capacity to represent knowledge may remain intact in patient populations even when belief representation is disrupted, that knowledge (but not belief) attributions are likely automatic, and that explicit knowledge attributions are made more quickly than equivalent belief attributions. Critically, the theory of mind representations uncovered by these various methods exhibits a set of signature features clearly indicative of knowledge: they are not modality-specific, they are factive, they are not just true belief, and they allow for representations of egocentric ignorance. We argue that these signature features elucidate the primary function of knowledge representation: facilitating learning from others about the external world. This suggests a new way of understanding theory of mind – one that is focused on understanding others' minds in relation to the actual world, rather than independent from it. (shrink)

You want to see the concert, but don’t want to take a long drive (even though the concert is far away). Such *strongly conflicting desire ascriptions* are, I show, wrongly predicted incompatible by standard semantics. I then object to possible solutions, and give my own, based on *some-things-considered desire*. Considering the fun of the concert, but ignoring the drive, you want to see the concert; considering the boredom of the drive, but ignoring the concert, you don’t want to take the (...) drive. (shrink)

Algorithms wield increasing control over our lives—over which jobs we get, whether we're granted loans, what information we're exposed to online, and so on. Algorithms can, and often do, wield their power in a biased way, and much work has been devoted to algorithmic bias. In contrast, algorithmic neutrality has gone largely neglected. I investigate three questions about algorithmic neutrality: What is it? Is it possible? And when we have it in mind, what can we learn about algorithmic bias?

I examine the origins of ordinary racial thinking. In doing so, I argue against the thesis that it is the byproduct of a unique module. Instead, I defend a pluralistic thesis according to which different forms of racial thinking are driven by distinct mechanisms, each with their own etiology. I begin with the belief that visible features are diagnostic of race. I argue that the mechanisms responsible for face recognition have an important, albeit delimited, role to play in sustaining this (...) belief. I then argue that essentialist beliefs about race are driven by some of the mechanisms responsible for “entitativity perception”: the tendency to perceive some aggregates of people as more genuine groups than others. Finally, I argue that coalitional thinking about race is driven by a distinctive form of entitativity perception. However, I suggest that more data is needed to determine the prevalence of this form of racial thinking. (shrink)

Eavesdropping judgments (judgments about truth, retraction, and consistency across contexts) about epistemic modals have been used in recent years to argue for a radical thesis: that truth is assessment-relative. We argue that judgments for 'I think that p' pattern in strikingly similar ways to judgments for 'Might p' and 'Probably p'. We argue for this by replicating three major experiments involving the latter and adding a condition with the form 'I think that p', showing that subjects respond in the same (...) way to 'thinks' as to modals. This poses a serious challenge to relativist treatments of the modal judgments, since a relativist treatment of the corresponding 'thinks' judgments is totally implausible, so if a unified account of the phenomena is to be found, it cannot be a relativist one. We briefly sketch how a unified account might look. (shrink)

Aristotle claims that in some extenuating circumstances, the correct response to the wrongdoer is sungnōmē rather than blame. Sungnōmē has a wide spectrum of meanings that include aspects of sympathy, pity, fellow-feeling, pardon, and excuse, but the dominant interpretation among scholars takes Aristotle’s meaning to correspond most closely to forgiveness. Thus, it is commonly held that the virtuous Aristotelian agent ought to forgive wrongdoers in specific extenuating circumstances. Against the more popular forgiveness interpretation, I begin by defending a positive account (...) of sungnōmē as the correct judgment that a wrongdoer deserves excuse since she was not blameworthy. I then argue that since sungnōmē is merited on the grounds of fairness, this shows that both the forgiveness interpretation and a third, alternative interpretation of sungnōmē as sympathy mischaracterize both the justification for sungnōmē and its nature. Moreover, I argue that Aristotle not only lacks an account of forgiveness but in fact, that his account of blame is incompatible with forgiveness altogether. (shrink)

This chapter pursues an understanding of what Cicero thought 'Italic' philosophy to be, and proceeds to develop a broader account of how Cicero's version compares with the surviving textual evidence and testimonia from the Hellenistic period of the philosophy of the 'Italic' philosophers, including the Lucanians 'Ocellus', 'Eccelus', and 'Aresas/Aesara', and the Rudian Ennius. Special focus is placed on their theories of cosmology, psychology, and law. Collocation of 'Italic' with 'Pythagorean' philosophy of this era aids in building a more comprehensive (...) view of what Hellenistic Pythagoreanism may have looked like. Uploaded here is the pre-publication version; please email me for the printed version. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

A Review of Outward Signs: The Powerlessness of External Things in Augustine’s Thought by Phillip Cary (Oxford: Oxford University Press, 2008), xxiv + 344 pp. -/- Phillip Cary has written another highly significant book on Augustine, and his writing displays the art of a master stylist. A complement to his Inner Grace, Outward Signs extends Cary’s thesis in Augustine and the Invention of the Inner Self: that Augus- tine’s Trinitarian and semiotic theology, groundbreaking as it was, remains beholden to a (...) Platonist privileging of inner vs. outer and idea over sacramental performance. Outward Signs should be of special interest to readers of Modern Theology, because the inwardness Cary interrogates displays a dimension of Augustine’s work that receives significant attention from a number of Modern Theology authors. Once again, Cary has offered an appropriate warning about any uncritical embrace of Augustine as theologian for the church today: the embrace could bring with it a turn to spiritualism, subjectivism, intellectualism, and also supersessionism (since the Old Testament and Jewish “law” belong to the merely outward life of the Word). Like Charles Taylor, Alasdair MacIntyre, and Richard Rorty before him, Cary captures the line of potential influence that moves from Plato to Augustine to Descartes and Kant. Here, knowledge tends to ocular knowing, and Cary shows how inadequate that model is to account for performative knowing in the church, of which sacramental life is one instance. But performative knowing would apply, as well, to the study of Augustine’s writ- ings. Read “outwardly,” Augustine’s corpus generates several possible vectors of theological practice. The stronger vectors may point “inward,” but readers should also attend to those (weak or strong) which point to that which is inward, outward, both, and neither. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

I argue that we can visually perceive others as seeing agents. I start by characterizing perceptual processes as those that are causally controlled by proximal stimuli. I then distinguish between various forms of visual perspective-taking, before presenting evidence that most of them come in perceptual varieties. In doing so, I clarify and defend the view that some forms of visual perspective-taking are “automatic”—a view that has been marshalled in support of dual-process accounts of mindreading.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

Standard ways of conceptualizing moral development and measuring pedagogical interventions in ethics classes privilege the growth of moral judgment over moral sensitivity, moral motivation, and moral habits by too often conflating improvement in moral judgment with holistic moral development. I argue here that if we care about students’ construction and cultivation of their ethical selves, our assessment design principles ought to take seriously the transformative possibilities of philosophy as a way of life and be based on a more robust and (...) holistic account of moral development. I illustrate these principles of assessment design through an examination of the Character Project, which I created to help students engage in their own deliberate ethical transformation through self-directed, individualized, and concentrated practice. Finally, I conclude with a discussion about how to appropriately and fairly assess this kind of deeply personal learning. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Alexander Raven Thomson was a British fascist philosopher, active from 1932 to 1955. I outline Thomson’s Spenglerian views on civilization and decline. I argue that Thomson in his first book is an orthodox Spenglerian who accepts that decline is inevitable and thinks that it is morally required to destroy civilization in its final stages. I argue that this suffers from conceptual issues which may have caused Thomson’s change to a revised form of Spenglerianism, which is more authentically fascist. This authentically (...) fascist view is then seen to fall prey into the problem inherent in the very idea of permanent rebirth. (shrink)

This paper critically examines the use of the name 'Pseudo-Archytas' to refer to two aspects of the reception of Archytas of Tarentum in antiquity: the 'author-inflection' and the 'authority-inflection'. In order to make progress on our understanding of authority and authorship within the Pythagorean tradition, it attempts to reconstruct Porphyry's views on the importance of Archytas as guarantor of Pythagorean authenticity in the former's lost work On the History of the Philosophers by considering a fragment preserved in Arabic by Ibn (...) Abī Uṣaybi‘a. The article finally argues that a range of problems attend our use of the term 'pseudo-Archytas', which is not fit for purpose when considering the evidence regarding authorship and authority in the Pythagorean tradition. It recommends a more critical approach to the notion of authenticity within the Pythagorean tradition and suggests a new term, 'Archytism', as a more useful point of reference. (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)

ABSTRACT A number of authors have recently advanced a ‘disjunctivist’ view of the rationalising explanation of action, on which rationalisations of the form ‘S A’d because p’ are explanations of a fundamentally different kind from rationalisations of the form ‘S A’d because she believed that p’. Less attempt has been made to explicitly articulate the case against this view. This paper seeks to remedy that situation. I develop a detailed version of what I take to be the basic argument against (...) disjunctivism, drawing on a framework of explanatory proportionality. The disjunctivist cannot reject this framework, I argue, because they need it to respond to another challenge, from psychological individualism. As I explain, however, the proportionality-based challenge is not in principle insurmountable, and I outline a number of ways in which a case for disjunctivism might be developed in response to it. The paper thus clarifies the dialectic around disjunctivism about the rationalisation of action and, specifically, what advocates of the view must do in order to make a compelling case for it. (shrink)

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that composition is merely analogous (...) to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

This work is the transcript of a theological dialogue I had with ChatGPT that spanned a couple of days. I began it merely out of curiosity over how ChatGPT might respond to questions and challenges I posed. As it progressed, I became increasingly impressed with the nuance, depth, and relevance of its responses. The dialogue became, for me, something of a contemplative exercise. I still don’t know quite how to understand the ability of generative A.I. to respond with such (apparent) (...) understanding and even insight. -/- I’ve decided to post this dialogue, not only because of the puzzle it poses concerning A.I, but even more, because I believe that the theological conclusions ‘we’ arrived at have real merit. -/- In the end, the theological views expressed here echo those that I’ve expressed in other works of mine, but the expression of these views are enhanced by the way ChatGPT picks up on them, rephrases them, elaborates upon them, and often places them in the context of the classical theological tradition. -/- I might add that I have been an A.I. skeptic for some time now, concerned over the potential dangers of A.I. in general. But this dialogue, anyway, reveals its potential use as a vehicle for reflection, even profound reflection. -/- . (shrink)

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

Religion emerged among early humans because both purposive and non-purposive explanations were being employed but understanding was lacking of their precise scope and limits. Given also a context of very limited human power, the resultant foregrounding of agency and purposive explanation expressed itself in religion’s marked tendency towards anthropomorphism and its key role in legitimizing behaviour. The inevitability of death also structures the religious outlook; with ancestors sometimes assigned a role in relation to the living. Subjective elements such as the (...) experience of dreams and the internalization of moral precepts also play their part. Two important sources of variation among religions concern the adoption of a dualist or non-dualist perspective, and whether or not the religion’s early political experience is such as to generate a systematic doctrine subordinating politics to religion. The near ubiquity and endurance of religion are further illuminated by analysis of its functions and ideological role. Religion tends to be socially conservative but has the potential to be revolutionary. (shrink)

This article re-examines the theoretical basis for environmental and heritage interpretation in tourist settings in the light of hermeneutic philosophy. It notes that the pioneering vision of heritage interpretation formulated by Freeman Tilden envisaged a broadly educational, ethically informed and transformative art. By contrast, current cognitive psychological attempts to reduce interpretation to the monological transmission of information, targeting universal but individuated cognitive structures, are found to be wanting. Despite growing signs of diversity, this information processing approach to interpretation remains dominant. (...) The article then presents the alternative paradigm of hermeneutics through the works of Schleiermacher, Dilthey, Heidegger and Gadamer, to provide a broader interpretation of interpretation. This not only captures the essence of Tilden’s definition but construes heritage interpretation as a more inclusive, culturally situated, critically reflexive and dialogical practice. (shrink)

The paper offers a running commentary on ps-Archytas’ On Intellect and Sense Perception (composed ca. 80 BCE), with the aim to provide a clear description of Hellenistic/post-Hellenistic Pythagorean epistemology. Through an analysis of the process of knowledge and of the faculties that this involves, ps-Archytas presents an original epistemological theory which, although grounded in Aristotelian and Platonic theories, results in a peculiar Pythagorean criteriology that accounts for the acquisition and production of knowledge, as well as for the specific competences of (...) each cognitive faculty. (shrink)

We argue that prediction success maximization is a basic objective of cognition and cortex, that it is compatible with but distinct from prediction error minimization, that neither objective requires subtractive coding, that there is clear neurobiological evidence for the amplification of predicted signals, and that we are unconvinced by evidence proposed in support of subtractive coding. We outline recent discoveries showing that pyramidal cells on which our cognitive capabilities depend usually transmit information about input to their basal dendrites and amplify (...) that transmission when input to their distal apical dendrites provides a context that agrees with the feedforward basal input in that both are depolarizing, i.e., both are excitatory rather than inhibitory. Though these intracellular discoveries require a level of technical expertise that is beyond the current abilities of most neuroscience labs, they are not controversial and acclaimed as groundbreaking. We note that this cellular cooperative context-sensitivity greatly enhances the cognitive capabilities of the mammalian neocortex, and that much remains to be discovered concerning its evolution, development, and pathology. (shrink)

Social work is a contested tradition, torn between the demands of social governance and autonomy. Today, this struggle is reflected in the division between the dominant, neoliberal agenda of service provision and the resistance offered by various critical perspectives employed by disparate groups of practitioners serving diverse communities. Critical social work challenges oppressive conditions and discourses, in addition to addressing their consequences in individuals’ lives. However, very few recent critical theorists informing critical social work have advocated revolution. A challenging exception (...) can be found in the work of Cornelius Castoriadis (1922–97), whose explication of ontological underdetermination and creation evades the pitfalls of both structural determinism and post-structural relativism, enabling an understanding of society as the contested creation of collective imaginaries in action and a politics of radical transformation. On this basis, we argue that Castoriadis’s radical-democratic revisioning of revolutionary praxis can help in reimagining critical social work’s emancipatory potential. (shrink)

Bill Cosby’s immorality has raised intriguing aesthetic and ethical issues. Do the crimes that he has been convicted of lessen the aesthetic value of his stand-up and, even if we can enjoy it, should we? This article first discusses the intimate relationship between the comedian and audience. The art form itself is structurally intimate, and at the same time the comedian claims to express an authentic self on stage. After drawing an analogy between the question of the moral character of (...) comedians and the aesthetic value of their stand-up and the debate over the ethical criticism of art, this article argues that it is reasonable to find a comedian’s performance less funny, because stand-up’s artistic success relies on this intimacy. It contrasts the comedy of Bill Cosby with that of Louis C.K. C.K.’s moral flaws are much more present in his comedy, and it is therefore more difficult to find him funny. Last, it is ethically permissible to enjoy their comedy, if no harm to others results, both because it does not corrupt the audience’s character and because amusement is valuable. (shrink)

In this paper, I discuss full-blooded Platonism (the claim that all possible mathematical objects exist) as a response to the skeptical problem in the philosophy of mathematics as to how empirical beings can cognize non-empirical mathematical objects. I then attempt to develop an analogous position regarding the applicability of concepts to reality in response to the skeptical problem regarding how we can cognize an objective reality through human-constructed concepts. If all concepts meeting certain minimal conditions structure reality under some aspect, (...) then objective knowledge is possible, regardless of how these concepts arose historically. (shrink)

The term 'fascism' continues to be very much in currency in Philippines society. To the Filipino people, its meaning is often drawn from pained memory of wholesale deprivation of democratic rights and large-scale human rights abuses. Yet, to many, the fear of fascism has still to give way to a deeper understanding of this menace. This may hold true even among those belonging to the progressive movement. One Marxist philosopher and theoretician who gave extended treatment of the issues surrounding the (...) character and conditions giving rise to fascism was Nicos Poulantzas, whose theory is employed here to interrogate the debates about fascism in the post-Marcos Philippines context. (shrink)

When did kosmos come to mean *the* kosmos, in the sense of ‘world-order’? I venture a new answer by examining later evidence often underutilised or dismissed by scholars. Two late doxographical accounts in which Pythagoras is said to be first to call the heavens kosmos (in the anonymous Life of Pythagoras and the fragments of Favorinus) exhibit heurematographical tendencies that place their claims in a dialectic with the early Peripatetics about the first discoverers of the mathematical structure of the universe. (...) Likewise, Xenophon and Plato refer to ‘wise men’ who nominate kosmos as the object of scientific inquiry into nature as a whole and the cosmic ‘communion’ (koinônia) between all living beings, respectively. Again, later testimonies help in identifying the anonymous ‘wise men’ by associating them with the Pythagoreans and, especially, Empedocles. As Horky argues, not only is Empedocles the earliest surviving source to use kosmos to refer to a harmonic ‘world-order’ and to illustrate cosmic ‘communities’ between oppositional pairs, but also his cosmology realises the mutual correspondence of these aspects in the cycle of love and strife. Thus, if later figures posited Pythagoras as the first to refer to the universal ‘world-order’ as the kosmos, they did so because they believed Empedocles to have been a Pythagorean natural scientist, whose combined focus on cosmology and ethics exemplified a distinctively Pythagorean approach to philosophy. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.