What kind of feeling is shame? Why are we ashamed and what are the consequences that this emotion has on the subject? Is it a private or a "social" emotion? How many types of shame exist? Is vicarious shame always shameful? What are the ways in which art has represented shame? What are the relations between shame, guilt, embarrassment and censorship? Is it possible to be immune to shame? Would "Not being ashamed" count as a virtue or is it a (...) morally reprehensible attitude? Sensibilia. Colloquium on Perception and Experience investigated the different ways in which shame can be described and staged, presupposed and understood. The proposals and the points of view collected in this volume relate in an original and interdisciplinary way different areas of research all equally interested in reflecting on a complex and stratified feeling. The result was a heated debate on (ancient and contemporary) inconvenient, thorny and "shameful" issues. (shrink)

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

Este artigo discute o conceito de herdabilidade, empregado pela genética do comportamento, genética molecular e a teoria da herdabilidade, sob a perspectiva do modelo reticulado de racionalidade científica, de Larry Laudan. Analisa os argumentos contrários à utilização do termo herdabilidade focando principalmente nos resultados de experimentos da genética do comportamento. Conclui que algumas críticas ao termo herdabilidade são válidas tais como o termo poder ser confuso para o público em geral, mas podem ser extremas como as que propõem sua extinção. (...) A análise desenvolvida leva à conclusão de que a herdabilidade, tanto pela genética do comportamento, quanto pela genética molecular, é útil para seus respectivos fins. Os autores consideram que ao invés de ser extinto, o termo pode ser utilizado considerando mais análises, resultados e conclusões, sendo, portanto, essa a escolha mais racional e progressiva. (shrink)

Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.

The term "non-monotonic logic" covers a family of formal frameworks devised to capture and represent defeasible inference , i.e., that kind of inference of everyday life in which reasoners draw conclusions tentatively, reserving the right to retract them in the light of further information. Such inferences are called "non-monotonic" because the set of conclusions warranted on the basis of a given knowledge base does not increase (in fact, it can shrink) with the size of the knowledge base itself. This is (...) in contrast to classical (first-order) logic, whose inferences, being deductively valid, can never be "undone" by new information. (shrink)

A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.

We present an axiomatic approach for a class of finite, extensive form games of perfect information that makes use of notions like “rationality at a node” and “knowledge at a node.” We distinguish between the game theorist's and the players' own “theory of the game.” The latter is a theory that is sufficient for each player to infer a certain sequence of moves, whereas the former is intended as a justification of such a sequence of moves. While in general the (...) game theorist's theory of the game is not and need not be axiomatized, the players' theory must be an axiomatic one, since we model players as analogous to automatic theorem provers that play the game by inferring (or computing) a sequence of moves. We provide the players with an axiomatic theory sufficient to infer a solution for the game (in our case, the backwards induction equilibrium), and prove its consistency. We then inquire what happens when the theory of the game is augmented with information that a move outside the inferred solution has occurred. We show that a theory that is sufficient for the players to infer a solution and still remains consistent in the face of deviations must be modular. By this we mean that players have distributed knowledge of it. Finally, we show that whenever the theory of the game is group-knowledge (or common knowledge) among the players (i.e., it is the same at each node), a deviation from the solution gives rise to inconsistencies and therefore forces a revision of the theory at later nodes. On the contrary, whenever a theory of the game is modular, a deviation from equilibrium play does not induce a revision of the theory. (shrink)

The reflection elaborated in these pages, fleeing all submission to the now abused rhetoric of the prevailing economism, traces in the works of René Girard - the most serious pretender to the legacy of the masters of suspicion - and Jacques Derrida - the last great philosopher of the twentieth century - the constituent elements of a critical paradigm with which to interpret the present time. The volume investigates the multiple correspondences between the different legacies of deconstruction and the most (...) recent developments of mimetic theory through the articulated reconstruction of the reflections, still little known in Italy, of some of the most brilliant contemporary exponents of those traditions. Formulating the features of an ontology of actuality hinged on the notions of mimesis and trace, the author proposes a philosophical diagnosis that recognizes in our time an age in the grip of panic. (shrink)

