This collection of essays explores the metaphysical thesis that the living world is not made up of substantial particles or things, as has often been assumed, but is rather constituted by processes. The biological domain is organised as an interdependent hierarchy of processes, which are stabilised and actively maintained at different timescales. Even entities that intuitively appear to be paradigms of things, such as organisms, are actually better understood as processes. Unlike previous attempts to articulate processual views of biology, which (...) have tended to use Alfred North Whitehead’s panpsychist metaphysics as a foundation, this book takes a naturalistic approach to metaphysics. It submits that the main motivations for replacing an ontology of substances with one of processes are to be found in the empirical findings of science. Biology provides compelling reasons for thinking that the living realm is fundamentally dynamic, and that the existence of things is always conditional on the existence of processes. The phenomenon of life cries out for theories that prioritise processes over things, and it suggests that the central explanandum of biology is not change but rather stability, or more precisely, stability attained through constant change. This edited volume brings together philosophers of science and metaphysicians interested in exploring the consequences of a processual philosophy of biology. The contributors draw on an extremely wide range of biological case studies, and employ a process perspective to cast new light on a number of traditional philosophical problems, such as identity, persistence, and individuality. (shrink)

The standard view in social science and philosophy is that lying does not require the liar’s assertion to be false, only that the liar believes it to be false. We conducted three experiments to test whether lying requires falsity. Overall, the results suggest that it does. We discuss some implications for social scientists working on social judgments, research on lie detection, and public moral discourse.

To hold an environmental ethic is to hold that non-human beings and states of affairs in the natural world have intrinsic value. This seemingly straightforward claim has been the focus of much recent philosophical discussion of environmental issues. Its clarity is, however, illusory. The term ‘intrinsic value’ has a variety of senses and many arguments on environmental ethics suffer from a conflation of these different senses: specimen hunters for the fallacy of equivocation will find rich pickings in the area. This (...) paper is largely the work of the underlabourer. I distinguish different senses of the concept of intrinsic value, and, relatedly, of the claim that non-human beings in the natural world have intrinsic value; I exhibit the logical relations between these claims and examine the distinct motivations for holding them. The paper is not however merely an exercise in conceptual underlabouring. It also defends one substantive thesis: that while it is the case that natural entities have intrinsic value in the strongest sense of the term, i.e., in the sense of value that exists independently of human valuations, such value does not as such entail any obligations on the part of human beings. The defender of nature’s intrinsic value still needs to show that such value contributes to the well-being of human agents. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

The external world sceptic tells some familiar narratives involving massive deception. Perhaps we are brains in vats. Perhaps we are the victim of a deceitful demon. You know the drill. The sceptic proceeds by observing first that victims of such deceptions know nothing about their external environment and that second, since we cannot rule out being a victim of such deceptions our- selves, our own external world beliefs fail to attain the status of knowledge. Discussions of global external world scepticism (...) tend to focus on the second step, where a number of well-known lines of resistance have been offered. But there has been little attention to the first, seemingly innocuous step. That will be the focus of this paper. Part one – sections 1, 2, and 3 – will explain why these standard narratives are not convincing examples of cases where there is no knowledge of the external world. In part two – section 4 – we shall undertake a useful case study. David Lewis’s ‘Elusive Knowledge’ is often thought of as presenting an epistemological vision that is somewhat friendly to external world scepticism: as Lewis himself presents things, there are contexts where external world knowledge ascriptions are uniformly false, and where true knowledge ascriptions are limited to either axiomatic truths or truths about our inner life. We examine his discussion in the light of the preceding reflections and show that the framework he presents is not so concessionary to global external world scepticism after all. (shrink)

