Results for 'Roberto Ciuni'

(not author) ( search as author name )
994 found
Order:
  1. 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  
  2.  36
    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   3 citations  
  3. 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   12 citations  
  4. 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   16 citations  
  5. 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   14 citations  
  6. L’esistenza Non È Logica.Roberto Ciuni & Francesco Berto - 2010 - Rivista di Estetica 45.
     
    Export citation  
     
    Bookmark   10 citations  
  7. 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  
  8. 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   2 citations  
  9.  94
    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   10 citations  
  10.  78
    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   7 citations  
  11. 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  
  12.  27
    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   2 citations  
  13. The Search for the Diodorean Frame.Roberto Ciuni - 2009 - Humana Mente 3 (8):47-65.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  14.  40
    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  
  15.  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  
  16. The Metaphysics of Time: SIFA Conference - Bergamo, September 6-8, 2007.Roberto Ciuni - 2007 - Humana Mente 1 (3).
    No categories
     
    Export citation  
     
    Bookmark  
  17.  45
    Untimely Reviews.Roberto Ciuni, Giuliano Torrengo & Massimiliano Carrara - 2015 - Topoi 34 (1):295-295.
  18.  4
    Francesco Berto, L’esistenza non è logica.Roberto Ciuni - 2010 - Rivista di Estetica 45:197-204.
    L’esistenza non è logica è un libro estremamente interessante e di grande qualità, e Francesco Berto ha il pregio di accostare un’esposizione sempre accessibile alla solidità teorica della sua proposta e alla padronanza dei temi che affronta. Il titolo riassume una delle idee principali del volume: l’esistenza è una proprietà, e – soprattutto – è una proprietà che non va definita in termini di una nozione logica come – per esempio – quella espressa dal quantificatore esistenziale. Nel libro,...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  55
    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.  13
    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  
  21.  17
    Preface.Heinrich Wansing, Roberto Ciuni & Caroline Willkommen - 2013 - Studia Logica 101 (6):1155-1157.
  22.  17
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2012 - Associazione Culturale Humana.Mente.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Associazione Culturale Humana.Mente.
  24.  12
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Humana Mente 4 (19).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25. 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  
  26.  18
    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.  19
    TRL semantics and Burgess' formula.Carlo Proietti & Roberto Ciuni - forthcoming - In Carlo Proietti & Roberto Ciuni (eds.), Logic and Philosophy of Time : Themes from Prior. Volume 2 - Themes from Prior. Volume 2.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  37
    Existential Dependence and Cognate Notions. [REVIEW]Roberto Ciuni - 2009 - Disputatio 3 (26):125-134.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  28
    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  
  30.  46
    On the fittingness of agential evaluations.Roberto Keller - 2022 - Philosophical Explorations 25 (2):251–268.
    According to a leading view, emotions such as admiration, contempt, pride, and shame are important vehicles of agential development. Through admiration and contempt, we establish models and countermodels against which to shape our character; through pride and shame, we get a sense of how we measure up to them. Critics of this view object that these emotions always deliver uncompromising evaluations: admiration casts people in a completely positive light, while contempt casts aspersion on them. Therefore, insofar as they lack the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31.  73
    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   86 citations  
  32.  31
    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   49 citations  
  33. Nociones de espacio, ideas de justicia.Roberto Doberti - 2000 - In Susana Raquel Barbosa (ed.), Márgenes de la justicia: diez indagaciones filosóficas. Buenos Aires: GEA-Grupo Editor Altamira.
     
    Export citation  
     
    Bookmark  
  34.  5
    Creative Understanding.Roberto Torretti - 1990 - Chicago: University of Chicago Press.
    "A pleasure to read. Gracefully written by a scholar well grounded in the relevant philosophical, historical, and technical background.... a helpfully clarifying review and analysis of some issues of importance to recent philosophy of science and a source of some illuminating insights."—Burke Townsend, Philosophy of Science.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  35.  14
    Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
    This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   66 citations  
  36.  7
    El enraizamiento de la historicidad en el tiempo.Roberto J. Walton - 2018 - Studia Heideggeriana 7:187-214.
    Se intentan poner de manifiesto isomorfismos estructurales en las teorías de Heidegger y Husserl sobre tiempo e historia. En relación con Ser y tiempo, la atención está puesta en la tesis compartida de que la historiografía está arraigada en la historicidad y esta en la temporeidad. Con referencia al curso de 1934 se pone de relieve la convergencia heideggeriana de misión, encargo y trabajo, que remiten al futuro, al pasado y al presente. Se muestran nociones equivalentes en los niveles que (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  14
    Third person: politics of life and philosophy of the impersonal.Roberto Esposito - 2007 - Cambridge, UK: Polity Press.
    Roberto Esposito is one of leading figures in a new generation of Italian philosophers. This book criticizes the notion of the person and develops an original account of the concept of the impersonal - what he calls the third person.
    Direct download  
     
    Export citation  
     
    Bookmark   19 citations  
  38. Ontological tools for geographic representation.Roberto Casati, Barry Smith & Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems (FOIS). Ios Press. pp. 77--85.
    This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  39.  33
    The Exploitation of Professional “Guinea Pigs” in the Gig Economy: The Difficult Road From Consent to Justice.Roberto Abadie - 2019 - American Journal of Bioethics 19 (9):37-39.
    Volume 19, Issue 9, September 2019, Page 37-39.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  23
    La justicia fiscal en el marco de la teoría de la justicia como equidad de John Rawls. La tributación ¿carga, obligación o donación?Roberto Arteaga Mac Kinney - 2010 - Dilemata 4.
    This article addresses some useful coordinates for the analysis of the relationship between philosophy and taxation. My argument aims to show the relevance of a philosophy of taxation and thus draw attention to civic education required to shape a democratic public reason, truthful, critical and attentive. I emphasize the character of “donation” that is the rule of law within a democratic constitutional regime, which depends on tax payments for the purposes proposed, and particularly those of a social distributive justice. I (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  29
    Space and time in the sighted and blind.Roberto Bottini, Davide Crepaldi, Daniel Casasanto, Virgine Crollen & Olivier Collignon - 2015 - Cognition 141 (C):67-72.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  42.  36
    Clinician's use of the Statin Choice decision aid in patients with diabetes: a videographic study nested in a randomized trial.Roberto Abadie, Audrey J. Weymiller, Jon Tilburt, Nilay D. Shah, Cathy Charles, Amiram Gafni & Victor M. Montori - 2009 - Journal of Evaluation in Clinical Practice 15 (3):492-497.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  24
    “Money Helps”: People who inject drugs and their perceptions of financial compensation and its ethical implications.Roberto Abadie, Brandon Brown & Celia B. Fisher - 2019 - Ethics and Behavior 29 (8):607-620.
    This study documents how people who inject drugs in rural Puerto Rico perceive payments for participating in HIV epidemiological studies. In-depth interviews were conducted among a subset of active PWID older than 18 years of age who had been previously enrolled in a much larger study. Findings suggest that financial compensation was the main motivation for initially enrolling in the parent study. Then, as trust in the researchers developed, participants came to perceive compensation as part of a reciprocal exchange in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Sensibilidad como origen y sustento de una metafísica de lo concreto.Roberto Roda Aixendri - 1989 - Verdad y Vida 47 (185):109-114.
    No categories
     
    Export citation  
     
    Bookmark  
  45.  2
    La gran eficacia del mal.Roberto Aizcorbe - 1995 - [Buenos Aires]: Occitania.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Cosmovisões e Realidades: a filosofia de cada um. (3rd edition).Roberto Arruda (ed.) - 2023 - São Paulo: Terra à Vista.
    Não é pensando que criamos mundos. É compreendendo o mundo que aprendemos a pensar. Cosmovisão é um termo que deve significar um conjunto de fundamentos dos quais emerge uma compreensão sistêmica do Universo, seus componentes como a vida, o mundo em que vivemos, a natureza, o fenômeno humano e suas relações. Trata-se, portanto, de um campo da filosofia analítica alimentado pelas ciências, cujo objetivo é esse conhecimento agregado e epistemologicamente sustentável sobre tudo o que somos e contemos, que nos cerca (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Cosmovisions et Réalités : la philosophie de chacun. (3rd edition).Roberto Arruda (ed.) - 2023 - SP: Terra à Vista.
    Ce n'est pas en pensant que nous créons des mondes. C'est en comprenant le monde que nous apprenons à penser. La cosmovision est un terme qui devrait désigner un ensemble de fondements d'où émerge une compréhension systémique de l'Univers, de ses composantes comme la vie, le monde dans lequel nous vivons, la nature, le phénomène humain et leurs relations. C'est donc un champ de la philosophie analytique nourri par les sciences, dont l'objectif est cette connaissance agrégée et épistémologiquement soutenable de (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Kosmovisionen und Realitäten: die Philosophie jedes einzelnen (3rd edition).Roberto Arruda (ed.) - 2023 - Sao Paulo: Terra à Vista.
    Nicht durch das Denken erschaffen wir Welten. Indem wir die Welt verstehen, lernen wir zu denken. Kosmovision ist ein Begriff, der eine Reihe von Grundlagen bedeuten sollte, aus denen ein systemisches Verständnis des Universums, seiner Bestandteile als Leben, der Welt, in der wir leben, der Natur, des menschlichen Phänomens und ihrer Beziehungen hervorgehen sollte. Es handelt sich also um ein von den Wissenschaften gespeistes Feld der analytischen Philosophie, deren Ziel dieses aggregierte und erkenntnistheoretisch nachhaltige Wissen über alles ist, was wir (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Космовидения и реальности - философия каждого (3rd edition).Roberto Arruda - 2023 - São Paulo: Terra à Vista.
    Космовидение - термин, под которым следует понимать совокупность оснований, из которых возникает системное понимание Вселенной, таких ее составляющих, как жизнь, мир, в котором мы живем, природа, феномен человека, и их взаимосвязей. таким образом, это область аналитической философии, питаемая науками, целью которой является совокупное и эпистемологически устойчивое знание обо всем, чем мы являемся и что в нас содержится, что нас окружает и что так или иначе с нами связано. это старое, как человеческая мысль, понятие, которое не только использует элементы научной космологии, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Aristóteles y la ontología contemporánea.Roberto J. Walton - 1980 - Revista de Filosofía de la Universidad de Costa Rica 48:125-136.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 994