In the multi-agent setting, it is relevant to model group dynamics of agents, and logic has proved a good tool to do so. We propose an epistemic logic, L-DINF-E, that allows one to formalize what are the beliefs formed by a group of agents, where several groups exist and agents can pass from a group to another one. We introduce a new modality which allows an agent to reason about the beliefs of other agents. This allows us to model aspects (...) of the “Theory of Mind”, understood as the set of social-cognitive skills involving the ability to attribute and reason about mental states, desires, beliefs, and knowledge of agents. In this paper, we present the logic L-DINF-E and illustrate how it can be used to solve “false-belief tasks”, i.e., tests in which an agent should understand that some other agent may develop, under some circumstances, false beliefs. (shrink)

A collection of articles originally presented at two conferences, the first at Ventura Hall, Stanford, in April 1998; and the second at the University of Bologna in September 1999.

The long history of ergodic and quasi-ergodic hypotheses provides the best example of the attempt to supply non-probabilistic justifications for the use of statistical mechanics in describing mechanical systems. In this paper we reverse the terms of the problem. We aim to show that accepting a probabilistic foundation of elementary particle statistics dispenses with the need to resort to ambiguous non-probabilistic notions like that of (in)distinguishability. In the quantum case, starting from suitable probability conditions, it is possible to deduce elementary (...) particle statistics in a unified way. Following our approach Maxwell-Boltzmann statistics can also be deduced, and this deduction clarifies its status.Thus our primary aim in this paper is to give a mathematically rigorous deduction of the probability of a state with given energy for a perfect gas in statistical equilibrium; that is, a deduction of the equilibrium distribution for a perfect gas. A crucial step in this deduction is the statement of a unified statistical theory based on clearly formulated probability conditions from which the particle statistics follows. We believe that such a deduction represents an important improvement in elementary particle statistics, and a step towards a probabilistic foundation of statistical mechanics.In this Part I we first present some history: we recall some results of Boltzmann and Brillouin that go in the direction we will follow. Then we present a number of probability results we shall use in Part II. Finally, we state a notion of entropy referring to probability distributions, and give a natural solution to Gibbs' paradox. (shrink)

This paper analyses the abstractionist account of quantity championed by Leibniz, especially in the 1680s. Leibniz introduced the notion of quantity in an indirect way, via an abstraction principle. In the first part of the paper, I identify the context in which this approach arose in light of Leibniz's criticism of his earlier dream of an ‘alphabet of human thought’. Recognising the impossibility of such a project led him to realise that, when dealing with terms referring to abstract objects, we (...) should always consider them within the true sentences in which they occur. In the second part, I describe this approach in detail. This allows us to look at some key concepts of Leibniz's theory of quantity. In particular, I raise the problem of the relationship between the two sides of the abstraction principle: how should we think of the relation between the claim that a and b are equal, and the claim that the quantity of a is identical to the quantity of b? I argue that we can find a positive answer to this problem in Leibniz. (shrink)

In this contribution, we first discuss the aspects of the analytic method conceived by Kant in the Deutlichkeit that differentiate it from the Wolffian method and relate it to the Newtonian method. Compared to the philosophical tradition, the task of analysing concepts appears profoundly changed. Since Kant aims philosophy towards the world, he considers concepts as something given and intends to discern their characteristic marks by observing their usual applications. Although Kant abandons any attempt to define concepts nominally, he still (...) gives great relevance to words to the extent that concepts, according to him, acquire their meaning in the linguistic usage. We will also point out how for Kant the linguistic usage makes the analysis of concepts anything but easy and how a hermeneutic process is necessary for its completion. In distinguishing philosophical signs from mathematical signs, Kant provides the semiotic reasons that underlie his recourse to hermeneutics. (shrink)

In this paper, I first examine the classification of mental derangements contained in Kant’s "Anthropology from a Pragmatic Point of View", in order to highlight the role played by imagination in their pathogenesis. Later, on the basis of this examination, I reflect on the origins of critical philosophy, which can be seen as an attempt to construct a control device for the imagination structured as a systematic, organic space.

