Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

My paper provides reasons in support of the view that vague identity claims originate from a conflict between rigidity and precision in designation. To put this stricly, let x be the referent of the referential terms P and Q. Then, that the proposition “that any x being both a P and a Q” is vague involves that the semantic intuitions at work in P and Q reveal a conflict between P and Q being simultaneously rigid and precise designators. After having (...) shortly commented on an example of vague identity claim, I make the case for my proposal, by discussing how reference by baptism conflicts with descriptive attitudes towards understanding conceptual contents. (shrink)

Most literature on religious beliefs and disagreements among traditions focuses on a bit of mainstream assumptions: religions should be construed in substantive terms; religions are to be individuated by their core belief systems; adherents to a single tradition assent to the same belief system; religious beliefs have factual content; incompatible religious beliefs cannot be both true; and so on. In my work I question all these claims in order to defend a non kantian approach to deep pluralism. In the first (...) part I develop a narrative theory of doxastic practices. My fundamental intuition is that ambiguity, vagueness, and indeterminacy of meaning are non amendable features of any ordinary belief. Consequently, no proposition has a definite meaning, and there is no a priori reason to assume that if two believers assume the same belief, they both hold the same content. What I'm trying to do is to argue in support of a realist epistemology, without assuming a normative and rationalist stance. My evidential body is mainly drawn from psychology and psychoanalysis. In the second part I apply such a narrative theory to the study of the doxastic character of religions. I reject both functionalist and substantive approaches to religion, and I defend my own viewpoint which I label experentialism. After providing a characterization of religious beliefs, I refute how Alston, Ward and Hick account for the the doxastic features of religions. I then propose a definition of religious diversity which turns out to be alternative to the mainstream one. I work by empirical evidence from semiotics, sociology of religion and history of religions. In the third and conclusive part of my book, I give reasons against the mainstream approach to religious diversity, and I explain how my definition can be more appropriate to the sociological study of religious beliefs than the mainstream one. Finally, I provide an account of deep pluralism, I show that my approach to religious epistemology and religions is compatible with (and recommended by) deep pluralism, I differentiate kantian from non kantian pluralism, and I explain why non kantian deep pluralism resists the traditional objections to pluralism. Throughout the book I discuss relevant materials from Hinduism, Judaism, Christianity, and Islam. (shrink)

My paper characterizes religious beliefs in terms of vagueness. I introduce my topic by providing a general overview of my main claims. In the subsequent section, I develop basic distinctions and terminology for handling the notion of religious tradition and capturing vagueness. In the following sections, I make the case for my claim that religious beliefs are vague by developing a general argument from the interconnection between the referential opacity of religious belief content and the long-term communitarian history of the (...) precisification of what such content means. I start from describing an empirical example in the third section, and then I move to settle the matter in a conceptually argumentative frame in the fourth one. My conclusions in the final section address a few of consequences relevant to debates about religious epistemology and religious diversity. (shrink)

Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...) to which the issues at stake are ‘conceptualized’. We argue here that once all the conditions needed for deliberation to bring about single-peakedness through meta-agreement are unpacked and made explicit, meta-agreement turns out to be a highly demanding condition, and one that is very inhospitable to pluralism. (shrink)

An overview of the recent debate on the Trinity in the analytic philosophy of religion. I move from putting forward the Logical Problem of the Trinity (LPT) according to R.Cartwright and M.Rea. I then define two useful notions in order to evaluate the interpretive force of the mainstream approaches to answer LPT; i.e. , be X a concept, I define maximally robust reading of X and sufficiently robust reading of X. In the subsequent section, I offer an expository analysis of (...) Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism in line with such concepts. I finally advance some reasons why neither of these properly work. My main argument is that every traditional phrasing of the doctrine of the Trinity asks Christians to hold maximally robust reading both of the onefoldness of God and the threefoldness of Divine Persons. Now, while Latin Trinitarianism, Social Trinitarianism and Material Constitution Trinitarianism provide maximally robust account of God's onefoldness, they can't give a maximally robust account for Persons' threefoldness. (shrink)

