Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account suggestions from psychological research. In (...) particular, it seems that human beings employ both prototype-based and exemplar-based representations in order to represent non classical concepts. We suggest that a similar, hybrid prototype-exemplar based approach could also prove useful in the field of knowledge representation technology. Finally, we propose conceptual spaces as a suitable framework for developing some aspects of this proposal. (shrink)

Nel campo delle scienze cognitive molti oggi condividono l’ipotesi che siano necessari differenti tipi di rappresentazioni per modellare i sistemi cognitivi sia naturali, sia artificiali. Si considerino le rappresentazioni basate su reti neurali, i formalismi simbolici e rappresentazioni analogiche quali rappresentazioni diagrammatiche o modelli mentali. Tutti questi metodi hanno successo nello spiegare e modellare alcune classi di fenomeni cognitivi, ma nessuno è in grado di rendere conto di tutti gli aspetti della cognizione. A partire da queste considerazioni, riteniamo che sistemi (...) intelligenti e architetture cognitive possano trarre vantaggio dalla combinazione di sistemi di rappresentazione diversi. Si pone allora il problema di fare interagire rappresentazioni di natura differente in maniera cognitivamente e teoricamente fondata. La nostra ipotesi è che gli spazi concettuali possano offrire una sorta di lingua comune, che consentirebbe di integrare e generalizzare molti aspetti delle impostazioni sopra menzionate, superando i limiti delle varie proposte intese singolarmente. (shrink)

The literature on algorithmic fairness has examined exogenous sources of biases such as shortcomings in the data and structural injustices in society. It has also examined internal sources of bias as evidenced by a number of impossibility theorems showing that no algorithm can concurrently satisfy multiple criteria of fairness. This paper contributes to the literature stemming from the impossibility theorems by examining how informational richness affects the accuracy and fairness of predictive algorithms. With the aid of a computer simulation, we (...) show that informational richness is the engine that drives improvements in the performance of a predictive algorithm, in terms of both accuracy and fairness. The centrality of informational richness suggests that classification parity, a popular criterion of algorithmic fairness, should be given relatively little weight. But we caution that the centrality of informational richness should be taken with a grain of salt in light of practical limitations, in particular, the so-called bias-variance trade off. (shrink)

La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...) del linguaggio. Lo scopo del volume è offrire una panoramica di questo dialogo al contempo accessibile e rigorosa, pensata sia per gli studenti di un corso universitario, sia per il lettore non specialista. Se da un lato tutte le necessarie nozioni tecniche sono rese accessibili ai non addetti ai lavori, dall'altro si restituisce un'immagine fedele delle sfide concettuali che la ricerca in questi settori è oggi chiamata ad affrontare. (shrink)

In the present paper, we shall discuss the notion of prototype and show its benefits. First, we shall argue that the prototypes of common-sense concepts are necessary for making prompt and reliable categorisations and inferences. However, the features constituting the prototype of a particular concept are neither necessary nor sufficient conditions for determining category membership; in this sense, the prototype might lead to conclusions regarded as wrong from a theoretical perspective. That being said, the prototype remains essential to handling most (...) ordinary situations and helps us to perform important cognitive tasks. To exemplify this point, we shall focus on disease concepts. Our analysis concludes that the prototypical conception of disease is needed to make important inferences from a practical and clinical point of view. Moreover, it can still be compatible with a classical definition of disease, given in terms of necessary and sufficient conditions. In the first section, we shall compare the notion of stereotype, as it has been introduced in philosophy of language by Hilary Putnam, with the notion of prototype, as it has been developed in the cognitive sciences. In the second section, we shall discuss the general role of prototypical information in cognition and stress its centrality. In the third section, we shall apply our previous discussion to the specific case of medical concepts, before briefly summarising our conclusions in section four. (shrink)

As it emerged from philosophical analyses and cognitive research, most concepts exhibit typicality effects, and resist to the efforts of defining them in terms of necessary and sufficient conditions. This holds also in the case of many medical concepts. This is a problem for the design of computer science ontologies, since knowledge representation formalisms commonly adopted in this field do not allow for the representation of concepts in terms of typical traits. However, the need of representing concepts in terms of (...) typical traits concerns almost every domain of real world knowledge, including medical domains. In particular, in this article we take into account the domain of mental disorders, starting from the DSM-5 descriptions of some specific mental disorders. On this respect, we favor a hybrid approach to the representation of psychiatric concepts, in which ontology oriented formalisms are combined to a geometric representation of knowledge based on conceptual spaces. (shrink)

