In abstract argumentation, each argument is regarded as atomic. There is no internal structure to an argument. Also, there is no specification of what is an argument or an attack. They are assumed to be given. This abstract perspective provides many advantages for studying the nature of argumentation, but it does not cover all our needs for understanding argumentation or for building tools for supporting or undertaking argumentation. If we want a more detailed formalization of arguments than is available with (...) abstract argumentation, we can turn to structured argumentation, which is the topic of this special issue of Argument and Computation. In structured argumentation, we assume a formal language for representing knowledge and specifying how arguments and counterarguments can be constructed from that knowledge. An argument is then said to be structured in the sense that normally, the premises and claim of the argument are made explicit, and the relationship between the premises and claim is formally defined (for instance, using logical entailment). In this introduction, we provide a brief overview of the approaches covered in this special issue on structured argumentation. (shrink)

Pekakak adalah salah satu tokoh yang memiliki pengetahuan mendalam dan perencanaan yang cermat. Saat fajar menyingsing, ia terlihat bertengger di atas pohon. Dengan kemampuan sempurna untuk mengontrol kecepatan penerbangan miliknya, seperti kapan harus memperlambat atau mempercepat, dia dapat dengan mudah menghitung cara optimal untuk menangkap ikan.

This article aims to read feminist new materialisms (Barad), together with ‘postulated’ linguistic or cultural primacy of Queer Theory (Butler), to show how both are engaged in similar critical-ethical endeavours. The central argument is that the criticism of Barad and new materialisms misses Butler’s materialistic insights due to a narrow interpretation of Butler's alleged social-constructivist position. There is, therefore, a specific focus on where they both make similar ethical appeals. Moreover, the article relies on Adorno's negative dialectic to highlight an (...) interpretation of Barad and Butler as being part of the same dialectical movement, in which materialism and idealism fluctuate in their mutual criticisms, thus continuing the procession towards 'new knowledge' and emancipation, or freedom, through their motions back and forth. (shrink)

It has been over two decades since Miranda Fricker labeled epistemic injustice, in which an agent is wronged in their capacity as a knower. The philosophical literature has proliferated with variants and related concepts. By considering cases in popular music, we argue that it is worth distinguishing a parallel phenomenon of art-interpretive injustice, in which an agent is wronged in their creative capacity as a possible artist. In section 1, we consider the prosecutorial use of rap lyrics in court as (...) a central case of this injustice. In section 2, we distinguish art-interpretive injustice from other categories already discussed in recent literature. In section 3, we discuss the relationship between genre discourse and identity prejudice. The case for recognizing the category of art-interpretive injustice is that it allows one to recognize a class of harms as being importantly related in ways that one would otherwise overlook. (shrink)

In this paper, I explore and defend the idea that musical works are historical individuals. Guy Rohrbaugh (2003) proposes this for works of art in general. Julian Dodd (2007) objects that the whole idea is outré metaphysics, that it is too far beyond the pale to be taken seriously. Their disagreement could be seen as a skirmish in the broader war between revisionists and reactionaries, a conflict about which of metaphysics and art should trump the other when there is a (...) conflict. That dispute is a matter of philosophical methodology as much as it is a dispute about art. I argue that the ontology of works as individuals need not be dunked in that morass. My primary strategy is to show, contra Dodd's accusation, that historical individuals are familiar parts of the world. Although the ontological details are open to debate, it is the standard opinion of biologists is that biological species are historical individuals. So there is no conflict here between fidelity to art and respectable metaphysics. What suits species will fit musical work as well. (shrink)

