1,390 research outputs found
Flaminio, Marcantonio
No full textVoce biografica sul celebre umanista Marcantonio Flaminio (1498-1550) vicino ai movimenti evangelici italiani della prima metà del Cinquecento
A Note on Saturated Models for Many-Valued Logics
No full textIn this short paper we will discuss on saturated and κ-saturated models of many-valued (t-norm based fuzzy) logics. Using these peculiar structures we show a representation theorem à la Di Nola for several classes of algebras including MV, Gödel, product, BL, NM and WNM-algebras. Then, still using (κ)-saturated algebras, we finally show that some relevant subclasses of algebras related to many-valued logics also enjoy the joint embedding property and the amalgamation property
On the Algebraic Structure of Conditional Events
No full textThis paper initiates an investigation of conditional measures as simple measures on conditional events. As a first step towards this end we investigate the construction of conditional algebras which allow us to distinguish between the logical properties of conditional events and those of the conditional measures which we can be attached to them. This distinction, we argue, helps us clarifying both concepts. © Springer International Publishing Switzerland 2015.The authors are very grateful for the interesting comments by two anonymous reviewers. Flaminio was supported by the Italian project FIRB 2010 (RBFR10DGUA−002). Godo acknowledges partial support of the Spanish MINECO project TIN2012-39348-C02-01. Hosni acknowledges the support of the EU Marie Curie IEF-GA-2012-327630 project Rethinking Uncertainty: A Choice-based approachPeer Reviewe
On the logical structure of de Finetti's notion of event
No full textThis paper sheds new light on the subtle relation between probability and logic by (i) providing a logical development of Bruno de Finetti's conception of events and (ii) suggesting that the subjective nature of de Finetti's interpretation of probability emerges in a clearer form against such a logical background. By making explicit the epistemic structure which underlies what we call Choice-based probability we show that whilst all rational degrees of belief must be probabilities, the converse doesn't hold: some probability values don't represent decision-relevant quantifications of uncertainty. © 2014 Elsevier B.V.This article develops methods and ideas introduced in Flaminio et al. (2013). We would like to thank the participants of
PROGIC 2013 for their comments on the presentation of this material, and in particular Gregory Wheeler and Jon Williamson. We are also extremely grateful to two anonymous referees for their useful suggestion Flaminio acknowledges partial support of the Italian project FIRB 2010 (RBFR10DGUA −002). Godo acknowledges partial support of the Spanish
projects AT (CONSOLIDER CSD2007-0022, INGENIO 2010) and EdeTRI (TIN2012-39348-C02-01). Flaminio and Godo acknowledge partial support of the IRSES project MaToMUVI (PIRSES-GA-2009-247584). Hosni acknowledges the support of the European Commission under the Marie Curie IEF-GA-2012-327630 project Rethinking Uncertainty: A Choice-based approachPeer Reviewe
T-norm-based logics with an independent involutive negation
No full textIn this paper we investigate the addition of arbitrary independent involutive negations to t-norm-based logics. We deal with several extensions of MTL and establish general completeness results. Indeed, we will show that, given any t-norm-based logic satisfying some basic properties, its extension by means of an involutive negation preserves algebraic and (finite) strong standard completeness. We will deal with both propositional and predicate logics
Models for many-valued probabilistic reasoning
No full textIn this article, we compare models for many-valued probabilistic reasoning from the point of view of the sets of satisfiable formulas, positive satisfiable formulas, and tautologies. The results arising from this comparison will be used in the final part of the present article to provide results about the computational complexity for the problem of deciding if a formula belongs to one of the previously discussed sets
La Lettre du sieur Pepoly comte Bolognois, escrite au Cardinal Mazarin, touchant sa retraitte hors du Royaume de France
No full textВ колофоне: Marco Flaminio PepolyMoreau220
On Boolean Algebras of Conditionals and Their Logical Counterpart
No full textThis paper sheds a novel light on the longstanding problem of investigating the logic of conditional events. Building on the framework of Boolean algebras of conditionals previously introduced by the authors, we make two main new contributions. First, we fully characterise the atomic structure of these algebras of conditionals. Second, we introduce the logic of Boolean conditionals (LBC) and prove its completeness with respect to the natural semantics induced by the structural properties of the atoms in a conditional algebra as described in the first part. In addition we outline the close connection of LBC with preferential consequence relations, arguably one of the most appreciated systems of non-monotonic reasoning. © Springer International Publishing AG 2017.Flaminio and Godo acknowledge partial support by the Spanish FEDER/MINECO project TIN2015-71799- C2-1-P.Peer Reviewe
La Lettre du sieur Pepoly comte Bolognois, escrite au Cardinal Mazarin, touchant sa retraitte hors du Royaume de France
No full textMoreau2205В колофоне: Marco Flaminio Pepol
Does Empirical Embeddedness Matter? Methodological Issues on Agent-Based Models for Analytical Social Science
No full textThe paper deals with the use of empirical data in social science agent-based models. Agent-based models are too often viewed just as highly abstract thought experiments conducted in artificial worlds, in which the purpose is to generate and not to test theoretical hypotheses in an empirical way. On the contrary, they should be viewed as models that need to be embedded into empirical data both to allow the calibration and the validation of their findings. As a consequence, the search for strategies to find and extract data from reality, and integrate agent-based models with other traditional empirical social science methods, such as qualitative, quantitative, experimental and participatory methods, becomes a fundamental step of the modelling process. The paper argues that the characteristics of the empirical target matter. According to characteristics of the target, ABMs can be differentiated into case-based models, typifications and theoretical abstractions. These differences pose different challenges for empirical data gathering, and imply the use of different validation strategies.Agent-Based Models, Empirical Calibration and Validation, Taxanomy of Models
- …
