The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative structure of (...) PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

"The definitive clarification of the nature of the infinite has become necessary, not merely for the special interests of the individual sciences, but rather for the honour of the human understanding itself. The infinite has always stirred the emotions of mankind more deeply than any other question; the infinite has stimulated and fertilized reason as few other ideas have ; but also the infinite, more than other notion, is in need of clarification." (David Hilbert 1925).

This article argues in favor of modifying the medical model of severe psychiatric disturbances that underlies calling them "mental illness." The key reason for this proposal is that numerous specialists other than physicians as well as non-specialists contribute to the process of assisting a person recover from what the author suggests might better be called "extraordinary functional disability." There is little uniformity in existing definitions under state laws, but all involve three types of intervention: civil commitment; civil determination of legal (...) competency; and standing to be subject to criminal law. Physicians typically make relevant determinations in each of these areas; but non-physicians are the principal care-givers once a determination has been made. (shrink)

Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...) clarifications will be derived from a careful representation of the entities on the side of the patient which form the ultimate truthmakers for clinical statements. We here address a challenge to this realist approach relating to the diagnosis of malaria, and show how this challenge can be resolved by appeal to Basic Formal Ontology (BFO) and to the Ontology for General Medical Science (OGMS) constructed in its terms. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things,—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

This paper discusses the following question: why was the term “dunatos” (“possible”) employed by Aristotle as an alternative label for imperfect syllogisms in his discussion of assertoric syllogistic? My answer ascribes to Aristotle a bottom up perspective, in which he stresses what is necessary in the premise-pairs to attain target conclusions of a given form within a given figure. I argue that “dunatos” is employed by Aristotle to stress that an imperfect syllogism is always one of the possible options to (...) attain a conclusion of a given form within a given figure. I also argue that this picture sheds some light on Aristotle’s clarifications of the final clause in his definition of syllogism. (shrink)

This paper considers the medium of videogames from a goodmanian standpoint. After some preliminary clarifications and definitions, I examine the ontological status of videogames. Against several existing accounts, I hold that what grounds their identity qua work types is code. The rest of the paper is dedicated to the epistemology of videogaming. Drawing on Nelson Goodman and Catherine Elgin's works, I suggest that the best model to defend videogame cognitivism appeals to the notion of understanding.

Self-consciousness constitutes an insurmountable obstacle to functionalism. Either the standard functional definitions of mental relations wrongly require the contents of self-consciousness to be propositions involving “realizations” rather than mental properties and relations themselves. Or else these definitions are circular. The only way to save functional definitions is to expunge the standard functionalist requirement that mental properties be second-order and to accept that they are first-order. But even the resulting “ideological” functionalism, which aims only at conceptual clarification, fails unless it (...) incorporates the thesis that the mental properties are fully “natural” universals. Accordingly, mental properties are sui generis: first-order, nonphysical, natural universals. (shrink)

This paper is an attempt to spell out what makes the scientific study of pain so distinctive from a philosophical perspective. Using the IASP definition of ‘pain’ as our guide, we raise a number of questions about the philosophical assumptions underlying the scientific study of pain. We argue that unlike the study of ordinary perception, the study of pain focuses from the very start on the experience itself and its qualities, without making deep assumptions about whether pain experiences are perceptual. (...) This in turn puts scientific explanation in a curious position due to pain’s inherently subjective epistemic nature. The reason for this focus on the experience itself and its qualities, we argue, has to do with pain’s complex phenomenology involving an affective/motivational dimension. We argue for the scientific legitimacy of first‐person phenomenological studies and attempts to correlate phenomenology with neural events. We argue that this methodological procedure is inevitable and has no anti‐physicalist ontological implications when properly understood. We end the paper by commenting on a discussion between two prominent pain scientists in the field, Don Price and Howard Fields, about the need to distinguish more dimensions in the phenomenology of pain and how to classify them vis‐à‐vis the recent scientific findings. Our interest in this discussion is not only to introduce some clarifications but also to show how “neurophenomenology” has already been shaping the scientific research and to back our claim about why this methodology is inevitable with an example. (shrink)

Advocates of the Person-Centered Healthcare (PCH) approach say that PCH is a response to a failure of caring for patients as persons. Nevertheless, there are many human subjects falling to fulfill the requirements of a traditional philosophical definition of personhood. Hence, if we take, PCH seriously, a greater clarification of the key terminology of PCH is urgently needed. It seems necessary, for instance, that the concept of the person should be extended in order to include those individuals with insipient (...) or immature levels of consciousness, as well as those who are severely and permanently mentally handicapped. In this article, we will depart from some well-known philosophical concepts of what it means to be a person and try to offer a broader and more inclusive meaning. We suggest that persons are human beings with a socially recognized biography, which implies to recognize as persons individuals with necessities, but also with narratives about their interests and claims, expressed sometimes by other people related to them. This is particularly the case of individuals that suffer from severe disorders of consciousness. For those, is not only care that matters; respect matters too. Caregivers should therefore not only sympathetically care for the well-being of these people; they should also be concerned to respect their interests and claims by interpreting them empathetically, in the light of their biographical story. Our conclusion is that, in order to be coherent, PCH must consider individuals with severe disorders of consciousness as persons and we think that our revised concept of personhood fits with this requirement. (shrink)

The dictionary tells you that a shadow is a dark area or volume caused by an opaque object blocking some light. The definition is correct, but we need to clarify a couple of its elements: darkness and blocking. The clarification leads to the view that to see a shadow is a degree of failing to see a surface. I will also argue that seeing a silhouette (i.e. a backlit object) is a particular way of failing to see an object. (...) Thus visual discriminability is not sufficient for seeing. Finally, I argue that comparative empirical research on shadows' contribution to amodal completion in apes and humans supports the view that humans, unlike apes, perceive shadows as shadows rather than as black objects, thus lending indirect support for my view that to see a shadow is a way and degree of failing to see a surface. (shrink)

The eponymous dialogue presents the sophist as a figure who defies definition, and those difficulties are attributed to the conception of the image. Ultimately, the sophist is defined as a species of image maker. The image, however, which is important throughout the Platonic corpus as a metaphor, an analogy, and a metaphysical concept as well, receives in the Sophist little clarification or definition apart from whatever may be inferred from the division of image making arts. In the Sophist, the (...) sophist escapes definition as in no other dialogue, rendering even the concluding division one that makes the distinction of the sophist from the philosopher problematic, if not impossible. The paper explores how the dialogue problematizes and rethinks the metaphysics of the image, as compared to its use in dialogues such as the Phaedo and the Republic, pointing to a refinement in understanding the relation of judgment to knowledge and appearance to reality. (shrink)