The Upanishads reveal that in the beginning, nothing existed: “This was but non-existence in the beginning. That became existence. That became ready to be manifest”. (Chandogya Upanishad 3.15.1) The creation began from this state of non-existence or nonduality, a state comparable to (0). One can add any number of zeros to (0), but there will be nothing except a big (0) because (0) is a neutral number. If we take (0) as Nirguna Brahman (God without any form and attributes), then (...) from where and how did the universe come into existence? -/- The neutral power (0) cannot produce anything without having an element of duality in it. Although Nirguna Brahman is neutral, it has a positive, negative, and neutral pole, constituting its Prakriti or nature. Prakriti has three latent Gunas (modes or qualities): Satva, Rajas, and Tamas. They are related to Gyana Shakti (the power of knowledge) Sankalpa Shakti (the power of ideation), and Kriya Shakti (the power of action). Science says that Atom is the basic element from which the universe evolved. The Atom has three nuclei- electron, pluton, and neutron. The Satva, Rajas, and Tamas in Indian spirituality are nothing but the mystical names for the nuclei of an atom. -/- According to Bhagavata Purana, Prakriti is also constituted of the elements of Time, Karma (action/destiny) and Swabhava (innate nature). Time disturbs the equilibrium of Gunas. From the aspect of Karma is produced an entity called Mahat, in the form of intelligence. Mahat is dominated by Satva and Rajas. From Mahat manifests the next evolute dominated by Tamas with three predominant qualities – Dravya (substance), Kriya (action), as well as intelligence. It forms to become the Ego principle (Ahamkara). -/- Ahamkara has three modes – Satvic, Rajasic and Tamasic. Satvic is Jnana oriented, Rajasic action-oriented and Tamasic Dravya (substance) oriented. From the Tamasic Ahankara, five gross elements are produced (ether, air, fire, water, and earth - Akash, Vayu, Agni, Jal and Prithvi). From the Satvic Ahamkara, guardian deities (the sun and moon, deities of sense organs, and organs of action) and from Rajasic Ahamkara, ten senses (Indriyas), five senses of perception, five organs of action, the faculties of intellect and Prana (life breath) are produced. -/- Bhagavata says that since these energies, elements, and faculties remained disassociated, they were combined to form a Cosmic Egg. The egg floats in the primal waters for a thousand years. Then God enters this Cosmic Egg and manifests himself as the Cosmic Purusha. He is the first nucleus, the God particle equivalent to the number (1) which is the embodiment of everything in the universe. The concept of creation and dissolution in Hinduism can be compared to the waves in an ocean that appear and disappear incessantly. The Manvantaras are such successive episodes of creation emerging from the Cosmic Person, the Manu who is embodied God-Consciousness, God himself. These episodes of creation are measured in Hinduism in terms of Manvantaras, the epochs of Manus. -/- Manu is the ‘First-Born’ (1) of God, the Cosmic Purusha from whom the world has originated. This Cosmic Person (Purusha) has been described as having fourteen biospheres (heavens) that are inhabited by various life forms in the order of evolution of consciousness. If we begin from the human biosphere (Bhuloka), there are ten astral biospheres that a man must transcend to attain liberation or Mukti from the cycle of births and deaths. -/- The number (1) produces the primary numbers up to (9) through the transmutation of the creational energies and qualities. The process can be related to the descent and cyclical evolution of (1) through ten spiritual stages, finally merging with the nondual (0). The number (10) marks the merger of (1) with (0). The Hindu worldview is that all life forms in an episode of creation must evolve to become one with the non-dual state (0) to attain liberation from the cycle of births and deaths in a cyclical process. -/- . (shrink)

A lineage of prominent philosophers who have discussed the second-person relation can be regarded as advancing structural accounts. They posit that the second-person relation effects one transformative change to the structure of practical reasoning. In this paper, I criticise this orthodoxy and offer an alternative, substantive account. That is, I argue that entering into second-personal relations with others does indeed affect one's practical reasoning, but it does this not by altering the structure of one's agential thought, but by changing what (...) reasons can become available. The importance of second-personal thought for action is heterogenous. Second-person relations make possible the emergence of a wide variety of different kinds of practical reasons: creating some, revealing others. Recognising this diminishes the appeal of the traditional, structural accounts of the practical significance of such second-personal relations. Moving away from structural accounts facilitates a more thorough understanding of the intersubjective form of action. (shrink)

On-line, just as off-line, there are ways of assessing the credibility of information sources. The Internet, although it arguably makes for nothing wholly new in this regard, complicates the ordinary task of assessing credibility. In the first section, I consider a specific example and argue that Internet content providers have no clear interest in resolving these comlications. In the second, I consider four general ways that we might assess credibility and explore how they apply to life online. Finally, I argue (...) that even careful information gathering may pose subtle pitfalls but that some of these may be mitigated on-line. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

