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)

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.

Current research in Explainable AI includes post-hoc explanation methods that focus on building transparent explaining agents able to emulate opaque ones. Such agents are naturally required to be accurate and trustworthy. However, what it means for an explaining agent to be accurate and trustworthy is far from being clear. We characterize accuracy and trustworthiness as measures of the distance between the formal properties of a given opaque system and those of its transparent explanantes. To this aim, we extend Probabilistic Computation (...) Tree Logic with operators to specify degrees of accuracy and trustworthiness of explaining agents. We also provide a semantics for this logic, based on a multi-agent structure and relative model-checking algorithms. The paper concludes with a simple example of a possible application. (shrink)

BackgroundSonographic mesenteric pattern in celiac disease (CD) suggests a hyperdynamic circulation. Despite the well-known CD-related neurological involvement, no study has systematically explored the cerebral hemodynamics to transcranial Doppler sonography.Materials and methodsMontreal Cognitive Assessment (MoCA) and 17-item Hamilton Depression Rating Scale (HDRS) were assessed in 15 newly diagnosed subjects with CD and 15 age-, sex-, and education-matched healthy controls. Cerebral blood flow (CBF) velocities and indices of resistivity (RI) and pulsatility (PI) from the middle cerebral artery (MCA), bilaterally, and the basilar (...) artery (BA) were recorded. We also assessed cerebral vasomotor reactivity (CVR) through the breath-holding test (BHT).ResultsWorse scores of MoCA and HDRS were found in patients compared to controls. Although patients showed higher values of CBF velocity from MCA bilaterally compared to controls, both at rest and after BHT, no comparison reached a statistical significance, whereas after BHT both RI and PI from BA were significantly higher in patients. A significant negative correlation between both indices from BA and MoCA score were also noted.ConclusionThese treatment-naïve CD patients may show some subtle CVR changes in posterior circulation, thus possibly expanding the spectrum of pathomechanisms underlying neuroceliac disease and in particular gluten ataxia. Subclinical identification of cerebrovascular pathology in CD may help adequate prevention and early management of neurological involvement. (shrink)

Obsessive–compulsive disorder is a debilitating mental health disorder that can easily become a treatment-resistant condition. Although effective therapies exist, only about half of the patients seem to benefit from them when we consider treatment refusal, dropout rates, and residual symptoms. Thus, providing effective augmentation to standard therapies could improve existing treatments. Group compassion-focused interventions have shown promise for reducing depression, anxiety, and avoidance related to various clinical problems, but this approach has never been evaluated for OCD individuals. However, cultivating compassion (...) for self and others seems crucial for OCD patients, given the accumulating research suggesting that fear of guilt, along with isolation and self-criticism, can strongly contribute to the development and maintenance of OCD. The primary aim of this pilot study was to evaluate the acceptability, tolerability, and effectiveness of an 8-week group compassion-focused intervention for reducing OCD symptoms, depression, fear of guilt and self-criticism, and increasing common humanity and compassionate self-reassuring skills in treatment-resistant OCD patients. Using a multiple baseline experimental design, the intervention was evaluated in a sample of OCD patients who had completed at least 6 months of CBT treatment for OCD, but who continued to suffer from significant symptoms. Participants were randomized to different baseline assessment lengths; they then received 8 weekly, 120-min group sessions of compassion-focused therapy for OCD, and then were tested again at post-treatment and at 1 month follow up. Despite the adverse external circumstances, by the end of treatment, all participants demonstrated reliable decreases in OCD symptoms, and these improvements were maintained at 4-week follow-up for seven of eight participants. The intervention was also associated with improvements in fear of guilt, self-criticism, and self-reassurance, but less consistent improvements in depression and common humanity. Participants reported high levels of acceptability of and satisfaction with the intervention. Results suggest that the intervention may be beneficial as either a stand-alone treatment or as an augmentation to other treatments. (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)

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)

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)

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)

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)

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)