I. EXECUTIVE SUMMARY The MRCT Center Post-trial Responsibilities: Continued Access to an Investigational Medicine Framework outlines a case-based, principled, stakeholder approach to evaluate and guide ethical responsibilities to provide continued access to an investigational medicine at the conclusion of a patient’s participation in a clinical trial. The Post-trial Responsibilities (PTR) Framework includes this Guidance Document as well as the accompanying Toolkit. A 41-member international multi-stakeholder Workgroup convened by the Multi-Regional Clinical Trials Center of Brigham and Women’s Hospital and Harvard University (...) (MRCT Center) developed this Guidance and Toolkit. Project Motivation A number of international organizations have discussed the responsibilities stakeholders have to provide continued access to investigational medicines. The World Medical Association, for example, addressed post-trial access to medicines in Paragraph 34 of the Declaration of Helsinki (WMA, 2013): “In advance of a clinical trial, sponsors, researchers and host country governments should make provisions for post-trial access for all participants who still need an intervention identified as beneficial in the trial. This information must also be disclosed to participants during the informed consent process.” This paragraph and other international guidance documents converge on several consensus points: • Post-trial access (hereafter referred to as “continued access” in this Framework [for terminology clarification – see definitions]) is the responsibility of sponsors, researchers, and host country governments; • The plan for continued access should be determined before the trial begins, and before any individual gives their informed consent; • The protocol should delineate continued access plans; and • The plan should be transparent to potential participants and explained during the informed consent process. -/- However, there is no guidance on how to fulfill these responsibilities (i.e., linking specific responsibilities with specific stakeholders, conditions, and duration). To fill this gap, the MRCT Center convened a working group in September of 2014 to develop a framework to guide stakeholders with identified responsibilities. This resultant Framework sets forth applicable principles, approaches, recommendations and ethical rationales for PTR regarding continued access to investigational medicines for research participants. (shrink)

The monograph is an English, expanded and revised version of the book Cheshko, V. T., Ivanitskaya, L.V., & Glazko, V.I. (2018). Anthropocene. Philosophy of Biotechnology. Moscow, Course. The manuscript was completed by me on November 15, 2019. It is a study devoted to the development of the concept of a stable evolutionary human strategy as a unique phenomenon of global evolution. The name “An Evolutionary Metaphysics (Cheshko, 2012; Glazko et al., 2016). With equal rights, this study could be entitled “Biotechnology (...) as a result and factor of the evolutionary processˮ. The choice in favor of used “The Evolutionary Metaphysics of Human Enhancement Technologiesˮ was made in accordance with the basic principle of modern post-academician and human-sized science, a classic example of which is biotechnology. The “Metaphysics of Evolution” and “Evolutionary Metaphysics” concepts are used in several ways in modern philosophical discourse. In any case, the values contain a logical or associative reference to the teleological nature of the evolutionary process (Hull, 1967, 1989; Apel, 1995; Faye, 2016; Dupre, 2017; Rose, 2018, etc). In our study, the “evolutionary metaphysics” serves to denote the thesis of the rationalization and technologization of global evolution and anthropogenesis, in particular. At the same time, the postulate of an open future remains relevant in relation to the results of the evolutionary process. The theory of evolution of complex, including the humans system and algorithm for its constructing are а synthesis of evolutionary epistemology, philosophical anthropology and concrete scientific empirical basis in modern science. ln other words, natural philosophy is regaining the status bar element theoretical science in the era of technology-driven evolution. The co-evolutionary concept of 3-modal stable evolutionary strategy of Homo sapiens is developed. The concept based оn the principle of evolutionary complementarity of anthropogenesis: value of evolutionary risk and evolutionary path of human evolution are defined bу descriptive (evolutionary efficiency) and creative-teleological (evolutionary correctness) parameters simultaneously, that cannot bе instrumental reduced to others ones. Resulting volume of both parameters define the vectors of blological, social, cultural and techno-rationalistic human evolution Ьу two gear mechanism genetic and cultural co-evolution and techno-humanitarian balance. The resultant each of them сап estimated Ьу the ratio of socio-psychological predispositions of humanization / dehumanization in mentality. Explanatory model and methodology of evaluation of creatively teleological evolutionary risk component of NBIC technological complex is proposed. Integral part of the model is evolutionary semantics (time-varying semantic code, the compliance of the blological, socio-cultural and techno-rationalist adaptive modules of human stable evolutionary strategy). It is seem necessary to make three clarifications. First, logical construct, “evolutionary metaphysics” contains an internal contradiction, because it unites two alternative explanatory models. “Metaphysics”, as a subject, implies deducibility of the process from the initial general abstract principle, and, consequently, the outcome of the development of the object is uniquely determined by the initial conditions. Predicate, “evolutionary”, means stochastic mechanism of realizing the same principle by memorizing and replicating random choices in all variants of the post-Darwin paradigm. In philosophy, random choice corresponds to the category of “free will” of a reasonable agent. In evolutionary theory, the same phenomenon is reflected in the concept of “covariant replication”. Authors will attempt to synthesize both of these models in a single transdisciplinary theoretical framework. Secondly, the interpretation of the term “evolutionary (adaptive) strategyˮ is different from the classical definition. The difference is that the adaptive strategy in this context is equivalent to the survival, i.e. it includes the adaptation to the environment and the transformation (construction) of the medium in accordance with the objectives of survival. To emphasize this difference authors used verbal construction “adaptiveˮ (rather than “evolutionaryˮ) strategy as more adequate. In all other cases, the two terms may be regarded as synonymous. Thirdly, the initial two essays of this series were published in one book in 2012. Their main goal was the development of the logically consistent methodological concept of stable adaptive (evolutionary) strategy of hominines and the argumentation of its heuristic possibilities as a transdisciplinary scientific paradigm of modern anthropology. The task was to demonstrate the possibilities of the SESH concept in describing and explaining the evolutionary prospects for the interaction of social organization and technology (techno-humanitarian balance) and the associated biological and cultural mechanisms of the genesis of religion (gene-cultural co-evolution). In other words, it was related to the sphere of cultural and philosophical anthropology, i.e. to the axiological component of any theoretical constructions describing the behavior of self-organizing systems with human participation. In contrast, the present work is an attempt to introduce this concept into the sphere of biological anthropology and, consequently, its main goal is to demonstrate the possibility of verification of its main provisions by means of procedures developed by natural science, i.e. refers to the descriptive component of the same theoretical constructions. The result of this in the future should be methods for assessing, calculating and predicting the risk of loss of biological and cultural identity of a person, associated with a permanent and continuously deepening process of development of science and technology. (shrink)

