This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset. The first assumption concerns a very global intuition about the kind of semantic objects that we associate with interrogatives. The intuition is that there is an intimate relationship between interrogatives and their answers: an interrogative (...) determines what counts as an answer.2 Given a certain, independently motivated, view on what constitutes the meaning of an answer, this intuition, in return, determines what constitutes the meaning of an interrogative. For example, starting from the observation that answers are true or false in situations, we may be led to the view that answers express propositions, i.e., objects which determine a truth value in a situation. Given that much, our basic intuition says that interrogatives are to be associated with objects which determine propositions. Such objects will be referred to as ‘questions’ in what follows. Notice that all this is largely framework independent: we have made no assumptions yet about what situations, propositions, and questions are, we have only related them in a certain systematic way. In fact we will use a more or less standard, but certainly not uncontroversial, specification in what follows: situations are identified with (total) possible worlds; propositions with sets of worlds; and questions with equivalence relations on the set of worlds. The second assumption that plays a role in what follows is of a more linguistic nature. Interrogatives typically occur in two ways: as independent expressions, and as complements of certain verbs. The assumption is that these two ways of occurring are systematically related, not just syntactically but also semantically.3 Notice that the exact nature of this relationship is underdeter.. (shrink)

In three experiments we studied lay observers’ attributions of responsibility for an antisocial act (homicide). We systematically varied both the degree to which the action was coerced by external circumstances and the degree to which the actor endorsed and accepted ownership of the act, a psychological state that philosophers have termed ‘identification’. Our findings with respect to identification were highly consistent. The more an actor was identified with an action, the more likely observers were to assign responsibility to the actor, (...) even when the action was performed under constraints so powerful that no other behavioral option was available. Our findings indicate that social cognition involving assignment of responsibility for an action is a more complex process than previous research has indicated. It would appear that laypersons’ judgments of moral responsibility may, in some circumstances, accord with philosophical views in which freedom and determinism are regarded to be compatible. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

This paper consists of an investigation of three debates concerning propositional identity: the tension between structured propositions and higher-order logic, the principle Only Logical Circles, and Kaplan’s Paradox. The literature at large has mistaken the consequences of each of these debates. Structuralists are not committed to the claim that identical properties have different extensions; rather, they are committed to existence monism. Only Logical Circles does not preclude the identification of green in terms of grue; some further (and, as of yet, (...) undisclosed) principle is required for that result. And Kaplan’s Paradox does not count against the possible-worlds conception of propositions; it applies to every account of propositions whatsoever. (shrink)

I take some initial steps toward a theory of real definition, drawing upon recent developments in higher-order logic. The resulting account allows for extremely fine- grained distinctions (i.e., it can distinguish between any relata that differ in their syntactic structure, while avoiding the Russell-Myhill problem). It is the first account that can consistently embrace three desirable logical principles that initially appear to be incompatible: the Identification Hypothesis (if F is, by definition, G then F is the same as G), Irreflexivity (...) (there are no reflexive definitions) and Leibniz’s Law. Additionally, it possesses the resources to resolve the paradox of analysis. (shrink)

the article presents Jean Paul Sartre’s idea of the human body and the bodiliness described in his book Being and nothingness (1943). In this book, Sartre argued that every human relation is based on the objecti cation of one human by another, and entering into empathic contact is basically impossible. the author of the article has con onted this thesis with contemporary psychological and neuropsychological thought (mirror neuron theory) and has investigated how the category of empathy functions in literary (...) studies. A very important part of this article is the re ection on the presence and topicality of Sartre’s beliefs in the literature. the author has conducted an interpretation of Witold gombrowicz’s story Tancerz mecenasa Kraykow‐ s ego (1926) om the collection Bakakaj (1957), and has shown that the ideas presented by Sartre are re ected there in a very interesting way. Sartre’s philosophy turns out to be abso‐ lutely up‐to‐date right now, more than many psychological theories — it not only supplies a philosophical base for the analysis of human relations (those also presented in literature), but also gives a certain tool for describing them in the form of speci c language and terminology. (shrink)

