-
1Reflecting the semantic features of S5 at the syntactic levelIn Marcello D'Agostino, Federico Laudisa, Giulio Giorello, Telmo Pievani & Corrado Sinigaglia (eds.), New Essays in Logic and Philosophy of Science, College Publications. pp. 13--25. 2010.
-
29A Critical Overview of the Most Recent Logics of GroundingIn Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics, Springer International Publishing. 2016.In this paper our aim is twofold: on the one hand, to present in a clear and faithful way two recent contributions to the logic of grounding, namely Correia, and Fine ; on the other hand, to argue that some of the formal principles describing the notion of grounding proposed by these logics need to be changed and improved.
-
47Natural Deduction Calculi and Sequent Calculi for Counterfactual LogicsStudia Logica 104 (5): 1003-1036. 2016.In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed in…Read more
-
46Grounding principles for (relevant) implicationSynthese 198 (8): 7351-7376. 2020.Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.
-
23Can Başkent, Perspectives on Interrogative Models of Inquiry, Springer, 2016 (review)Logic and Logical Philosophy 25 (4): 555-560. 2016.Book Reviews: Can Başkent, Perspectives on Interrogative Models of Inquiry, Logic, Argumentation & Reasoning, Volume 8, Springer, 2016, vii + 197 pages, ISBN: 978-3-319-20761-2, 978-3-319-20762-9. DOI: 10.1007/978-3-319-20762-9.
-
453From thin objects to thin concepts?Theoria 89 (3): 256-265. 2023.In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.