‘Substance’ (substantia, zelfstandigheid) is a key term of Spinoza’s philosophy. Like almost all of Spinoza’s philosophical vocabulary, Spinoza did not invent this term, which has a long history that can be traced back at least to Aristotle. Yet, Spinoza radicalized the traditional notion of substance and made a very powerful use of it by demonstrating – or at least attempting to demonstrate -- that there is only one, unique substance -- God (or Nature) -- and that all other things are (...) merely modes or states of God. Some of Spinoza’s readers understood these claims as committing him to the view that only God truly exists, and while this interpretation is not groundless, we will later see that this enticing and bold reading of Spinoza as an ‘acosmist’ comes at the expense of another audacious claim Spinoza advances, i.e., that God/Nature is absolutely and actually infinite. But before we reach this last conclusion, we have a long way to go. So, let me first provide an overview of our plan. In the first section of this paper we will examine Spinoza’s definitions of ‘substance’ and ‘God’ at the opening of his magnum opus, the Ethics. Following a preliminary clarification of these two terms and their relations to the other key terms defined at the beginning of the Ethics, we will briefly address the Aristotelian and Cartesian background of Spinoza’s discussion of substance. In the second section, we will study the properties of the fundamental binary relations pertaining to Spinoza’s substance: inherence, conception, and causation. The third section will be dedicated to a clarification of Spinoza’s claim that God, the unique substance, is absolutely infinite. This essential feature of Spinoza’s substance has been largely neglected in recent Anglo-American scholarship, a neglect which has brought about an unfortunate tendency to domesticate Spinoza’s metaphysics to more contemporary views. The fourth section will study the nature of Spinoza’s monism. It will discuss and criticize the interesting yet controversial views of the eminent Spinoza scholar, Martial Gueroult, about the plurality of substances in the beginning of the Ethics; address Spinoza’s claim in Letter 50 that, strictly speaking, it is improper to describe God as “one”; and, finally, evaluate Spinoza’s kind of monism against the distinction between existence and priority monism recently introduced into the contemporary philosophical literature. The fifth and final section will explain the nature, reality, and manner of existence of modes. We therefore have an ambitious plan; let’s get down to business. (shrink)

We examine the most famous controversy between economists as a means of shedding fresh light on the current debate about economic methodology. By focusing on the controversy as the primary unit of analysis, we show how methodological considerations are but one of a whole set of stratagems strategically employed by each opponent. We argue that each opponent's preference for a particular kind of stratagems expresses his own specific scientific style (within the general scientific and cultural style of an age). We (...) also describe a dynamic dimension of the controversy, independent of the participants' intentions. Such a dimension is analysed in a "cycle" of the controversy, which begins with a well-defined issue and expands to additional topics, without reaching a "solution" to the initial issue. The definition and re-definition of the issue(s) at stake and of the difference between both participants is an essential and recurrent feature of such cycles; the conclusion of a cycle does not imply a real "closure" of the controversy, but only that each opponent has reached a satisfying degree of self-clarification. The controversy, thus, does not yield persuasion -- its ostensible aim. Rather, its "benefit" seems to lie in an unintended result -- clarification and deepening of contrasting approaches to the discipline -- due to its peculiar dynamics. In so far as the history of a discipline requires a reconstruction of such contrasts, it is indispensable for it to take into account the controversies where they emerge, and to view both the positive doctrines and the methodological posture of the contenders as parts of a wider framework, that is a scientific style. (shrink)

Stoic philosophers had to face the accusation of incoherence, self-contradiction and Paradoxes since ancient times. Plutarch in his Moralia writes against them; Cicero devotes a separate work on stoic paradoxes. Even in contemporary Literature there are still discussions on the possibility of such an incoherence and existence of paradoxes in the stoic theory. At first glance, stoic Cosmology gives the impression to both accept a kind of Determinism, and at the same time it undoubtedly argues for the moral agent’s freedom (...) of the Will. In pre-stoic or even other contemporary to Stoicism Philosophical Traditions, the definitions that these two terms/concepts are given, fairly accuse as incoherent any Theory that does not set them as “contraries”. Under these types of accusations, the stoic Cosmology and Theory of the Freedom of the Will is often to be included. This phenomenal self-contradiction inside the Principles of Stoicism becomes even more obvious in Epictetus, a philosopher of the Late Stoa. He is interested in practical ethics, thus the phenomenal contradiction gets more lucid. This would have augmented the criticism of the Stoic philosophy for incoherence, if Epictetus had not made his main philosophical aim/target : the clarification of how an agent’s Will can be Free inside a Universe ruled by Fate/Destiny ; namely, a Universe merely Determined by Nature’s/God’s Will. Epictetus’ originality appears in the way he interrelates the concept of Freedom of the Will with the concept of Destiny and Determinism, in order to accomplish their simultaneous co-existence. This approach guards him against being easily accused for incoherence and self-contradiction. Through the unique way he understands and defines the Moral Agency, which is the agent’s internal state/condition/disposition, he steers towards an integrated, accomplished, strong and coherent line of argument. This sturdy declaration is able to support the weight of the Consent to a Free Will, and thus a certain kind Freedom of the moral agent. The excellence of this line of argument is that it can bear also the burden of the Consent to the phenomenally contrary concept of Determinism and Destiny. The elements used to the construction of this argument, which is stretched throughout the whole epictetean corpus can be summarised to a few key concepts, which are: the things which are in our power and the things which are not in our power, the concept of Freedom. These concepts work towards his philosophical targeting, because of the special definition he gives them. Axiomatically Epictetus states that in order for man to be free, it is necessary to be liberated from what the body forces him to do. Desires, passions and beliefs are considered as elements which are external to the moral agent. The moral agent “shrinks” into the Will. Thus man has the capability to free himself from anything external to his Will and therefore to harmonise his own Will to the Will of Nature/God; namely, to will what Nature/God wills and thus never conflict to the external facts. Consequently, Epictetus’ solution, is to include in the category of τά οὐκ ἐφ' ἡμῖν anything that he defines as external to the prohairesis: the desires, beliefs, passions and in general anything the body entails, the external facts. Thus the prohairesis, remains unhindered and it is completely depended on man’s power ; as characteristically Epictetus writes, “not even Zeus himself can overpower” the prohairesis. -/- Dissertation for the MSc Ancient Philosophy (2008-2009) at The University of Edinburgh, supervised by Inna Kupreeva. (shrink)