Il dibattito sul ruolo e le implicazioni del teorema di Gödel per l'intelligenza artificiale ha recentemente ricevuto nuovo impeto grazie a due importanti volumi pubblicati da Roger Penrose, The Emperor's New Mind [1989] e Shadows of the Mind [1994]. Naturalmente, Penrose non è il primo né l'ultimo a usare il teorema di Gödel allo scopo di trarne conseguenze per i fondamenti dell'intelligenza artificiale. Tuttavia il recente dibattito suscitato dai due libri di Penrose è significativo sia per ampiezza sia per profondità. (...) In queste pagine si vuole dare una rassegna di tale dibattito, cominciando dai suoi precursori negli anni '60 (fra cui Lucas, Putnam, e Chihara), per passare poi alle complesse argomentazioni proposte da Penrose e le reazioni di una serie di commentatori (ad esempio Dennett, Feferman, McDermott, Davis). (shrink)

Kleene comincia la sezione §60 di Introduction to metamathematics considerando la questione se la matematica informale, e specialmente la teoria intuitiva dei numeri sia formalizzabile. Il classico teorema di G¨.

La thèse de l’« inexistence intentionnelle » formulée par Brentano a été traditionnellement interprétée comme une théorie de la « relation intentionnelle », autrement dit de la relation entre l’acte mental et son « objet immanent » ou « intentionnel », c’est-à-dire interne à la conscience. Se fondant sur la lecture du fameux passage sur l’intentionnalité de la Psychologie du point de vue empirique , le présent article démontre que l’interprétation ontologique de la théorie de l’intentionnalité du premier Brentano est (...) insoutenable, toute dominante qu’elle est. Pour ce faire, nous partirons des sources de la pensée de Brentano, en particulier de la théorie de la perception et des relatifs d’Aristote, pour rejeter la conception de l’objet immanent ou intentionnel comme entité immanente à la conscience et mettre en évidence la continuité qui existe entre la première conception de Brentano de l’intentionnalité et la seconde, consécutive à ce qu’on définit comme le tournant réiste de sa pensée.Brentano’s thesis of “intentional inexistence” has been traditionally interpreted as a theory of “intentional relationships”, i.e., of the relation between a mental act and its “immanent” or “intentional object”, within consciousness. Starting from the famous passage on intentionality in Psychology from an Empirical Standpoint , the present paper shows that the dominant ontological interpretation of Brentano’s former theory of intentionality is untenable. Proceeding from the sources of Brentano’s thought, in particular from Aristotle’s theory of perception and of relatives, the conception of the immanent or intentional object as an immanent entity to consciousness is rejected. Instead, the continuity between Brentano’s former conception of intentionality and the subsequent one, following the so-called reistic turning-point in his thought, is highlighted. (shrink)

Aldo Antonelli offers a novel view on abstraction principles in order to solve a traditional tension between different requirements: that the claims of science be taken at face value, even when involving putative reference to mathematical entities; and that referents of mathematical terms are identified and their possible relations to other objects specified. In his view, abstraction principles provide representatives for equivalence classes of second-order entities that are available provided the first- and second-order domains are in the equilibrium dictated (...) by the abstraction principles, and whose choice is otherwise unconstrained.entities are the referents of abstraction terms: such referents are to an extent indeterminate, but we can still quantify over them, predicate identity or non-identity, etc. Our knowledge of them is limited, but still substantial: we know whatever has to be true no matter how the representatives are chosen, i.e., what is true in all models of the corresponding abstraction principles. This view is backed up by an “austere” conception of universals, according to which these are first-order objects, i.e., ways of collecting first-order objects. Antonelli thus claims that second-order logic does not import any novel ontological commitment beyond ontology of first-order, naturalistically acceptable, objects. Moreover, in the case of arithmetic, even if Hume’s Principle is construed as described above, Frege’s Theorem goes through unaffected, since there is nothing in its proof that depends on an account of the “true nature” of numbers. A viable construal of logicism is then given by the combination of semantic nominalism and a naturalistic conception of abstraction. [Editors note]. (shrink)