Whilst previous observational studies have linked negative thought processes such as an external locus of control and holding negative cognitive styles with depression, the directionality of these associations and the potential role that these factors play in the transition to adulthood and parenthood has not yet been investigated. This study examined the association between locus of control and negative cognitive styles in adolescence and probable depression in young adulthood and whether parenthood moderated these associations. Using a UK prospective population-based birth (...) cohort study: the Avon Longitudinal Study of Parents and Children, we examined the association between external locus of control and negative cognitive styles in adolescence with odds of depression in 4,301 young adults using logistic regression models unadjusted and adjusted for potential confounding factors. Interaction terms were employed to examine whether parenthood moderated these associations. Over 20% of young adults in our sample were at or above the clinical threshold indicating probable depression. For each standard deviation increase in external locus of control in adolescence, there was a 19% higher odds of having probable depression in young adulthood, after adjusting for various confounding factors including baseline mood and different demographic and life events variables. Similarly, for each SD increase in negative cognitive styles in adolescence, there was a 29% higher odds of having probable depression in the adjusted model. We found little evidence that parenthood status moderated the relationship between external locus of control or negative cognitive styles in adolescence and probable depression following adjustment for confounding factors. Effect estimates were comparable when performed in the complete case dataset. These findings suggest that having an external locus of control and holding negative cognitive styles in mid- to late adolescence is associated with an increased likelihood of probable depression in young adulthood. (shrink)

The most authoritative testimony for the text of Apuleius’ defence-speech known as Apologia or Pro Se De Magia is a Cassinese MS indicated with the siglum F, written under the abbotship of Desiderius in a mature Beneventan script, which also preserves the text of the Metamorphoses and the Florida. The text that F preserves is unsurprisingly not flawless, and in this note I argue for the presence of a corruption affecting aut in Apol. 47.1. For the sake of clarity, I (...) provide the passage from Apol. 46.6 to 47.2 below. (shrink)

The first of its kind in English, _The Anthology of the Works of Ugo Spirito_ offers an account of the complex intellectual life of one of the most original and controversial Italian thinkers of the past century.

The aim of this paper is to understand the meaning of dialectical contradiction. I shall argue that dialectics is mainly a linguistic phenomenon that shows the coimplication of concepts. Through a deep analysis of the notions of “contradiction” and “negation”, which lie behind Hegel’s and Adorno’s work, I shall explain the logical structure of the contradiction which Hegel and Adorno work with ; I shall show why Hegel and Adorno give two radically different interpretations of contradiction ; why Adorno’s idea (...) of dialectics, as showing the presence of a transcendent “nonidentical”, is not sustainable ; and, finally, that Adorno’s conception of a purely negative dialectics requires a linguistic interpretation. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...) notion of nothingness. The idea of indefinite extensibility allows us to have our cake and to eat it too. (shrink)

In this paper we discuss a view of the Machine Learning technique called Explanation-Based Learning (EBL) or Explanation-Based Generalization (EBG) as a process for the interpretation of vague concepts in logic-based models of law.The open-textured nature of legal terms is a well-known open problem in the building of knowledge-based legal systems. EBG is a technique which creates generalizations of given examples on the basis of background domain knowledge. We relate these two topics by considering EBG''s domain knowledge as corresponding to (...) statute law rules, and EBG''s training example as corresponding to a precedent case. (shrink)

This paper deals with Leibniz’s well-known reductio argument against the infinite number. I will show that while the argument is in itself valid, the assumption that Leibniz reduces to absurdity does not play a relevant role. The last paragraph of the paper reformulates the whole Leibnizian argument in plural terms to show that it is possible to derive the contradiction that Leibniz uses in his argument even in the absence of the premise that he refutes.

A pure probabilistic approach to Gibbs' distributions is given, starting from the notion of “finite exchangeable random process.” The differences between bosons, fermions, and classical particles are ascribed to different values of correlation. The relationship between exchangeability and constraints on the energy distribution is investigated.

Il termineha cominciato a essere impiegato nel nostro paese con riferimento all'integrazione sociale di gruppi minoritari solo a partire dagli anni sessanta, per sostituire il concetto ormai logoro di. Prendendo in esame le piů recenti normative italiane ed europee l'articolo mostra come le nuove politiche disegnino un ritorno, al di sotto di una terminologia rimasta immutata, alla concettualitÀ assimilazionista. Questo ritorno, in controtendenza rispetto alla progressiva giuridificazione e proceduralizzazione dell'appartenenza messa in moto dall'emergere nel secondo dopoguerra della politica dei diritti (...) umani, sembra spingere le nostre societÀ politiche indietro verso una pericolosa ri-sostanzializzazione del concetto di cittadinanza in un processo che, lungi dall'aprire spazi di convivenza culturalmente plurali, sembra condurre concretamente verso una sempre piů spregiudicata e discriminante selezione migratoria funzionale a perpetuare quella sistematica inferiorizzazione economica e simbolica degli immigrati in cui consiste e di cui si nutre il razzismo istituzionale europeo. (shrink)