Typical discussions of virtual reality (VR) fixate on technology for providing sensory stimulation of a certain kind. They thus fail to understand reality as the place wherein we live and work, misunderstanding it instead as merely a sort of presentation. The first half of the paper examines popular conceptions of VR. The most common conception is a shallow one according to which VR is a matter of simulating appearances. Yet there is, even in popular depictions, a second, more subtle conception (...) according to which VR is a matter of facilitating new kinds of interaction. The latter half of the paper turns to questions about the contemporary technology of Internet chatrooms. The fact that chatrooms can be used in certain ways suggests something about the prospects for VR. The penultimate section asks whether chatrooms may legitimately be thought of as places. (In a sense, they may.) The final section asks whether cybersex may legitimately be thought of as sex. (Again, yes.) Chatroom technology thus provides an argument for the second conception of VR over its much ballyhooed rival. (shrink)

The connection between whole and part is intimate: not only can we share the same space, but I’m incapable of leaving my parts behind; settle the nonmereological facts and you thereby settle what is a part of what; wholes don’t seem to be an additional ontological commitment over their parts. Composition as identity promises to explain this intimacy. But it threatens to make the connection too intimate, for surely the parts could have made a different whole and the whole have (...) had different parts. In this paper I attempt to offer an account of parthood that is intimate enough but not too intimate: the parts generate the whole, but they are not themselves the whole. (shrink)

A pair of C functions are defined such that D has the halting problem proof's pathological relationship to simulating termination analyzer H. When H correctly determines that D correctly simulated by H must be aborted to prevent its own infinite execution then H is necessarily correct to reject D as specifying non-halting behavior. This exact same reasoning is applied to the Peter Linz Turing machine based halting problem proof. ...

Consider the concept combination ‘pet human’. In word association experiments, human subjects produce the associate ‘slave’ in relation to this combination. The striking aspect of this associate is that it is not produced as an associate of ‘pet’, or ‘human’ in isolation. In other words, the associate ‘slave’ seems to be emergent. Such emergent associations sometimes have a creative character and cognitive science is largely silent about how we produce them. Departing from a dimensional model of human conceptual space, this (...) article will explore concept combinations, and will argue that emergent associations are a result of abductive reasoning within conceptual space, that is, below the symbolic level of cognition. A tensor-based approach is used to model concept combinations allowing such combinations to be formalized as interacting quantum systems. Free association norm data is used to motivate the underlying basis of the conceptual space. It is shown by analogy how some concept combinations may behave like quantum-entangled particles. Two methods of analysis were presented for empirically validating the presence of non-separable concept combinations in human cognition. One method is based on quantum theory and another based on comparing a joint probability distribution with another distribution based on a separability assumption using a chi-square goodness-of-fit test. Although these methods were inconclusive in relation to an empirical study of bi-ambiguous concept combinations, avenues for further refinement of these methods are identified. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

How does microbiota research impact our understanding of biological individuality? We summarize the interdisciplinary summer school on "Microbiota, Symbiosis and Individuality: Conceptual and Philosophical Issues" (July 2019), which was supported by a European Research Council starting grant project "Immunity, DEvelopment, and the Microbiota" (IDEM). The summer school centered around interdisciplinary group work on four facets of microbiota research: holobionts, individuality, causation, and human health. The conceptual discussion of cutting-edge empirical research provided new insights into microbiota and highlights the value of (...) incorporating into meetings experts from other disciplines, such as philosophy and history of science. (shrink)

An anthology on Panarchy edited by Gian Piero de Bellis for World Wide Wisdom, Saint-Imier, 2023.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

