One of the most noticeable trends in recent years has been the increasing reliance of public decision-making processes on algorithms, i.e. computer-programmed step-by-step instructions for taking a given set of inputs and producing an output. The question raised by this article is whether the rise of such algorithmic governance creates problems for the moral or political legitimacy of our public decision-making processes. Ignoring common concerns with data protection and privacy, it is argued that algorithmic governance does pose a significant threat (...) to the legitimacy of such processes. Modelling my argument on Estlund’s threat of epistocracy, I call this the ‘threat of algocracy’. The article clarifies the nature of this threat and addresses two possible solutions. It is argued that neither solution is likely to be successful, at least not without risking many other things we value about social decision-making. The result is a somewhat pessimistic conclusion in which we confront the possibility that we are creating decision-making processes that constrain and limit opportunities for human participation. (shrink)

Centuries ago, Descartes and Locke initiated a foundational debate in epistemology over the relationship between knowledge, on the one hand, and practical factors, on the other. Descartes claimed that knowledge and practice are fundamentally separate. Locke claimed that knowledge and practice are fundamentally united. After a period of dormancy, their disagreement has reignited on the contemporary scene. Latter-day Lockeans claim that knowledge itself is essentially connected to, and perhaps even constituted by, practical factors such as how much is at stake, (...) how important the situation is, or how one should act. Latter-day Cartesians claim, by contrast, that knowledge is entirely constituted by truth-related factors such as truth, belief, and evidence. Each side has supported its case with claims about patterns in ordinary behavior and knowledge judgments. Lockeans argue that these patterns are best explained by positing a fundamental and direct link between knowledge and practical factors. Cartesians argue that the patterns can be equally well explained by positing an indirect link, entirely mediated by the traditional factors of truth, belief, and evidence, thereby rendering the Lockean hypothesis unnecessary. We argue that Cartesians are right about some practical factors, in particular stakes and how important a situation is, which have, at best, a modest indirect relationship to knowledge. However, Lockeans are right about actionability: whether a person should pursue a course of action is unquestionably very powerfully and directly connected to knowledge. (shrink)

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

Bringing research on collective memory together with research on episodic future thought, Szpunar and Szpunar :376–389, 2016) have recently developed the concept of collective future thought. Individual memory and individual future thought are increasingly seen as two forms of individual mental time travel, and it is natural to see collective memory and collective future thought as forms of collective mental time travel. But how seriously should the notion of collective mental time travel be taken? This article argues that, while collective (...) mental time travel is disanalogous in important respects to individual mental time travel, the concept of collective mental time travel nevertheless provides a useful means of organizing existing findings, while also suggesting promising directions for future research. (shrink)

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

This report reviews what quantum physics and information theory have to tell us about the age-old question, How come existence? No escape is evident from four conclusions: (1) The world cannot be a giant machine, ruled by any preestablished continuum physical law. (2) There is no such thing at the microscopic level as space or time or spacetime continuum. (3) The familiar probability function or functional, and wave equation or functional wave equation, of standard quantum theory provide mere continuum idealizations (...) and by reason of this circumstance conceal the information-theoretic source from which they derive. (4) No element in the description of physics shows itself as closer to primordial than the elementary quantum phenomenon, that is, the elementary device-intermediated act of posing a yes-no physical question and eliciting an answer or, in brief, the elementary act of observer-participancy. Otherwise stated, every physical quantity, every it, derives its ultimate significance from bits, binary yes-or-no indications, a conclusion which we epitomize in the phrase, it from bit. (shrink)

‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)

Mitochondrial DNA (mtDNA) diseases are a group of neuromuscular diseases that often cause suffering and premature death. New mitochondrial replacement techniques (MRTs) may offer women with mtDNA diseases the opportunity to have healthy offspring to whom they are genetically related. MRTs will likely be ready to license for clinical use in the near future and a discussion of the ethics of the clinical introduction ofMRTs is needed. This paper begins by evaluating three concerns about the safety of MRTs for clinical (...) use on humans: (1) Is it ethical to use MRTs if safe alternatives exist? (2) Would persons with three genetic contributors be at risk of suffering? and (3) Can society trust that MRTs will be made available for humans only once adequate safety testing has taken place, and that MRTs will only be licensed for clinical use in a way that minimises risks? It is then argued that the ethics debate about MRTs should be reoriented towards recommendingways to reduce the possible risks of MRT use on humans. Two recommendations are made: (1) licensed clinical access to MRTs should only be granted to prospective parents if they intend to tell their children about their MRT conception by adulthood; and (2) sex selection should be used in conjunction with the clinical use ofMRTs, in order to reduce transgenerational health risks. (shrink)