Allegations of fraud involving falsification as research misconduct may result in severe consequences for those convicted. The focus of this article is the Public Health Service’s (PHS) definition of falsification . A well-articulated revised definition is required for veritable instances of falsification as misconduct to be consistently identified and potentially offer a framework for elucidation. A philosophical critique of the explicit definition is undertaken to determine what comprises falsification at its core, which could substantially reduce the number of allegations of (...) fraud as suspected instances of misconduct. The flaw in the PHS definition of falsification is due to circular logic, which allows anything to be proven according to it. Furthermore, to be confident that falsification has occurred, one must be certain of what is true when it has not occurred, which is demonstrated not to be plausible. falsification was found to be the most common type of fraud as misconduct alleged yet the rarest to be determined to occur because the flawed definition confounds what constitutes an occurrence of it. In addition to conceptual ambiguity and ignorance, allegations of falsification are suggested to occur strategically as maneuvers by researchers who may exploit the inherent flaw in the definition to eliminate rival competitors. -/- The purpose of part two is to critique the definition of falsification as research misconduct according to the Public Health Service (PHS) in order to better understand what it entails. In support of this purpose, the approach decided upon for analysis was philosophical including framing the issue borrowing from both mereological and epistemological perspectives. Through the consideration given to parthood relations of mereology, we gained insight from a cognitive imperfection standpoint about similarities that exist between the epistemic constraints on knowledge and the nature of violations concerning research misconduct. Findings from the examination of a case study include the significance of accuracy in representation in falsification as misconduct and the core dimensions comprising an instance of falsification, which are Deliberateness, Alteration, and Inclusion. Given that either behavior or actions must occur that violate these three aspects in order to qualify as an instance of misconduct under falsification, the author proposes that, at a minimum, any revisions made to the definition of falsification stipulate what he refers to as the Violation Imperative. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.

Moral value as it was understood by Nicolai Hartmann and by Max Scheler belongs uniquely to volitions or willings, to dispositions to will and to persons as beings capable of willing. Moreover, as understood in this paper as well as by Hartmann, Scheler, and Husserl, every volition necessarily involves if not actual valuings then reference to retained valuings and potential valuings as well as to cognitive mental phenomena. As used here, the terms 'volition' and 'willing' denote mental traits, such as (...) lived experiences and habits insofar as they either do or can occur actively. A trait of a mind or "monad" can have moral value — in contrast to utility, for example — only (would belong) insofar as it is or can be or could have been engaged in and so performed by the person or ego to whose mind the trait belongs . The classification of lived experiences as voluntary or not voluntary cuts across the three-fold classification of mental processes as cognitive, affective, or conative. This seems to be the most appropriate way of distinguishing the voluntary from the involuntary. Voluntary mental phenomena are characterized by the engagement of the ego in some lived experience occurring in the flux of its lived experiences, i.e., by taking position. " within the text below by numbers. End notes are referred to within square brackets [] linked to the notes and these link back to the text loci. Text printed in sepia has been emended. The brief passage in the text that occurs in angle brackets and in the same color as this introductory note has been added to state more pointedly an important issue>. (shrink)

The paper identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

In “Proof-Theoretic Justification of Logic”, building on work by Dummett and Prawitz, I show how to construct use-based meaning-theories for the logical constants. The assertability-conditional meaning-theory takes the meaning of the logical constants to be given by their introduction rules; the consequence-conditional meaning-theory takes the meaning of the logical constants to be given by their elimination rules. I then consider the question: given a set of introduction rules \, what are the strongest elimination rules that are validated by an assertability (...) conditional meaning-theory based on \? I prove that the intuitionistic introduction rules are the strongest rules that are validated by the intuitionistic elimination rules. I then prove that intuitionistic logic is the strongest logic that can be given either an assertability-conditional or consequence-conditional meaning-theory. In “Grounding Grounding” I discuss the notion of grounding. My discussion revolves around the problem of iterated grounding-claims. Suppose that \ grounds \; what grounds that \ grounds that \? I argue that unless we can get a satisfactory answer to this question the notion of grounding will be useless. I discuss and reject some proposed accounts of iterated grounding claims. I then develop a new way of expressing grounding, propose an account of iterated grounding-claims and show how we can develop logics for grounding. In “Is the Vagueness Argument Valid?” I argue that the Vagueness Argument in favor of unrestricted composition isn’t valid. However, if the premisses of the argument are true and the conclusion false, mereological facts fail to supervene on non-mereological facts. I argue that this failure of supervenience is an artifact of the interplay between the necessity and determinacy operators and that it does not mean that mereological facts fail to depend on non-mereological facts. I sketch a deflationary view of ontology to establish this. (shrink)