Many aspects of how humans form and combine concepts are notoriously difficult to capture formally. In this paper, we focus on the representation of three particular such aspects, namely overexten- sion, underextension, and dominance. Inspired in part by the work of Hampton, we consider concepts as given through a prototype view, and by considering the interdependencies between the attributes that define a concept. To approach this formally, we employ a recently introduced family of operators that enrich Description Logic languages. These (...) operators aim to characterise complex concepts by collecting those instances that apply, in a finely controlled way, to ‘enough’ of the concept’s defin- ing attributes. Here, the meaning of ‘enough’ is technically realised by accumulating weights of satisfied attributes and comparing with a given threshold that needs to be met. (shrink)

Evolutionary research on the biological fitness of groups has recently given a prominent value to the role that prosocial behaviors play in favoring a successful adaptation to ecological niches. Such a focus marks a paradigm shift. Early views of evolution relied on the notion of natural selection as a largely competitive mechanism for the achievement of the highest amount of resources. Today, evolutionists from different schools think that collaborative attitudes are an irremovable ingredient of biological change over time. As a (...) consequence, a number of researchers have been attracted by evolutionary studies of human behaviors. Some think that a continuity among prosocial attitudes of human beings and other social mammals can be detected, and that this fact has relevance for accounting for human morality. Others deny one or the other of these claims, or both. The papers in the present special issue address how these topics impact ethics and religion. (shrink)

Intractable disagreements are commonly analyzed in terms of the semantic opposition of (at least) couples of disputed beliefs (purely epistemic view, from here on PEV). While such a view seems to be a very natural starting point, my intuitions are that such an approach is misleadingly unrealistic, and that an empirical modeling towards how individuals hold beliefs in intractable opposition constitutes a strong defeater for PEV. My work addresses disagreements within the religious domain. Accordingly, I will be concerned with developing (...) my empirical understanding of religious beliefs, and will show the consequences of such proposal on how to answer the problem of religious diversity. (shrink)

According to René Girard, all religious traditions - and so every tradition- originate from a communitarian violence towards a randomly chosen individual. I provide an introductory construal of Girard’s proposal in the first section of my paper. In the second section, I will address a conceptual view of the theory by making explicit its principles and their inferential relations. In the third section, I will explain how philosophers of language address slurs and hate-speech. Particularly, I will apply such materials to (...) Girard’s assumption that the three friends’ discourses to Job are instances of hate-speech. My purpose is to defend the use of a presuppositional account of derogatory epithets in the philosophy of religion, and to argue for the legitimacy of reading a number of religious statements which cement a social group into a “we” in opposition to an individual who is individuated as an instance of a “not-we” as slurs. In the fourth section, I will argue that, if Girard is right in thinking that speech-hate and the use of slurs are means for the identification of a scapegoat within a group, then Girard’s theory needs to be adjusted in order to accommodate some obvious difficulties. Finally, in the fifth section, I will sum up my conclusions and then provide a few suggestions for defending the theory. (shrink)

Discuto la tesi di Micheletti secondo la quale ogni spiegazione fattuale presuppone premesse di ordine superiore rispetto alla spiegazione (M.Micheletti, “Radical Divine Alterity and the God-World Relationship”). Nella prima sezione del testo introdurrò la tesi, muovendo dalla analisi di alcuni esempi di spiegazione, ed elencherò le ragioni che (apparentemente) richiedono la postulazione di higher-degree propositions per rendere conto di factual propositions. Nella seconda sezione regimenterò logicamente la tesi di Micheletti. Nella terza sezione discuterò la validità della logica della spiegazione così (...) introdotta, con un’attenzione particolare alla analisi semantica della nozione di spiegazione, allo statuto modale delle ragioni che costituiscono una spiegazione, e all’approccio grammaticale alle higher order propositions. Nella quarta e ultima sezione avanzerò brevissime considerazioni conclusive. (shrink)