To demarcate the limits of experimental knowledge, we probe the limits of what might be called an experiment. By appeal to examples of scientific practice from astrophysics and analogue gravity, we demonstrate that the reliability of knowledge regarding certain phenomena gained from an experiment is not circumscribed by the manipulability or accessibility of the target phenomena. Rather, the limits of experimental knowledge are set by the extent to which strategies for what we call ‘inductive triangulation’ are available: that is, the (...) validation of the mode of inductive reasoning involved in the source-target inference via appeal to one or more distinct and independent modes of inductive reasoning. When such strategies are able to partially mitigate reasonable doubt, we can take a theory regarding the phenomena to be well supported by experiment. When such strategies are able to fully mitigate reasonable doubt, we can take a theory regarding the phenomena to be established by experiment. There are good reasons to expect the next generation of analogue experiments to provide genuine knowledge of unmanipulable and inaccessible phenomena such that the relevant theories can be understood as well supported. This article is part of a discussion meeting issue ‘The next generation of analogue gravity experiments’. (shrink)

Schwitzgebel (2001) — henceforth 'S' — offers three examples in order to convince us that there are situations in which individuals are neither accurately describable as believing that p or failing to so believe, but are rather in 'in-between states of belief'. He then argues that there are no 'Bayesian' or representational strategies for explicating these, and proposes a dispositional account. I do not have any fundamental objection to the idea that there might be 'in-between states of belief'. What I (...) shall argue, rather, is that: (I) S does not provide a convincing argument that there really are such states; (II) S does not show, as he claims, that 'in-between states of belief' could not be accounted for in terms of degrees of belief; (III) S’s dispositional account of 'in-between states of belief' is more problematic than the 'degree of belief' alternative. (shrink)

Multiple realizability has been at the heart of debates about whether the mind reduces to the brain, or whether the items of a special science reduce to the items of a physical science. I analyze the two central notions implied by the concept of multiple realizability: "multiplicity," otherwise known as property variability, and "realizability." Beginning with the latter, I distinguish three broad conceptual traditions. The Mathematical Tradition equates realization with a form of mapping between objects. Generally speaking, x realizes (or (...) is the realization of) y because elements of y map onto elements of x. The Logico-Semantic Tradition translates realization into a kind of intentional or semantic notion. Generally speaking, x realizes (or is the realization of) a term or concept y because x can be interpreted to meet the conditions for satisfying y. The Metaphysical Tradition views realization as a species of determination between objects. Generally speaking, x realizes (or is the realization of) y because x brings about or determines y. I then turn to the subject of property variability and define it in a formal way. I then conclude by discussing some debates over property identity and scientific theory reduction where the resulting notion of multiple realizability has played a central role, for example, whether the nonreductive consequences of multiple realizability can be circumvented by scientific theories framed in terms of narrow domain-specific properties, or wide disjunctive properties. (shrink)

Some scientific categories seem to correspond to genuine features of the world and are indispensable for successful science in some domain; in short, they are natural kinds. This book gives a general account of what it is to be a natural kind and puts the account to work illuminating numerous specific examples.

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic property of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide valid the deductive inference. Conclusions of sound arguments are derived from truth preserving finite string transformations applied to true premises.

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da (...) UFSC, 2015. ISBN: 9788532807250. (shrink)

This chapter discusses methodology in feminist history of philosophy and shows that women philosophers made interesting and original contributions to the debates concerning the cosmological argument. I set forth and examine the arguments of Mary Astell, Damaris Masham, Catherine Trotter Cockburn, Emilie Du Châtelet, and Mary Shepherd, and discuss their involvement with philosophical issues and debates surrounding the cosmological argument. I argue that their contributions are original, philosophically interesting, and result from participation in the ongoing debates and controversies about the (...) cosmological argument, causal principles, and necessary existence. (shrink)

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

Data access control is a challenging issue in public cloud storage systems. Ciphertext-Policy Attribute-Based Encryption (CP-ABE) has been adopted as a promising technique to provide flexible, fine-grained and secure data access control for cloud storage with honest-but- curious cloud servers. However, in the existing CP-ABE schemes, the single attribute authority must execute the time-consuming user legitimacy verification and secret key distribution, and hence it results in a single-point performance bottleneck when a CP-ABE scheme is adopted in a large-scale cloud storage (...) system. Users may be stuck in the waiting queue for a long period to obtain their secret keys, thereby resulting in low-efficiency of the system. Although multi authority access control schemes have been proposed, these schemes still cannot overcome the drawbacks of single-point bottleneck and low efficiency, due to the fact that each of the authorities still independently manages a disjoint attribute set. In this paper we propose a system that improves the approach of CP-ABE from text based asymmetric to Image based symmetric approach for faster encryption as well as access to data. We also propose a multiple access policy generation for single user where we will be able to implement one to many and many to many methodology. (shrink)