In graph theory, the concept of domination is essential in a variety of domains. It has broad applications in diverse fields such as coding theory, computer net work models, and school bus routing and facility lo cation problems. If a fuzzy graph fails to obtain acceptable results, neutrosophic sets and neutrosophic graphs can be used to model uncertainty correlated with indeterminate and inconsistent information in arbitrary real-world scenario. In this study, we consider the concept of domination as it relates (...) to single-valued neutrosophic incidence graphs (SVNIGs). Given the importance of domination and its utilization in numerous fields, we propose the application of dominating sets in SVNIG with valid edges. We present some relevant definitions such as those of valid edges, cardinality, and isolated vertices in SVNIG along with some examples. Furthermore, we also show a few significant sets connected to the dominating set in an SVNIG such as independent and irredundant sets. We also investigate a relationship between the concepts of dominating sets and domination numbers as well as irredundant and independence sets in SVNIGs. Finally, a real-life deployment of domination in SVNIGsis investigated in relation to COVID-19 vaccination locations as a practical application. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

In this paper, we analyse the relation between the use of environmental data in contemporary health sciences and related conceptualisations and operationalisations of the notion of environment. We consider three case studies that exemplify a different selection of environmental data and mode of data integration in data-intensive epidemiology. We argue that the diversification of data sources, their increase in scale and scope, and the application of novel analytic tools have brought about three significant conceptual shifts. First, we discuss the EXPOsOMICS (...) project, an attempt to integrate genomic and environmental data which suggests a reframing of the boundaries between external and internal environments. Second, we explore the MEDMI platform, whose efforts to combine health, environmental and climate data instantiate a reframing and expansion of environmental exposure. Third, we illustrate how extracting epidemiological insights from extensive social data collected by the CIDACS institute yields innovative attributions of causal power to environmental factors. Identifying these shifts highlights the benefits and opportunities of new environmental data, as well as the challenges that such tools bring to understanding and fostering health. It also emphasises the constraints that data selection and accessibility pose to scientific imagination, including how researchers frame key concepts in health-related research. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

Some commentators have condemned Kant’s moral project from a feminist perspective based on Kant’s apparently dim view of women as being innately morally deficient. Here I will argue that although his remarks concerning women are unsettling at first glance, a more detailed and closer examination shows that Kant’s view of women is actually far more complex and less unsettling than that attributed to him by various feminist critics. My argument, then, undercuts the justification for the severe feminist critique of Kant’s (...) moral project. (shrink)

The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...) in the practice are an integral part of the mathematical reasoning. As a matter of fact, they convey in a material form the relevant transitions and thus allow experts to draw inferential connections. Second, in low-dimensional topology experts exploit a particular type of manipulative imagination which is connected to intuition of two- and three-dimensional space and motor agency. This imagination allows recognizing the transformations which connect different pictures in an argument. Third, the epistemic—and inferential—actions performed are permissible only within a specific practice: this form of reasoning is subject-matter dependent. Local criteria of validity are established to assure the soundness of representationally heterogeneous arguments in low-dimensional topology. (shrink)

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

It is clear that beliefs can be assessed both as to their justification and their rationality. What is not as clear, however, is how the rationality and justification of belief relate to one another. Stewart Cohen has stumped for the popular proposal that rationality and justification come to the same thing, that rational beliefs just are justified beliefs, supporting his view by arguing that ‘justified belief’ and ‘rational belief’ are synonymous. In this paper, I will give reason to think that (...) Cohen’s argument is spurious. I will show that ‘rational’ and ‘justified’ occupy two distinct semantic categories – ‘rational’ is an absolute gradable adjective and ‘justified’ is a relative gradable adjective – telling against the thought that ‘rational belief’ and ‘justified belief’ are synonymous. I will then argue that the burden of proof is on those who would equate rationality and justification, making the case that those who hold this prominent position face the difficulty of explaining how rationality and justification come to the same thing even though ‘rational’ and ‘justified’ are not synonymous. (shrink)

To test the hypothesis of a participation of inner speech in self-referential activity we reviewed 59 studies measuring brain activity during processing of self-information in the following self-domains: agency, self-recognition, emotions, personality traits, autobiographical memory, preference judgments, and REST. The left inferior frontal gyrus (LIFG) has been shown to sustain inner speech use. We calculated the percentage of studies reporting LIFG activity for each self-dimension. 55.9% of all studies reviewed identified LIFG (and presumably inner speech) activity during self-awareness tasks. Furthermore, (...) the LIFG was more frequently recruited during conceptual tasks (e.g., emotions, traits) than during perceptual tasks (e.g., agency, self-recognition). This supports the view of a relative involvement of inner speech in self-reflective processes. Crown Copyright © 2007 Published by Elsevier Inc. All rights reserved. (shrink)