The paper is divided in two parts. The first presents my exegesis of the fourth chapter of the Gospel of John. My main claim is that the composer of the text manipulate the chronological order of miracles in his "signs source" in order to approach the story of the woman from Samaria together to the healing of the son of the roman officer in Kapharnaus. The two episodes deal with two different ways to convert to faith. Consequently, they provide a (...) complete phenomenology of the formation process of religious belief. The second part considers two fundamental interpretations of the johannine notion of faith, i.e. the fideistical and the existentialist. I reject both: the first is logically inconsistent within the Johannine framework (the Gospel of John assumes principles whose consequences contradict the fideistic interpretation of faith); the second is ontologically senseless. (shrink)

My paper challenges the externalist mainstream assumptions towards the understanding of religious beliefs (i.e., reliabilism by W.Alston, the warrant belief approach by A.Plantinga, the neowittgensteinian analysis of doxastic systems). According to such assumptions, religious beliefs should be evaluated rational in terms of the same doxastic standard giving justification for ordinary factual beliefs. Moving from the empiricist intuition that the kind of content of belief matters to the form of belief and the justification practices for it, I argue for the claim (...) that religious beliefs do not concern facts or experiences but assiological interpretations of facts or experiences. After some brief introductory considerations, in the second section of my paper I provide criteria for distinguishing between factual and non factual beliefs, and I offer a general account for the doxastic spectrum. In the subsequent section I characterize the assumption of religious beliefs as qualitative, mostly implicit and in the de dicto modality. In order to prove my characterization I draw a phenomenology of religious belief from individual testimonies concerning religious conversion. I finally conclude answering some objections in the fourth section of the paper. (shrink)

George Berkeley (1685-1753) is one of the most influential early modern philosophers, and in reason of this a never-ending critical interest focuses on his works. Such a critical attention gave rise to a broad literature and it is in fact quite easy to find valuable introductory books to Berkeley's works. It would be thus superfluous to provide a further summary of the entire production of Berkeley. Rather, I focus on a specific issue, namely the main points of interest of immaterialism (...) for the contemporary debates in philosophy. The currently most discussed Berkeleian arguments are those from his earlier production (those developed around 1709-1713). Thus, I will be mainly concerned with the conceptual structure of A Treatise Concerning the Principles of Human Knowledge. Among Berkeley's early works, this is the one that was thought as a systematic illustration for philosophers of his ideas. (shrink)

We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.

I consider an argument by Plotinus to show how the notion of transcendence is used in explaining the nature of knowledge. The argument is set forth in sections 4-6 of the treatise V.8 (31). In my opinion this argument provides a good example of the philosophical frame of Platonism. I sum up this frame in the following theses: a) for a thing being is to be real and true; so that for a thing being real and being true is equivalent; (...) but b) for a thing being real and true means being intelligible; that is to say: a thing could be understood because that thing is a being; thus, c) for a thing being is the identity of its ontological and epistemological nature. (shrink)

An introduction to how heteronomous views address the topic of moral autonomy. In the first section I provide a short history of the rise of the autonomy stance in meta ethics. Then I sketch the relationship between Kant and mainstream contemporary Kantians. I finally outline a summary of the papers in the special issue of Dialegesthai.

My paper moves from Kant's taxonomy for the arguments for the existence of God. After providing a brief survey of Kant's account, I claim that contemporary arguments from design fit Kant's characterization of the physico-theological argument. Then, in the second section, I deal with the logical frame of the argument from design. In the third section I introduce Berkeley's divine language argument (DLA), in order to demonstrate that DLA is an argument from design. Consequently, in the fourth section, I give (...) a refutation of Hooker's and Kline's reading of DLA. Finally, in the last section, I take Berkeley's DLA as a paradigmatic case of the argument from design, showing a fundamental difficulty the argument endorses. (shrink)

The critical target of my paper is the normativist stance of Kantian meta ethics. After a very short introduction, I develop a characterization of contemporary mainstream Kantism as a conjunction of a normativist claim, a rationalist claim and a proceduralist claim. In the subsequent section I make the case against the normativist claim by drawing a counterexample, and defend the relevance of such counterexample as a reason that defeats the appeal of the Kantian approach to meta ethics. I finally conclude (...) by highlighting the main reasons why the challenge my counterexample rises are not answerable within a Kantian framework. (shrink)