A common perception of Spinoza casts him as one of the precursors, perhaps even founders, of modern humanism and Enlightenment thought. Given that in the twentieth century, humanism was commonly associated with the ideology of secularism and the politics of liberal democracies, and that Spinoza has been taken as voicing a “message of secularity” and as having provided “the psychology and ethics of a democratic soul” and “the decisive impulse to… modern republicanism which takes it bearings by the dignity of (...) every man,” it is easy to understand how this humanistic image developed. Spinoza’s deep interest in, and extensive discussion of, human nature may have contributed to the emergence of this image as well. In this paper, I will argue that this common perception of Spinoza is mistaken and that Spinoza was in fact the most radical anti-humanist among modern philosophers. Arguably, Spinoza rejects any notion of human dignity. He conceives of God’s - and not man’s - point of view as the only objective perspective through which one can know things adequately, and it is at least highly questionable whether he allows for any genuine notions of human autonomy or morality. The notions of ‘humanism’ and ‘anti-humanism’ have been discussed extensively -mainly among continental philosophers - since the end of World War II. Because these notions carry a variety of historical, ideological, and philosophical meanings, it is important to provide at the outset at least a rudimentary clarification of my use of these two terms. By ‘humanism’ I mean a view which (1) assigns a unique value to human beings among other things in nature, (2) stresses the primacy of the human perspective in understanding the nature of things, and (3) attempts to point out an essential property of humanity which justifies its elevated and unique status. This definition of philosophical humanism has only little in common with the historical notion of Renaissance humanism, and seems to match quite well the common understanding of philosophical humanism suggested by current philosophical dictionaries and encyclopedias. This notion of humanism should be understood in contrast to two competing positions. On the one hand, in contrast to the theocentric position that considers humanity to be radically dependent upon God, humanism affirms at least some degree of human independence. On the other hand, in contrast to the naturalist position which endorses the scientific examination of human beings just like any other objects in nature, humanists affirm the existence of a metaphysical and moral gulf between humanity and nature. This gulf assigns a special value to humanity and does not allow us to treat human beings like any other things in nature. For many humanists the nature/humanity gulf does not allow the application of the methods of natural sciences to the disciplines of the humanities. Humanism does not begin with modernity. In order to see how far back we can trace this position, we may recall Protagoras’ saying: “Man is the measure of all things, of things that are, that they are, and of things that are not, that they are not.” In modern philosophy, the humanistic position had regained dominant status since the Renaissance, and variants of this position were vigorously argued for by prominent thinkers such as Pico della Mirandola, Descartes, Leibniz, Kant, Fichte, and finally, Hegel. In this paper, I will argue that Spinoza was a foe, and not a friend, of this tradition. I suggest that, in contrast to these humanist philosophers, Spinoza considers man as a marginal and limited being in nature, a being whose claims and presumptions far exceed its abilities. “To what length will the folly of the multitude not carry them?.... [T]hey imagine Nature to be so limited that they believe man to be his chief part.” Arguably, Spinoza locates the origin of our most fundamental metaphysical and ethical errors in a human hubris which not only tries to secure humanity an exceptional place in nature but also attempts to cast both God and nature in its own human image. (shrink)

This paper addresses five questions: First, what is trajectory of Western liberal ethics and politics in defining life, rights and citizenship? Second, how will neuro-remediation and other technologies change the definition of death for the brain injured and the cryonically suspended? Third, will people always have to be dead to be cryonically suspended? Fourth, how will changing technologies and definitions of identity affect the status of people revived from brain injury and cryonic suspension? I propose that Western liberal thought is (...) working towards a natural end, a “telos.” In response to a variety of biotechnologies, law and public opinion in liberal democracies will be forced to make explicit that the rights of a living thing are determined by its level of consciousness. I discuss the way that technology will force three clarifications about the value of consciousness, at the beginning, the end and boundaries of human life. Sentience and personhood will become the basis of moral concern, regardless of its media. Just as human rights have become independent of race, gender and property, rights will become independent of being a breathing human being. But even as we make this transition, the cryonically preserved are still likely to be considered dead for pragmatic reasons, albeit with gradually increasing rights as technology makes their reanimation increasingly probable. I suggest that it could be acceptable to cryonicists that the frozen continue to be defined as dead if assisted suicide can be legalized. Under a liberal assisted suicide policy cryonicists might be allowed to carry out suspension before a declaration of death, preserving the maximum amount of neural information. The gradual redefinition of life and personal identity in terms of psychological continuity will also have consequences for the legal status of the reanimated. If, due to information loss, the reanimated do not meet a threshold of psychological continuity, they may be considered new persons. Cryonicists may therefore wish to specify ahead of time whether they are still interested in being reanimated if pre-animation assessment suggests that the result will not meet the necessary threshold of continuity. Finally, I touch on the way that neural technology will fundamentally problematize the separate, autonomous self on which liberal democratic values are based, leading to a legal and political Singularity. It is this looming neural Singularity that makes the proposed liberal democratic telos a final stage in humanistic thought, before it is superceded by something radically different. (shrink)

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

Context is a concept used by philosophers and scientists with many different definitions. Since Dummett we speak of "context principle" in Frege and Wittgenstein: "an expression has a meaning only in the context of a sentence". The context principle finds an extension in some of Wittgenstein's ideas, especially in his famous passage where he says that "to understand a sentence is to understand a language". Given that Wittgenstein believes that "the" language does not exist but only language games exist, we (...) should conclude that he is speaking of the need to consider any sentence always in the context of a language game1. This general attitude is certainly attuned with the contemporary tendency to place contextual restrictions to the interpretations of our sentences. However we find so many kinds and forms of restrictions that this general attitude is not enough to give us a viable tool to find an order in the web of so many different theories of context. To look for an order or, at least a clarification, we may start with two contrasting paradigms of theories: the "objective" theory of contexts, where context is a set of features of the world, and the "subjective" theories of context, where context is the cognitive background of a speaker or agent in respect to a situation2. We have here not only two different ways of using the term "context" but also two different conceptions of semantics and philosophy. The different conceptions are normally associated, respectively, with the classical paradigm of model theoretic semantics (Kaplan, Lewis Stalnaker) on one hand and with the A.I. paradigm (McCarthy, Buvac, Giunchiglia) on the other hand. For sake of simplicity I will restrict my attention3 mainly to Kaplan 1989 and to McCarthy 1993 and Giunchiglia 1993. The two different conceptions can be summarised with the following schema: a) context as: set of features of the world.. (shrink)

When Newton articulated the concept of absolute time in his treatise, Philosophae Naturalis Principia Mathematica (Mathematical Principles of Natural Philosophy), along with its correlate, absolute space, he did not present it as anything controversial. Whereas his references to attraction are accompanied by the self- protective caveats that typically signal an expectation of censure, the Scholium following Principia’s definitions is free of such remarks, instead elaborating his ideas as clarifications of concepts that, in some manner, we already possess. This is not (...) surprising. The germ of the concept emerged naturally from astronomers’ findings, and variants of it had already been formulated by other seventeenth century thinkers. Thus the novelty of Newton’s absolute time lay mainly in the use to which he put it. (shrink)