The no-miracles argument and the pessimistic induction are arguably the main considerations for and against scientific realism. Recently these arguments have been accused of embodying a familiar, seductive fallacy. In each case, we are tricked by a base rate fallacy, one much-discussed in the psychological literature. In this paper we consider this accusation and use it as an explanation for why the two most prominent `wholesale' arguments in the literature seem irresolvable. Framed probabilistically, we can see very clearly why realists (...) and anti-realists have been talking past one another. We then formulate a dilemma for advocates of either argument, answer potential objections to our criticism, discuss what remains (if anything) of these two major arguments, and then speculate about a future philosophy of science freed from these two arguments. In so doing, we connect the point about base rates to the wholesale/retail distinction; we believe it hints at an answer of how to distinguish profitable from unprofitable realism debates. In short, we offer a probabilistic analysis of the feeling of ennui afflicting contemporary philosophy of science. (shrink)

Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].

To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

One of the predominant debates in AI Ethics is the worry and necessity to create fair, transparent and accountable algorithms that do not perpetuate current social inequities. I offer a critical analysis of Reuben Binns’s argument in which he suggests using public reason to address the potential bias of the outcomes of machine learning algorithms. In contrast to him, I argue that ultimately what is needed is not public reason per se, but an audit of the implicit moral assumptions of (...) societies within which algorithms are built and applied. Public justification is appealing since it offers us the possibility to align the decision-making outcomes of the algorithm with the core moral values of stakeholders within a constitutional democratic society. My concern is that the common moral principles that form the foundation of public reason are not necessarily neutral, as they still express specific moral ideals and normative standards even if there is moral agreement by society as a whole, or among different stakeholders within society. Appealing to such normative standards may thus still lead to algorithmic outcomes being biased as common moral values may very well still be discriminatory even though they are formed from a consensus, and even if public reason is applied as a kind of filter for potential algorithmic outcomes. Hence, I argue that these implicit moral norms within society that we take as a given in public reasoning, need to be audited from generation to generation in order to effectively mitigate potential algorithmic bias. (shrink)

The debate regarding the role of conscientious objection in healthcare has been protracted, with increasing demands for curbs on conscientious objection. There is a growing body of evidence that indicates that in some cases, high rates of conscientious objection can affect access to legal medical services such as abortion—a major concern of critics of conscientious objection. Moreover, few solutions have been put forward that aim to satisfy both this concern and that of defenders of conscientious objection—being expected to participate in (...) the provision of services that compromise their moral integrity. Here we attempt to bring some resolution to the debate by proposing a pragmatic, long-term solution offering what we believe to be an acceptable compromise—a quota system for medical trainees in specialties where a conscientious objection can be exercised, and is known to cause conflict. We envisage two main objectives of the quota system we propose. First, as a means to introduce conscientious objection into countries where this is not presently permitted. Second, to minimise or eliminate the effects of high rates of conscientious objection in countries such as Italy, where access to legal abortion provision can be negatively affected. (shrink)

In this paper, I reply to 18 of the essays on panpsychism in this issue. Along the way, I sketch out what a post-Galilean science of consciousness, one in which consciousness is taken to be a fundamental feature of reality, might look like.

Imperatives cannot be true, but they can be obeyed or binding: `Surrender!' is obeyed if you surrender and is binding if you have a reason to surrender. A pure declarative argument — whose premisses and conclusion are declaratives — is valid exactly if, necessarily, its conclusion is true if the conjunction of its premisses is true; similarly, I suggest, a pure imperative argument — whose premisses and conclusion are imperatives — is obedience-valid (alternatively: bindingness-valid) exactly if, necessarily, its conclusion is (...) obeyed (alternatively: binding) if the conjunction of its premisses is. I argue that there are two kinds of bindingness, and that a vacillation between two corresponding variants of bindingness-validity largely explains conflicting intuitions concerning the validity of some pure imperative arguments. I prove that for each of those two variants of bindingness-validity there is an equivalent variant of obedience-validity. Finally, I address alternative accounts of pure imperative inference. (shrink)

