Artificial intelligence is nowadays a reality. Setting rules on the potential outcomes of intelligent machines, so that no surprise can be expected by humans from the behavior of those machines, is becoming a priority for policy makers. In its recent Communication “Artificial Intelligence for Europe”, for instance, the European Commission identifies the distinguishing trait of an intelligent machine in the presence of “_a certain degree of autonomy_” in decision making, in the light of the context. The crucial issue to be (...) addressed is, therefore, whether it is possible to identify a set of rules for data use by intelligent machines so that the decision-making autonomy of machines can allow for humans’ traditional informational self-determination, as enshrined in many existing legal frameworks and can actually turn out to be further beneficial to individuals. Governing the autonomy of machines can be a very ambitious goal for humans since machines are geared first to the principles of formal logic and then—possibly—to ethical or legal principles. This introduces an unprecedented degree of complexity in how a norm should be engineered, which requires, in turn, an in-depth reflection in order to prevent conflicts between the legal and ethical principles underlying humans’ civil coexistence and the rules of formal logic upon which the functioning of machines is based. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

This paper, accompanying Baeumler’s 1922 essay on Croce, illustrates the German philosopher’s thesis that modern thought on beauty does lead to aesthetics only when, with Kant, it acquires a notion of taste, understood as the sensible manifestation of the concrete individuality of man.

Name der Zeitschrift: Cultura. International Journal of Philosophy of Culture and Axiology Jahrgang: 8 Heft: 2 Seiten: 51-61.

In this paper I would like to demonstrate that the “society of spectacle” notably influences our idea of the other and our intercultural thought and practice.In this way the imagination is not a free creative capability of a human being, but a political and social instrument of power of the society of spectacle.

This paper presents a version of neurophenomenology based on generative modelling techniques developed in computational neuroscience and biology. Our approach can be described as _computational phenomenology_ because it applies methods originally developed in computational modelling to provide a formal model of the descriptions of lived experience in the phenomenological tradition of philosophy (e.g., the work of Edmund Husserl, Maurice Merleau-Ponty, etc.). The first section presents a brief review of the overall project to naturalize phenomenology. The second section presents and evaluates (...) philosophical objections to that project and situates our version of computational phenomenology with respect to these projects. The third section reviews the generative modelling framework. The final section presents our approach in detail. We conclude by discussing how our approach differs from previous attempts to use generative modelling to help understand consciousness. In summary, we describe a version of computational phenomenology which uses generative modelling to construct a computational model of the inferential or interpretive processes that best explain this or that kind of lived experience. (shrink)

Este trabajo analiza el método tópico-retórico, definido por Vico y escogido de la tópica jurídica como modelo de razonamiento filosófico, y estudia su carácter de técnica de ensamiento problematista, necesario en la producción de pruebas argumentativas.PALABRAS CLAVE: Vico, tópica, retórica, método aporético, problematismo, quaestio.This paper deals with the topical-rhetorical method, which Vico borrowed from juridical discourse as a model for philosophical reasoning. It studies it as a technic of problematist thought, requested for the production of argumentative proofs. KEYWORDs: Vico, topical, (...) rhetoric, aporetic method, problematism, quaestio. (shrink)

El ensayo argumenta la tesis según la cual en Vico el principio epistemológico del verum-factum nacería en el terreno de la reflexión sobre la lengua en su uso socialmente comunicativo y semánticamente innovativo. Una reflexión, ésta de Vico, que tiene en el Ars poetica de Horacio su punto paradigmático de referencia.Palabras clave: Vico, uso de la lengua, verum-factum, tópica, Platón, Cesarotti, Manzoni.This essay argument the thesis that, up to Vico’s philosophy, the epistemological principle of the verum/ factum would develop itself (...) on the reflexion’s basis on the language, direct through an use that, thanks to these parameters, can be highlighted as semantically innovative and communicative for our society. That reflection has in the Oratio’s Ars Poetica its paradigmatic reference point.Keywords: Vico, language use, verum-factum, topical, Plato, Cesarotti, Manzoni. (shrink)

CONTENTS: -/- SEZIONE I IL TUTTO E' UNO? IL RISVEGLIO DI UN PROBLEMA TRA SCOLASTICA E RINASCIMENTO Il principio omne causatum est compositum fra Tommaso e Cajetano Igor Agostini, p. 25 Parti e tutto in Montaigne. La natura e l'individuo tra frammentazione e integrazione Raffaele Carbone 45 Le minuzzarie e il tutto. Giordano bruno e la conoscenza universale Maurizio Cambi 75 -/- SEZIONE II A PARTIRE DA CARTESIO. COME PUO' ESSERE UN TUTTO L'UOMO? -/- Mente/Corpo in Cartesio. Spunti per un'interpretazione (...) mereologica Stefano Di Bella 93 Nos sumus ex Deo et pertinemus ad Deum. Appartenenza, dipendenza e relazione nel pensiero e nel lessico di Arnold Guelincx Cristina Santinelli 115 L'integrità di corpo e mente nell'"invenire" terapeutico di E. W. von Tschirnhaus Manuela Sanna 133 L'indivisibilità della natura umana e della società in Francesco Longano. Un episodio della ricezione di Locke in Italia Roberto Evangelista 147 -/- SEZIONE III L'IRROMPERE DELL'ORGANICO. LA BIOLOGIA FILOSOFICA TRA SEI E SETTECENTO -/- Convenienza e discrepanza. Parti e tutto nella Lettera 32 di Baruch Spinoza Francesco Toto 169 Mereologia della sostanza e mereologia del vivente in Leibniz Enrico Pasini 197 Teleologia e mereologia dell’organismo da Leibniz a Bonnet Francesco Piro 209 Il nesso delle parti: mereologia e scienza secondo Christian Wolff Matteo Favaretti Camposampiero 239 Il problema del tutto e delle parti. il caso del vitalismo di Montpellier Charles T. Wolfe 257 -/- SEZIONE 4 TOTALITA' CRITICHE: DALLA CRISI DEL NATURALISMO ILLUMINISTICO ALLA FILOSOFIA DELLE CULTURE -/- La logica del tutto (e delle parti di tutto, vale a dire niente) in Dom Deschamps Jean-Claude Bourdin 273 l’(in)afferabile forma. Totalità e contingenza nel pensiero di Kant tra Critica della ragion pura e Critica del giudizio Luigi Imperato 303 la relazione Parte-Tutto nel primo Schelling Giuseppe D’Anna 327 Hegel o della totalizzazione dello spazio di interiorità Vittorio Morfino 343 A partire da Kant: Begriffsbiìldung teleologica e relazione Parti-Tutto nelle indagini di Rickert sulla logica delle scienze storiche della cultura Edoardo Massimilla 359 . (shrink)

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies (...) and noise. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent “nonlocality proof” by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any “element of physical reality” (viz., determined “with probability equal to unity” in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies (...) and noise. (shrink)