Recent breakthroughs in stem cell differentiation and reprogramming suggest that functional human gametes could soon be created in vitro. While the ethical debate on the uses of in vitro generated gametes (IVG) was originally constrained by the fact that they could be derived only from embryonic stem cell lines, the advent of somatic cell reprogramming, with the possibility to easily derive human induced pluripotent stem cells from any individual, affords now a major leap in the feasibility of IVG derivation and (...) in the scope of their potential applications. In this paper we develop an ethical framework, rooted in recent scientific evidence, to support a robust experimental pipeline that could enable the first-in-human use of IVG. We then apply this framework to the following objectives: (1) a clarification of the genetic parenting options afforded by IVG, along with their ethical underpinnings; (2) a defence of the use of IVG to remedy infertility, broadening their scope to same-sex couples; (3) an assessment of the most far-reaching implications of IVG for multiplex parenting. These include, first, the liberation of parenting roles from the constraints of biological generations in vivo, allowing multiple individuals to engage in genetic parenting together, thus blurring the distinction between biological and social generations. Second, we discuss the conflation of IVG with sequencing technology and its implications for the possibility that prospective parents may choose among a hitherto unprecedented number of potential children. In view of these perspectives, we argue that, contrary to the exhausted paradigm according to which society lags behind science, IVG may represent instead a salient and most visible instance where biotechnological ingenuity could be used in pursuit of social experimentation. (shrink)

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 43.1 (2005) 55-81 [Access article in PDF] Self-Knowledge in Descartes and Malebranche Lawrence Nolan John Whipple 1. Introduction Descartes's notorious claim that mind is better known than body has been the target of repeated criticisms, but none appears more challenging than that of his intellectual heir Nicolas Malebranche.1 Whereas other critics—especially twentieth-century philosophers eager to use Descartes as their whipping boy—have often (...) been uncharitable, Malebranche accepts many of the fundamental Cartesian doctrines, including mind-body dualism. But he argues that Descartes's position on knowledge of the mind is internally inconsistent. Malebranche agrees with Descartes that the existence of the mind is better known than that of body, but he vehemently denies that the nature of the mind is better known. This denial is based on his view that we lack a clear idea of the mind.2 [End Page 55]Malebranche's polemic has attracted much attention in recent scholarship.3 The growing consensus among commentators is that Malebranche develops a devastating internal critique of Descartes's theory of the mind. For example, Nicholas Jolley writes: "In his case for his negative thesis [concerning knowledge of the mind] Malebranche mounted a powerful, even annihilating, critique of Descartes. This critique embodies the remarkable insight that there is a serious muddle at the heart of Descartes's whole theory of knowledge."4 In a book-length defense of Malebranche's critique, Tad Schmaltz also emphasizes its internal character: "the interpretation here of Malebranche's theory presents it as fundamentally Cartesian, and thereby serves to reinforce his own view that he has provided an authoritative interpretation of the account of mind in the writings of Descartes and other Cartesians."5 Schmaltz also asserts: "Malebranche took his negative thesis concerning our knowledge of the soul to involve not so much a rejection of Cartesianism as an internal correction of it."6We think such remarks misstate the case. Indeed, we argue in this paper that Malebranche's polemic fails as an internal critique of Descartes's theory of the mind. Although we do not here aspire to defend Descartes's strong thesis—that mind is better known than body—we do think he can consistently maintain that we have a clear and distinct idea of the mind, and thus that our knowledge of the mind's nature is at least on a par with our knowledge of corporeal nature.7 While Malebranche's rhetoric would encourage us to think that the debate between him and his predecessor is being fought on common or neutral ground, the fact is that Malebranche often appeals to assumptions and aspects of his own theory of "Vision in God" that Descartes would reject. Once more, he interprets Descartes's theory of knowledge in ways that are misguided and sometimes even uncharitable. If Malebranche's critique succeeds at all, it succeeds only against a straw man—Malebranche's Descartes and not the historical figure.Ours is not the first effort to defend Descartes against this particular attack. When Malebranche first published his critique in Book Three of his first great work, The Search After Truth (1674),8 Descartes had been dead for over two decades, [End Page 56] but he was ably defended by the famous Cartesian Antoine Arnauld in On True and False Ideas (1683). In the ensuing debate Arnauld was clearly the superior dialectician, but while winning several tactical points, he appears not to fully appreciate the crux of Malebranche's argument, or at least that is the view of Jolley and Schmaltz.9 We have a somewhat higher opinion of Arnauld's side of the debate. Granted, some of his defenses are facile and can be easily dismissed; others however are quite compelling when properly developed. In at least one instance, we attempt to provide that development. At the same time we think it is a mistake to treat Arnauld as Descartes's surrogate or as if he had issued the final salvo from the camp of the orthodox Cartesians. Arnauld was a... (shrink)

