Results for 'Daniele Porello'

558 found
Order:
  1.  31
    Logics for Modelling Collective Attitudes.Daniele Porello - 2018 - Fundamenta Infromaticae 158 (1-3):239-27.
    We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  2.  9
    Complexity of Judgment Aggregation.Ulle Endriss, Umberto Grandi & Daniele Porello - 2012 - Journal of Artificial Intelligence Research 45:481--514.
    We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic manipulation problem); and (3) deciding whether a given judgment aggregation scenario is guaranteed to result in a logically consistent outcome, independently from what the judgments supplied by the individuals are (the (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  72
    Ranking Judgments in Arrow’s Setting.Daniele Porello - 2010 - 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. Ranking judgments were introduced in order to state the logical connections between the impossibility theorem of aggregating sets of judgments and Arrow’s theorem. I present a proof of the theorem concerning ranking judgments as a corollary of Arrow’s theorem, extending the translation between preferences and judgments defined in List and Pettit to the conditions on the aggregation procedure.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  4.  18
    The Interplay Between Models and Observations.Claudio Masolo, Alessander Botti Benevides & Daniele Porello - 2018 - Applied Ontology 13 (1):41-71.
    We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  5.  15
    Judgement Aggregation in Non-Classical Logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
    This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying judgement aggregation in logics that (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  6.  86
    A Proof-Theoretical View of Collective Rationality.Daniele Porello - 2013 - 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  
     
    Export citation  
     
    My bibliography  
  7.  60
    Incompatibility Semantics From Agreement.Daniele Porello - 2012 - 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 (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  78
    A Resource-Sensitive Logic of Agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 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)  
     
    Export citation  
     
    My bibliography  
  9.  93
    Sense and Proof.Carlo Penco & Daniele Porello - 2010 - 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  10
    Single-Peakedness and Semantic Dimensions of Preferences.Daniele Porello - 2016 - Logic Journal of the IGPL 24 (4).
    Among the possible solutions to the paradoxes of collective preferences, single-peakedness is significant because it has been associated to a suggestive conceptual interpretation: a single-peaked preference profile entails that, although individuals may disagree on which option is the best, they conceptualize the choice along a shared unique dimension, i.e. they agree on the rationale of the collective decision. In this article, we discuss the relationship between the structural property of singlepeakedness and its suggested interpretation as uni-dimensionality of a social choice. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  11. Deductive and Grammatical Competence: Type Logical Remarks on Nesting Phenomena.Daniele Porello - 2007 - Epistemologia 30 (2):281-306.
  12. Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).Daniele Porello - 2013
     
    Export citation  
     
    My bibliography  
  13.  17
    An Empirical Comparison of Rhythm in Language and Music.Aniruddh D. Patel & Joseph R. Daniele - 2003 - Cognition 87 (1):B35-B45.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  14.  37
    Reasoning in Moral Conflicts.Monica Bucciarelli & Margherita Daniele - 2015 - Thinking and Reasoning 21 (3):265-294.
    Following the assumptions of the mental model theory and its account of moral judgements, we argue for a main role of reasoning in moral judgements, especially in dealing with moral conflicts. In four experiments, we invited adult participants to evaluate scenarios describing moral or immoral actions. Our results confirm the predictions deriving from our assumptions: Given a moral or immoral scenario, the manipulation of the propositions which refer to norms and values results in a scenario eliciting a moral conflict ; (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  15.  49
    Sainte-Beuve, Tocqueville e la religione della libertà.Lorenzini Daniele - 2010 - In Olivia Catanorchi & David Ragazzoni (eds.), Il Destino Della Democrazia: Attualità di Tocqueville. Edizioni di Storia E Letteratura. pp. 43--61.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  16.  23
    Lesion to Hippocampus Changes Resting State Functional Connectivity in Rat Brain Reflecting Structural Damage.Siugzdaite Roma, Descamps Benedicte, Van Den Berge Nathalie, Wu Guorong, Van Mierlo Pieter, Fias Wim, Raedt Robrecht & Marinazzo Daniele - 2014 - Frontiers in Human Neuroscience 8.
  17. Cognitive Design Principles: From Cognitive Models to Computer Models.Barbara Tversky, Maneesh Agrawala, Julie Heiser, P. U. Lee, Pat Hanrahan, Doantam Phan, Chris Stolte & M. P. Daniele - 2006 - In L. Magnani (ed.), Model-Based Reasoning in Science and Engineering. College Publications.
     
    Export citation  
     
    My bibliography  
  18.  19
    Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  19.  33
    On the Elusive Notion of Meta-Agreement.V. Ottonelli & D. Porello - 2013 - Politics, Philosophy and Economics 12 (1):68-92.
    Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  20.  19
    Reseña de" Mediación: la búsqueda del camino alternativo" de Carlos Chimpén y Soledad Sagrado.Darío de los Santos & Alida Daniele - 2011 - Enfoques 23 (2):111-113.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  21.  10
    Characterization of the Synaptic Mechanisms Underlying Seizure Onset with Dynamic Causal Modelling.Papadopoulou Margarita, Leite Marco, Vonck Kristl, Friston Karl & Marinazzo Daniele - 2014 - Frontiers in Human Neuroscience 8.
  22.  9
    Carlos Chimpén y Soledad Sagrado, Mediación: la búsqueda del camino alternativo. Libertador San Martín, Entre Ríos: Universidad Adventista del Plata, 2011.Darío de los Santos & Alida Daniele - 2011 - Enfoques 23 (2):111-113.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  23.  8
    Reseña de "Mediación: la búsqueda del camino alternativo" de Carlos Chimpén y Soledad Sagrado.Darío de los Santos & Alida Daniele - 2011 - Enfoques 23 (2):111-113.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  24.  14
    Memória, transmissão e emoção: estudo sobre a modernidade religiosa no pensamento de Danièle Hervieu-Léger.Victor Breno Farias Barrozo - 2014 - Horizonte 12 (34):610-612.
    BARROZO, Victor Breno Farias. Memória, Transmissão e emoção: estudo sobre a modernidade religiosa no pensamento de Danièle Hervieu-Léger. 2014. Dissertação (Mestrado), Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte. Palavras-Chave: Danièle Hervieu-Léger. Modernidade religiosa. Senso religioso contemporâneo. Memória. Transmissão. Emoção. Keywords : Danièle Hervieu-Léger. Religious modernity. Contemporary religious sense. Memory. Transmission. Emotion.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  25.  27
    Orality and Objectification: Danièle Huillet and Jean-Marie Straub, Filmmakers and Translators.Benoît Turquety - 2015 - Substance 44 (2):47-65.
    Danièle Huillet and Jean-Marie Straub are filmmakers of principle. Since the beginning of the 1960s, they have been constructing a highly coherent body of work, based on a certain number of very precise, concrete laws. Some of those rules have changed with time and history; others have remained untouched, rigorously observed from the first film until today. They are not an artificial set of constraints, designed to complicate a game that would otherwise be too simple; rather, they define the artist’s (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  26.  17
    Resenha: BARROZO, Victor Breno Farias. Modernidade religiosa: memória, transmissão e emoção no pensamento de Danièle Hervieu-Léger.Fabiano Victor Campos - 2014 - Horizonte 12 (35):1028-1035.
    Review BARROZO, Victor Breno Farias. Modernidade religiosa : memória, transmissão e emoção no pensamento de Danièle Hervieu-Léger. São Paulo: Fonte Editorial, 2014.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  27.  10
    Aqui se tropeça em Igreja: estudo sobre a relação entre as Igrejas evangélicas do Capelinha, modernidade e secularização à luz da sociologia da religião de Danièle Hervieu-Léger.Júnio dos Reis Moreira - 2015 - Horizonte 13 (37):623-624.
    Dissertação: MOREIRA, Júnio dos Reis. Aqui se tropeça em Igreja: estudo sobre a relação entre as Igrejas evangélicas do Capelinha, modernidade e secularização à luz da sociologia da religião de Danièle Hervieu-Léger. 2014. Dissertação , Programa de Pós-graduação em Ciências da Religião, Pontifícia Universidade Católica de Minas Gerais, Belo Horizonte.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  28.  8
    Annalisa Coliva, Danièle Moyal‐Sharrock : Hinge Epistemology . vi + 278, price €70.00 pb.Yuval Avnur - 2018 - Philosophical Investigations 41 (3):366-370.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  29.  67
    Citizens of the World: Universal Human Rights in a World of Difference by Brooke A. Ackerly. Cambridge, UK: Cambridge University Press, 2008. 373 Pp. $90.00 , $34.99 . The Global Commonwealth of Citizens: Toward Cosmopolitan Democracies by Daniele Archibugi. Princeton, NJ: Princeton University Press, 2008. 298 Pp. $29.95 . Ethics of Global Development: Agency, Capability and Deliberative Democracy by David A. Crocker. Cambridge, UK: Cambridge University Press, 2008. 416 Pp. $99.00 , $43.00 . The Future Governance of Citizenship by Dora Kostakopoulou. Cambridge, UK: Cambridge University Press, 2008. 230 Pp. $120.00 , $48.00. [REVIEW]Christine Sypnowich - 2010 - Political Theory 38 (1):156-168.
  30.  10
    Aesthetic Themes in Pagan Christian Neoplatonism: From Plotinus to Gregory of Nyssa_ _, Written by Daniele Iozzia.Anna Corrias - 2017 - International Journal of the Platonic Tradition 11 (1):111-112.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  17
    Buchholz Wilfried. Notation Systems for Infinitary Derivations. Archive for Mathematical Logic, Vol. 30 No. 5–6 , Pp. 277–296.Buchholz Wilfried. Explaining Gentzen's Consistency Proof Within Infinitary Proof Theory. Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25–29, 1997, Proceedings, Edited by Gottlob Georg, Leitsch Alexander, and Mundici Daniele, Lecture Notes in Computer Science, Vol. 1289, Springer, Berlin, Heidelberg, New York, Etc., 1997, Pp. 4–17.Tupailo Sergei. Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. Logic Colloquium '98, Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Prague, Czech Republic, August 9–15, 1998, Edited by Buss Samuel R., Háajek Petr, and Pudlák Pavel, Lecture Notes in Logic, No. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., Etc., 2000, Pp. 465–499. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
  32.  7
    Michel Foucault. About the Beginning of the Hermeneutics of the Self: Lectures at Dartmouth College, 1980. Trans. Graham Burchell. Ed. Henri-Paul Fruchard and Daniele Lorenzini. Chicago: Chicago University Press, 2016. 160 Pp. [REVIEW]Wendy Grace - 2017 - Critical Inquiry 43 (4):902-903.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  33.  15
    Daniele Bianconi, Tessalonica nell'età dei Paleologi.Franz Tinnefeld - 2008 - Byzantinische Zeitschrift 100 (2).
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  34.  2
    Boehringer, Sandra and Daniele Lorenzini : Foucault, la Sexualité, L’Antiquité. Philosophie En Cours.Arnaud Paturet - 2018 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 31 (1):175-178.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35.  34
    The Domestication of Derrida: Rorty, Pragmatism and Deconstruction, by Fabbri, Lorenzo, Translated by Daniele Manni, Continuum, 2008. 150pp., Hb. $130.00, ISBN-13: 9780826497789. [REVIEW]Shannon M. Mussett - 2010 - Comparative and Continental Philosophy 2 (2):311-312.
  36.  25
    Mancini, Daniele. Peregrinazioni di Una Coscienza Inquieta Per Il Ritorno Della Guerra in Europa.Riccardo Pozzo - 2003 - Review of Metaphysics 56 (4):891-892.
  37.  19
    A.H. Armstrong, L'architecture de l'univers intelligible dans la philosophie de Plotin. Une étude analytique et historique. Traduit de l'anglais par Josiane Ayoub et Danièle Letocha. Ottawa, Éditions de l'Université d'Ottawa, 1984 (Philosophica, 25), 134 p.A.H. Armstrong, L'architecture de l'univers intelligible dans la philosophie de Plotin. Une étude analytique et historique. Traduit de l'anglais par Josiane Ayoub et Danièle Letocha. Ottawa, Éditions de l'Université d'Ottawa, 1984 (Philosophica, 25), 134 p. [REVIEW]Georges Leroux - 1986 - Philosophiques 13 (1):179-182.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  38. Daniele Romano.Si Può - forthcoming - Humana. Mente.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  39.  12
    Aesthetic Themes in Pagan and Christian Neoplatonism: From Plotinus to Gregory of Nyssa. By Daniele Iozzia. Pp. Xiv, 130, London/NY, Bloomsbury, 2015, $120.00. [REVIEW]Patrick Madigan - 2016 - Heythrop Journal 57 (1):216-217.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  40.  14
    Histoire des femmes, histoire des genres, sous la direction de Raphaëlle Branche et Danièle Voldman, Vingtième siècle, revue d'histoire, n° 75, juillet-septembre 2002. [REVIEW]Mathilde Dubesset - 2004 - Clio 20:23-23.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  41.  16
    Peter Karl Kresl E Daniele Ietri, The Aging Population and the Competitiveness of Cities. Benefits to the Urban Economy.M. Stranges - 2012 - Polis: Research and studies on Italian society and politics 26 (3):442-446.
  42.  16
    Danièle Bourcier, Pompeu Casanovas, Mélanie Dulong de Rosnay, Catharina Maracke (Eds.): Intelligent Multimedia. Managing Creative Works in a Digital World. [REVIEW]Meritxell Fernández-Barrera - 2011 - Artificial Intelligence and Law 19 (4):357-361.
  43.  8
    L'oeuvre de Gerson À Saint-Victor de Paris: Catalogue des Manuscrits.Danièle Calvot, Gilbert Ouy.Louis B. Pascoe - 1993 - Speculum 68 (3):728-729.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  44.  33
    Wittgenstein's on Certainty: There – Like Our Life – Rush Rheesthe Third Wittgenstein: The Post-Investigations Works – Danièle Moyal-Sharrockunderstanding Wittgenstein's on Certainty – Edited by Danièle Moyal-Sharrock.John H. Whittaker - 2006 - Philosophical Investigations 29 (3):287–300.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  45.  25
    Veronese and Daniele Barbaro: The Decoration of Villa Maser.Richard Cocke - 1972 - Journal of the Warburg and Courtauld Institutes 35:226-246.
  46.  10
    The Third Wittgenstein Danièle Moyal-Sharrock, Ed.,The Third Wittgenstein: The Post-Investigations Works London: Ashgate, 2004.Graeme Marshall - 2005 - Sophia 44 (2):67-69.
  47.  23
    Daniele Foraboschi: Papiri della Università degli Studi di Milano VII (P. Mil. Vogliano 301–308). Pp. 1–112; 8 folding plates. Milan: La Goliardica, 1981. Paper. [REVIEW]E. G. Turner - 1982 - The Classical Review 32 (02):298-299.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
  48.  12
    Daniele Archibugi. The Global Commonwealth of Citizens: Toward Cosmopolitan Democracy (Princeton, NJ: Princeton University Press, 2008), Xix+ 298 Pp. $29.95/£ 17.95 Cloth. Sébastien Balibar. The Atom and the Apple: Twelve Tales From Contemporary Physics (Princeton, NJ: Princeton University Press, 2008), X+ 190 Pp. $24.95/£ 14.95 Cloth. [REVIEW]Stanley Corngold, Jack Greenberg, Benno Wagner & Franz Kafka - 2009 - The European Legacy 14 (7):931-933.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  10
    Re-Imagining Political Community: Studies in Cosmopolitan Democracy, Daniele Archibugi, David Held, and Martin Köhler, Eds. , 354 Pp., $60 Cloth, $22.95 Paper. [REVIEW]Pablo De Greiff - 2000 - Ethics and International Affairs 14:158-160.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  6
    Paolo d'Alessandro;, Pier Daniele Napolitani. Archimede Latino: Iacopo da San Cassiano e il “Corpus” Archimedeo alla metà del Quattrocento, con edizione della “Circuli dimensio” e della “Quadratura parabolae.”. 371 pp., illus., table, apps., bibl., indexes. Paris: Les Belles Lettres, 2012. €75. [REVIEW]W. R. Laird - 2014 - Isis 105 (1):210-211.
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    My bibliography  
1 — 50 / 558