The paper takes a closer look at the role of knowledge and evidence in legal theory. In particular, the paper examines a puzzle arising from the evidential standard Preponderance of the Evidence and its application in civil procedure. Legal scholars have argued since at least the 1940s that the rule of the Preponderance of the Evidence gives rise to a puzzle concerning the role of statistical evidence in judicial proceedings, sometimes referred to as the Problem of Bare Statistical Evidence. While (...) this puzzle has led to the development of a multitude of accounts and approaches in the legal literature, I argue here that the problem can be resolved fairly straightforwardly within a knowledge-first framework. (shrink)

A number of prominent epistemologists claim that the principle of sensitivity “play[s] a starring role in the solution to some important epistemological problems”. I argue that traditional sensitivity accounts fail to explain even the most basic data that are usually considered to constitute their primary motivation. To establish this result I develop Gettier and lottery cases involving necessary truths. Since beliefs in necessary truths are sensitive by default, the resulting cases give rise to a serious explanatory problem for the defenders (...) of sensitivity accounts. It is furthermore argued that attempts to modally strengthen traditional sensitivity accounts to avoid the problem must appeal to a notion of safety—the primary competitor of sensitivity in the literature. The paper concludes that the explanatory virtues of sensitivity accounts are largely illusory. In the framework of modal epistemology, it is safety rather than sensitivity that does the heavy explanatory lifting with respect to Gettier cases, lottery examples, and other pertinent cases. (shrink)

Epistemic contextualism (‘EC’), the view that the truth-values of knowledge attributions may vary with the context of ascription, has a variety of different linguistic implementations. On one of the implementations most popular in the early days of EC, the predicate ‘knows p’ functions semantically similarly to gradable adjectives such as ‘flat’, ‘tall’, or ‘empty’. In recent work Jason Stanley and John Hawthorne have presented powerful arguments against such implementations of EC. In this article I briefly systematize the contextualist analogy to (...) gradable adjectives, present Stanley’s argument against the analogy, and offer a contextualist response that abandons the analogy in favor of modeling the semantics of ‘knows p’ along the lines of quantifier expressions. I then present Hawthorne’s objection to the views presented, and finally conclude by outlining an argument to the effect that ‘knows p’ is an automatic indexical and as such to be expected to function differently from many other indexicals that the term has been compared to in the literature. I finally point out that no analogy should be expected to be perfect, and that no harm is done by postulating some unique behavior of ‘knows p’. (shrink)