The social welfare functional approach to social choice theory fails to distinguish a genuine change in individual well-beings from a merely representational change due to the use of different measurement scales. A generalization of the concept of a social welfare functional is introduced that explicitly takes account of the scales that are used to measure well-beings so as to distinguish between these two kinds of changes. This generalization of the standard theoretical framework results in a more satisfactory formulation of welfarism, (...) the doctrine that social alternatives are evaluated and socially ranked solely in terms of the well-beings of the relevant individuals. This scale-dependent form of welfarism is axiomatized using this framework. The implications of this approach for characterizing classes of social welfare orderings are also considered. (shrink)

The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease Ontology (...) (IDO) Core, which provides terminological content common to investigations of all infectious diseases. We report here on the development of an IDO extension, the Virus Infectious Disease Ontology (VIDO), a reference ontology covering viral infectious diseases. We motivate term and definition choices, showcase reuse of terms from existing OBO ontologies, illustrate how ontological decisions were motivated by relevant life science research, and connect VIDO to the Coronavirus Infectious Disease Ontology (CIDO). We next use terms from these ontologies to annotate selections from life science research on SARS-CoV-2, highlighting how ontologies employing a common upper-level vocabulary may be seamlessly interwoven. Finally, we outline future work, including bacteria and fungus infectious disease reference ontologies currently under development, then cite uses of VIDO and CIDO in host-pathogen data analytics, electronic health record annotation, and ontology conflict-resolution projects. (shrink)

According to the common view, conscientious objection is grounded in autonomy or in ‘freedom of conscience’ and is tolerated out of respect for the objector's autonomy. Emphasising freedom of conscience or autonomy as a central concept within the issue of conscientious objection implies that the conscientious objector should have an independent choice among alternative beliefs, positions or values. In this paper it is argued that: (a) it is not true that the typical conscientious objector has such a choice when they (...) decide to act upon their conscience and (b) it is not true that the typical conscientious objector exercises autonomy when developing or acquiring their conscience. Therefore, with regard to tolerating conscientious objection, we should apply the concept of autonomy with caution, as tolerating conscientious objection does not reflect respect for the conscientious objector’s right to choose but rather acknowledges their lack of real ability to choose their conscience and to refrain from acting upon their conscience. This has both normative and analytical implications for the treatment of conscientious objectors. (shrink)

This paper canvasses the various dimensions along which theories of truth may disagree about the extent to which truth is minimal.

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

A standard view in social science and philosophy is that a lie is a dishonest assertion: to lie is to assert something that you think is false in order to deceive your audience. We report four behavioral experiments designed to evaluate some aspects of this view. Participants read short scenarios and judged several features of interest, including whether an agent lied. We found evidence that ordinary lie attributions can be influenced by aspects of audience uptake, are based on judging that (...) the agent made an assertion (assertion attributions), and, at least in some contexts, are not based on attributions of deceptive intent. The finding on assertion attributions is predicted by the standard view, but the finding on intent attributions is not. These results help to further clarify the ordinary concept of lying and shed light on the psychological processes involved in ordinary lie attributions and related judgments. (shrink)

In their writings on Africa and colonialism, John and Jean Comaroff have explored some of the fundamental questions of social science, delving into the nature of history and human agency, culture and consciousness, ritual and representation. How are human differences constructed and institutionalized, transformed and (sometimes) resisted? How do local cultures articulate with global forms? How is the power of some people over others built, sustained, eroded, and negated?These essays work toward an "imaginative sociology," demonstrating the techniques by which (...) social science may capture the contexts that human beings construct and inhabit. In the introduction the authors offer their most complete statement to date on historical anthropology. Standing apart from the traditional disciplines of social history and modernist social science, their work is dedicated to discovering how human worlds are made and signified, forgotten and remade. (shrink)

A style of argument that calls into question our freedom (in the sense that involves freedom to do otherwise) has been around for millennia; it can be traced back to Origen. The argument-form makes use of the crucial idea that the past is over-and-done-with and thus fixed; we cannot now do anything about the distant past (or, for that matter, the recent past)—it is now too late. Peter van Inwagen has presented this argument (what he calls the Consequence Argument) in (...) perhaps its clearest and most forceful way, but debate over the argument has arguably reached a stalemate. -/- Recently, however, Wes Holliday has attempted to break this seeming stalemate by presenting a new argument for the Principle of the Fixity of the Past. Holliday’s argument is subtle and ingenious, and worthy of serious consideration, especially given the promise it holds for genuinely advancing this old debate. In what follows, however, we argue that despite its considerable ingenuity, Holliday’s argument fails to convince, and the stalemate appears to remain. (shrink)

