## Works by Roberto Ciuni

26 found
Order:
1. 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.

Export citation

Bookmark   12 citations
2. 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 (...)

Export citation

Bookmark   13 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 (...)

Export citation

Bookmark   9 citations
4. 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 (...)

Export citation

Bookmark   9 citations
5. L’esistenza Non È Logica.Roberto Ciuni & Francesco Berto - 2010 - Rivista di Estetica 45.

Export citation

Bookmark   10 citations
6. 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, (...)

Export citation

Bookmark   5 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 (...)

Export citation

Bookmark   3 citations
8. 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.

Export citation

Bookmark   1 citation
9. 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 (...)

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 (...)

Export citation

Bookmark
11. The Search for the Diodorean Frame.Roberto Ciuni - 2009 - Humana Mente 3 (8):47-65.
No categories

Export citation

Bookmark   1 citation
12. 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

Export citation

Bookmark
13. 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, (...)

Export citation

Bookmark
14. Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Associazione Culturale Humana.Mente.

Export citation

Bookmark
15. Francesco Berto, L’esistenza non è logica.Roberto Ciuni - 2010 - Rivista di Estetica 45:197-204.

Export citation

Bookmark
16. 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 (...)

Export citation

Bookmark
17. The Metaphysics of Time: SIFA Conference - Bergamo, September 6-8, 2007.Roberto Ciuni - 2007 - Humana Mente 1 (3).
No categories

Export citation

Bookmark
18. No categories

Export citation

Bookmark
19. Existential Dependence and Cognate Notions. [REVIEW]Roberto Ciuni - 2009 - Disputatio 3 (26):125-134.

Export citation

Bookmark
20. No categories

Export citation

Bookmark
21. Untimely Reviews.Roberto Ciuni, Giuliano Torrengo & Massimiliano Carrara - 2015 - Topoi 34 (1):295-295.

Export citation

Bookmark
22. 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

Export citation

Bookmark
23. 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

Export citation

Bookmark
24. Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2012 - Associazione Culturale Humana.Mente.
No categories

Export citation

Bookmark
25. Preface.Heinrich Wansing, Roberto Ciuni & Caroline Willkommen - 2013 - Studia Logica 101 (6):1155-1157.