As it emerged from philosophical analyses and cognitive research, most concepts exhibit typicality effects, and resist to the efforts of defining them in terms of necessary and sufficient conditions. This holds also in the case of many medical concepts. This is a problem for the design of computer science ontologies, since knowledge representation formalisms commonly adopted in this field (such as, in the first place, the Web Ontology Language - OWL) do not allow for the representation of concepts in terms (...) of typical traits. The need of representing concepts in terms of typical traits concerns almost every domain of real world knowledge, including medical domains. In particular, in this article we take into account the domain of mental disorders, starting from the DSM-5 descriptions of some specific disorders. We favour a hybrid approach to concept representation, in which ontology oriented formalisms are combined to a geometric representation of knowledge based on conceptual space. As a preliminary step to apply our proposal to mental disorder concepts, we started to develop an OWL ontology of the schizophrenia spectrum, which is as close as possible to the DSM-5 descriptions. (shrink)

Come è emerso dall’analisi filosofica e dalla ricerca nelle scienze cogni- tive, la maggior parte dei concetti, tra cui molti concetti medici, esibisce degli “effetti prototipici” e non riesce ad essere definita nei termini di condizioni necessarie e sufficienti. Questo aspetto rappresenta un problema per la pro- gettazione di ontologie in informatica, poiché i formalismi adottati per la rap- presentazione della conoscenza (a partire da OWL – Web Ontology Langua- ge) non sono in grado di rendere conto dei concetti nei (...) termini dei loro tratti prototipici. Nel presente articolo ci concentriamo sulla classe dei disordini mentali facendo riferimento alle descrizioni che ne vengono date nel DSM-5. L’idea è quella di proporre un approccio ibrido, in cui i formalismi delle ontologie sono combinati a una rappresentazione geometrica della conoscenza basata sugli spazi concettuali. (shrink)

This paper examines the idea of education of the citizen derived from the texts of Rousseau, with particular attention to the role assigned to patriotism and civil religion. With respect to patriotic education, I critically question Rousseau's thesis about the incompatibility between love of one’s country and a sense of humanity, contrasting them with the idea of constitutional patriotism, founded on loyalty to universal values. I conclude with an examination of the idea that a civil religion constitutes an essential contribution (...) to the citizen’s education. I believe that the public ethics of political liberalism are better suited to the idea of civic education for democracy. (shrink)

The paper argues for the plausibility of the thesis that there are no genuine moral dilemmas. In particular, I examine Bernard Williams’ objection that agentregret in a situation of conflict among contradictory moral obligations would prove the existence of such dilemmas. Contrary to Williams’claim, agentregret in these situations is not sufficient to establish the existence of such moral dilemmas. Williams’ argument cannot undermine the logical consistency of moral theories, nor their capacity to solve moral conflicts. I also consider Monika Betzler’s (...) proposal that agentregret can be considered ‘rational in a looser sense’ without implying an inconsistency in moral theory. In order to discuss the plausibility of this proposal, I focus on the interpretation of agentregret as an emotional response which also restores offended moral integrity. I claim, in conclusion, that it is reasonable to assume this proposal, insofar as moral theory can determine some criteria of judgement which allow a distinction between authentic and false modalities of integration. (shrink)

A short presentation of the birth and transformations of utilitarianism.

A short discussion of the origins and nature of the notion of metaethics.

Recently the educational task of the public school has been repeatedly challenged. Citizenship has not been spared from criticism and its legitimacy has been questioned. The article discusses the issue of the legitimacy of citizenship education in public schools, specifying the meaning of neutrality of which it proposes a narrow interpretation. On this basis the article examines four philosophical models of citizenship education (communitarianism, civic humanism, liberalism, republicanism). The analysis suggests that the republican model of citizenship education is the most (...) appropriate; it needs however a liberal adaptation. The proposed solution of a liberal republicanism is illustrated with a critical examination of the duty of civility. (shrink)