La philosophie contemporaine connaît une demi-douzaine de théories de la causalité. À l'époque de Kant et de Hume leur nombre a été moindre, à l'avenir on peut s'attendre à ce que leur nombre continue d'augmenter. Parmi les affirmations faites par ces théories sur la nature de la causalité, certaines sont compatibles entre elles, mais beaucoup ne le sont pas. Par conséquent, ou bien quelques-unes de ces théories sont fausses, ou bien elles ne portent pas sur le même objet. Dans ce (...) dernier cas, il y aurait plusieurs genres de causalité : différentes théories diraient quelque chose de correct à propos de différents genres de causalité. Dans cette situation, il apparaît judicieux de commencer par poser deux questions méta-théoriques : quelle est la tâche d'une théorie de la causalité, et quelles sont les données dont une telle théorie doit tenir compte ? Dans une portion considérable de la littérature philosophique sur la causalité, on cherche en vain une réponse claire à la question de savoir si le but de la théorie est l'explication du concept de causalité sous-jacent à notre pratique effective de jugement, ou au contraire sa révision. Cela va souvent de pair avec l'absence d'une justification du fait que la relation que la théorie se propose de définir peut bien être appelée relation causale. Certaines théories de la causalité hautement élaborées sur le plan technique, comme par exemple certaines variantes probabilistes de la théorie de la régularité où les théories plus récentes du transfert, donnent parfois l'impression que c'est la physique qui détient le monopole de définition en ce qui concerne la nature de la relation causale. Un représentant de la théorie du transfert affirme avec un pathos scientiste inébranlable „que la science physique a découvert la nature de la relation causale dans un large ensemble de cas“. Mais comment les sciences de la nature pourraient-elles découvrir quelque chose de ce genre ? La clarification de l'essence de la relation causale est une tâche philosophique par excellence qui relève plus particulièrement de la métaphysique. Le fait qu'il soit souvent nécessaire, au cours d'une recherche métaphysique, de faire appel à des connaissances scientifiques, ne change rien à l'affaire. Il s'agit d'une tache de métaphysique descriptive, que Strawson a caractérisée comme l'entreprise qui consiste à dégager les traits les plus généraux de la structure effective de notre pensée sur le monde. L'idiome causal est profondément ancré dans les langues naturelles ; et le concept de causalité que nous possédons effectivement se reflète dans notre pratique de jugements causaux. Cela ne signifie pas qu’il soit possible d'extraire directement de cette pratique un concept cohérent de causalité. Notre pratique de jugement possède de nombreux aspects et n'est pas dépourvue d'éléments douteux. Pour des besoins philosophiques, notre pratique effective de jugement a besoin d'une certaine discipline ; c'est en ce sens que je parle de la pratique éclairée de jugement causal. Je considère que c'est notre pratique éclairée de jugement causal qui fournit les données dont la théorie de la causalité doit tenir compte ; et la tâche primordiale d'une telle théorie consiste à indiquer les conditions de vérité de cas non controversés d'énoncés causaux singuliers. [...] . (shrink)

L’article poursuit un double objectif. D’une part, il propose une revue de l’articulation des concepts de genre et de sexe au prisme de la biologie de l’évolution dans le champ des études féministes francophones (cette délimitation tenant à la fois à des raisons de place, de pertinence scientifique et d’accessibilité au public non spécialiste). A cette fin, il propose également une définition du concept de constructivisme qui soit compatible avec le naturalisme, s’inscrivant en cela dans l’état contemporain de la philosophie (...) générale des sciences. Une fois mis en place ces éléments de cartographie du débat, le second objectif de l’article consiste à prendre au sérieux la diversité actuelle des concepts de sexe en biologie. Il insiste sur la nécessité d’une clarification conceptuelle des différents niveaux impliqués, et propose pour cela d’en finir avec la terminologie unique du sexe : celle-ci, en favorisant des confusions entre différents concepts, constitue un coût cognitif qu’il faut dépasser. Ce coût cognitif s’articule à un coût social. En effet, un tel flou conceptuel favorise en même temps dans la sphère publique une naturalisation abusive – puisque scientifiquement douteuse – de comportements sociaux inégalitaires. L’approche constructiviste ne consiste donc pas à nier la contrainte empirique de la nature. Il s’agit plutôt, à partir de la mise en évidence de la circulation des représentations entre la société en général et la science en particulier, de se doter d’outils d’analyse réflexifs et scientifiquement maîtrisés pour aborder les problématiques éthiques, politiques et épistémiques impliquées par cette circulation. (shrink)

‘Substance’ (substantia, zelfstandigheid) is a key term of Spinoza’s philosophy. Like almost all of Spinoza’s philosophical vocabulary, Spinoza did not invent this term, which has a long history that can be traced back at least to Aristotle. Yet, Spinoza radicalized the traditional notion of substance and made a very powerful use of it by demonstrating – or at least attempting to demonstrate -- that there is only one, unique substance -- God (or Nature) -- and that all other things are (...) merely modes or states of God. Some of Spinoza’s readers understood these claims as committing him to the view that only God truly exists, and while this interpretation is not groundless, we will later see that this enticing and bold reading of Spinoza as an ‘acosmist’ comes at the expense of another audacious claim Spinoza advances, i.e., that God/Nature is absolutely and actually infinite. But before we reach this last conclusion, we have a long way to go. So, let me first provide an overview of our plan. In the first section of this paper we will examine Spinoza’s definitions of ‘substance’ and ‘God’ at the opening of his magnum opus, the Ethics. Following a preliminary clarification of these two terms and their relations to the other key terms defined at the beginning of the Ethics, we will briefly address the Aristotelian and Cartesian background of Spinoza’s discussion of substance. In the second section, we will study the properties of the fundamental binary relations pertaining to Spinoza’s substance: inherence, conception, and causation. The third section will be dedicated to a clarification of Spinoza’s claim that God, the unique substance, is absolutely infinite. This essential feature of Spinoza’s substance has been largely neglected in recent Anglo-American scholarship, a neglect which has brought about an unfortunate tendency to domesticate Spinoza’s metaphysics to more contemporary views. The fourth section will study the nature of Spinoza’s monism. It will discuss and criticize the interesting yet controversial views of the eminent Spinoza scholar, Martial Gueroult, about the plurality of substances in the beginning of the Ethics; address Spinoza’s claim in Letter 50 that, strictly speaking, it is improper to describe God as “one”; and, finally, evaluate Spinoza’s kind of monism against the distinction between existence and priority monism recently introduced into the contemporary philosophical literature. The fifth and final section will explain the nature, reality, and manner of existence of modes. We therefore have an ambitious plan; let’s get down to business. (shrink)

Out of all the possible categories of protected areas, the most widely used around the world has been the national park. The reasons behind this predominance have colored the entire international conservation movement. I look at the ethical implications of the national park ideal ’s phenomenal global success. Working from two assumptions-that human cultural diversity is good and desirable, and that there is a definite relation between such diversity and protected area conservation-I suggest that what is needed most right now (...) is a clarification and refocusing of the debate on this issue. (shrink)