This paper is about the similarity between the appreciation of a piece of art, such as a cherished music album, and the loving appreciation of a person whom one knows well. In philosophical discussion about the rationality of love, the Qualities View (QV) says that love can be justified by reference to the qualities of the beloved. I argue that the oft-rehearsed trading-up objection fails to undermine the QV. The problems typically identified by the objection arise from the idea that (...) love-worthy qualities could be coarse-grained, when in fact they must be fine-grained. The analogy with appreciation of aesthetic qualities helps to draw out this point. Once the fine-grained nature of love-worthy qualities is properly understood, it is clear that critics of the QV cannot rely on the trading-up objection to motivate its rejection. Moreover, the paper’s core argument helps to illuminate the persistently aesthetic nature of interpersonal affections. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

Philosophy in Africa has for more than a decade now been dominated by the discussion of one compound question, namely, is there an African philosophy, and if there is, what is it? The first part of the question has generally been unhesitatingly answered in the affirmative. Dispute has been primarily over the second part of the question as various specimens of African philosophy presented do not seem to pass muster. Those of us who refuse to accept certain specimens as philosophy (...) have generally been rather illogically said also to deny an affirmative answer to the first part of the question. In a paper presented at the International Symposium in Memory of Dr William Amo, the Ghanaian philosopher who taught in German universities in the early part of the eighteenth century, Professor Odera Oruka identified four trends, perhaps more appropriately approaches, in current African philosophy. (shrink)

Standard accounts of civil disobedience include nonviolence as a necessary condition. Here I argue that such accounts are mistaken and that civil disobedience can include violence in many aspects, primarily excepting violence directed at other persons. I base this argument on a novel understanding of civil disobedience: the special character of the practice comes from its combination of condemnation of a political practice with an expressed commitment to the political. The commitment to the political is a commitment to engaging with (...) others as co-members in the on-going political project of living together. I show how such an understanding of civil disobedience is superior to the Rawlsian strain of thought, which focuses on fidelity to law. Rawls was concerned with civil disobedience solely in the context of overriding political obligation. The project of characterizing a contestatory political practice that can be distinguished and used in a wider variety of contexts than Rawls is concerned with, including under illegitimate regimes, beyond the nation-state, or on behalf of anarchism, requires a different understanding of civil disobedience. (shrink)

The influential proposal that the analytical component of a theory is captured by its ‘Carnap sentence’ is critically scrutinized. A counterexample which makes the suggestion problematic is presented.

Exclusionary defeat is Joseph Raz’s proposal for understanding the more complex, layered structure of practical reasoning. Exclusionary reasons are widely appealed to in legal theory and consistently arise in many other areas of philosophy. They have also been subject to a variety of challenges. I propose a new account of exclusionary reasons based on their justificatory role, rejecting Raz’s motivational account and especially contrasting exclusion with undercutting defeat. I explain the appeal and coherence of exclusionary reasons by appeal to commonsense (...) value pluralism and the intermediate space of public policies, social roles, and organizations. We often want our choices to have a certain character or instantiate a certain value and in order to do so, that choice can only be based on a restricted set of reasons. Exclusion explains how pro tanto practical reasons can be disqualified from counting towards a choice of a particular kind without being outweighed or undercut. (shrink)

When we ask what natural kinds are, there are two different things we might have in mind. The first, which I’ll call the taxonomy question, is what distinguishes a category which is a natural kind from an arbitrary class. The second, which I’ll call the ontology question, is what manner of stuff there is that realizes the category. Many philosophers have systematically conflated the two questions. The confusion is exhibited both by essentialists and by philosophers who pose their accounts in (...) terms of similarity. It also leads to misreading philosophers who do make the distinction. Distinguishing the questions allows for a more subtle understanding of both natural kinds and their underlying metaphysics. (shrink)

Political legitimacy is best understood as one type of a broader notion, which I call institutional legitimacy. An institution is legitimate in my sense when it has the right to function. The right to function correlates to a duty of non-interference. Understanding legitimacy in this way favorably contrasts with legitimacy understood in the traditional way, as the right to rule correlating to a duty of obedience. It helps unify our discourses of legitimacy across a wider range of practices, especially including (...) the many evaluations we increasingly make of international institutions of various sorts, but also including domestic institutions. (shrink)

