8 found
Sort by:
See also:
Profile: Daniele Porello (Laboratory for Applied Ontology, ISTC-CNR, Trento)
  1. Daniele Porello & Nicolas Troquard (2014). A Resource-Sensitive Logic of Agency. In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Daniele Porello (2013). A Proof-Theoretical View of Collective Rationality. In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).
    The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known paradoxes in (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Daniele Porello (2013). Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).
    No categories
     
    My bibliography  
     
    Export citation  
  4. Ulle Endriss, Umberto Grandi & Daniele Porello (2012). Complexity of Judgment Aggregation. Journal of Artificial Intelligence Research 45:481--514.
  5. Daniele Porello (2012). Incompatibility Semantics From Agreement. Philosophia 40 (1):99-119.
    In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  6. Carlo Penco & Daniele Porello (2010). Sense and Proof. In M. D'agostino, G. Giorello, F. Laudisa, T. Pievani & C. Sinigaglia (eds.), New Essays in Logic and Philosophy of Science,. College Publicationss.
    In this paper we give some formal examples of ideas developed by Penco in two papers on the tension inside Frege's notion of sense (see Penco 2003). The paper attempts to compose the tension between semantic and cognitive aspects of sense, through the idea of sense as proof or procedure – not as an alternative to the idea of sense as truth condition, but as complementary to it (as it happens sometimes in the old tradition of procedural semantics).
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Daniele Porello (2010). Ranking Judgments in Arrow's Setting. Synthese 173 (2):199 - 210.
    In this paper, I investigate the relationship between preference and judgment aggregation, using the notion of ranking judgment introduced in List and Pettit (Synthese 140(1–2):207–235, 2004). Ranking judgments were introduced in order to state the logical connections between the impossibility theorem of aggregating sets of judgments proved in List and Pettit (Economics and Philosophy 18:89–110, 2002) and Arrow’s theorem (Arrow, Social choice and individual values, 1963). I present a proof of the theorem concerning ranking judgments as a corollary of Arrow’s (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  8. Daniele Porello (2007). Deductive and Grammatical Competence: Type Logical Remarks on Nesting Phenomena. Epistemologia 30 (2):281-306.
     
    My bibliography  
     
    Export citation