The concept of universal in Aristotle’s philosophy has several aspects. 1) Universal and plurality Aristotle posits universal (καθόλου) versus particular (καθ᾿ ἕκαστον) each covering a range of elements: some elements are universal while others are particulars. Aristotle defines universal as ‘that which by nature is predicated (κατηγορεῖσθαι) of many subjects’ and particular as ‘that which is not’ so. (OI ., I, 7, 17a38-b1) The plurality of possible subjects of universal is what Aristotle insists on. The inclusion of the notion of (...) ‘plurality’ in the definition of universal might make us expect to have ‘singularity’ in the definition of particular. So, when Aristotle says that universal is that which is naturally predicable of many subjects, we expect him to define the particular as ‘that which is predicable of one subject only.’ Nonetheless, Aristotle does not and indeed cannot define it this way. We cannot find a text in which he defines particular as such simply because particulars are not predicable of any subject unless we regard their predication of themselves a predication, which Aristotle does not, at least in a genuine sense. Thus, he defines a particular only negatively. Hence, the capability of predication of a plurality is indeed the capability of predication itself because the particular cannot be predicated of anything. A particular is that which cannot be predicated of anything (or: of anything else, if saying of a thing of itself is to be considered as predication). It is ‘numerically one’ and what of which the universal is predicated (Met., B, 999b34-1000a1). Those that cannot be predicated of anything, or particulars, are of two kinds: primary substances and individual accidents. Besides Categories we can hardly find a text where Aristotle discusses individual accidents maybe because they are of much less importance for him compared with substances. However, substances are what he mentions repeatedly so that we can confine particulars to substances. In fact, it is substance that Aristotle considers so repeatedly as what cannot be predicated. As the main particulars and individuals, substances are posited as the main things that are not universal. The closeness of the two concepts of ‘substance’ and ‘unpredicability’ is to the extent that he ignores individual accidents and makes these concepts equal and as the opposite of universal: ‘what is not predicated of a subject is said a substance (οὐσία λέγετα τὸ μὴ καθ᾿ ὑποκειμένου) but what is always said of some subject is called a universal.’ (Met., Z, 1038b15-16. cf. Met., B, 1003a7-9) Therefore, since particulars cannot be predicated of any subject and, thus, every predication is necessarily a predication of a plurality of subjects, the inclusion of ‘plurality’ in the definition of universal is either i) in the sense of ‘representation’ or it must be regarded as ii) an unnecessary addition mentioned just for clarification or iii) only for avoiding cases where something is predicated of itself. By the first we mean this: though a substance is not said of anything, it represents some one thing and there is some one thing that is that substance. A universal, on the other hand, can represent a plurality of things. There is, however, a third possibility that has no essential difference with the sense of representation. Aristotle might have ‘arbitrary predication’ in mind when he suses ‘plurality’ in the definition of universal: while a particular can be the arbitrary predicate of just one thing, a universal can be predicated, both really and arbitrarily, of many things. Whatever Aristotle’s intention was, what is important for our investigation is this: Aristotle uses the notion of plurality in the definition of universal in spite of the fact that it is not necessary. What this implies is that this notion is so important for Aristotle that albeit every predictability is a predictability of a possible plurality, he adds the notion of plurality. What makes this notion important, I believe, is that he has something like a class in mind when he defines a universal because the notion of plurality is indistinguishable from a class. 2) Universal and whole; particular and part In Aristotle, the concepts of universal and whole are so close: ‘That which is true of a whole class and is said to hold good as a whole (which implies that it is a kind of whole) is true of a whole in the sense that it contains many things by being predicated of each, and that each and all of them, e.g. man, horse, god, are one because all are living things (τὸ μὲν γὰρ καθόλου καὶ τὸ ὃλως λεγόμενον ὡς πολλὰ περιέχον τῷ κατηγορεῖσθαι καθ’ ἑκάστου καὶ ἓν ἃπαντα εἶναι ὡς ἑκαστον, ...). Phil Corkum points to Aristotle’s distinction between quantitative and integral wholes in Met., 5, 26, 1023b26-33 where a quantitative whole is called homoiomerous, as the sum of animal while an integral whole, e.g. a house, is called heteromerous. He links the notion of homoiomerous to the notion of indivisibility of individuals (in 1b6-9 and 3b10-18) and indivisibility of universals. He believes that in PrA., I, 4, 25b32-26a2 it is the transitivity of mereological containment that is discussed. 3) Universal is common between instances Universal is common (κοινόν) between all the plurality of subjects it can be predicated of because what belongs to more than one thing must be common between them. (Met., Z, 1038b10-12) In the Same way, what is common cannot be a particular and, thus, a substance. (Met., Z, 1040b23-24) An individual or substance is a ‘this’ and a ‘this’ cannot be what common indicates simply because it is here in ‘this’ and can be nowhere else while common must be common between several things. In fact, what can be indicated by a common is indeed a ‘such.’ (Met., B, 1003a7-9) 4) Universal is the same in its instances We have a universal i) in all of its instances and ii) in the same way (ταὐτὸ ἐπὶ πὰντων). (Met, Γ, 1005a9-10) While the first point is evident (otherwise how could it be their universal?), the second point might seem not only ambiguous but the cause of many problems. For Aristotle, therefore, a universal must be ‘one’ in number and not many. This numerically one universal is the very universal for all its instances. It is the same universal that is predicated on each of its instances. This sameness is not, however, a mere homonymous sameness or the sameness of a homonymous word. All these three points, namely oneness, sameness and rejection of mere homonymous sameness are asserted in Aristotle’s own words τι ἕν καὶ τὸ αὐτὸ ἐπὶ πλειόνων μη ὁμώνυμον. (PsA., A, 11, 77a8-9) This non-homonymous unity is asserted also in PsA., A, 24, 85b15-16. 5) Universal as predicate Contrary to substance that cannot be a predicate, universal is what cannot be prevented from being in the place of predicate. Therefore, Aristotle distinguishes universal from subject because while the latter must necessarily be capable of being a predicate, though it might take the position of subject as well, the latter does not necessarily have such a capability especially when it is a this because it cannot be a predicate in such a case: ‘For the subject and universal differ in being or not being a ‘this’; like man and body and soul are the subject of accidents while the accident is something like musical or white.’ (Met., Θ, 1049a27-30) This indicates that a universal is basically different from subject and although it can be posited in the place of subject, it is the position of predicate that is its position as a universal. In Metaphysics, Z, 13, Aristotle asserts that ‘no universal can be substance.’ The same is asserted in Met., I, 1053b16-17 cf. 1060b21. As James H. Lesher points out, Aristotle’s position is that ‘nothing predicated universally is a substance.’ 6) Universal in substance In Met., 10388b8-9 Aristotle says that no universal is a substance. While a universal cannot be a substance in the way essence (to ti en einai) is, it is, Aristotle asserts, ‘in’ it (ἐν τούτῳ δὲ ἐνυπάρχειν) (Met., Ζ, 1038b16-18). Aristotle’s examples are: animal in man and horse. A universal is ‘in’ the thing it is its universal. But in what sense a universal can be in a thing? It cannot be in it as ‘in a subject’, which is denied in Categories for secondary substances. If we check the senses of being in, we can find some other senses of ‘being in’ some of which are compatible with this sense of ‘being in.’ Michael J. Loux believes that contrary to his earlier works like Peri Ideaon and Organon in which the immanence of universals signals a reproduction of the platonic two worlds picture, in his later works like Physics and Metaphysics, when Aristotle tells us that universals are in particulars he means that they are ‘components of or ingredients in sensible particulars.’ In Metaphysics (Δ, 1014b3-9) Aristotle compares elements with universals and call them ‘the most universal things because elements are present either in all or in many things. 7) Logos is of universal Not only universals have logos (Met., Z, 1038b18-19) but ‘Every logos and every science is of universals and not of particulars.’ (Met., K, 1059b25-26) The reason is that they are the same: the logos of the unjiversal ‘circle’ is nothing but ‘being circle’ and the logos of the universal ‘soul’ is ‘being soul.’ (Met., Z, 1035b33-1036a2) The same is said about definition. (Met, Z, 1036a27-29) 8) Universal: in the soul Contrasting individuals, universals are in the soul (So., 3, 5, 417b22-23; cf. PsA., B, 19, 100a6-7). Aristotle also says that the form, i.e. the essence, of the artwork is in the soul. (met., Z, 1032a32-b2) Moreover, as Michael J. Loux points out, ‘the Peri Ideon tells us that we need universals to serve as the objects of noetic acts.’ 9) Universal: not beside individual In spite of the fact that demonstration creates the opinion that demonstrating is based on the existence of universals as existing among the existing things, they do not have existence besides individuals (PsA., A, 24, 85a31-35; Met, Λ, 1071a19-23). Aristotle believes that universals of a P-series (B203, 71) are not παρὰ τὰ εἴδη: 999a6ff. Also check De Anima, II, 3, 414b20-25 10) Primary or commensurate universal Aristotle distinguishes ‘πρῶτον καθόλού’ (PsA., B, 17, 99a33-35) literally meaning ‘primary universal’ but mostly, and truly, translated as commensurate universal. While a universal merely ‘μὴ ἀντιςτρέφει,’ a primary universal ‘ᾧ ἓκαςτον μὲν μὴ ἀντιςτρέφει’ (PsA., B, 17, 99a33-35). Aristotle mentions three conditions for a commensurate universal. It is an attribute that i) belongs to every instance of its subject (without exception!!!), and this belonging is ii) essentially and iii) qua that subject itself (ᾗ αύτό). (PsA., A, 4, 73b26-28) However, he insists that the second and the third conditions are indeed the same. (PsA., A, 4, 73b28-30) The first condition he paraphrases as ‘to belong to any random instance of that subject’ and the second and the third as ‘when the subject is the first thing to which it can be shown to belong.’ (PsA., A, 4, 73b32-74a3) Aristotle’s example is ‘the equality of its angles to two right angles’. This attribute is not a commensurate universal of figure due to the first condition: it cannot be demonstrated of any figure. Nonetheless, though it can be demonstrated of every isosceles because every isosceles has angles equal to two right angles, it is not a commensurate universal of isosceles due to the other conditions: it is not predicated of isosceles qua isosceles but qua triangle. These conditions seem to be like regulators: they organize everything to match to the right group. The method of finding commensurate universal is like test and error method based on elimination: you must eliminate each of the higher or lower universals and check if the attribute remains or not. The commensurate universal is that which remains in between eliminated universals. (cf. PsA., A, 5, 74a37-b4) Brad Inwoodpresents an understanding of commensurate universal that is different from what I have understood and, thus, must be checked: ‘These universals are propositions in which, for example, ‘all A are B’ is true and which are still true universal statements if converted: ‘all B are A’ is also true.’ -/- . (shrink)

