This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines really local? (...) - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

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)

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)

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)

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)

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)

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

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)

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)

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)

A short presentation of the birth and transformations of utilitarianism.

According to the principle of epistemic closure, knowledge is closed under known implication. The principle is intuitive but it is problematic in some cases. Suppose you know you have hands and you know that ‘I have hands’ implies ‘I am not a brain-in-a-vat’. Does it follow that you know you are not a brain-in-a-vat? It seems not; it should not be so easy to refute skepticism. In this and similar cases, we are confronted with a puzzle: epistemic closure is an (...) intuitive principle, but at times, it does not seem that we know by implication. In response to this puzzle, the literature has been mostly polarized between those who are willing to do away with epistemic closure and those who think we cannot live without it. But there is a third way. Here I formulate a restricted version of the principle of epistemic closure. In the standard version, the principle can range over any proposition; in the restricted version, it can only range over those propositions that are within the limits of a given epistemic inquiry and that do not constitute the underlying assumptions of the inquiry. If we adopt the restricted version, I argue, we can preserve the advantages associated with closure, while at the same time avoiding the puzzle I’ve described. My discussion also yields an insight into the nature of knowledge. I argue that knowledge is best understood as a topic-restricted notion, and that such a conception is a natural one given our limited cognitive resources. (shrink)

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

A reconstruction of the philosophical, religious and political background of Ricardo's work as an economist.

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)

Epistemic closure under known implication is the principle that knowledge of "p" and knowledge of "p implies q", together, imply knowledge of "q". This principle is intuitive, yet several putative counterexamples have been formulated against it. This paper addresses the question, why is epistemic closure both intuitive and prone to counterexamples? In particular, the paper examines whether probability theory can offer an answer to this question based on four strategies. The first probability-based strategy rests on the accumulation of risks. The (...) problem with this strategy is that risk accumulation cannot accommodate certain counterexamples to epistemic closure. The second strategy is based on the idea of evidential support, that is, a piece of evidence supports a proposition whenever it increases the probability of the proposition. This strategy makes progress and can accommodate certain putative counterexamples to closure. However, this strategy also gives rise to a number of counterintuitive results. Finally, there are two broadly probabilistic strategies, one based on the idea of resilient probability and the other on the idea of assumptions that are taken for granted. These strategies are promising but are prone to some of the shortcomings of the second strategy. All in all, I conclude that each strategy fails. Probability theory, then, is unlikely to offer the account we need. (shrink)

A short presentation of Schumpeter's work with spedial attention to its philophical backgroound.

Philosophical Issues, Volume 31, Issue 1, Page 41-65, October 2021.

A short reconstruction of the vicissitudes of the notion of ethical naturalism through American late nineteenth-century 'naturalism', Moore criticism of so-called naturalistic ethics, reaching Anscombe, Geach and Foot and their particular kind of anti-non-naturalism. The conclusion is that the notion of ethical naturalism is little more than a mere 'flatus vocis' used to indicate three heterogeneous kinds of ethical theories.

A short reconstruction of the notion of phronesis in ancient Greek philosophy, the demise of the notion of prudence in modern philosophy and its rehabilitation by twwntieth-century neo-Aristotelianism.

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)

A short reconstruction of the notion of passion in ancient ethics, its transformation in modern moral and political philosophy and its demise after the end of the eighteenth-century.

The genealogical deconstruction of the notion of "good" by F.Nietzsche in Genealogy of Morals highlights the arbitrariness of the Platonic unification of various kinds of good, a unification that is still shared by both objectivists and subjectivists. For the same reasons, the attempt of G.E. Moore and other neo-intuitionists to define a single property that is common to all uses of the term "good" and the specular denial of the existence of this property by the emotionalism of A.J. Ayer and (...) Ch.L. Stevenson perhaps debate a false problem. The revival of various forms of Aristotelianism has proposed again Aristotle's answer to Plato: when we say something is good, we want to know what is good, and the answer will be different for different goods. (shrink)

A short reconstruction of the story of eighteenth-century ethical rationalism followed bu the nineteenth century controversy between utilitarianism and the 'intuitive system' reaching Sidgwick, Moore and David Ross.

A short reconstruction of the origin and evolution of Islamic moral doctrines and their re-interpretation by Arabic philosophers.

A short reconstruction of the origins of the concept of metaphor, the early modern mistrust of metaphor in the name of univocal scientific language, the twentieth century rescue of the cognitive value of metaphor.

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)

The discovery of the role of models in science by Granger parallels the analogous discovery made by Mary Hesse and Marx Wartofsky. The role models are granted highlights the linguistic dimension of science, resulting in a 'softening' of Bachelard's rationalistic epistemology without lapsing into relativism. A 'linguistic' theory of metaphor, as contrasted with Bachelard's 'psychological' theory, is basic to Granger's account of models. A final paragraph discusses to what extent Granger's 'mature' theory of models would imply a revision of his (...) early economic methodology. (shrink)

The paper describes how a simple idea, that of a new foundation of moral philosophy taking Galilean new natural philosophy as a mode , lead to unforeseen developments once the competition between a Cartesian and a Newtonian paradigm emerged. Those developments are reconstructed in Hume, Smith, Ferguson.

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)

A discussion of the relationship between Ricardo and his Unitarian Minister Thomas Belsham, a New Testament scholar and the author of a philosophical treatise inspired by the Hartley-Priestley philosophy.

A short reconstruction of the analytic-synthetic method, a key idea in Medieval and Early Modern Logic.

I discuss the three theses defended by Anscombe in 'Modern Moral Philosophy'. I argue that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one, more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist (...) opponents for polemical purposes, which she seems to endorse even though it is an image manufactured by the same writers she choose as a polemical target; d) the difficulty to identify the "relevant descriptions" of acts is not an argument in favor of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is precisely a response to difficulties raised by the case of judgment concerning future action, a case for which Anscombe herself has nothing better to offer. (shrink)

A presentation of Adam Smith's epistemology, ethics, political theory and economics.

A short presentation of the moral doctrines inspired by the Confucian tradition.

I describe both the German Aristotelian revival and the Anglo-Saxon virtue-ethics approach and argue that there are some reasons why Grotus's dismissal of Aristotelian practical rationality had finally to be overcome. I suggest that such reasons in turn depend on deeper changes in the structure of the building of modern philosophy, first among them those carried by the critique of Cartesian foundationalism staged by such odd bed-fellows as Peirce, Wittgenstein, Husserl, and Heidegger, adding quasi-Thomist such as Anscombe and Geach. This (...) may account for the apparently unexpected normative turn which took place in the same years (shortly after or before 1958) in two different and comparatively insulated contexts such as Germany and the Anglo-Saxon world. (shrink)

A discussion of the historical development of the relationship between moral philosophy and political economy and economics qua disciplines, followed by a treatment of questions of justice in the contemporary discussion and then by an overview of the subdiscipline of busness ethics.

A short discussion of Charles Taylor's masterwork.

A reconstruction of the notion of Market in the history of economic ethics and economic theory.

The malaise of modernity, in particular the malaise diagnosed by Nietzsche in the face of the absurdity of suffering, stems from an unfinished, dogmatic and contradictory revival of elements that medieval synthesis had marginalised: hope and earthliness. The ideologies of modernity - revolutionary-progressive or technical - were condemned to be ideologies, and therefore dogmatic, because they were based on faiths smuggled as reasons. Today we live a moment of awareness of the unfinished character of scientific discourses and the partial and (...) provisional character of political discourses. It is precisely the awareness of these limits that opens the space for the paradox that is what the Jewish tradition has remained attached to, a tradition that today, to some of us, sounds as pertinent as ever. (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)