Some have argued for a division of epistemic labor in which mathematicians supply truths and philosophers supply their necessity. We argue that this is wrong: mathematics is committed to its own necessity. Counterfactuals play a starring role.

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)

This book is unique because it is the first single-author monograph which applies Bourdieu’s theory to management studies. It takes a theory-driven approach to develop models to describe service innovation. This will give the reader a full understanding of the variety of different theoretical concepts that Bourdieu created and used and how they can be applied to the study of management and innovation. Moreover, it is also the only book that links Bourdieu’s theory to his methodological approach, providing the reader (...) with a toolkit of methods to perform business ethnographies according to Bourdieu’s approach. The book acts as a primer for anyone wanting to learn how to model an organisational system from a Bourdieusian perspective. It contains all the information someone might need to begin to go out in the field and collect data. Consequently, the people that might want to read this publication include post-graduate students looking to learn business anthropology, as well as post-doctoral and other early career researchers. (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial orders conflicts (...) with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

In the Summa Theologiae, Thomas Aquinas states that the “aspect of pastness” involved in memory is a certain kind of cognitive object — i.e., an intention — apprehended by the “estimative power.” All told, however, Aquinas mentions this idea precisely once. In this article, I construct an account of the idea that pastness is an estimative intention by drawing upon texts in which I argue that Aquinas develops this idea, albeit without invoking the terminology of the estimative intention. I conclude (...) that, by identifying the aspect of pastness as an estimative intention, Aquinas neatly synthesizes the Aristotelian and Arabic traditions on memory. (shrink)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

The representational theory of phenomenal experience is often stated in terms of a supervenience thesis: Byrne recently characterises it as the thesis that “there can be no difference in phenomenal character without a difference in content”, while according to Tye, “[a]t a minimum, the thesis is one of supervenience: necessarily, experiences that are alike in their representational contents are alike in their phenomenal character.” Consequently, much of the debate over whether representationalism is true centres on purported counter-examples – that is (...) to say, purported failures of supervenience. The refutation of putative counter-examples has been, it seems to me, by and large successful. But there is a certain class of these for which the representationalist response has been something less than completely convincing. These are the cross-modality cases. I will explain what I mean, and then argue that the response in question is not only unconvincing but actually undermines the representationalist position. (shrink)

The primary goal of this research was to determine the influence of social media marketing (SMM) on the customer purchasing behavior (CPB) of senior high school (SHS) students. Utilizing the non-experimental quantitative method of research and validated questionnaires in data analysis with Mean, Person Product-Moment Correlation Coefficient (Pearson-r), and Multiple Linear Regression Analysis as statistical tools, the outcome displayed that the levels of social media marketing and customer purchasing behavior through the lens of SHS students are high, which means that (...) these two variables are oftentimes manifested. There is a strong positive relationship between social media marketing and customer purchasing behavior. It was also found out that quality content, as a domain of social media marketing, best influences customer purchasing behavior. (shrink)

I defend a solution to a long-standing problem with perceptual appearances, brought about by the phenomenon of perceptual constancy. The problem is that in conditions which are non-ideal, yet within the range that perceptual constancy works, we see things veridically despite an “appearance” which is traditionally taken to be non-veridical. For example, a tilted coin is often taken to have an “elliptical appearance”, shadowed surfaces a “darker appearance”. These appearances are puzzling for a number of reasons. I defend and elaborate (...) on an approach taken by Sean Kelly, and earlier by the art historian E.H. Gombrich, according to which we can be tricked by our ability to bring about a kind of Gesltalt shift between different possible perceptual interpretations of a scene. (shrink)

What the rational thing to do in the face of disagreement by an epistemic peer is has been much discussed recently. Those who think that a peer’s disagreement is itself evidence against one’s belief, as many do, are committed to a special form of epistemic dependence. If such disagreement is really evidence, it seems reasonable to take it into account and to adjust one’s belief accordingly. But then it seems that the belief one ends up with depends, in part, on (...) what someone else believes, even if one does not know why that someone believes what he does. While the practical impossibility of finding actual cases of peer disagreement has been often noted, its conceptual possibility has gone unquestioned. Here we challenge this consensus and argue, first, that, strictly speaking, peer disagreement is impossible and, second, that cases of – all-too-common – near-peer disagreement present no special puzzle and require nothing more than adhering to standard principles of sensible epistemic conduct. In particular, we argue that in such cases there is no good reason to adopt the widely accepted principle that evidence of evidence is evidence. If so, even if one takes a near-peer’s disagreement as a reason for reexamining one’s belief, one is not epistemically dependent in the sense one would be if that disagreement were evidence concerning the matter in question. (shrink)

A preponderance of empirical research in higher education exists on the use of electronic resources to promote university education and learning. This suggests that this area of research has attracted significant interest worldwide. However, there seems to be inadequate information on the association between specific electronic infrastructures, how they are utilized for learning, and their effects on students’ learning effectiveness in higher institutions in Nigeria. This research draws on previous studies and seeks to establish how different electronic resources are used (...) in universities and how they impact students’ learning effectiveness. Using a descriptive survey design, this survey examined 1,452 participants (undergraduates and postgraduates) from Nigerian universities. The data were analyzed using mean and standard deviation, while a Polytomous Logistic Regression Model was used in testing the hypothesis formulated. Findings showed that the degree of the use of digital infrastructures in universities is low. The extent of learning effectiveness among students in universities is also low. The usage of e-infrastructures (such as e-learning, e-communication, and e-library tools) significantly predicted students’ levels of learning effectiveness. Based on these results, conclusions and relevant theoretical and practical implications are discussed for policy reforms in education and e-learning. This study faces a limitation arising from the small number of universities studied. However, it is suggested that future related studies extend their focus beyond the context of Nigeria. (shrink)

Recent studies tend to explain the importance of communication in the organisation as well as prescribing the most commonly practised techniques adopted by school managers. Studies on financial management are quite limited with the available ones suggesting that poor financial management is a source of conflict between school leaders and host communities. Little seems to be known on the connection between principals’ communication patterns and funds’ management as predictors of school-community relationship. This study builds on existing studies and appears to (...) be the first to assess the linkages between principals’ communication patterns, fund management practices and school- community relationship based on empirical rather than subjective data. A structural modelling approach was adopted to examine the nexus using quantitative primary data obtained from a random sample of 2108 respondents. A questionnaire which was designed and validated by the researchers served as the data collection device. Collected data were subjected to Exploratory and Confirmatory Factor Analyses, as well as Multiple Regression Analysis. Findings revealed various significant communication, funds management and school-community relationship practices that are available for adoption. However, it was found that the extent to which principals utilised such practices were below expected minimum standards. It was also found that there were no significant partial and composite effects of principals’ communication and funds management practices on school-community relationship (SCR). Based on these results, relevant theoretical, policy and practical implications are discussed. (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that it introduces a (...) novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

This is an English translation of Waldenfels' German essay: Equality and inequality are basic elements of law, justice and politics. Equality integrates each of us into a common sphere by distributing rights, duties and chances among us. Equality turns into mere indifference as far as we get overintegrated into social orders. When differences are fading away experience loses its relief and individuals lose their face. Our critical reflections start from the inevitable paradox of making equal what is not equal. In (...) various ways they refer to Nietzsche’s concept of order, to Marx’s analysis of money, to Lévinas’s ethics of the Other, and to novelists like Dostoevsky and Musil. Our critique turns against two extremes, on the one hand against any sort of normalism fixed on functioning orders, on the other hand against any sort of anomalism dreaming of mere events and permanent ruptures. Responsive phenomenology shows how we are confronted with extraordinary events. Those deviate from the ordinary and transgress its borders, without leaving the normality of our everyday world behind. The process of equalizing moves between the ordinary and the extraordinary. What makes the difference and resists mere indifference are creative responses which are to be invented again and again. (shrink)

How might emerging and future technologies—sex robots, love drugs, anti-love drugs, or algorithms to track, quantify, and ‘gamify’ romantic relationships—change how we understand and value love? We canvass some of the main ethical worries posed by such technologies, while also considering whether there are reasons for “cautious optimism” about their implications for our lives. Along the way, we touch on some key ideas from the philosophies of love and technology.

According to a standard interpretation of Aristotle, a material substance, like a dog, is a hylomorphic composite of matter and form, its “essential” parts. Is such a composite some thing in addition to its essential parts as united? The moderate reductionist says “no,” whereas the anti-reductionist says “yes.” In this paper, I will clarify and defend Durand of St.-Pourçain’s surprisingly influential version of moderate reductionism, according to which hylomorphic composites are nothing over and above their essential parts and the union (...) of those parts, where this union is explained by the presence of two modes: a mode of inherence on the side of form and a mode of substanding on the side of matter. (shrink)

Plato’s theory of mimesis is expressed clearly and mainly in Plato’s Republic where he refers to his philosophy of Ideas in his definition of art, by arguing that all arts are imitative in nature. Reality according to him lies with the Idea, and the Form one confronts in this tangible world is a copy of that universal everlasting Idea. He poses that a carpenter’s chair is the result of the idea of chair in his mind, the created chair is once (...) removed from reality and since a painter’s chair is imitation of a carpenter’s chair, it is twice removed from reality. Thus, the artist deals in illusion. Plato thus rejected imitative art on the foundation that it is a copy or imitation of the unreal. We may ask; if the Carpenter makes a chair, what does he imitate? And if he imitates reality, can we call him an artist of a kind? This article therefore argues following Plato’s analogy that carpentry is an art of a kind and a carpenter is capable of knowing reality as against the notion that only philosophers are suitable for such a task. (shrink)

Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition (...) of a distinguished career, was elected President of the American Mathematics Society. https://en.wikipedia.org/wiki/Julia_Robinson http://www.awm-math.org/noetherbrochure/Robinson82.html. (shrink)

Classical Trinitarians claim that Jesus—the Son of God—is truly God and that there is only one God and the Father is God, the Spirit is God, and the Father, Son, and Spirit are distinct. However, if the identity statement that ‘the Son is God’ is understood in the sense of numerical identity, logical incoherence seems immanent. Yet, if the identity statement is understood according to an ‘is’ of predication then it lacks accuracy and permits polytheism. Therefore, we argue that there (...) is another sense of ‘is’ needed in trinitarian discourse that will allow the Christian to avoid logical incoherence while still fully affirming all that is meant to be affirmed in the confession ‘Jesus is God.’ We suggest a sense of ‘is’ that meets this need. (shrink)

As he moves closer to half of his term as president of the Philippines, Rodrigo Roa Duterte has continually been in friction with the Catholic Church, specifically with certain members of its hierarchy. Mainly identifiable as the dividing line between Duterte’s administration and the Church is the issue on human rights particularly the extrajudicial killings (EJK) of suspected users and pushers of illegal drugs. This paper argues that Duterte’s attitude and positioning towards the Catholic Church neither strengthen nor advance the (...) Philippine state towards a greater degree of secularization. On the contrary, the Church has become more politically and publicly involved. Consequently, it has remained a key actor or interest group providing an alternative moral discourse to that of the government. (shrink)

A case study exploring the importance of compassion for enemies appealing to a series of targeting decisions, co-written with the senior Marine in Iraq in 2003-4.

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in (...) 2015. Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every branch (...) of knowledge depends on logic. Psychologism is found in several fields including history, political science, economics, ethics, epistemology, linguistics, aesthetics, mathematics, and logic. Logicism is found mainly in branches of mathematics: number theory, analysis, and, more rarely, geometry. Although the ambiguous term ‘psychologism’ has senses with entirely descriptive connotations, it is widely used in senses that are derogatory. No writers with any appreciation of this point will label their own views as psychologistic. It is usually used pejoratively by people who disapprove of psychologism. The term ‘scientism’ is similar in that it too has both pejorative and descriptive senses but its descriptive senses are rarely used any more. It is almost a law of linguistics that the negative connotations tend to drive out the neutral and the positive. Dictionaries sometimes mark both words with a usage label such as “Usually disparaging”. In this article, the word is used descriptively mainly because there are many psychologistic views that are perfectly respectable and even endorsed by people who would be offended to have their views labeled psychologism. A person who subscribes to logicism is called a logicist, but there is no standard word for a person who subscribes to psychologism. ‘Psychologist’, which is not suitable, occurs in this sense. ‘Psychologician’, with stress on the second syllable as in ‘psychologist’, has been proposed. In the last century, some of the most prominent forms of psychologism pertained to logic; the rest of this article treats only such forms. Psychologism in logic is very “natural”. After all, logic studies reasoning, which is done by the mind, whose nature and functioning is studied in psychology—using the word ‘psychology’ in its broadest etymological sense. (shrink)

Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in (...) abstraction from their uses and users. Pragmatics studies signs as meaningful entities used in various ways by humans. Taking current written English as the system of communication under investigation, it is a matter of syntactics that the two four-character strings ‘tact’ and ‘tics’ both occur in the ten-character string ‘syntactics’. It is a matter of semantics that the ten-character string ‘syntactics’ has only one sense and, in that sense, it denotes a branch of semiotics. It is a matter of pragmatics that the ten-character string ‘syntactics’ was not used as an English word before 1937 and that it is sometimes confused with the much older six-character string ‘syntax’. Syntactics is the simplest and most abstract branch of semiotics. At the same time, it is the most basic. Pragmatics presupposes semantics and syntactics; semantics presupposes syntactics. The basic terms of syntactics include the following: ‘character’ as alphabetic letters, numeric digits, and punctuation marks; ‘string’ as sign composed of a concatenation of characters; ‘occur’ as ‘t’ and ‘c’ both occur twice in ‘syntactics’. However, perhaps the most basic terms of syntactics are ‘type’ and ‘token’ in the senses introduced by Charles Sanders Peirce (1839-1914), America’s greatest logician, who could be considered the grandfather of syntactics, if not the father. These are explained below. (shrink)

Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a logical point (...) of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: [email protected] The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...) state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)