Physical Computation is the summation of Piccinini’s work on computation and mechanistic explanation over the past decade. It draws together material from papers published during that time, but also provides additional clarifications and restructuring that make this the definitive presentation of his mechanistic account of physical computation. This review will first give a brief summary of the account that Piccinini defends, followed by a chapter-by-chapter overview of the book, before finally discussing one aspect of the account in more critical detail.

I discuss Aristotle's treatment of essence and definition in Metaphysics VII.4. I argue that it is coherent and perfectly in accord with its broader context. His discussion in VII.4 offers, on the one hand, minimal criteria for what counts as definition and essence for whatever kind of object, but also, on the other hand, stronger criteria for a primary sort of definition and essence—and thereby it serves the interest of book VII in pointing to the explanatory power of the essence (...) of composite substances. (shrink)

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

Initiatives relying on artificial intelligence (AI) to deliver socially beneficial outcomes—AI for social good (AI4SG)—are on the rise. However, existing attempts to understand and foster AI4SG initiatives have so far been limited by the lack of normative analyses and a shortage of empirical evidence. In this Perspective, we address these limitations by providing a definition of AI4SG and by advocating the use of the United Nations’ Sustainable Development Goals (SDGs) as a benchmark for tracing the scope and spread of AI4SG. (...) We introduce a database of AI4SG projects gathered using this benchmark, and discuss several key insights, including the extent to which different SDGs are being addressed. This analysis makes possible the identification of pressing problems that, if left unaddressed, risk hampering the effectiveness of AI4SG initiatives. (shrink)

Estonian doesn't have a definite article. Instead, bare singular noun phrases can unambiguously bear either a definite interpretation or an indefinite interpretation. This paper argues that the pragmatic principles governing the felicitous use of three English articles ("a", "the" and "another"), described by A Grønn and KJ Sæbø (2012, 'A, the, another: A game of same and different' Journal of Logic, Language and Information 21, 75-95) can also account for the conditions under which a bare singular noun phrase in Estonian (...) bears a definite or instead an indefinite interpretation. The two languages use the same pragmatic principles to determine the definiteness interpretation of a noun phrase. The difference is just that in English (where definiteness meanings have been lexicalized) these pragmatic principles govern the felicity of article use, whereas in Estonian they govern the interpretation of a bare singular noun phrase. (shrink)

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...) contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

Definitions of terms that are central to a theoretical understanding of the Royal Government of Bhutan's policy of Gross National Happiness.