Recent work has shown that knowledge attributions affect how people think others should behave, more so than belief attributions do. This paper reports two experiments providing evidence that knowledge attributions also affect behavioral predictions more strongly than belief attributions do, and knowledge attributions facilitate faster behavioral predictions than belief attributions do. Thus, knowledge attributions play multiple critical roles in social cognition, guiding judgments about how people should and will behave.

This paper addresses the foundations of Teleological Individualism, the view that organisms, even non-sentient organisms, are goal-oriented systems while biological collectives, such as ecosystems or conspecific groups, are mere assemblages of organisms. Typical defenses of Teleological Individualism ground the teleological organization of organisms in the workings of natural selection. This paper shows that grounding teleological organization in natural selection is antithetical to Teleological Individualism because such views assume a view about the units of selection on which it is only individual (...) organisms that are units of selection. However, none of the Conventionalist, Reductionist, or Multi-Level Realist theories serve to justify such an assumption. Thus, Teleological Individualism cannot be grounded in natural selection. (shrink)

In this chapter, we begin by sketching in the broadest possible strokes the ideas behind two formal systems that have been introduced with to goal of explicating the ways in which reasons interact to support the actions and conclusions they do. The first of these is the theory of defeasible reasoning developed in the seminal work of Pollock; the second is a more recent theory due to Horty, which adapts and develops the default logic introduced by Reiter to provide an (...) account of reasons. However, the implementations are complex enough, in both cases, to prevent anything more than this sketch. And we would not want to give the impression that we think that work on the logic of reasons must follow the path mapped out in either of these theories—indeed, we feel that the field is wide open. In the remainder of the chapter, therefore, will concentrate on a number of issues bearing on the logic of reasons that are either not treated in the work of Pollock and Horty, or whose treatment there is, we feel, either inadequate or incomplete. These are: first, the question of whether it is necessary to understand logical interactions among reasons themselves, rather than simply between reasons and the actions or conclusions they support, and if so, what principles might govern these interactions; second, priority relations among reasons and the notion of reason accrual; and third, some problems posed by undercutting defeat. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

The foundations of research ethics are riven with fault lines emanating from a fear that if research is too closely connected to weighty social purposes an imperative to advance the common good through research will justify abrogating the rights and welfare of study participants. The result is an impoverished conception of the nature of research, an incomplete focus on actors who bear important moral responsibilities, and a system of ethics and oversight highly attuned to the dangers of research but largely (...) silent about threats of ineffective, inefficient, and inequitable medical practices and health systems. -/- In For the Common Good: Philosophical Foundations of Research Ethics, Alex John London defends a conception of the common good that grounds a moral imperative with two requirements. The first is to promote research that generates the information necessary to enable key social institutions to effectively, efficiently, and equitably safeguard the basic interests of individuals. The second is to ensure that research is organized as a voluntary scheme of social cooperation that respects its various contributors' moral claims to be treated as free and equal. Connecting research to the goals of a just social order grounds a framework for assessing and managing research risk that reconciles these requirements and justifies key oversight practices in non-paternalistic terms. Reconceiving research ethics as resolving coordination problems and providing credible assurance that these requirements are being met expands the issues and actors that fall within the purview of the field and provides the foundation for a more unified and coherent approach to domestic and international research. -/- This is an open access title available under the terms of a CC BY-NC-ND 4.0 license. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. (shrink)

Our environmental wrongdoings result in a moral debt that requires restitution. One component of restitution is reparative and another is remediative. The remediative component requires that we remediate our characters in ways that alter or eliminate the character traits that tend to lead, in their expression, to environmental wrongdoing. Restitutive restoration is a way of engaging in ecological restoration that helps to meet the remediative requirement that accompanies environmental wrongdoing. This account of restoration provides a new motivation and justification for (...) engaging in restorative practices in addition to the standard pragmatist justification and motivations. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

A philosopher once wrote the following words:If I examine the PTOLOMAIC and COPERNICAN systems, I endeavour only, by my enquiries, to know the real situation of the planets; that is, in other words, I endeavour to give them, in my conception, the same relations, that they bear towards each other in the heavens. To this operation of the mind, therefore, there seems to be always a real, though often an unknown standard, in the nature of things; nor is truth or (...) falsehood variable by the various apprehensions of mankind. Though all human race should for ever conclude, that the sun moves, and the earth remains at rest, the sun stirs not an inch from his place for all these reasonings; and such conclusions are eternally false and erroneous. (shrink)

