21 found
Order:
  1. 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   4 citations  
  2.  82
    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   3 citations  
  3.  71
    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  
  4.  6
    Normality Operators and Classical Recapture in Many-Valued Logic.Roberto Ciuni & Massimiliano Carrara - forthcoming - Logic Journal of the IGPL.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. L’esistenza Non È Logica.Roberto Ciuni & Francesco Berto - 2010 - Rivista di Estetica 45.
    Translate
     
     
    Export citation  
     
    Bookmark   8 citations  
  6.  10
    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  
  7.  10
    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  
  8.  72
    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   4 citations  
  9.  9
    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  
  10. The Search for the Diodorean Frame.Roberto Ciuni - 2009 - Humana Mente 3 (8):47-65.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  55
    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   3 citations  
  12. 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   2 citations  
  13.  42
    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  
  14.  32
    Untimely Reviews.Roberto Ciuni, Giuliano Torrengo & Massimiliano Carrara - 2015 - Topoi 34 (1):295-295.
  15.  7
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Associazione Culturale Humana.Mente.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  6
    Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2012 - Associazione Culturale Humana.Mente.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Preface.Heinrich Wansing, Roberto Ciuni & Caroline Willkommen - 2013 - Studia Logica 101 (6):1155-1157.
  18. Composition, Counterfactuals, Causation.Massimiliano Carrara, Roberto Ciuni & Giorgio Lando - 2011 - Humana Mente 4 (19):I-V.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Recent Trends in Philosophical Logic (Proceedings of Trends in Logic XI).Roberto Ciuni, Heinrich Wansing & Caroline Willkommen (eds.) - 2014 - Springer.
     
    Export citation  
     
    Bookmark  
  20. 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  
  21.  26
    Review of Existential Dependence and Cognate Notions. [REVIEW]Roberto Ciuni - 2009 - Disputatio 3 (26):125-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark