Ciuni, R. (Roberto)
Research profile
Roberto Ciuni (1980) is a postdoctoral researcher in applied modal logic at the Technology University of Delft. His Ph.D. in Philosophy was performed at the University of Florence (2005-2008). His PhD dissertation is on the relation of existential dependence in temporal contexts. During his PhD he spent a stay of one year and a half at the LOGOS Group of the University of Barcelona. He also undertook a research on standard languages for branching time. His current focus is on stit logics, deontic logics, ATL and branching time logics in general, and in the way they can be applied for drawing a good formal framework for the notion of responsibility, and of the phenomenon of technology-induced change of possibilities.
EDITED VOLUMES:
1. Models of Time, Humana.mente 8, January 2009 (available at www.humana-mente.it/index.html)
WORK IN PROGRESS:
SUBMITTED PAPERS:
1. (with Alberto Zanardo) Completeness of Branching-time Logic with Possible Choices, submitted to Studia Logica.
2. (with Gert-Jan Lokhorst) The Formalities of Responsibility, under refereeing for “Compatibilist Responsibility”, forthcoming volume for Springer.
PAPERS TO BE SUBMITTED:
1. BTC+: A Unifying Logic for Temporal Distinctions and Agency, to be submitted to the Review of Symbolic Logic.
2. (with Rosja Mastop) Attribution and Distribuition of Responsibility in Stit Logic, to be submitted to the Journal of Philosophical Logic.
WORK AT AN EARLY STAGE:
1. A STIT Logic for non-instantaneous Actions.
2. A Paraconsistent Three-Valued Logic with Classical Laws.
3. (with Andreas Pietz) Is the logic of Fallibilism Paraconsistent?
Scientific publications (selection)
Ciuni, Roberto., and Berto, Francesco . forthcoming. Gaps e Gluts. Due avversari della bivalenza (Gaps and Gluts. Two rivals of bivalence), Bollettino della Società Italiana di Filosofia Analitica. (forthcoming)
Ciuni, Roberto. forthcoming. From Achievement Stit to Metric Possible Choices, in the Logica 2009 Yearbook, College Publications (forthcoming).
Ciuni, Roberto. 2009. The Search for the Diodorean Modalities, in R. Ciuni (ed.) Models of Time, Humana.mente 8: 47-65 (available at www.humana-mente.it/index.html) 2009
Ciuni, Roberto and Mastop, R. 2009. Attributing Distributed Responsibility in Stit Logic, in E. Pacuit and J. Horty, Logic, Rationality, and Interaction. Second International Workshop, LORI 2009 (pp. 66-75), Springer 2009.
Ciuni, Roberto. 2004. Ontologie fenomeniste e ontologia husserliana: alcune differenze essenziali, in Lanfredini R. (ed.) Fenomenologia applicata, Milan, Guerini 2004.
Ciuni, Roberto. 2004. Colour exclusion problem and “synthetic a priori” propositions between Tractatus logico-philosophicus and Some Remarks on Logical Form, in Coliva A. (ed.) Wittgenstein Today, Padua, Il Poligrafo Editore 2004.
Ciuni, Roberto. 2004. Wittgenstein’s criticism of Husserl’s synthetic a priori propositions, in J. C. Marek and M. E. Reicher (eds.), Experience and Analysis, Kirchberg am Wechsel, Austrian Ludwig Wittgenstein Society, 2004.
Professional/Popular publications (selection)
Ciuni, Roberto. 2006. Kuhn T., La Struttura delle Rivoluzioni Scientifiche, (High School Edition) Einaudi Scuola, Torino, 2006.