The concept of 'authenticity' is highly valued on social media sites (SMSes), despite its ambiguous nature and definition. One interpretation of 'authenticity' by media scholars is a human's congruence with online portrayals of themselves (e.g. posting spontaneous photographs from their lives, or using real biodata online). For marketers and 'influencers', these patterns of behaviour can achieve certain gains: sales for a business, or success of a campaign. For existentialist philosophers, using 'authenticity' as a means to an end is against its (...) very definition. In this paper, I investigate what SMS users are looking for by their supposed 'authentic' portrayal online. My experimental approach draws upon empirical data from the Instagram social media site. Using machine learning techniques, descriptions and features of posts - including subjects, captions, and contexts - will be categorised and aggregated. I will then interpret these findings, drawing upon work by Taylor, Golomb, and Guignon, whose works on authenticity are based on mid-20th century existentalists. I argue that the existentialist ideals on authenticity are not necessarily present in contemporary SMS use. I will also argue that the popular interpretation of authenticity on SMSes can be self-defeating, when it seeks to turn the 'for-itself' into an 'in-itself'. (shrink)

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (shrink)

Morality seems important, in the sense that there are practical reasons — at least for most of us, most of the time — to be moral. A central theoretical motivation for consequentialism is that it appears clear that there are practical reasons to promote good outcomes, but mysterious why we should care about non-consequentialist moral considerations or how they could be genuine reasons to act. In this paper we argue that this theoretical motivation is mistaken, and that because many arguments (...) for consequentialism rely upon it, the mistake substantially weakens the overall case for consequentialism. We argue that there is indeed a theoretical connection between good states and reasons to act, because good states are those it is fitting to desire and there is a conceptual connection between the fittingness of a motive and reasons to perform the acts it motivates. But while some of our motives are directed at states, others are directed at acts themselves. We contend that just as the fittingness of desires for states generates reasons to promote the good, the fittingness of these act-directed motives generates reasons to do other things. Moreover, we argue that an act’s moral status consists in the fittingness of act-directed feelings of obligation to perform or avoid performing it, so the connection between fitting motives and reasons to act explains reasons to be moral whether or not morality directs us to promote the good. This, we contend, de-mystifies how there could be non-consequentialist reasons that are both moral and practical. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

While there has been much work on cosmological arguments, novel objections will be presented against the modern day rendition of the Kalām cosmological argument as standardly articulated by William Lane Craig. The conclusion is reached that this cosmological argument and several of its variants do not lead us to believe that there is inevitably a supernatural cause to the universe. Moreover, a conditional argument for atheism will be presented in light of the Big Bang Theory.

This chapter treats Hubert Dreyfus’ account of skilled coping as part of his wider project of demonstrating the sovereignty of practical intelligence over all other forms of intelligence. In contrast to the standard picture of human beings as essentially rational, individual agents, Dreyfus argued powerfully on phenomenological and empirical grounds that humans are fundamentally embedded, absorbed, and embodied. These commitments are present throughout Dreyfus’ philosophical writings, from his critique of Artificial Intelligence research in the 1970s and 1980s to his rejection (...) of John McDowell’s conceptualism in his 2005 APA Presidential Address. The present chapter articulates Dreyfus’ proposal for a contentless, non-mentalistic form of intentionality by contrasting his position with that of his U.C. Berkeley colleague John Searle and defending it as a plausible alternative to the so-called “Standard Story” of intentional action as the effect of an agent’s mental states. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

In Languages of Art, Nelson Goodman presents a general theory of symbolic notation. However, I show that his theory could not adequately explain possible cases of natural language notational uses, and argue that this outcome undermines, not only Goodman's own theory, but any broadly type versus token based account of notational structure.Given this failure, an alternative representational theory is proposed, in which different visual or perceptual aspects of a given physical inscription each represent a different letter, word, or other notational (...) item. Such a view is strongly supported by the completely conventional relation between inscriptions and notation, as shown by encryption techniques etc. (shrink)

Like all reasoning, practical reasoning is a process that takes a person from some of her existing mental states to a new mental state. Theoretical reasoning concludes in a belief; practical reasoning in an intention. This paper concentrates on instrumental reasoning, a species of practical reasoning in general. It argues that instrumental reasoning is correct if the content of the reasoning is a valid derivation, just as theoretical reasoning is correct if its content is a valid derivation. It also argues (...) that neither theoretical nor practical reasoning gives a reason for its conclusion. If a piece of reasoning is correct, it concludes in a state - a belief or an intention - that is rationally required by the states it is derived from, but rationally requiring a conclusion is not the same as giving a reason for it. (shrink)