The accepted narrative treats John Stuart Mill’s Kinds as the historical prototype for our natural kinds, but Mill actually employs two separate notions: Kinds and natural groups. Considering these, along with the accounts of Mill’s nineteenth-century interlocutors, forces us to recognize two distinct questions. First, what marks a natural kind as worthy of inclusion in taxonomy? Second, what exists in the world that makes a category meet that criterion? Mill’s two notions offer separate answers to the two questions: natural groups (...) for taxonomy and Kinds for ontology. This distinction is ignored in many contemporary debates about natural kinds and is obscured by the standard narrative that treats our natural kinds just as a development of Mill’s Kinds. (shrink)

I first argue that the Matrix trilogy is a Gnostic cyber-epic; I then use this interpretive lens to review the films' treatment of fundamental questions in epistemology, metaphysics, and value theory.

The Homeostatic Property Cluster (HPC) account of natural kinds has become popular since it was proposed by Richard Boyd in the late 1980s. Although it is often taken as a defining natural kinds as such, it is easy enough to see that something's being a natural kind is neither necessary nor sufficient for its being an HPC. This paper argues that it is better not to understand HPCs as defining what it is to be a natural kind but instead as (...) providing the ontological realization of (some) natural kinds. (shrink)

Kyle Stanford has recently claimed to offer a new challenge to scientific realism. Taking his inspiration from the familiar Pessimistic Induction (PI), Stanford proposes a New Induction (NI). Contra Anjan Chakravartty’s suggestion that the NI is a ‘red herring’, I argue that it reveals something deep and important about science. The Problem of Unconceived Alternatives, which lies at the heart of the NI, yields a richer anti-realism than the PI. It explains why science falls short when it falls short, and (...) so it might figure in the most coherent account of scientific practice. However, this best account will be antirealist in some respects and about some theories. It will not be a sweeping antirealism about all or most of science. (shrink)

Urbaniana University Journal 73.3 (2020): 73-99. -/- A close reading of Hume’s Dialogues Concerning Natural Religion reveals that it is not what it appears. Rather than a work of natural theology, meant to show something about arguments concerning the existence and nature of God, the Dialogues turn out to embody a moral pedagogy exemplifying and attempting to instill a conception of piety and religion as virtues. This paper defends this interpretation by reviewing three alternative, but ultimately inadequate, interpretations of the (...) text, and then compares Hume’s moral pedagogy with that of Aquinas in the Summa Theologiae to highlight the ambition, and the limitation,of Hume’s attempt to characterize piety without metaphysics. (shrink)

Abstract In this chapter, we challenge the presupposed concept of innovation in the responsible innovation literature. As a first step, we raise several questions with regard to the possibility of ‘responsible’ innovation and point at several difficulties which undermine the supposedly responsible character of innovation processes, based on an analysis of the input, throughput and output of innovation processes. It becomes clear that the practical applicability of the concept of responsible innovation is highly problematic and that a more thorough inquiry (...) of the concept is required. As a second step, we analyze the concept of innovation which is self-evidently presupposed in current literature on responsible innovation. It becomes clear that innovation is self-evidently seen as (1) technological innovation, (2) is primarily perceived from an economic perspective, (3) is inherently good and (4) presupposes a symmetry between moral agents and moral addressees. By challenging this narrow and uncritical concept of innovation, we contribute to a second round of theorizing about the concept and provide a research agenda for future research in order to enhance a less naïve concept of responsible innovation. (shrink)

The Neurological Disease Ontology (ND) is being developed to provide a comprehensive framework for the representation of neurological diseases (Diehl et al., 2013). ND utilizes the model established by the Ontology for General Medical Science (OGMS) for the representation of entities in medicine and disease (Scheuermann et al., 2009). The goal of ND is to include information for each disease concerning its molecular, genetic, and environmental origins, the processes involved in its etiology and realization, as well as its clinical presentation (...) including signs and symptoms. (shrink)