Epistemic contextualism is widely believed to be incompatible with the recently popular view that knowledge is the norm of assertion, practical reasoning, or belief. I argue in this article that the problems arising for contextualism from the mentioned normative views are only apparent and can be resolved by acknowledging the fairly widespread phenomenon of non-obvious context-sensitivity (recently embraced by even some of contextualism's most ardent former critics). Building on recent insights about non-obvious context-sensitivity, the article outlines an independently attractive contextualist (...) account of the mentioned epistemic norms and provides a solution to the puzzles they give rise to in a contextualist framework. (shrink)

This article addresses and resolves an epistemological puzzle that has attracted much attention in the recent literature—namely, the puzzle arising from Moorean anti-sceptical reasoning and the phenomenon of transmission failure. The paper argues that an appealing account of Moorean reasoning can be given by distinguishing carefully between two subtly different ways of thinking about justification and evidence. Once the respective distinctions are in place we have a simple and straightforward way to model both the Wrightean position of transmission failure and (...) the Moorean position of dogmatism. The approach developed in this article is, accordingly, ecumenical in that it allows us to embrace two positions that are widely considered to be incompatible. The paper further argues that the Moorean Puzzle can be resolved by noting the relevant distinctions and our insensitivity towards them: once we carefully tease apart the different senses of ‘justified’ and ‘evidence’ involved, the bewilderment caused by Moore’s anti-sceptical strategy subsides. (shrink)

Recent attempts to resolve the Paradox of the Gatecrasher rest on a now familiar distinction between individual and bare statistical evidence. This paper investigates two such approaches, the causal approach to individual evidence and a recently influential (and award-winning) modal account that explicates individual evidence in terms of Nozick's notion of sensitivity. This paper offers counterexamples to both approaches, explicates a problem concerning necessary truths for the sensitivity account, and argues that either view is implausibly committed to the impossibility of (...) no-fault wrongful convictions. The paper finally concludes that the distinction between individual and bare statistical evidence cannot be maintained in terms of causation or sensitivity. We have to look elsewhere for a solution of the Paradox of the Gatecrasher. (shrink)

The paper explicates a new way to model the context-sensitivity of 'knows', namely a way that suggests a close connection between the content of 'knows' in a context C and what is pragmatically presupposed in C. After explicating my new approach in the first half of the paper and arguing that it is explanatorily superior to standard accounts of epistemic contextualism, the paper points, in its second half, to some interesting new features of the emerging account, such as its compatibility (...) with the intuitions of Moorean dogmatists. Finally, the paper shows that the account defended is not subject to the most prominent and familiar philosophical objections to epistemic contextualism discussed in the recent literature. (shrink)

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

In recent work on the semantics of ‘knowledge’-attributions, a variety of accounts have been proposed that aim to explain the data about speaker intuitions in familiar cases such as DeRose’s Bank Case or Cohen’s Airport Case by means of pragmatic mechanisms, notably Gricean implicatures. This paper argues that pragmatic explanations of the data regarding ‘knowledge’-attributions are unsuccessful and concludes that in explaining those data we have to resort to accounts that (a) take those data at their semantic face value (Epistemic (...) Contextualism, Subject-Sensitive Invariantism or Epistemic Relativism), or (b) reject them on psychological grounds (Moderate Insensitive Invariantism). To establish this conclusion, the paper relies solely upon widely accepted assumptions about pragmatic theory, broadly construed, and on the Stalnakerian insight that linguistic communication takes place against the backdrop of a set of mutually accepted propositions: a conversation’s common ground. (shrink)

Martin Smith has recently proposed, in this journal, a novel and intriguing approach to puzzles and paradoxes in evidence law arising from the evidential standard of the Preponderance of the Evidence. According to Smith, the relation of normic support provides us with an elegant solution to those puzzles. In this paper I develop a counterexample to Smith’s approach and argue that normic support can neither account for our reluctance to base affirmative verdicts on bare statistical evidence nor resolve the pertinent (...) paradoxes. Normic support is, as a consequence, not a successful epistemic anti-luck condition. (shrink)

Epistemic contextualism—the view that the content of the predicate ‘know’ can change with the context of utterance—has fallen into considerable disrepute recently. Many theorists have raised doubts as to whether ‘know’ is context-sensitive, typically basing their arguments on data suggesting that ‘know’ behaves semantically and syntactically in a way quite different from recognised indexicals such as ‘I’ and ‘here’ or ‘flat’ and ‘empty’. This paper takes a closer look at three pertinent objections of this kind, viz. at what I call (...) the Error-Theory Objection, the Gradability Objection and the Clarification-Technique Objection. The paper concludes that none of these objections can provide decisive evidence against contextualism. (shrink)

Safety principles in epistemology are often hailed as providing us with an explanation of why we fail to have knowledge in Gettier cases and lottery examples, while at the same time allowing for the fact that we know the negations of sceptical hypotheses. In a recent paper, Sinhababu and Williams have produced an example—the Backward Clock—that is meant to spell trouble for safety accounts of knowledge. I argue that the Backward Clock case is, in fact, unproblematic for the more sophisticated (...) formulations of safety in the literature. However, I then proceed to construct two novel examples that turn out problematic for those formulations—one that provides us with a lottery-style case of safe ignorance and one that is a straightforward case of unsafe knowledge. If these examples succeed, then safety as it is usually conceived in the current debate cannot account for ignorance in all Gettier and lottery-style cases, and neither is it a necessary condition for knowledge. I conclude from these troublesome examples that modal epistemologists ought to embrace a much more simple and non-reductive version of safety, according to which the notion of similarity between possible worlds that determines in which worlds the subject must believe truly is an epistemic notion that cannot be defined or reduced to notions independent of knowledge. The resulting view is shown to also lead to desirable results with respect to lottery cases, certain quantum phenomena, and a puzzling case involving a cautious brain-in-a-vat. (shrink)

Jason Stanley has argued recently that Epistemic Contextualism (EC) and Subject‐Sensitive Invariantism (SSI) are explanatorily on a par with regard to certain data arising from modal and temporal embeddings of ‘knowledge’‐ascriptions. This paper argues against Stanley that EC has a clear advantage over SSI in the discussed field and introduces a new type of linguistic datum strongly suggesting the falsity of SSI.

According to the Rationality Constraint, our concept of belief imposes limits on how much irrationality is compatible with having beliefs at all. We argue that empirical evidence of human irrationality from the psychology of reasoning and the psychopathology of delusion undermines only the most demanding versions of the Rationality Constraint, which require perfect rationality as a condition for having beliefs. The empirical evidence poses no threat to more relaxed versions of the Rationality Constraint, which only require only minimal rationality. Nevertheless, (...) we raise problems for all versions of the Rationality Constraint by appealing to more extreme forms of irrationality that are continuous with actual cases of human irrationality. In particular, we argue that there are conceivable cases of “mad belief” in which populations of Lewisian madmen have beliefs that are not even minimally rational. This undermines Lewis’s claim that our ordinary concept of belief is a theoretical concept that is implicitly defined by its role in folk psychology. We argue that introspection gives us a phenomenal concept of belief that cannot be analyzed by applying Lewis’s semantics for theoretical terms. (shrink)

In this chapter, I produce counterexamples to Presuppositional Epistemic Contextualism (PEC), a view about the semantics of ‘knowledge’-ascriptions that I have argued for elsewhere. According to PEC, the semantic content of the predicate ‘know’ at a context C is partly determined by the speakers’ pragmatic presuppositions at C. The problem for the view that I shall be concerned with here arises from the fact that pragmatic presuppositions are sometimes known to be true by the speakers who make them: hence the (...) Problem of Known Presuppositions. After discussing several unsuccessful ways to solve the problem, I propose the addition of a new Lewisian rule of proper ignoring to the semantics of PEC--namely, the Rule of Evidence-Based Ignoring. If the proposed account succeeds, the Problem of Known Presuppositions has a straightforward solution within the framework of PEC. (shrink)

The paper discusses approaches to Epistemic Contextualism that model the satisfaction of the predicate ‘know’ in a given context C in terms of the notion of belief/fact-matching throughout a contextually specified similarity sphere of worlds that is centred on actuality. The paper offers three counterexamples to approaches of this type and argues that they lead to insurmountable difficulties. I conclude that what contextualists (and Subject-Sensitive Invariantists) have traditionally called the ‘epistemic standards’ of a given context C cannot be explicated in (...) terms of a contextually specified similarity sphere that is centred on actuality. The mentioned accounts of epistemic relevance and thus the corresponding accounts of the context-sensitivity (or subject-sensitivity) of ‘knows’ are to be rejected. (shrink)

Moderate Pragmatic Invariantism (MPI) has been criticized in the literature for postulating implicatures that are not straightforwardly cancellable. Defenders of MPI have responded that the data are not as clear-cut as one might wish. This paper grants the defenders of MPI, for the sake of argument, that the implicatures in question are cancellable and then turns this admission against them. In particular, the paper offers Bank Case variants in which the conversational implicatures postulated by MPI are contextually suspended – and (...) thus cancelled. Since our intuitions do not vary between the original Bank Case and these novel types of cases, the explanation offered by MPI must be mistaken. Our varying truth-value intuitions in the Bank Cases cannot be accounted for by means of conversational implicatures. (shrink)

Autonomy has been central to moral and political philosophy for millenia, and has been positioned as a critical aspect of both justice and wellbeing. Research in psychology supports this position, providing empirical evidence that autonomy is critical to motivation, personal growth and psychological wellness. Responsible AI will require an understanding of, and ability to effectively design for, human autonomy (rather than just machine autonomy) if it is to genuinely benefit humanity. Yet the effects on human autonomy of digital experiences are (...) neither straightforward nor consistent, and are complicated by commercial interests and tensions around compulsive overuse. This multi-layered reality requires an analysis that is itself multidimensional and that takes into account human experience at various levels of resolution. We borrow from HCI and psychological research to apply a model (“METUX”) that identifies six distinct spheres of technology experience. We demonstrate the value of the model for understanding human autonomy in a technology ethics context at multiple levels by applying it to the real-world case study of an AI-enhanced video recommender system. In the process we argue for the following three claims: 1) There are autonomy-related consequences to algorithms representing the interests of third parties, and they are not impartial and rational extensions of the self, as is often perceived; 2) Designing for autonomy is an ethical imperative critical to the future design of responsible AI; and 3) Autonomy-support must be analysed from at least six spheres of experience in order to approriately capture contradictory and downstream effects. (shrink)

