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)

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)

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)

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)

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)

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)

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.

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)

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 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)

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)

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)

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)

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 discussion of the origins and nature of the notion of metaethics.

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 short presentation of Schumpeter's work with spedial attention to its philophical backgroound.

A short reconstruction of the ethical, political and economic doctrines of Thomas Hodgskin, William Thompson and John Gray.

A short reconstruction of the method of casuistry in Medieval and early Modern moral theology.

A short presentation of James Steuart's neglected philosophical publications as well as of his well-known economic contribution.

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)

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)

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)

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)

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)

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 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 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 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)

I argue that Kant took from Moses Mendelssohn the idea of a distinction between geometry of morals and a practical ethic. He was drastically misunderstood by his followers precisely on this point. He had learned from the sceptics and the Jansenists the lesson that men are prompted to act by deceptive ends, and he was aware that human actions are also empirical phenomena, where laws like the laws of Nature may be detected. His practical ethics made room for judgment as (...) a holistic procedure for assessing the salience of relevant moral qualities in one given situation; this procedure yields the same results as the geometry of morals does for abstract cases, but does so immediately and without balancing conflicting duties with each other, since what makes for the salient quality of a situation is perceived from the very beginning. (shrink)

A short reconstruction of the genesis of the idea of natural law, its rise to a central role in modern political theories, its nineteenth-century demise and qualified rehabilitation in the second half of the twentieth century.

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)

A short presentation of Lionel Robbin's work with special attention at its philosophical and methodological implications.

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)

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)

The primary aim of this chapter is to explain the nature of evidential reasoning, the characteristic difficulties encountered, and the tools to address these difficulties. Our focus is on evidential reasoning in criminal cases. There is an extensive scholarly literature on these topics, and it is a secondary aim of the chapter to provide readers the means to find their way in historical and ongoing debates.

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists of (...) linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)