My paper addresses what a religion is. I comment briefly on the "substantive versus functionalist" debate, and I provide reasons to reject both of them. While I offer short summary arguments against the functionalist approach, I develop two detailed arguments against the substantive one. The former moves from the evidence that religious beliefs change over time. The latter moves from internal disagreements about the meaning of the core beliefs of a faith. These two arguments show that it is impossible to (...) reduce the belief system of any historical faith to a set of propositions which all the adherents to a tradition assent to. Although my arguments are conceptual, I include also empirical materials in support of my view. I then conclude by presenting a pluralist account of religions from an internalist standpoint. (shrink)

My paper addresses the notion of moral responsibility in religious ethics. I begin with the outline of the doctrine of moral heteronomy. The scripture stories of the Tables of the Laws and the Holy Covenant provide the general pattern for heteronomic ethics. My claim is that heteronomic ethics transfers the responsibility for the action A an agent x is performing from x to the normative system commanding x to perform A. I then picture the architecture of the normative system of (...) the Decalogue (System D) and I work out criteria for the completeness and consistency of the system. In the next section I make the case for the actual incompleteness and inconsistency of D. As a consequence, an agent subject to the authority of D can not rule his moral conduct by the norms in D. Therefore, the acceptance of D transfers the moral responsibility for the actions by x from x to D, but D does not provide a complete and consistent system of norms to rule x's conduct. In the final section of the paper I briefly present the way religious ethics deals with this problem, by offering an alternative approach to the notion of moral responsibility. (shrink)

My main claim is that, in order to account for the nature of human mind, philosophy of mind should embody topics usually treated by disciplines as ethics or applied philosophy so as to enrich the pure notion of cognitive experience to the extent of treating the whole of human experience. I begin with considering the Cartesian approach to the "cogito". I argue for the claim that cartesian-like dualists (Descartes and Locke, Kant and Husserl) fail in treating the opposition of internalism (...) and externalism concerning experience. This failure commits them to a form of epistemological idealism unable to manage the "veil of perception" objection. I then settle a provisional account for the mind, mainly dependent on a Berkeleyan-Humean deflationist approach to it, showing the necessity to incorporate in it robust practical topics from an ontological point of view. (shrink)

My starting assumption concerns the default view in western aestethics. My claim is that the view can be characterized in the following manner: while the arts and religious experience are formally different kinds of human experience, the arts have the same content of religious experience (Essentialist claim, EC). I argue that both from a realist and antirealist standpoint EC does not make sense. Consequently, EC should be rejected as the right approach to the relation between the arts and religious experience.

The goal of this paper is to review and critically discuss the philosophical aspects of probabilistic seismic hazard analysis (PSHA). Given that estimates of seismic hazard are typically riddled with uncertainty, diferent epistemic values (related to the pursuit of scientifc knowledge) compete in the selection of seismic hazard models, in a context infuenced by non-epistemic values (related to practical goals and aims) as well. We frst distinguish between the diferent types of uncertainty in PSHA. We claim that epistemic and nonepistemic (...) considerations are closely related in the selection of the appropriate estimate of seismic hazard by the experts. Finally, we argue that the division of scientifc responsibility among the experts can lead to responsibility gaps. This raises a problem for the ownership of the results (“no one’s model” problem) similar to the “problem of many hands” in the ethics of technology. We conclude with a plea for a close collaboration between philosophy and engineering. (shrink)

In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).

The paper is divided in two parts. The first presents my exegesis of the fourth chapter of the Gospel of John. My main claim is that the composer of the text manipulate the chronological order of miracles in his "signs source" in order to approach the story of the woman from Samaria together to the healing of the son of the roman officer in Kapharnaus. The two episodes deal with two different ways to convert to faith. Consequently, they provide a (...) complete phenomenology of the formation process of religious belief. The second part considers two fundamental interpretations of the johannine notion of faith, i.e. the fideistical and the existentialist. I reject both: the first is logically inconsistent within the Johannine framework (the Gospel of John assumes principles whose consequences contradict the fideistic interpretation of faith); the second is ontologically senseless. (shrink)