The paper gives an a priori argument for the view that knowledge is unanalysable. To establish this conclusion I argue that warrant, i.e. the property, whatever precisely it is, which makes the difference between knowledge and mere true belief, entails both truth and belief and thus does not exist as a property distinct from knowledge: all and only knowledge can turn a true belief into knowledge. The paper concludes that the project of trying to find a condition distinct from knowledge (...) that is necessary and together with truth and belief sufficient for knowledge must be doomed to failure. (shrink)

This paper investigates the linguistic basis for moral non-cognitivism, the view that sentences containing moral predicates do not have truth conditions. It offers a new argument against this view by pointing out that the view is incompatible with our best empirical theories about the grammatical encoding of illocutionary force potentials. Given that my arguments are based on very general assumptions about the relations between the grammar of natural languages and a sentence's illocutionary function, my arguments are broader in scope than (...) the familiar semantic objections to non-cognitivism relating to the so-called Frege-Geach problem: even if a solution to the Frege-Geach problem has been found, my arguments still stand. (shrink)

In everyday conversations we often convey information that goes above and beyond what we strictly speaking say: exaggeration and irony are obvious examples. H.P. Grice introduced the technical notion of a conversational implicature in systematizing the phenomenon of meaning one thing by saying something else. In introducing the notion, Grice drew a line between what is said, which he understood as being closely related to the conventional meaning of the words uttered, and what is conversationally implicated, which can be inferred (...) from the fact that an utterance has been made in context. Since Grice’s seminal work, conversational implicatures have become one of the major research areas in pragmatics. This article introduces the notion of a conversational implicature, discusses some of the key issues that lie at the heart of the recent debate, and explicates tests that allow us to reliably distinguish between semantic entailments and conventional implicatures on the one hand and conversational implicatures on the other. (shrink)