In recent years, a trend in AI research has started to pursue human-level, general artificial intelli-gence (AGI). Although the AGI framework is characterised by different viewpoints on what intelligence is and how to implement it in artificial systems, it conceptualises intelligence as flexible, general-purposed, and capable of self-adapting to different contexts and tasks. Two important ques-tions remain open: a) should AGI projects simu-late the biological, neural, and cognitive mecha-nisms realising the human intelligent behaviour? and b) what is the relationship, if (...) any, between the concept of general intelligence adopted by AGI and that adopted by psychometricians, i.e., the g factor? In this paper, we address these ques-tions and invite researchers in AI to open a dis-cussion on the theoretical conceptions and practi-cal purposes of the AGI approach. (shrink)

A review of Carsten Herrmann-Pillath, Foundations of Economic Evolution. A Treatise on the Natural Philosophy of Economics. I argue that the author's ultra-naturalist stance in epistemology lacks consistent justification.

A short presentation of Richard Whately's ideas on logic, method, and the status of political economy.

A short reconstruction of the discussion on the genesis of Western Modern individualism, of the arguments advanced by its critics and by recent vindications of ethical and political individualism.

Since the early eighties, computationalism in the study of the mind has been “under attack” by several critics of the so-called “classic” or “symbolic” approaches in AI and cognitive science. Computationalism was generically identified with such approaches. For example, it was identified with both Allen Newell and Herbert Simon’s Physical Symbol System Hypothesis and Jerry Fodor’s theory of Language of Thought, usually without taking into account the fact ,that such approaches are very different as to their methods and aims. Zenon (...) Pylyshyn, in his influential book Computation and Cognition, claimed that both Newell and Fodor deeply influenced his ideas on cognition as computation. This probably added to the confusion, as many people still consider Pylyshyn’s book as paradigmatic of the computational approach in the study of the mind. Since then, cognitive scientists, AI researchers and also philosophers of the mind have been asked to take sides on different “paradigms” that have from time to time been proposed as opponents of (classic or symbolic) computationalism. Examples of such oppositions are: -/- computationalism vs. connectionism, computationalism vs. dynamical systems, computationalism vs. situated and embodied cognition, computationalism vs. behavioural and evolutionary robotics. -/- Our preliminary claim in section 1 is that computationalism should not be identified with what we would call the “paradigm (based on the metaphor) of the computer” (in the following, PoC). PoC is the (rather vague) statement that the mind functions “as a digital computer”. Actually, PoC is a restrictive version of computationalism, and nobody ever seriously upheld it, except in some rough versions of the computational approach and in some popular discussions about it. Usually, PoC is used as a straw man in many arguments against computationalism. In section 1 we look in some detail at PoC’s claims and argue that computationalism cannot be identified with PoC. In section 2 we point out that certain anticomputationalist arguments are based on this misleading identification. In section 3 we suggest that the view of the levels of explanation proposed by David Marr could clarify certain points of the debate on computationalism. In section 4 we touch on a controversial issue, namely the possibility of developing a notion of analog computation, similar to the notion of digital computation. A short conclusion follows in section 5. (shrink)

This is one more edition of Voltaire's "Candide", meant to highlight the wealth of philosophical and theological discussions hidden behind the apparently innocent veil of the most renowned fable of modernity. The rather extended apparatus accordingly consists of a series of short chapters by Filippo Bruni on the Enlightenment and Metaphysics, and in more detail, on theology, Free choice, the problem of evil, and happiness in an imperfect world and another by Sergio Cremaschi on the Enlightenment and morality, and in (...) more detail on moral universalism, religion without metaphysics, toleration, and pacifism. -/- Table of contents I. Before the text A trick for priests A scandalous book Garden with view -/- II. Text Candide or optimism -/- III. Context Biography 1. The seven years war 2. Calvinists and Socinians 3. Jiansenists and Gesuits 4. Marranos and inquisitors 5. Conquistadores and slave-traders 6. Paraguay under the Jesuits -/- IV. Co-text 1. Enlightenment and Metaphysics 1.1. Theology 1.2. Free choice 1.3. The problem of evil 1.4. Being happy in an imperfect world -/- 2. Enlightenment and morality 2.1. Universal morality 2.2. Religion without Metaphysics 2.3. Toleration 2.4. Pacifism -/- 3. Enlightenment and the images of other places 3.1. The image of Eldorado 3.2. The image of Paraguay 3.3 The image of the Islamic world 3.4. The image of the Jew -/- 4. The conte philosophique -/- Bibliography Lexicon Index of names and concepts -/- V. Reader’s guide. (shrink)