The paper is divided in two parts. The first presents my exegesis of the fourth chapter of the Gospel of John. My main claim is that the composer of the text manipulates the chronological order of miracles in his "signs source" in order to approach the story of the woman from Samaria together to the healing of the son of the roman officer in Kapharnaus. The two episodes deal with two different ways to convert to faith. Consequently, they provide a (...) complete phenomenology of the formation process of religious belief. The second part considers two fundamental interpretations of the johannine notion of faith, i.e. the fideistical and the existentialist. I reject both: the first is logically inconsistent within the Johannine framework (the Gospel of John assumes principles whose consequences contradict the fideistic interpretation of faith); the second is ontologically senseless. (shrink)

The paper is divided in two parts. The first presents my exegesis of the fourth chapter of the Gospel of John. My main claim is that the composer of the text manipulate the chronological order of miracles in his "signs source" in order to approach the story of the woman from Samaria together to the healing of the son of the roman officer in Kapharnaus. The two episodes deal with two different ways to convert to faith. Consequently, they provide a (...) complete phenomenology of the formation process of religious belief. The second part considers two fundamental interpretations of the johannine notion of faith, i.e. the fideistical and the existentialist. I reject both: the first is logically inconsistent within the Johannine framework (the Gospel of John assumes principles whose consequences contradict the fideistic interpretation of faith); the second is ontologically senseless. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...) competition remains conceptually complex, as none of these approaches properly formalized their assumptions. In this paper, we address this issue by means of an ontological analysis on the notion of competition in general, and of business competition, in particular, leveraging theories from various fields, including Marketing, Strategic Management, Ecology, Psychology and Cognitive Sciences. Our analysis, the first of its kind in the literature, is grounded on the Unified Foundational Ontology (UFO) and allows us to formally characterize why competition arises, as well as to distinguish between three types of business competitive relationships, namely market-level, firm-level and potential competition. (shrink)

The current debate on literary cognitivism in the philosophy of fiction typically assumes that we can rigorously distinguish between fictional and factual, and focuses on the question of whether and how works of fiction can impart propositional knowledge to the reader. In this paper we suggest that this way of framing the debate may be problematic. We argue that works of fiction almost inevitably include a reference to the real world and that – contrary to what is usually assumed – (...) the exchange between fiction and reality is vivid as well as potentially fruitful. We shed a new light on these complex dynamics by building on the metaphors of trade exchange and smuggling between the two worlds. While the current debate exclusively focuses on cognitively relevant goods that “officially” cross the border through “customs”, as it were, we show that exchanges between fiction and reality run deeper. Indeed, as we show, a substantial part of the cognitive impact that we derive from fiction goes “under the table” and is “smuggled” from fiction to reality. As such, it bypasses the audience’s conscious control, which in turn explains the manipulative force that fiction can exert. Smuggling takes place when cognitively relevant contents are passed on to the reader in subliminal ways, as it happens when they imprint implicit biases or prejudices, shift perspectives or subtly modify habits or patterns of behavior. By elaborating on the metaphors of trade exchange and smuggling, we aim at presenting a more comprehensive and nuanced understanding of the relations between fiction and reality and on the impact that imagination has on our real-world beliefs. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...) even simplify their logical formulation. (shrink)

When people combine concepts these are often characterised as “hybrid”, “impossible”, or “humorous”. However, when simply considering them in terms of extensional logic, the novel concepts understood as a conjunctive concept will often lack meaning having an empty extension (consider “a tooth that is a chair”, “a pet flower”, etc.). Still, people use different strategies to produce new non-empty concepts: additive or integrative combination of features, alignment of features, instantiation, etc. All these strategies involve the ability to deal with conflicting (...) attributes and the creation of new (combinations of) properties. We here consider in particular the case where a Head concept has superior ‘asymmetric’ control over steering the resulting concept combination (or hybridisation) with a Modifier concept. Specifically, we propose a dialogical approach to concept combination and discuss an implementation based on axiom weakening, which models the cognitive and logical mechanics of this asymmetric form of hybridisation. (shrink)