The most prominent arguments for scepticism in modern epistemology employ closure principles of some kind. To begin my discussion of such arguments, consider Simple Knowledge Closure (SKC): (SKC) (Kxt[p] ∧ (p → q)) → Kxt[q].1 Assuming its truth for the time being, the sceptic can use (SKC) to reason from the two assumptions that, firstly, we don’t know ¬sh and that, secondly, op entails ¬sh to the conclusion that we don’t know op, where ‘op’ and ‘sh’ are shorthand for ‘ordinary (...) proposition’ and ‘sceptical hypothesis’ respectively. (SKC), however, fails for familiar reasons: since knowledge entails belief (KB), we can derive the falsity (F) from (SKC) by hypothetical syllogism, and thus reduce (SKC) to absurdity: (KB) Kxt[p] → Bxt[p]. (F) (Kxt[p] ∧ (p → q)) → Bxt[q]. (shrink)

We present a general framework for representing belief-revision rules and use it to characterize Bayes's rule as a classical example and Jeffrey's rule as a non-classical one. In Jeffrey's rule, the input to a belief revision is not simply the information that some event has occurred, as in Bayes's rule, but a new assignment of probabilities to some events. Despite their differences, Bayes's and Jeffrey's rules can be characterized in terms of the same axioms: "responsiveness", which requires that revised beliefs (...) incorporate what has been learnt, and "conservativeness", which requires that beliefs on which the learnt input is "silent" do not change. To illustrate the use of non-Bayesian belief revision in economic theory, we sketch a simple decision-theoretic application. (shrink)

Epistemic contextualism (EC) is primarily a semantic view, viz. the view that ‘knowledge’-ascriptions can change their contents with the conversational context. To be more precise, EC is the view that the predicate ‘know’ has an unstable Kaplan character, i.e. a character that does not map all contexts on the same content. According to EC, ‘know’ is thus an indexical expression. Notwithstanding this purely linguistic characterisation of EC, contextualists have traditionally argued that their views have considerable philosophical impact, this being due (...) to the alleged fact that their linguistic views about ‘know’ provide the resources for a resolution of sceptical puzzles. In this paper I will address an objection to EC claiming that, as a linguistic view about the term ‘know’, EC cannot be of any epistemological significance. (shrink)

