Results for 'Ciuni Roberto'

1000+ found
Order:
  1.  28
    Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.
    A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple contaminating (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2. Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  4. L’esistenza Non È Logica.Roberto Ciuni & Francesco Berto - 2010 - Rivista di Estetica 45.
     
    Export citation  
     
    Bookmark   10 citations  
  5. New Papers on the Present: Focus on Presentism.Roberto Ciuni, Giuliano Torrengo & Kristie Miller (eds.) - 2013 - Philosophia Verlag.
    The book is divided into three parts. The first, containing three papers, focuses on the characterization of the central tenets of previii sentism (by Neil McKinnon) and eternalism (by Samuel Baron and Kristie Miller), and on the ‘sceptical stance’ (by Ulrich Meyer), a view to the effect that there is no substantial difference between presentism and eternalism. The second and main section of the book contains three pairs of papers that bring the main problems with presentism to the fore and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  81
    Completeness of a Branching-Time Logic with Possible Choices.Roberto Ciuni & Alberto Zanardo - 2010 - Studia Logica 96 (3):393-420.
    In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quantifies over histories and whose temporal operators involve a restricted quantification over histories in a given possible choice. This is a technical novelty, since the operators of the usual logics for branching-time such as CTL express an unrestricted quantification over histories and moments. The value of the apparatus we introduce is connected to those logics of agency that are interpreted on branching-time, as for instance (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  7. Normality Operators and Classical Collapse.Roberto Ciuni & Massimiliano Carrara - 2018 - In T. Arazim P. And Lavicka (ed.), The Logica Yearbook 2017. Londra, Regno Unito: pp. 2-20.
    In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  62
    The abundance of the future. A paraconsistent approach to future contingents.Roberto Ciuni & Carlo Proietti - 2013 - Logic and Logical Philosophy 22 (1):21-43.
    Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that (1) the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  9.  14
    Normality operators and classical recapture in many-valued logic.Roberto Ciuni & Massimiliano Carrara - 2020 - Logic Journal of the IGPL 28 (5):657-683.
    In this paper, we use a ‘normality operator’ in order to generate logics of formal inconsistency and logics of formal undeterminedness from any subclassical many-valued logic that enjoys a truth-functional semantics. Normality operators express, in any many-valued logic, that a given formula has a classical truth value. In the first part of the paper we provide some setup and focus on many-valued logics that satisfy some of the three properties, namely subclassicality and two properties that we call fixed-point negation property (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Modeling the interaction of computer errors by four-valued contaminating logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Berlín, Alemania: pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. The Search for the Diodorean Frame.Roberto Ciuni - 2009 - Humana Mente 3 (8):47-65.
    No categories
     
    Export citation  
     
    Bookmark  
  12.  27
    Future contingents, Supervaluationism, and relative truth.Roberto Ciuni & Carlo Proietti - unknown
    The problem of future contingents is one of the most ancient and debated puzzles in Western philosophy, and Supervaluationism is, today, one of the most prominent solutions to the problem. Recently, John MacFarlane has carried a well-known criticism to Supervaluationism and put forward a new solution of the problem of future contingents, which is known as Double Time Reference Theory. Here, we compare DTRT with Supervaluationist semantics, and we show that the success of MacFarlane's criticism crucially depends on the expressivity (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Cham, Switzerland: Springer.
    This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox, tableaux and sequent calculi, natural deduction, definite descriptions, identity, truth, dialetheism and possible worlds semantics. The developments presented here focus on challenging problems in the specification of fundamental philosophical notions, as well as presenting new techniques and tools, thereby contributing to the development of the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. The Metaphysics of Time: SIFA Conference - Bergamo, September 6-8, 2007.Roberto Ciuni - 2007 - Humana Mente 1 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  15.  27
    Existential Dependence and Cognate Notions. [REVIEW]Roberto Ciuni - 2009 - Disputatio 3 (26):125-134.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  16. Francesco Berto, L’esistenza non è logica.Roberto Ciuni - 2010 - Rivista di Estetica 45:197-204.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  33
    Untimely Reviews.Roberto Ciuni, Giuliano Torrengo & Massimiliano Carrara - 2015 - Topoi 34 (1):295-295.
  18.  5
    Preface.Heinrich Wansing, Roberto Ciuni & Caroline Willkommen - 2013 - Studia Logica 101 (6):1155-1157.
  19.  49
    Introduction: Time and Time Experience.Giuliano Torrengo & Roberto Ciuni - 2015 - Topoi 34 (1):133-136.
    Temporal aspects dwell both in the world around us and at the core of our experience of it. Reality, thought, and language all seem to be imbibed in temporality at some level or another. It is thus not surprising that philosophers who have to face the problems of understanding time have resorted to tools from different spheres of investigation, and often at the points of overlap of these areas. Metaphysics, philosophy of physics and science in general, philosophy of language, phenomenology, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  7
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Associazione Culturale Humana.Mente.
  21.  4
    Inevitable ignorance as a standard for excusability: an epistemological analysis.Giovanni Tuzet & Roberto Ciuni - 2019 - Synthese 198 (6):5047-5066.
    In this paper, we discuss the notion of inevitable ignorance that the Italian Constitutional Court has introduced in justifying a restriction of the legal maxim Ignorantia legis non excusat. In particular, we argue that the epistemic flavor of the notion extends to the notion of inevitability beside that of ignorance, and we offer an epistemic analysis of the notion. This analysis is based both on the legal-theoretical framework defined by the justification of the restriction of the maxim, and on a (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  11
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2012 - Associazione Culturale Humana.Mente.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  2
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Humana Mente 4 (19).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Logic and Philosophy of Time : Themes from Prior. Volume 2 - Themes from Prior. Volume 2.Carlo Proietti & Roberto Ciuni - forthcoming
    No categories
     
    Export citation  
     
    Bookmark  
  25.  14
    TRL semantics and Burgess' formula.Carlo Proietti & Roberto Ciuni - forthcoming - In Logic and Philosophy of Time : Themes from Prior. Volume 2 - Themes from Prior. Volume 2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  13
    Probabilistic Semantics for a Discussive Temporal Logic.Carlo Proietti & Roberto Ciuni - forthcoming - The Logica Yearbook.
    The paper introduces a probabilistic semantics for the paraconsistent temporal logic Ab presented by the authors in a previous work on future contingents. Probabilistic concepts help framing two possible interpretations of the logic in question - a `subjective' and an `objective' one - and explaining the rationale behind both of them. We also sketch a proof-method for Ab and address some considerations regarding the conceptual appeal of our proposal and its possible future developments.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  96
    Normality operators and Classical Recapture in Extensions of Kleene Logics.Ciuni Roberto & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    Roberto Ciuni, Kristie Miller and Giuliano Torrengo , New Papers on the Present: Focus on Presentism. Philosophia Verlag – Basic Philosophical Concepts, Munich, 2013, 341 pp., €88 . ISBN 9783884051030. [REVIEW]Giovanni Merlo - 2015 - Dialectica 69 (1):148-153.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  25
    The abundance of the future: A paraconsistent approach to future contingents.Proietti Carlo & Ciuni Roberto - 2013 - Logic and Logical Philosophy 22 (1):21-43.
    Supervaluationism holds that the future is undetermined, and as a consequence of this, statements about the future may be neither true nor false. In the present paper, we explore the novel and quite different view that the future is abundant: statements about the future do not lack truth-value, but may instead be glutty, that is both true and false. We will show that the logic resulting from this “abundance of the future” is a non-adjunctive paraconsistent formalism based on subvaluations, which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Roberto Ardigò, Pasquale Villari Carteggio 1868-1916.Roberto Ardigò & Pasquale Villari - 1973 - La Nuova Italia.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  42
    Roberto Ruffilli: Nel 25° dell'omicidio Forlì, 16 aprile 2013.Roberto Balzani - 2013 - Scienza and Politica. Per Una Storia Delle Dottrine 25 (48).
    In this article Roberto Balzani, the mayor of Forlì, remembers Roberto Ruffilli, 25 years after his murder. The remembrance reconstructs the steps of his academic career and of his political commitment. Ruffilli graduated at the Catholic University of Milan; his researches in contemporary history placed him in an original position if compared with the Italian studies of the time. The constant attention towards the history of administration and the transformations of the state is the basis on which Ruffilli (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  32. Opere Filosofiche di Roberto Ardigò. --.Roberto Ardigò - 1929 - A. Draghi.
    No categories
     
    Export citation  
     
    Bookmark  
  33.  3
    Roberto Frega, Practice, Judgment, and the Challenge of Moral and Political Disagreement.Roberto Gronda - 2012 - European Journal of Pragmatism and American Philosophy 4 (2).
    The book reviewed here, Roberto Frega’s Practice, Judgment, and the Challenge of Moral and Political Disagreement, is an important and ambitious book. It is ambitious because it addresses the problems at stake in contemporary philosophical debates without any kind of awkwardness and shyness. Frega believes pragmatism to be a theoretically viable option, and tries to prove its soundness by adopting it as the conceptual framework of a theory of moral objectivity alternative to the ones formulat...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  86
    Roberto Esposito: Termini Della politica. Comunità, immunità, biopolitica. [REVIEW]Roberto Nigro - 2010 - Continental Philosophy Review 42 (4):607-611.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35.  82
    Objectivity: A Kantian Perspective: Roberto Torretti.Roberto Torretti - 2008 - Royal Institute of Philosophy Supplement 63:81-94.
    The subject of this paper is objectivity from Kant's point of view: or better, my own perspective on Kant's perspective on objectivity. More precisely, I want to draw attention to some aspects of the latter, which I believe are too narrow and must be widened before we can benefit from a Kantian approach today.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  36.  22
    Interview: Roberto Fernandez Retamar.Roberto Gonzalez Echevarria, Roberto Fernandez Retamar, Olga T. Ros & Enrico Mario Santi - 1978 - Diacritics 8 (4):76.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  13
    Roberto Fernandez Retamar: An Introduction.Roberto Gonzalez Echevarria - 1978 - Diacritics 8 (4):70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Global Bioethics in the Post-Coronavirus Era: A Discussion with Roberto Andorno.Roberto Andorno & George Boutlas - 2022 - Conatus 7 (1):185-200.
    A discussion with Roberto Andorno about global bioethics and biolaw, the Coronavirus pandemic, and its impact on human dignity and rights. Can we foresee the emerging new profile of global bioethics and biolaw in the post-Coronavirus era? How significant are they going to be in the future, after the enormous pressure that the Coronavirus pandemic has exercised on key political, legal, and ethical values? Must the voice of bioethicists -compared to the ‘hard’ scientific data- be louder in the future (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  11
    Publicaciones de Roberto Torretti.Roberto Torretti - 2016 - Revista de Humanidades de Valparaíso 8:301-321.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  6
    Publicaciones de Roberto Torretti.Roberto Torretti - 2016 - Revista de Humanidades de Valparaíso 8:301.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  18
    Der Kurienkardinal Roberto Bellarmino und das Elend der Katholischen Kirche.Roberto Osculati - 2005 - In Udo Sträter (ed.), Interdisziplinäre Pietismusforschungen: Beiträge Zum Ersten Internationalen Kongress Für Pietismusforschung 2001. De Gruyter. pp. 127-134.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. "Una sola immensa armonia di cose": il rivoluzionario manifesto del positivismo italiano: il Discorso su Pietro Pomponazzi di Roberto Ardigò: con l'edizione critica del testo conforme alla prima edizione del 1869.Alberto Jori & Roberto Ardigò (eds.) - 2020 - Palermo: Nuova Ipsa editore.
    No categories
     
    Export citation  
     
    Bookmark  
  43. The immunitary turn in current talk on biopolitics: On Roberto Esposito’s Bíos.Roberto Farneti - 2011 - Philosophy and Social Criticism 37 (8):955-962.
  44.  19
    Fazendo e desfazendo direitos humanos de Roberto Galvão Faleiros Júnior.Roberto Galvão Faleiros Júnior - 2013 - Filosofia Unisinos 14 (1).
  45. Roberto Busa i humanistyczna informatyka.Robert Janusz - 2012 - Rocznik Filozoficzny Ignatianum:91-106.
    Fr. Roberto Busa was an Italian Jesuit. In this article his biography will briefly be presented, and some issues raised by his philosophy analyzed. Busa was known as a pioneer of computerized research in the humanities. With the support of IBM he constructed the Index Thomisticus, containing all the works of St. Thomas Aquinas. He believed that expressions of the human can be mathematically modeled. He was the originator of a specific conception of hypertext, in which logically structured programs (...)
     
    Export citation  
     
    Bookmark   1 citation  
  46. Potere e partecipazione politica: scritti in onore di Roberto Segatori.Giovanni Barbieri, Marco Damiani & Roberto Segatori (eds.) - 2020 - Soveria Mannelli: Rubbettino.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  58
    Bíos: Biopolitics and Philosophy.Roberto Esposito - 2008 - Univ of Minnesota Press.
    Roberto Esposito is one of the most prolific and important exponents of contemporary Italian political theory.
    Direct download  
     
    Export citation  
     
    Bookmark   76 citations  
  48.  4
    Immunitas: The Protection and Negation of Life.Roberto Esposito - 2011 - Polity.
    This book by Roberto Esposito - a leading Italian political philosopher - is a highly original exploration of the relationship between human bodies and societies. The original function of law, even before it was codified, was to preserve peaceful cohabitation between people who were exposed to the risk of destructive conflict. Just as the human body's immune system protects the organism from deadly incursions by viruses and other threats, law also ensures the survival of the community in a life-threatening (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  49. Direito: teoria e experiência: estudos em homenagem a Eros Roberto Grau.José Augusto Fontoura Costa, José Maria Arruda de Andrade, Alexandra Mery Hansen Matsuo & Eros Roberto Grau (eds.) - 2013 - São Paulo, SP: Malheiros Editores.
     
    Export citation  
     
    Bookmark  
  50. Confini dell'estetica: studi in onore di Roberto Salizzoni.Emanuele Antonelli, Alberto Martinengo & Roberto Salizzoni (eds.) - 2014 - Roma: Aracne editrice S.r.l..
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000