Definition, conditions and bearers of being a person - three philosophical aporias. -/- In this article I examine the philosophical question of how to define the concept of the person in a non-arbitrary way, how to find out the determining conditions of being a person and how to enumerate the bearers of being a person. I come to the conclusion that the question of a non-arbitrary definition, of the essential conditions and of the bearers of being a person has not (...) yet been clarified; it is not sufficiently clear what we actually mean or should mean by "person" - beyond conventions, disciplinary boundaries and doctrines. This results in three philosophical aporias of the concept of the person. (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

The current IASP definition of pain has come under renewed criticisms recently. There is a new momentum for its revision as reflected by the fact that IASP has now a Presidential Task Force dedicated to look into whether there is enough warrant to update the definition. I critically review all the major criticisms of the current definition in detail, and raise new difficulties rarely discussed before. I show that none of the major criticisms has enough warrant to force us to (...) substantially revise the current definition. Combined with the discussion of the new difficulties, there is nonetheless a need to restate the definition using slightly different terminology that will make the original intent of the current definition clearer and more precise. A restatement of the definition is proposed and its potential is discussed in light of some empirical questions that remain. [The IASP Council has now approved a revised definition and published its rationale here: Pain 2020 Sep 1; 161(9), pp. 1976–1982. The new definition follows (most of) my recommendations.]. (shrink)

Several recent commentators argue that Thomas Hobbes’s account of the nature of science is conventionalist. Engaging in scientific practice on a conventionalist account is more a matter of making sure one connects one term to another properly rather than checking one’s claims, e.g., by experiment. In this paper, I argue that the conventionalist interpretation of Hobbesian science accords neither with Hobbes’s theoretical account in De corpore and Leviathan nor with Hobbes’s scientific practice in De homine and elsewhere. Closely tied to (...) the conventionalist interpretation is the deductivist interpretation, on which it is claimed that Hobbes believed sciences such as optics are deduced from geometry. I argue that Hobbesian science places simplest conceptions as the foundation for geometry and the sciences in which we use geometry, which provides strong evidence against both the conventionalist and deductivist interpretations. (shrink)

Definitions vary according to context of use and target audience. They must be made relevant for each context to fulfill their cognitive and linguistic goals. This involves adapting their logical structure, type of content, and form to each context of use. We examine from these perspectives the case of definitions in ontologies.

The main objective of this work was to produce a scientifically reasonable definition of God. The rationale was to generate a definition for filling a small part of the spiritual vacuum of the 21st century and thus initiate a new understanding of the Intelligence that permeates the cosmos with mystery, love, order, direction and morals. This resulted in the following definition: “God may be a-humanly incomprehensible-eternal cosmic existence, intimately related to the endlessness of space, to the nature of the deepest (...) common substance of matter and energy, to this common substance’s unceasing motion responsible for time, and to the basic laws of their allness, letting love transform this allness to an ordered Multiverse with a Soul: the—scientifically approachable—Soul of Multiverse inspired to guard these laws and equip their order with direction and morals while imbuing the cosmos with the potential of lives evolving, at the right spatial and temporal distances, to embrace the sense of the divine, thus justifying the existence of God.” The likely neural circuitry for sensing God in the human brain was identified as a network for spiritual data flow across the conscious and subconscious layers of the association cortical cognitive system exchanging data with the prefrontal cortical Self-Ken and modulated by inputs from the emotional and motivational systems of the brain. To study this mental process, the design of a God-Experience Monitor was also developed: a comfortably wearable combination of EEG and audiovisual-recorders tailored to at least partially capture the individual experiences of God anytime and at the very “genius loci” of such experiences. (shrink)

Legal definitions will be examined from three perspectives: their pragmatic function, their propositional structure, and their argumentative role. In law, definitions can be used for different pragmatic purposes: they can be uttered to describe a concept, or to establish a new meaning for a term. The propositional content of definitional speech acts can be different. In law, like in ordinary conversation, there might be different types of definition: we can define by providing examples, or showing the fundamental characteristics of (...) the concept defined, or listing the constituent parts of the denotatum. All these definitions play different argumentative roles in legal discourse. At a third level, definitions can be thought of as premises in complex patterns of reasoning (for the subject of reasoning from definition in law, see Aarnio 1977; Moore 1980; Lindahl, 2004). They constitute the fundamental element of argument from classification, namely a pattern of inference in which a new property (or a name) is attributed to an entity on the basis of other properties. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...) here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

In the history of philosophy, especially its recent history, a number of definitions of necessity have been ventured. Most people, however, find these definitions either circular or subject to counterexamples. I will show that, given a broadly Fregean conception of properties, necessity does indeed have a noncircular counterexample-free definition.

The official definition of ‘pain’ by the International Association for the Study of Pain (IASP) hasn’t seen much revision since its publication in 1979. There have been various criticisms of the definition in the literature from different quarters: that the definition implies a dubious metaphysical dualism, that it requires a strong form of consciousness as well as linguistic abilities, that it excludes many vulnerable groups that are otherwise perfectly capable of experiencing pain, that it has therefore unacceptable practical as well (...) as ethical consequences, that it is unhelpful to the health-care professional as an operational definition, that it is too narrow, and many others. In my view, most of these criticisms depend on misunderstandings or on uncharitable interpretations. My aim is to go over the definition, clarify some potential ambiguities, and argue that these criticisms don’t cut much ice. At the end, I will present a few slightly reworded versions of the definition that I claim are more felicitous and capture the original intended meaning by the members of the taxonomic committee in a much better and transparent way that avoids all the major extant criticisms in the literature. (Written for interdisciplinary audiences.). (shrink)

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring commitment is (...) not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

In this article, I use Edmund Gettier’s Ten Coins hypothetical scenario to illustrate some reasoning errors in the use of definite descriptions. The Gettier problem, central as it is to modern epistemology, is first and foremost an argument, which Gettier (Analysis 23(6):121–123, 1963) constructs to prove a contrary conclusion to a widely held view in epistemology. Whereas the epistemological claims in the case have been extensively analysed conceptually, the strategies and tools from other philosophical disciplines such as analytic philosophy of (...) language, logic and argumentation that Gettier deploys in the case have scarcely received any attention. This work abstracts from the epistemological content and examines Gettier’s handling of the definite description involved, and how that affects the cogency of his argument. (shrink)

In Posterior Analytics 71b9 12, we find Aristotle’s definition of scientific knowledge. The definiens is taken to have only two informative parts: scientific knowledge must be knowledge of the cause and its object must be necessary. However, there is also a contrast between the definiendum and a sophistic way of knowing, which is marked by the expression “kata sumbebekos”. Not much attention has been paid to this contrast. In this paper, I discuss Aristotle’s definition paying due attention to this contrast (...) and to the way it interacts with the two conditions presented in the definiens. I claim that the “necessity” condition ammounts to explanatory appropriateness of the cause. (shrink)

I discuss Aristotle's anomalous terminology in Physics A.1 (involving "universals" and "particulars") and its coherence with Aristotle's notion of scientific demonstration.

The paper revisits Sharvy's theory of plural definite descriptions. An alternative account of plural definite descriptions building on the ideas of plural quantification and non-distributive plural predication is developed. Finally, the alternative is extrapolated to account for generic uses of definite descriptions.