Jonathan Jenkins Ichikawa has presented a series of examples that are meant to spell trouble for Presuppositional Epistemic Contextualism. In this short article I aim to establish two things. First, I argue that even if Ichikawa’s examples were viable counterexamples to PEC, they would not threaten the key ideas underlying the account in my 2009 article ‘Knowledge and Presuppositions’. The philosophically interesting work that is done in that article remains unaffected by Ichikawa’s alleged counterexamples. In the second part of the (...) paper, I argue that the examples are not in fact successful counterexamples to PEC. The data emerging from Ichikawa’s examples can be accounted for within the framework of PEC. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

The Argument from Principles, the primary motivation for impurism or pragmatic encroachment theories in epistemology, is often presented as an argument for everyone—an argument that proceeds from harmless premises about the nature of rationally permissible action to the surprising conclusion that one’s knowledge is partly determined by one’s practical situation. This paper argues that the Argument from Principles is far from neutral, as it presupposes the falsity of one of impurism’s main competitors: epistemic contextualism. As a consequence, hybrid positions combining (...) impurism and contextualism—positions that impurists have sometimes hinted at in the literature—are, while logically consistent, ill-motivated. Once the impurist embraces contextualism, the Argument from Principles can no longer get off the ground. The paper concludes that those who make use of the Argument from Principles are committed to an invariantist impurism and their case in support of impurism can only ever be as strong as their case against contextualism. Given recent contextualist work on the semantics of ‘knowledge’-attributions, this is likely to turn out problematic for the impurists. (shrink)

In this article, we explore the implications of opposing domains theory for developing ethical leaders. Opposing domains theory highlights a neurological tension between analytic reasoning and socioemotional reasoning. Specifically, when we engage in analytic reasoning, we suppress our ability to engage in socioemotional reasoning and vice versa. In this article, we bring together the domains of neuroscience, psychology, and ethics, to inform our theorizing around ethical leadership. We propose that a key issue for ethical leadership is achieving a healthy balance (...) between analytic reasoning and socioemotional reasoning. We argue that organizational culture often encourages too heavy a reliance on nonemotional forms of reasoning to arrive at moral judgments. As a result, leaders run the risk of suppressing their ability to pay attention to the human side of moral dilemmas and, in doing so, dehumanize colleagues, particularly subordinates, and clients. (shrink)

This paper clarifies the usage of Albert Hirschman’s categories of market behaviour as of exit and voice in debates about workplace democracy by taking seriously his critique of the neoclassical analysis of competition. Pro-market liberals are generally hostile to the idea of workplace democracy and tend to favour top-down hierarchies as a way of organising labour. This hostility is generally inspired by the neoclassical analysis of exploitation and efficiency, which leads them to defend distributions achieved through exit-based competitive equilibria. Following (...) Hirschman, I propose to consider a hypothetical alternative: a democratic equilibrium, reached through the use of voice. I show that it would present the same appealing characteristics than its competitive counterpart while also accounting for the non-ideal conditions in which markets operate. Support for free markets should entail support for workplace democracy minimally understood as a strengthening of voice. (shrink)

Efforts by governments, firms, and patients to deliver pioneering drugs for critical health needs face a challenge of diminishing efficiency in developing those medicines. While multi-sectoral collaborations involving firms, researchers, patients, and policymakers are widely recognized as crucial for countering this decline, existing incentives to engage in drug development predominantly target drug manufacturers and thereby do little to stimulate collaborative innovation. In this mini review, we consider the unexplored potential within pharmaceutical regulations to create novel incentives to encourage a diverse (...) set of actors from the public and private spheres to engage in the kind of collaborative knowledge exchange requisite for fostering enhanced innovation in early drug development. (shrink)

We present a new understanding of Christ’s real presence in the Eucharist on the model of Stump’s account of God’s omnipresence and Green and Quan’s account of experiencing God in Scripture. On this understanding, Christ is derivatively, rather than fundamentally, located in the consecrated bread and wine, such that Christ is present to the believer through the consecrated bread and wine, thereby making available to the believer a second-person experience of Christ, where the consecrated bread and wine are the way (...) in which she shares attention with him. The consecrated bread and wine are then, in a sense, icons of Christ. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, (...) organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that the (...) principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

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)

The UK has been ‘following the science’ in response to the COVID-19 pandemic in line with the national framework for the use of scientific advice in assessment of risk. We argue that the way in which it does so is unsatisfactory in two important respects. Firstly, pandemic policy making is not based on a comprehensive assessment of policy impacts. And secondly, the focus on reasonable worst-case scenarios as a way of managing uncertainty results in a loss of decision-relevant information and (...) does not provide a coherent basis for policy making. (shrink)