The present paper wants to promote epistemic pluralism as an alternative view of non-classical logics. For this purpose, a bilateralist logic of acceptance and rejection is developed in order to make an important di erence between several concepts of epistemology, including information and justi cation. Moreover, the notion of disagreement corresponds to a set of epistemic oppositions between agents. The result is a non-standard theory of opposition for many-valued logics, rendering total and partial disagreement in terms of epistemic negation (...) and semi-negations. (shrink)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...) statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

This paper assesses branching spacetime theories in light of metaphysical considerations concerning time. I present the A, B, and C series in terms of the temporal structure they impose on sets of events, and raise problems for two elements of extant branching spacetime theories—McCall’s ‘branch attrition’, and the ‘no backward branching’ feature of Belnap’s ‘branching space-time’—in terms of their respective A- and B-theoretic nature. I argue that McCall’s presentation of branch attrition can only be coherently formulated on a model with (...) at least two temporal dimensions, and that this results in severing the link between branch attrition and the flow of time. I argue that ‘no backward branching’ prohibits Belnap’s theory from capturing the modal content of indeterministic physical theories, and results in it ascribing to the world a time-asymmetric modal structure that lacks physical justification. (shrink)

A logic is called higher order if it allows for quantification over higher order objects, such as functions of individuals, relations between individuals, functions of functions, relations between functions, etc. Higher order logic began with Frege, was formalized in Russell [46] and Whitehead and Russell [52] early in the previous century, and received its canonical formulation in Church [14].1 While classical type theory has since long been overshadowed by set theory as a foundation of mathematics, recent decades have shown remarkable (...) comebacks in the fields of mechanized reasoning (see, e.g., Benzm¨. (shrink)

The principle of common but differentiated responsibilities is a key principle in inter- national climate and environmental governance. This paper explores the normative impli- cations of the differentiation of responsibilities. I explain how responsibility as a four-digit relation can be used to reconstruct the complex networks of responsibilities in climate and environmental governance. I argue that depending on the area, governance level and concrete case of climate and environmental governance, other or differently specified norms become relevant for the differentiation of (...) responsibilities. However, I show that the attribution of responsibility must always consider the actors’ ability for responsibility. I argue that it is not only the fairness of the attribution of responsibilities that matters, but the capacity for responsibility of the relevant agents and their dependence on networks and institutions of responsibility. (shrink)

In a study drawing from both evolutionary biology and the social sciences, evidence and argument is assembled in support of the comprehensive appli- cation of selfish gene theory to the human population. With a focus on genes giving rise to characteristically-human cooperation (“cooperative genes”) in- volving language and theory of mind, one may situate a whole range of pat- terned behaviour—including celibacy and even slavery—otherwise seeming to present insuperable difficulties. Crucially, the behaviour which tends to propa- gate the cooperative (...) genes may be “at cost” to the genes of some who may be party to the cooperation itself. Explanatory insights are provided by Trivers’ parent-offspring conflict theory, Lack’s principle, and Hamilton’s kin selec- tion mechanism. A primary observation is that cooperation using language and theory of mind is itself interdependent with full human conceptualization of a world of objects and of themselves as embodied beings. Human capaci- ties inhering in, or arising out of, the ability to cooperate are also responsible for a vitally important long-term process, the domestication of animals and p- lants. The approach illuminates the difference between animal and human sexual behaviour, and the emergence of kinship systems. Again, recent pat- terns of population growth become much more explicable. It is argued that the gene is the single controlling replicator; the notion of the meme as a sec- ond independent replicator is flawed. (shrink)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional (...) complements the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

Die Aufgabe der christlichen Theologie ist es, der Dolmetscher des Evangeliums in jeder Generation zu sein. Evangelium bedeutet hier nicht nur Schrift, sondern vor allem eucharistische Überlieferung als lebendige Erfahrung des Reiches Gottes, welches kommenwird. Die Geschichte sorgte dafür, dass auch der Begriff der Theologie mehrere Bedeutungen bekommt – Wort über Gott, Gespräch mit Gott, theoretische Disziplin unterstützt durch Praxis, Pra-xis unterstützt durch Theorie. Es ist ein wenig seltsam, über den Platz der Theologie in der christlichen Tradition zu sprechen, weil (...) die beiden oft miteinander identiziert werden. Wenn wir die Entwicklung des Begriffs der Theologie analysieren, sowohl in der vorchristlichen als auch in derchristlichen Zeit, werden wir sehen, dass diese Frage nicht ohne Grundlage ist. (shrink)

Existence of state-supported academies of science is a distinctive feature of the fundamental-science organization in Ukraine. Their research staff is divided into two groups: (i) personal members (academicians and corresponding members) and the rest of the researchers. First-group members have numerous economic and status privileges. It is officially purported that personal members are scientifically qualified than their colleagues. We analyzed this hypothesis on the basis of international indicators of the scientifi c activity (numbers of publications in the international peer-reviewed journals (...) and citations in them). The indicators testify that there are no distinctions between representatives of both groups being of the same age and qualifi cation. A conclusion is made that the lifelong privileges of the first group are ill-founded. (shrink)

This paper is about conjunctions and disjunctions in the scope of non-doxastic atti- tude verbs. These constructions generate a certain type of ignorance implicature. I argue that the best way to account for these implicatures is by appealing to a notion of contex- tual redundancy (Schlenker, 2008; Fox, 2008; Mayr and Romoli, 2016). This pragmatic approach to ignorance implicatures is contrasted with a semantic account of disjunctions under `wonder' that appeals to exhausti cation (Roelofsen and Uegaki, 2016). I argue (...) that exhausti cation-based theories cannot handle embedded conjunctions, so a pragmatic account of ignorance implicatures is superior. (shrink)

This paper concerns the question of how to specify what is to count as physical for the purposes of debates concerning either physicalism or the completeness of physics. I argue that what is needed from an account of the physical depends primarily on the particular issue at stake, and that the demand for a general a priori specification of the physical is misplaced. A number of attempts to say what should be counted as physical are defended from recent attacks by (...) Chris Daly, and a specific proposal due to David Papineau developed and extended. I argue that this approach is more than suitable for the debates for which it is intended. (shrink)

Many epistemologists treat rationality and justification as the same thing. Those who don’t lack detailed accounts of the difference, leading their opponents to suspect that the distinction is an ad hoc attempt to safeguard their theories of justification. In this paper, I offer a new and detailed account of the distinction. The account is inspired by no particular views in epistemology, but rather by insights from the literature on reasons and rationality outside of epistemology. Specifically, it turns on a version (...) of the familiar distinction in meta-ethics between possessing apparent normative reasons (which may be merely apparent) and possessing objective normative reasons. The paper proceeds as follows. In §1, I discuss the history of indifference to the distinction between rationality and justification in epistemology and the striking contrast with meta-ethics. I introduced the distinction between apparent reasons and possessed objective reasons in §2 and provide a deeper basis for it in §3. I explain how the ideas extend to epistemology in §4 and explore the upshots for some central issues in §5. (shrink)

The de nition of qualia — a contribution to logical philosophy In my article, I propose an abstract de nition of a quale, which (generally speaking) identi es qualia with sets belonging to certain relational structures. I maintain that my de nition, by not taking advantage of psychological terms, makes the notion of a quale more understandable and the existence of qualia themselves less disputable than is commonly supposed. In addition, I brie y discuss the traditional concept of a (...) quale. (shrink)

The aim of the article is to defi ne a certain type of argumentation, which has been scarcely described so far in either Polish or foreign literature in the fi eld of argumentation theory, and thus to systematize the problems of research on semantic procedures in argumentation. The analysis of the ways in which a modifi cation of meaning can affect the power of arguments inclines to distinguish a new type of argumentation - semantic argumentation. The concepts of persuasive (...) defi nition and classifi cation as well as methods of their application in the formulation of an argument will also be analyzed. The defi nition of semantic argumentation proposed here may give rise to some problems, typical when introducing a new concept, which is why the second part of the article is devoted to the issues related to the proposed shape of the defi nition. The defi nition is necessary for further research on semantic argumentation, its typology and for the assessment of its correctness. (shrink)

Many biologists and philosophers have worried that importing models of reasoning from the physical sciences obscures our understanding of reasoning in the life sciences. In this paper we discuss one example that partially validates this concern: part-whole reductive explanations. Biology and physics tend to incorporate different models of temporality in part-whole reductive explanations. This results from differential emphases on compositional and causal facets of reductive explanations, which have not been distinguished reliably in prior philosophical analyses. Keeping these two facets distinct (...) facilitates the identifi cation of two further aspects of reductive explanation: intrinsicality and fundamentality. Our account provides resources for discriminating between different types of reductive explanation and suggests a new approach to comprehending similarities and differences in the explanatory reasoning found in biology and physics. (shrink)

We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of "enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...) variations. The intended applications concern the representation of cognitive aspects of classi cation tasks: the interdependencies among the attributes that de ne a concept, the prototype of a concept, and the typicality of the instances. (shrink)

In contemporary discussions on identity, difference and subjectivity, the thinking of Judith Butler has played a significant role, viewing identity as a problematic question of how the subject is constituted by historical structures of power that deprives it of original ownness and substantiality. As this situation for Butler stems neither from a historical occurrence, nor is clearly ontological, the question of the origin of this problem of identity and power remains. Through the thinking of Martin Heidegger, the present study develops (...) the argument that this problem indicates the completion of subject metaphysics, not its overcoming. When identity is thought and lived in terms of subjectivity, power will be its condition. This argument is first developed through a comparison of Butler’s and Heidegger’s respective appropriations of He-gel’s philosophy, together with an independent account of Hegel’s thinking. For Hegel, identi-ty involves a strive for being as a mediation of subjectivity and objectivity, where conscious-ness incorporates both beyond their split. According to Butler, this is impossible, as subjectivi-ty and objectivity are multiple, temporal and shared. For Heidegger however, the problem lies in the very thought of being as a connection of subjectivity and objectivity, and the under-standing of the human as the ground of this reconciliation. I will thereafter examine Heidegger’s “The Principle of Identity” (1957) as a response to this metaphysical comprehen-sion of identity. Here, Heidegger develops his notion of a belonging-together of man and be-ing, as a Sameness grounded in an enduring of the ontological difference between being and beings. In holding out this difference, man discovers that his primary belonging is that to the very being of his existence as such, rather than beings of subjective or objective kind. The no-tion of belonging-together is closely connected to the notion of the event (Ereignis), signify-ing Sameness as occurrence. The study covers Butler’s central writings up to 2006, Hegel’s Encyclopedia Logic, Science of Logic and Phenomenology of Spirit, as well as the whole of Heidegger’s late thought on this topic from the 30’s and onward together with a selection of his earlier works, among them Being and Time. (shrink)

These days, a number of philosophers of science indulge in lamenting about a crisis of their discipline. They complain about its loss of relevance, and bemoan the mar gi na lization of their dis cipline in the philosophical community and in the wider academia , Hardcastle and Richardson ). The Munich take on the philosophy of science does not succumb to this temptation. According to it, philosophy of science is well and alive. In Carlos Ulises Moulines’s Die Entwicklung der modernen (...) Wissen schaftstheorie Eine historische Einführung the word “crisis” is used only in reference to the 1940s when clas sical logical positivism encountered some dif fi culties in dealing with problems concerning veri fi cation, the ana ly tic/synthetic distinction, and similar conundrums. For Moulines, “crisis” is not a word that applies to contemporary philosophy of science. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at the core of (...) the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

The Emotion Ontology is an ontology covering all aspects of emotional and affective mental functioning. It is being developed following the principles of the OBO Foundry and Ontological Realism. This means that in compiling the ontology, we emphasize the importance of the nature of the entities in reality that the ontology is describing. One of the ways in which realism-based ontologies are being successfully used within biomedical science is in the annotation of scientific research results in publicly available databases. Such (...) annotation enables several objectives, including searching, browsing and cross-database data integration. A key benefit conferred by realismbased ontology is that suitably annotated research results are able to be aggregated and compared in a fashion that is based on the underlying reality that the science is studying. This has the potential of increasing the power of statistical analysis and meta-analysis in data-driven science. This aspect has been fruitfully exploited in the investigation of the functions of genes in molecular biology. Cognitive neuroscience uses functional neuroimaging to investigate the brain correlates of areas of mental functioning such as memory, planning and emotion. The use of functional neuroimaging to study affective phenomena such as the emotions is called ‘affective neuroscience’. BrainMap is the largest curated database of coordinates and metadata for studies in cognitive neuroscience, including affective neuroscience (Laird et al., 2005). BrainMap data is already classified and indexed using a terminology for classification, called the ‘Cognitive Paradigm Ontology’ (CogPO), that has been developed to facilitate searching and browsing. However, CogPO has been developed specifically for the BrainMap database, and the data are thus far not annotated to a realism-based ontology which would allow the discovery of interrelationships between research results across different databases on the basis of what the research is about. In this contribution, we describe ongoing work that aims to annotate affective neuroscience data, starting with the BrainMap database, using the Emotion Ontology. We describe our objectives and technical approach to the annotation, and mention some of the challenges. (shrink)

The purpose of this paper is to present two kinds of analogical representational change, both occurring early in the analogy-making process, and then, using these two kinds of change, to present a model unifying one sort of analogy-making and categorization. The proposed unification rests on three key claims: (1) a certain type of rapid representational abstraction is crucial to making the relevant analogies (this is the first kind of representational change; a computer model is presented that demonstrates this kind of (...) abstraction), (2) rapid abstractions are induced by retrieval across large psychological distances, and (3) both categorizations and analogies supply understandings of perceptual input via construing, which is a proposed type of categorization (this is the second kind of representational change). It is construing that finalizes the unification. (shrink)

Ontologies are being developed throughout the biomedical sciences to address standardization, integration, classification and reasoning needs against the background of an increasingly data-driven research paradigm. In particular, ontologies facilitate the translation of basic research into benefits for the patient by making research results more discoverable and by facilitating knowledge transfer across disciplinary boundaries. Addressing and adequately treating mental illness is one of our most pressing public health challenges. Primary research across multiple disciplines such as psychology, psychiatry, biology, neuroscience and pharmacology (...) needs to be integrated in order to promote a more comprehensive understanding of underlying processes and mechanisms, and this need for integration only becomes more pressing with our increase in understanding of differences among individuals and populations at the molecular level concerning susceptibility to specific illnesses. Substance addiction is a particularly relevant public health challenge in the developed world, affecting a substantial percentage of the population, often co-morbid with other illnesses such as mood disorders. Currently, however, there is no straightforward automated method to combine data of relevance to the study of substance addiction across multiple disciplines and populations. In this contribution, we describe a framework of interlinked, interoperable bio-ontologies for the annotation of primary research data relating to substance addiction, and discuss how this framework enables easy integration of results across disciplinary boundaries. We describe entities and relationships relevant for the description of addiction within the Mental Functioning Ontology, Chemical Entities of Biological Interest Ontology, Protein Ontology, Gene Ontology and the Neuroscience Information Framework ontologies. (shrink)

The aspiration for volitional evolution, or human evolution directed by humans themselves,has increased in philosophical, scientific, technical, and commercial literature. The prospect of shaping the very being who is the consumer of all other innovations offers great commercial potential, one to which all other innovations would in effect be subservient. Actually an amalgam of projected technical/commercial developments, this prospective innovation has practical and ethical ramifications. However, because it is often discussed in a scientific way (specifically that of evolutionary theory), it (...) first calls for examination in terms of common scientific approaches to evolution. Yet, as evolutionary-theory controversies point up, evolution may be considered as neither a directed nor a directable process – a problem for the ontology of volitional evolution. One challenge for theories and programs aiming to implement the proposed innovation is then whether it is theoretically coherent. While I offer responses to the challenge in the form of objections, these in turn remain problematic. Two central issues of responsible innovation arise: (1) If this prospect were feasible, would it be responsible to implement it, and (2) if it is not even theoretically coherent, is it responsible for innovators, even this early-on, to keep promoting it as if it were? (shrink)

This article first of all attempts to assess the proposals of 2006–2007 to amend Poland’s Constitution, aimed mostly at strengthening constitutional protection of unborn human life. Parliamentary work on this proposal begins with the submission of the Deputy’s bill on amendment of the Constitution, published in the Sejm Paper No. 993 of September 5, 2006, and ends with a series of votes at the 39th sitting of the Sejm of the fifth term of office, held on April 13, 2007, on (...) which it was decided not to adopt any amendment. In the course of the legislative process, several modifi cation were offered not only to Article 38 concerning protection of life, but also to Article 30 dealing with dignity as a source of rights. Each of these proposals had drawbacks, including inter alia: the lack of a definite period of protection or entitlement to dignity, resulting in the decreased protection in relation to issues concerning euthanasia; the application of new categories granting a specific status to unborn human life; specifying the standards for protection by means of legislative acts ranking lower than a constitution, resulting in the transfer of life protection into the sphere of regulation of ordinary legislation. The most conducive for strengthening of the protection of unborn human life, even if not free of imperfections, was an amendment of Article 30 proposed by the Committee in the following wording: “The inherent and inalienable dignity, conferred on the person from the moment of conception, shall be a source of freedoms and rights of persons and citizens. It shall be inviolable; the respect and protection thereof shall be the obligation of public authorities.” From the rejection of the proposals it is diffi cult to draw conclusions that are vital for interpretation of the existing provisions. However, a conclusion that the intention of the authors of the constitution was not to strengthen the constitutional protection of life is not legitimate, mostly because of their doubts about formal correctness of the proposed amendments (when deciding to reject them), particularly the doubts about legal consequences of their adoption. -/- Streszczenie Zasadniczym celem opracowania jest próba całościowej oceny propozycji nowelizacji Konstytucji RP mającej miejsce w latach 2006-2007, zmierzającej przede wszystkim do wzmocnienia konstytucyjnej ochrony życia człowieka przed narodzeniem. Prace parlamentarne nad analizowaną nowelizacją otwiera poselski projekt ustawy o zmianie Konstytucji zawarty w druku sejmowym 993 z dnia 5 września 2006 (projekt wpłynął do Sejmu 7 września); zamyka seria głosowań na 39 posiedzeniu Sejmu V kadencji, dnia 13 kwietnia 2007 roku; głosowań, które przesądziły o niewprowadzeniu żadnych zmian. W trakcie procesu legislacyjnego proponowano szereg formuł, zmieniających nie tylko art. 38 dotyczący ochrony życia, ale także art. 30, który dotyczy godności jako źródła praw. W zasadzie wszystkie zgłoszone propozycje posiadały wady, wśród których najważniejsze to: brak domknięcia okresu ochrony lub przysługiwania godności, skutkujący obniżeniem ochrony w kwestiach związanych z eutanazją; stosowanie nowych kategorii, prowadzące do nadania specyficznego statusu człowiekowi przed narodzeniem; określanie standardu ochrony za pośrednictwem aktów o randze niższej od konstytucji, prowadzące do przesunięcia ochrony życia przed narodzeniem w sferę ustawodawstwa zwykłego. Z punktu widzenia celu, jakim było wzmocnienie konstytucyjnej ochrony życia człowieka przed narodzeniem i wzmocnienie jego pozycji prawnej, najlepsza, choć nie pozbawiona usterek, była zaproponowana przez Komisję zmiana brzmienia art. 30 prowadząca do formuły: „Źródłem wolności i praw człowieka i obywatela jest przyrodzona i niezbywalna godność człowieka, przynależna mu od chwili poczęcia. Jest ona nienaruszalna, a jej poszanowanie i ochrona jest obowiązkiem władz publicznych.”. Na podstawie odrzucenia propozycji zmian trudno wyciągać wnioski istotne dla interpretacji aktualnie obowiązujących przepisów; wniosek, że ustrojodawca nie chciał wzmocnienia konstytucyjnej ochrony życie nie jest prawomocny, przede wszystkim ze względu na – istotne w procesie podejmowania decyzji o odrzuceniu propozycji zmian – wątpliwości, co do formalnej poprawności formułowanych propozycji, w tym wątpliwości co do konsekwencji prawnych ich przyjęcia. (shrink)

Under which conditions are we epistemically justied to believe that what other people tell us is true? Traditionally, the answer has either been reductionist or anti-reductionist: Either our justication reduces to non-testimonial reasons, or we have a presumptive, though defeasible, right to believe what we are told. However, different cases pull in different directions. Intuitively, someone asking for the time is subject to different epistemic standards than a surgeon consulting a colleague before a dangerous operation. Following this line of (...) thought, this paper develops an account of testimonial justication that captures our reductionist as well as our anti-reductionist intuitions. It is argued that the speaker’s commitment to an epistemic norm, as well as the hearer’s understanding of that norm, gives the hearer a presumptive right to believe what she is told. However, this justication doesn’t apply to situations with high practical risks. Here, the hearer needs reductive reasons to believe that her interlocutor is especially qualied to give her the desired information. (shrink)

>e paper studies the discussion about human good in Eudemian Ethics I.7. It is particularly concerned with the existence, in the text, of two characteristics of the human good: its peculiarity, on the one hand, which consists not only in the quali- (cation ‘human’ (anthropinon), but also in the assignment of this good to the domain of action (the activity that distinguishes humans from other beings), and, on the other hand, the fact that it belongs to a spectrum containing (...) the goods of other beings, like god and the remaining living beings. Divinity works as the standard for the distinction between eudaimonic goods – belonging to beings whose nature implies participation in the divine (humans, for example) – and non-eudaimonic goods that belong to those beings deprived of such participation. Resorting to other passages from the Eudemian Ethics, as well as other texts from the corpus, the paper defends that the two characteristics of the human good presented in EE I.7 foreshadow an important di?erence between the two Aristotelian treatises on eudaimonia: whereas the Nicomachean Ethics emphasizes contemplation as the activity through which humans participate in the divine, the Eudemian Ethics stresses virtuous actions as a human activity related to the divine. (shrink)