14 found
Order:
  1.  11
    Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - forthcoming - Journal of Applied Non-Classical Logics: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 (5 more)  
     
    Export citation  
     
    Bookmark  
  2.  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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  67
    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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. The Search for the Diodorean Frame.Roberto Ciuni - 2009 - Humana Mente 3 (8).
    No categories
     
    Export citation  
     
    Bookmark  
  5.  11
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  35
    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 (7 more)  
     
    Export citation  
     
    Bookmark   2 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  
     
    Export citation  
     
    Bookmark   1 citation  
  8. L’esistenza Non È Logica.Roberto Ciuni & Francesco Berto - 2010 - Rivista di Estetica 45.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  9.  32
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  26
    Untimely Reviews.Roberto Ciuni, Giuliano Torrengo, Massimiliano Carrara & Julien Murzi - 2015 - Topoi 34 (1):295-295.
  11.  18
    Existential Dependence and Cognate Notions, by Fabrice Correia.Roberto Ciuni - 2009 - Disputatio.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  1
    Preface.Heinrich Wansing, Roberto Ciuni & Caroline Willkommen - 2013 - Studia Logica 101 (6):1155-1157.
  13.  2
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2012 - Associazione Culturale Humana.Mente.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Springer.
     
    Export citation  
     
    Bookmark