What are the possible varieties of cognition-artifact relations, and which dimensions are relevant for exploring these varieties? This question is answered in two steps. First, three levels of functional and informational integration between human agent and cognitive artifact are distinguished. These levels are based on the degree of interactivity and direction of information flow, and range from monocausal and bicausal relations to continuous reciprocal causation. In these levels there is a hierarchy of integrative processes in which there is an increasing (...) degree of hybridization. Therefore, from a functional and informational level of abstraction, it becomes increasingly difficult to distinguish between agent and artifact in this hierarchy. Second, a multidimensional matrix for exploring cognition-artifact relations is sketched. The dimensions in the matrix include reliability, durability, trust, procedural and representational transparency, individualization, bandwidth, speed of information flow, distribution of computation, and cognitive and artifactual transformation. Together, these dimensions constitute a multidimensional space in which particular cognition-artifact relations can be located. The higher a particular cognition-artifact relation scores on these dimensions, the more integration and hybridization occurs, and the more tightly coupled the overall system is. It is then better, for explanatory reasons, to see agent and artifact as one cognitive system with a distributed informational architecture. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Many existing biomedical vocabulary standards rest on incomplete, inconsistent or confused accounts of basic terms pertaining to diseases, diagnoses, and clinical phenotypes. Here we outline what we believe to be a logically and biologically coherent framework for the representation of such entities and of the relations between them. We defend a view of disease as involving in every case some physical basis within the organism that bears a disposition toward the execution of pathological processes. We present our view in the (...) form of a list of terms and definitions designed to provide a consistent starting point for the representation of both disease and diagnosis in information systems in the future. (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.

The Global Forum on Bioethics in Research (GFBR) served as a global platform for debate on ethical issues in international health research between 1999 and 2008, bringing together research ethics experts, researchers, policy makers and community members from developing and developed countries. In total, nine GFBR meetings were held on six continents. Work is currently underway to revive the GFBR. This paper describes the purpose and history of the GFBR and presents key elements for its reinstatement, future functioning and sustainability. (...) Potential participants and sponsors are encouraged to contribute actively to the future of this unique international research ethics event. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

A logically impossible sentence is one which entails a contradiction, a logically necessary sentence is one whose negation entails a contradiction, and a logically possible sentence is one which does not entail a contradiction. Metaphysically impossible, necessary and possible sentences are ones which become logically impossible, necessary, or possible by substituting what I call informative rigid designators for uninformative ones. It does seem very strongly that a negative existential sentence cannot entail a contradiction, and so ”there is a God’ cannot (...) be a metaphysically necessary truth. If it were such a truth, innumerable other sentences which seem paradigm examples of logically possible sentences, such as ”no one knows everything’ would turn out to be logically impossible. The only way in which God could be a logically necessary being is if there were eternal necessary propositions independent of human language or God’s will, such that the proposition that there is no God would entail -- via propositions inaccessible to us -- a contradiction. But if there were such propositions, God would have less control over the universe than he would have otherwise. (shrink)

Inanimate explanation is to be analysed in terms of substances having powers and liabilities to exercise their powers under certain conditions; while personal explanation is to be analysed in terms of persons, their beliefs, powers, and purposes. A crucial criterion for an explanation being probably true is that it is (among explanations leading us to expect the data) the simplest one. Simplicity is a matter of few substances, few kinds of substances, few properties (including powers and liabilities), few kinds of (...) properties, and mathematically simple relations between properties. Explanation of the existence of the universe by the agency of God provides the simplest kind of personal explanation there can be, and one simpler than any inanimate explanation. I defend this view more thoroughly than previously in light of recent challenges. (shrink)

David Hilbert's finitistic standpoint is a conception of elementary number theory designed to answer the intuitionist doubts regarding the security and certainty of mathematics. Hilbert was unfortunately not exact in delineating what that viewpoint was, and Hilbert himself changed his usage of the term through the 1920s and 30s. The purpose of this paper is to outline what the main problems are in understanding Hilbert and Bernays on this issue, based on some publications by them which have so far received (...) little attention, and on a number of philosophical reconstructions of the viewpoint (in particular, by Hand, Kitcher, and Tait). (shrink)

In this brief dialogue I consider the humanity and morality of the doctrine of eternal punishment.