Il tema del merito ha avuto molte vite, in tradizioni e culture diverse, trovando di recente rinnovata centralità su entrambi i lati dell’Atlantico. Il volume si prefigge l’obiettivo di analizzarne le ragioni, indagarne le condizioni di possibilità, valutarne limiti e problemi.

One of the most important developments over the last twenty years both in logic and in Artificial Intelligence is the emergence of so-called non-monotonic logics. These logics were initially developed by McCarthy [10], McDermott & Doyle [13], and Reiter [17]. Part of the original motivation was to provide a formal framework within which to model cognitive phenomena such as defeasible inference and defeasible knowledge representation, i.e., to provide a formal account of the fact that reasoners can reach conclusions tentatively, reserving (...) the right to retract them in the light of further information. (shrink)

El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y pluralista (...) se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. (shrink)

In this paper we introduce the notion of a set algebra S satisfying a system E of equations. After defining a notion of freeness for such algebras, we show that, for any system E of equations, set algebras that are free in the class of structures satisfying E exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated.

In this paper we introduce the notion of a set algebra $\mathscr{S}$ satisfying a system $\mathscr{E}$ equations. After defining a notion of freeness for such algebras, we show that, for any system $\mathscr{E}$ of equations, set algebras that are free in the class of structures satisfying $\mathscr{E}$ exist and are unique up to a bisimulation. Along the way, analogues of classical set-theoretic and algebraic properties are investigated.

This article, inspired by Rudolf Haller’s thesis of an independent, specific, and unitary Austrian tradition of scientific philosophy, develops the idea of a specific Austrian tradition of psychological research, as distinguished in its development from that in Germany. This tradition was shaped by two phenomenological trends, which were merged into unity in Prague by Carl Stumpf and Brentano’s students of the second generation. One trend traces back to Goethe and was continued in Prague by the physiologists Jan E. Purkinje and (...) Ewald Hering, culminating in the work of Ernst Mach. The other trend was initiated by Franz Brentano and spread through his school. Stumpf was the key integrator of these two traditions, which he then partially passed on to his Berlin students and founders of Gestalt psychology. Finally, Karl Bühler’s “reimport” of the Brentanian psychological legacy into the Vienna of the First Republic is briefly illustrated. (shrink)

RESUMEN El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y (...) pluralista se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. ABSTRACT The article presents ‘practical immanence’ as the key to the ethics developed by G. Deleuze on the basis of B. Spinoza and F. Nietzsche. This notion involves three theses that show the unconditional vindication of immanence and the critique of all transcendence: affirmation of the body over consciousness; appealing to the good things and the bad things rather than to good and evil; and the defense of the joy and innocence of becoming. The article argues that this naturalistic and pluralistic ethics is grounded in assessment criteria linked to life as the focal point of appreciation, and suggests the creation of new ways of being as a means to tackle the system of moral judgment on which nihilism is based. (shrink)

In this paper we argue that Pareyson’s notion of formativity is germane to the notion of self–transcendence recently put forward in the vast domain of the sciences of the self–organization of complex systems. Following Jean–Pierre Dupuy’s approach, we will not apply this notion to the analysis of Pareyson’s theory; we will, instead, show— by referring to thenumerous topoi where often surprisingly precise parallelisms, onvergences and semantic identities are to be found—that, though being largely independent in their genesis, the logics of (...) the two notions are already consistent with each–other. As a result, we will claim that Pareyson’s theory of the work of art is best understood as a study on the integration of different layers of organizational closures. (shrink)