The Evolutionary Manifesto shows that evolution is directional and demonstrates that this has major implications for humanity. The Manifesto shows that humanity must align its social systems and behaviour with the trajectory of evolution if we are to survive and thrive into the future. The Manifesto goes on to demonstrate that humanity has an essential role to play in the future evolution of life on this planet. It demonstrates that life on Earth has reached a critical stage in evolution’s trajectory. (...) Up to now evolution has moved along its trajectory blindly and unconsciously. But if evolution on Earth is to continue to advance successfully in the future, the process will have to be driven intentionally and consciously by humanity. In this way, a proper understanding of evolution shows us how we can live a life that matters in a larger scheme of things. An evolutionary worldview answers the fundamental existential question that faces us all: “What should I do with my life?” The Manifesto outlines in broad terms what humanity must do to advance the evolutionary process—how we will intentionally have to re-make our political, social and economic systems, and how we will need to develop our cognition and consciousness. As such, the Manifesto presents a detailed case for evolutionary activism--coordinated action directed at advancing the evolutionary process intentionally. (shrink)

That in Gettier's alleged counterexamples to the traditional analysis of knowledge as justified true belief the belief condition is satisfied has rarely been questioned. Yet there is reason to doubt that a rational person would come to believe what Gettier's protagonists are said to believe in the way they are said to have come to believe it. If they would not, the examples are not counter-examples to the traditional analysis. I go on to discuss a number of examples inspired by (...) Gettier's and argue that they, too, fail to be counter-examples either for reasons similar to those I have urged or because it is not clear that their subject does not know. (shrink)

A philosophical analysis of different kinds of memory used in the film Memento.

I objected that the defeasibility theory of knowledge prohibits you from knowing that you know that p if your knowledge that p is a posteriori. Rodrigo Borges claims that Peter Klein has already satisfactorily answered a version of my objection. He attempts to defend Klein’s reply and argues that my objection fails because a principle on which it is based is false.I will show that my objection is not a version of the old one that Klein attempts (unsuccessfully) to address, (...) that Borges’ defence of Klein’s reply fails and that his argument against my new objection leaves it untouched. (shrink)

This essay consists of two parts. Part I offers an explanation of Berkeley's understanding of the relationship between materialism and evil. Berkeley regards materialism as the chief instrumental cause of evil in the world. It is the belief in matter that encourages us to believe that God is not immediately, intimately present in every aspect of our life. Immaterialism, by contrast, makes God's immediate presence vivid and thereby serves to undermine the motivation to vice. Part II locates Berkeley's view on (...) matter and evil within the Christian Neoplatonic tradition. I compare Plotinus' minimalist approach to matter and his identification of matter with evil to Berkeley's eliminitivism about matter and his corresponding identification of materialism as the chief source of evil. (shrink)

Since at least late antiquity, Aristotle’s Prior Analytics B 23 has been misread. Aristotle does not think that an induction is a syllogism made good by complete enumeration. The confusion can be eliminated by considering the nature of the surviving text and watching very closely Aristotle’s moving back and forth between “induction” and “syllogism from induction.” Though he does move freely between them, the two are not synonyms.

It is sometimes asked whether virtue ethics can be assimilated by Kantianism or utilitarianism, or if it is a distinct position. A look atAristotle’s ethics shows that it certanly can be distinct. In particular, Aristotle presents us with an ethics of aesthetics in contrast to themore standard ethics of cognition: A virtuous agent identifies the right actions by their aesthetic qualities. Moreover, the agent’s concernwith her own aesthetic character gives us a key to the important role the emotions play for (...) Aristotle, which further distinguishes him from the other two theories we have mentioned. (shrink)

This article examines the fourteen conditions constituting Levinson and Alperson’s taxonomy of conditions for temporal arts. It claims that some of the conditions and several of the lists of arts exemplifying them need revision. It recommends adding a new condition concerned with the effects of the passage of time on gardens, environmental sculpture, and outdoor installations. The article concludes that gardens may be a model for understanding and appreciating other arts sharing the same bi-(multi-) modality.

It is generally accepted that Mill’s classification of names as nonconnotative terms is incompatible with Frege’s thesis that names have senses. However, Milldescribed the senses of nonconnotative terms—without being aware that he was doing so. These are the senses for names that were sought in vain by Frege. When Mill’s and Frege’s doctrines are understood as complementary, they constitute a fully satisfactory theory of names.

