5 found
Sort by:
See also:
Profile: Daniele Porello (Laboratory for Applied Ontology, ISTC-CNR, Trento)
  1. Ulle Endriss, Umberto Grandi & Daniele Porello (2012). Complexity of Judgment Aggregation. Journal of Artificial Intelligence Research 45:481--514.
    No categories
     
    My bibliography  
     
    Export citation  
  2. 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  
  3. 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).
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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 (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Daniele Porello (2007). Deductive and Grammatical Competence: Type Logical Remarks on Nesting Phenomena. Epistemologia 30 (2):281-306.
     
    My bibliography  
     
    Export citation