The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

The advent of the so-called Companion Robots is raising many ethical concerns among scholars and in the public opinion. Focusing mainly on robots caring for the elderly, in this paper we analyze these concerns to distinguish which are directly ascribable to robotic, and which are instead preexistent. One of these is the “deception objection”, namely the ethical unacceptability of deceiving the user about the simulated nature of the robot’s behaviors. We argue on the inconsistency of this charge, as today formulated. (...) After that, we underline the risk, for human-robot interaction, to become a hallucinatory relation where the human would subjectify the robot in a dynamic of meaning-overload. Finally, we analyze the definition of “quasi-other” relating to the notion of “uncanny”. The goal of this paper is to argue that the main concern about Companion Robots is the simulation of a human-like interaction in the absence of an autonomous robotic horizon of meaning. In addition, that absence could lead the human to build a hallucinatory reality based on the relation with the robot. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...) whereabouts, or the non-availability for testing at said location on three occasions within any 18-month period constitutes an anti-doping rule violation that is equivalent to testing positive to a banned substance, and may lead to a suspension of the athlete for a time period of between one and two years. We critically explore the extent to which WADA’s whereabouts requirements are in tension with existing legislation on privacy, with respect to UK athletes, who are simultaneously protected by UK domestic and EU law. Both UK domestic and EU law are subject to the European Convention on Human Rights (ECHR) Article 8, which establishes a right to “respect for private and family life, home and correspondence”. We critically discuss the centrality of the whereabouts requirements in relation to WADA’s aims, and the adoption and implementation of its whereabouts rules. We conclude that as WADA’s whereabouts requirements appear to be in breach of an elite athlete’s rights under European workers’ rights, health & safety and data protection law they are also, therefore, in conflict with Article 8 of the ECHR and the UK Human Rights Act 1998. We call for specific amendments that cater for the exceptional case of elite sports labour if the WADA requirements are to be considered legitimate. (shrink)

Types are fundamental for conceptual modeling and knowledge representation, being an essential construct in all major modeling languages in these fields. Despite that, from an ontological and cognitive point of view, there has been a lack of theoretical support for precisely defining a consensual view on types. As a consequence, there has been a lack of precise methodological support for users when choosing the best way to model general terms representing types that appear in a domain, and for building sound (...) taxonomic structures involving them. For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. At the core of this enterprise, there has been a theory of types specially designed to address these issues. This theory is ontologically well- founded, psychologically informed, and formally characterized. These results have led to the development of a Conceptual Modelling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed on conceptual model design in a variety of domains including academic, industrial, and governmental settings. These experiences exposed improvement opportunities for both the OntoUML language and its underlying theory, UFO. In this paper, we revise the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of OntoUML’s meta-types (e.g. kind, role, phase, mixin) should be considered not as restricted to substantial types but instead should be applied to model endurant types in general, including relator types, quality types, and mode types. We also contribute with a formal characterization of this fragment of the theory, which is then used to advance a new metamodel for OntoUML (termed OntoUML 2). To demonstrate that the benefits of this approach are extended beyond OntoUML, the proposed formal theory is then employed to support the definition of UFO-based lightweight Semantic Web ontologies with ontological constraint checking in OWL. Additionally, we report on empirical evidence from the literature, mainly from cognitive psychology but also from linguistics, supporting some of the key claims made by this theory. Finally, we propose a computational support for this updated metamodel. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The spatial content of the (...) formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

We discuss the role of perceptron (or threshold) connectives in the context of Description Logic, and in particular their possible use as a bridge between statistical learning of models from data and logical reasoning over knowledge bases. We prove that such connectives can be added to the language of most forms of Description Logic without increasing the complexity of the corresponding inference problem. We show, with a practical example over the Gene Ontology, how even simple instances of perceptron connectives are (...) expressive enough to represent learned, complex concepts derived from real use cases. This opens up the possibility to import concepts learnt from data into existing ontologies. (shrink)