In this paper I argue that applied ethics is a phenomenon spontaneously emerged between the Sixties and the Seventies and resulting from interbreeding of theoretical discussion in ethics and public discourse of liberal-democratic societies. I contend that the phenomenon’s novelty is in a peculiar relationship it has helped in establishing between ethical theories and real-world issues, and besides that the true nature of applied ethics is that of deliberation, whose tool is the faculty of judgment, or casuistry, understood the Kantian (...) way. (shrink)

The paper focuses on the kind of expertise required by doctors in health communication and argues that such an expertise is twofold: both epistemological and communicative competences are necessary to achieve compliance with the patient. Firstly, we introduce the specific epistemic competences that deal with diagnosis and its problems. Secondly, we focus on the communicative competences and argue that an inappropriate strategy in communicating the reasons of diagnosis and therapy can make patient compliance unworkable. Finally, we focus on the case (...) of diabetes metaphor and propose the deliberate use of metaphors in health communication as an educational tool. On the one hand, metaphors might help doctors in explaining the disease in simpler terms and framing the experience of illness according to patient’s specific needs. On the other hand, metaphors might encourage a change in patient’s beliefs on their own experience of illness, and enable them to reach a shared decision making with doctors. (shrink)

Embodiment matters to perception and action. Beyond the triviality that, under normal circumstances, we need a body in order to perceive the world and act in it, our particular embodiment, right here, right now, both enables and constrains our perception of possibilities for action. In this chapter, we provide empirical support for the idea that the structural and morphological features of the body can narrow the set of our possible interactions with the environment by shaping the way we perceive the (...) possibilities for action provided. We argue that this narrowing holds true in the perception of what we call strongly embodied affordances, that is, relevant micro-affordances that have a genuinely demanding characteristic, as well as in the perception of actions performed by others. In particular, we show that perceptual contents are shaped by fine-grained morphological features of the body, such as specific hand-shapes, and that they change according to our possibility to act upon them with this body, in this situation, at this moment. We argue that these considerations provide insight into distinguishing a variety of experienced affordance relations that can aid us in better understanding the relevance of embodiment for perception and experience. (shrink)

A reconstruction of the nineteenth-century debate on wages in relation to the issue of the absolute character of economics laws, to the issued of the ethical element in economics and their policy implications.

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

Many oppose the use of profile evidence against defendants at trial, even when the statistical correlations are reliable and the jury is free from prejudice. The literature has struggled to justify this opposition. We argue that admitting profile evidence is objectionable because it violates what we call “equal protection”—that is, a right of innocent defendants not to be exposed to higher ex ante risks of mistaken conviction compared to other innocent defendants facing similar charges. We also show why admitting other (...) forms of evidence, such as eyewitness, trace, and motive evidence, does not violate equal protection. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

A discussion of one of the three books by which McCloskey launched his own economic rhetoric. The main criticism is that McCloskey enlarged view of rhetoric is still not encompassing enough, being limited to rhetoric in the writing of economic literature, while leaving the function of metaphor and other tropes in the more basic processes of conceptualization, theory change, and construction of 'observed' phenomena.

Smith argues that, unlike other forms of evidence, naked statistical evidence fails to satisfy normic support. This is his solution to the puzzles of statistical evidence in legal proof. This paper focuses on Smith’s claim that DNA evidence in cold-hit cases does not satisfy normic support. I argue that if this claim is correct, virtually no other form of evidence used at trial can satisfy normic support. This is troublesome. I discuss a few ways in which Smith can respond.

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

The modelling of concepts, besides involving disciplines like philosophy of mind and psychology, is a fundamental and lively research problem in several artificial intelligence (AI) areas, such as knowledge representation, machine learning, and natural language processing. In this scenario, the most prominent proposed solutions adopt different (often incompatible) assumptions about the nature of such a notion. Each of these solutions has been developed to capture some specific features of concepts and support some specific (artificial) cognitive operations. This paper critically reviews (...) the most notable computational approaches to the representation of concepts. The main goals are (i) to provide a shared terminology for the desiderata of concepts and their computational representation; (ii) to classify and assess the heterogeneous computational approaches according to the provided terminology; (iii) to provide a reader who may not be very familiar with theories of concepts with an introduction to major themes in this research and with pointers to different research projects, and (iv) to offer philosophers, and potentially AI practitioners, a well-informed guide for selecting among various (and possibly competing) computational representations of concepts. (shrink)

