In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.

I teoremi di Gödel suscitano un interesse sempre crescente nella riflessione filosofica contemporanea. Rimane però in discussione fra gli studiosi come si sia arrivati alla loro scoperta e quale sia il loro significato per il dibattito sui fondamenti delle scienze. Nel volume si ripercorrono le vicende che portarono alla formulazione dei teoremi di incompletezza, a partire dall’incontro tra von Neumann e Gödel al Congresso di Königsberg nel 1930, e si indaga, riferendosi in particolare al lavoro di von Neumann, sull’impatto che (...) questi teoremi hanno avuto per il progetto hilbertiano di fondazione della matematica e delle scienze più in generale. Ne risulta un’immagine delle indagini di Hilbert meno rigida di quella finora corrente, in linea con le più recenti acquisizioni della storiografia, e soprattutto più rispettosa della stessa prassi assiomatica, che oscillava per Hilbert tra ambizioni fondazionaliste e istanze pragmatiche. È stato von Neumann a rendere esplicita, dopo la scoperta dei teoremi di Gödel, quella che si può definire come la “svolta pragmatica” nell’assiomatica. Il libro propone inoltre un chiarimento riguardo alla scoperta di von Neumann del secondo teorema di incompletezza. (shrink)

Giambattista Vico (1668-1744) was one of the most original and idiosyncratic philosophers before Kant and Hegel. Although Giorgio Vasari had already diagnosed a cycle of rise, blossoming and decline in the history of art, Vico was the first to base this on a philosophical system. Isolated in Naples from direct contact with the philosophical life of his times, he worked at his grand design of the cycles of rise, blossoming, decline and eternal return which he saw in all areas (...) of culture. His points of reference were ancient mythology and Greek and Roman history. To that extent, he is regarded today as the founder of the philosophy of history and the precursor of a tradition which extends to Hegel and Oswald Spengler's "Decline of the West". (shrink)

Bibliografia (p.[xvii]-xlvi) - Scritti autobiografici.- Dagli scritti filosofici anteriori alla "Scienza nuova."- Principj di scienza nuova.- Dagli scritti minori: filosofici e critici.- Dagli scritti minori: storici, biografici ed epigrafici.

The relatedness between a country or a firm and a product is a measure of the feasibility of that economic activity. As such, it is a driver for investments at a private and institutional level. Traditionally, relatedness is measured using networks derived by country-level co-occurrences of product pairs, that is counting how many countries export both. In this work, we compare networks and machine learning algorithms trained not only on country-level data, but also on firms, which is something not much (...) studied due to the low availability of firm-level data. We quantitatively compare the different measures of relatedness, by using them to forecast the exports at the country and firm level, assuming that more related products have a higher likelihood to be exported in the future. Our results show that relatedness is scale dependent: the best assessments are obtained by using machine learning on the same typology of data one wants to predict. Moreover, we found that while relatedness measures based on country data are not suitable for firms, firm-level data are very informative also for the development of countries. In this sense, models built on firm data provide a better assessment of relatedness. We also discuss the effect of using parameter optimization and community detection algorithms to identify clusters of related companies and products, finding that a partition into a higher number of blocks decreases the computational time while maintaining a prediction performance well above the network-based benchmarks. (shrink)

Sinopsi del diritto universale.--De universi iuris uno principio et fine uno.-- De constantia iurisprudentis.-- Notae in duos libros.--Dissertationes.

We present a class of normal modal calculi PFD, whose syntax is endowed with operators M r, one for each r [0,1] : if a is sentence, M r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular probability evaluations with range in a (...) fixed finite subset F of [0,1] : there is one such a function for every world w, P F, and this allows to evaluate M ra as true in the world w iff p F r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models. (shrink)

Introduction et présentation de J.-B. Vico et de la Science nouvelle.--Philosophie.--Philologie et esthétique.--Philosophie de l'histoire.

v. 4. Reivindicaiones de Vico y otros escritos latinos -- v. 5. Escritos históricos : Gestas de Antonio Crafa y La conspiración partenopea (La conspiración de los príncipes napolitanos --.

We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the modal logic (...) used for the fix point construction then we come to the Marek Schwarz and Truszczyński framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. (shrink)

Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)

La “referencia al origen es un invariante cultural” . Sin embargo, cada país tiene modos particulares de procesar su propia historia. Este trabajo analiza una de las modalidades en que –en Argentina– se narra ese origen, en el contexto de los bicentenarios latinoamericanos. Ese momento originario –la Revolución de Mayo de 1810– aparece representado en producciones literarias que han sido best sellers de historia. Esos relatos de no-ficción junto a otros de ficción permiten problematizar la cuestión del género y su (...) relación con “la nación” como matriz cultural. Un modo de imaginar un “nosotros” y de permitir ciertas inclusiones y exclusiones identitarias en el momento del origen y en el presente del Bicentenario. (shrink)

BIBLIOGRAPHICAL NOTE The standard edition of Vico's works is by Fausto Nicolini (8 vols. in 11; Ban, 1911-41). For a bibliography, see Benedetto Croce, ...

Hilbert’s axiomatic approach to the sciences was characterized by a dynamic methodology tied to scientific and mathematical fields under investigation. In particular, it is an analytic art for choosing axioms but, at the same time, it has to include dynamically synthetic procedures and meta-theoretical reflections. Axioms have to be useful, or capture something, or help as part of explanations. The Andréka-Németi group use several formal axiomatic theories together to re-capture, predict, recover or explain the phenomena of special relativity, general relativity (...) and classical kinematics. Their scientific methodology is close to Hilbert’s conceptions of how science should be done ideally. In this paper, we compare Formica’s reading of Hilbert’s axiomatic method to the method used by the Andréka-Németi group. (shrink)