Recovering from its obsession with the computer in the 1990's psychology realised that minds come with bodies, something that Whitehead had pointed out in the 1920's. However, the problem of how the mind and body are linked remained. Bisemiotics solves it.

HMI and Ofsted modes of school inpection are described and compared. The links between these modes are stressed. The information gathering capacity of Ofsted enables it to formulate specific and authoritative advice on good curriculum and pedagogic practice and thus to influence the direction of education policy and steer the system generally.

_The Challenge of Human Rights_ traces the history of human rights theory from classical antiquity through the enlightenment to the modern human rights movement, and analyses the significance of human rights in today’s increasingly globalized world. Provides an engaging study of the origin and the philosophical and political development of human rights discourse. Offers an original defence of human rights. Explores the significance of human rights in the context of increasing globalisation. Confronts the major objections to human rights, including the (...) charge of western ethical imperialism and cultural relativism. Argues that human rights logically culminate in an ethical cosmopolitanism to reflect the moral unity of the human race. (shrink)

1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...) mathematical education. The present article presupposes the previous one. Herein we develop our ideas of the purposes of a theory of proof and the criterion of success to be applied to such theories. In addition we speculate at length concerning the specific kinds of uses to which a successful theory of proof may be put vis-a-vis improvement of various aspects of mathematical education. The final article will deal with the construction of such a theory. The 1st is the 1971. Discourse Grammars and the Structure of Mathematical Reasoning I: Mathematical Reasoning and Stratification of Language, Journal of Structural Learning 3, #1, 55–74. https://www.academia.edu/s/fb081b1886?source=link . (shrink)

In the midst of even the most tragic circumstances attending the aftermath of disaster, and co-existing with a host of complex emotions, arises a practical consideration: how might similar tragedies be prevented in the future? The complexity of such situations must not be neglected. More than mere prevention must usually be taken into consideration. But the practical question is of considerable importance. In what follows, I will offer some reasons for being concerned that efforts to fix the problem -- efforts, (...) that is, directed toward insuring that similar tragedies do not occur in the future -- can easily be obstructed by attempts to fix blame -- that is, efforts directed toward determining which agent among those involved is guilty of wrong-doing. This is the case, I shall contend, even where some agent or another really is guilty of wrong-doing. The problem is further complicated by a pervasive human tendency to imagine that some agent or another must be responsible in some way for any tragedy that occurs -- even when this is not really true -- but its influence is not at all limited to such cases. As I shall suggest, philosophical attitudes toward issues of determinism and free will may be implicated in the different approaches people take to the problem of assessing what has gone wrong in a particular case and how to fix it, but such deep philosophical problems need not be resolved here. The point is not that humans are never guilty of wrong-doing (since their actions, the argument might go, are all products of outside forces), but rather that whatever the case may be about guilt, tracking down guilty persons is a different business from fixing institutionally-embedded problems so as to lessen the likelihood of their recurrence. (shrink)

CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but most (...) of the Aristotelian corpus is not about logic, whereas virtually everything written by Tarski concerns logic more or less directly. There is no doubt that Tarski wrote more on logic than any other author; he started publishing on logic in 1921 at the age of 20 and continued until his death at the age of 82. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

I argue that the physical marks on a canvas resulting from an artist's intentional, stylistic and expressive acts cannot themselves be the artist's expression, but instead they serve to signify or indicate those acts. Thus there is a kind of indicative content associated with a picture that is distinct from its subject matter (or 'representational content'). I also argue that this kind of indicative content is closely associated with the specific artistic medium chosen by the artist as her expressive medium, (...) for which reason I call this kind of content medium content (or medium-related content). (shrink)

The philosophical background important to Mill’s theory of induction has two major components: Richard Whately’s introduction of the uniformity principle into inductive inference and the loss of the idea of formal cause.

Obituaries represent a prominent way of expressing the human universal of grief. According to philosophers, obituaries are a ritualized way of evaluating both individuals who have passed away and the communities that helped to shape them. The basic idea is that you can tell what it takes to count as a good person of a particular type in a particular community by seeing how persons of that type are described and celebrated in their obituaries. Obituaries of those killed in conflict, (...) in particular, are rich repositories of communal values, as they reflect the values and virtues that are admired and respected in individuals who are considered to be heroes in their communities. In this paper, we use natural language processing techniques to map the patterns of values and virtues attributed to Australian military personnel who were killed in action during World War I and World War II. Doing so reveals several clusters of values and virtues that tend to be attributed together. In addition, we use named entity recognition and geotagging the track the movements of these soldiers to various theatres of the wars, including North Africa, Europe, and the Pacific. (shrink)