A discussion od Charles Taylor's 'Sources of the Self'.

A review of Levi Mortera's monograph on Dugald Stewart's philosophy of mind.

A discussion of Donald Winch's 'Adam Smith's Politics'.

A brief presentation and discussion of Stefano Petrucciani's book on Apel's ethics.

Many philosophers have pointed out that statistical evidence, or at least some forms of it, lack desirable epistemic or non-epistemic properties, and that this should make us wary of litigations in which the case against the defendant rests in whole or in part on statistical evidence. Others have responded that such broad reservations about statistical evidence are overly restrictive since appellate courts have expressed nuanced views about statistical evidence. In an effort to clarify and reconcile, I put forward an interpretive (...) analysis of why statistical evidence should raise concerns in some cases but not others. I argue that when there is a mismatch between the specificity of the evidence and the expected specificity of the accusation, statistical evidence—as any other kind of evidence—should be considered insufficient to sustain a conviction. I rely on different stylized court cases to illustrate the explanatory power of this analysis. (shrink)

The paper is a comparative study of the methodologies of Malthus and Ricardo. Its claims are: (i) economic laws almost always admit of exceptions for Malthus; for Ricardo even contingent predictions allow no exception apart from random temporary variations; (ii) both rely on the prestigious Newtonian paradigm, while interpreting it according to two distinct methodological traditions (the one deriving from MacLaurin, the other from Priestley); (iii) the choice of stressing what happens during intervals or in permanent states leads to opposing (...) definitions of the main problem of economic science in so far as equilibrium is always already given for Ricardo and is never given for Malthus; (iv) their use of the ambiguous notion of "tendency" leaves unclear for both the degree of predictive power with which theories are endowed; (v) what both share is the idea of a natural order and this idea is the source of both shortcomings and endless disagreement. -/- . (shrink)

The paper discusses Ricardo's relationship to Mill and Bentham. It discusses first the origins of the myth of Ricardo's dependence from Bentham through Mill, and Halévy's contribution to the freezing of such a myth. The paper reconstructs what were their shared political commitments and activities and the kind of specific political views and agenda that may be ascribed to Ricardo himself. The paper discusses then the question of Ricardo's adhesion to Benthamite ethics. It examines fragments in Ricardo's correspondence with Maria (...) Edgeworth and Francis Place, and adds fresh light on the issue by highlighting the partial overlapping between Bentham's ethics and the kind of intuitionism with theological consequentialism that Ricardo had learned from the Unitarian minister Thomas Belsham. (shrink)

The relationship between Adam Smith's official methodology and his own actual theoretical practice as a social scientist may be grasped only against the background of the Humean project of Moral Newtonianism. The main features in Smith's methodology are (i) the provisional character of explanatory principles, (ii) 'internal' criteria of truth, (iii) the acknowledgement of an imaginative aspect in principles, with the related problem of the relationship between internal truth and external truth understood as mirroring 'real' causes. Smith's Newtonian (as opposed (...) to Cartesian) methodology makes room for progress in social theorizing as it allows for a decentralization of the various fields of Moral Science, contributing to the shaping of political economy. On the other hand, the Cartesian legacy in Smith's Newtonian methodology makes the relationship problematic between phenomena and principles. (shrink)

We reconstruct the text, that is, we analyse the development of the discussion between Malthus and Ricardo both in the correspondence and in published works, paying special attention to (a) the use of methodological statements, (b) some pragmatic features of the controversy, (c) considerations pertaining to the meta-level of the controversy (assessments of the status of the controversy, of ways of solving it, etc.); then, we reconstruct the co-text, that is, unpublished papers by each opponent that were not made available (...) to the other, records of exchanges between each of these and third parties, etc.; thirdly, we describe the essential features of the context, focusing on events that influenced the course of the controversy; (iv) we draw lessons from our case study on the role of co-text and context, on pragmatic and semantic interpretation, and on "casts of mind”. (shrink)