Imagine an equilateral triangle “pointing upward”—its horizontal base under its apex angle. A semiotic triangle has the following three “vertexes”: (apex) an expression, (lower-left) one of the expression’s conceptual meanings or senses, and (lower-right) the referent or denotation determined by the sense [1, pp. 88ff]. One example: the eight-letter string ‘coleslaw’ (apex), the concept “coleslaw” (lower-left), and the salad coleslaw (lower-right) [1, p. 84f]. Using Church’s terminology [2, pp. 6, 41]—modifying Frege’s—the word ‘coleslaw’ expresses the concept “coleslaw”, the word ‘coleslaw’ (...) denotes or names the salad coleslaw, and the concept “coleslaw” determines the salad coleslaw—recalling Frege’s principle that sense determines denotation. Church [2, p. 6] wrote: -/- We shall say that a name denotes or names its denotation and expresses its sense. […] Of the sense we say that it determines its denotation, or is a concept of the denotation. -/- Aristotle seems cognizant of distinctions going beyond those in semiotic triangles. The expression Aristotle’s semiotic pyramids seem warranted by Aristotle’s Categories, 1a1: -/- When [two] things have a name (onoma) in common and the concept (logos) of being (ousia) which corresponds to the name in each case is different, they are called same-named (homonuma). Thus, for example, both a man and a picture [of an animal] are called animals. These have only a name in common. In each case the name’s concept of being [an animal] is different; for if one says what being an animal is for each of them, one will give two distinct concepts. -/- Semiotic triangles and pyramids in Aristotle’s logic are compared to those in Church’s [2]. [1] JOHN CORCORAN, Sentence, proposition, judgment, statement, and fact, Many Sides of Logic, College Publications, 2009. [2] ALONZO CHURCH, Introduction to Mathematical Logic, Princeton, 1956. -/- The semiotic pyramid in Categories, 1a1 has a square base under the vertex ‘animal’. On the corners of the square are: the concept “animal”, the concept “animal picture”, the animals, and the animal pictures. The animals are homonymous with the animal pictures. People find Aristotle’s example far-fetched or inept even if the experience of pointing to a picture while saying “That is Tarski” is familiar. Imagine looking at a painting while thinking “That is an animal”. Without putting too fine a point on this, notice that in Aristotle’s sense it is individual things that are homonymous, not words. It would be natural to say also in his sense that two things are homonyms if one is homonymous with the other. In contrast, we use the words homonym and homonymous to relate words that are spelled the same and pronounced the same but have different meaning. Consider the noun ‘center’ and the verb ‘center’. Consider the noun ‘smell’ and the verb ‘smell’. The spelling of two homonyms is an ambiguity, or an ambiguous spelling. We need appropriate adjectives to distinguish the Categorical senses of ‘homonym’ and ‘homonymous’ from the current English sense just mentioned. I propose ‘ontological’ for the sense relating things and ‘linguistic’ for that relating words. Given that all words are things but not all things are words, we ask are words that are linguistically homonymous also ontologically homonymous? END OF POST ABSTRACT. (shrink)