Results for 'Daniele Batagin'

81 found
Order:
  1. O Caminho da Angústia e da Fé Humana Um itinerário pelo Prisma das Concepções Teóricas de Ernest Becker.Daniele Batagin - 2011 - Dissertation, PUC-SP, Brazil
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  68
    Michel Foucault: Prácticas de libertad y políticas del decir veraz. Entrevista a Daniele Lorenzini.Fernando Alba - 2018 - Dorsa 1 (5):141-154.
    En el marco del V Congreso Internacional «La actualidad de Michel Foucault» celebrado en la Universidad Complutense de Madrid entre el 6 y el 8 de marzo de 2018, sostuvimos una interesante conversación con Daniel Lorenzini, investigador del pensamiento ético y político de Michel Foucault y editor de varios de sus cursos y conferencias publicadas en los últimos años en Francia. Discutimos sobre el estado actual de los archivos de Foucault adquiridos por la Biblioteca Nacional de Francia (BnF), algunos de (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3.  44
    Review of Understanding Wittgenstein's On Certainty by Daniele Moyal-Sharrock (2007)(Review Revised 2019).Michael Starks - 2019 - In The Logical Structure of Human Behavior. Las Vegas, NV USA: Reality Press. pp. 337-347.
    Wittgenstein (W) is for me easily the most brilliant thinker on human behavior and this is his last work and crowning achievement. It belongs to his third and final period, yet it is not only his most basic work (since it shows that all behavior is an extension of innate true-only axioms and that our conscious ratiocination is but icing on unconscious machinations), but as Daniele Moyal-Sharrock has recently noted, is a radical new epistemology and the foundation for all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  81
    Review of Understanding Wittgenstein's On Certainty by Daniele Moyal-Sharrock (2007).Michael Starks - 2016 - In Suicidal Utopian Delusions in the 21st Century: Philosophy, Human Nature and the Collapse of Civilization-- Articles and Reviews 2006-2017 2nd Edition Feb 2018. Michael Starks. pp. 239-245.
    Wittgenstein (W) is for me easily the most brilliant thinker on human behavior and this is his last work and crowning achievement. It belongs to his third and final period, yet it is not only his most basic work (since it shows that all behavior is an extension of innate true-only axioms and that our conscious ratiocination is but icing on unconscious machinations), but as Daniele Moyal-Sharrock has recently noted, is a radical new epistemology and the foundation for all (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  80
    Review of Readings of Wittgenstein's On Certainty by Daniele Moyal-Sharrock Ed (2007).Michael Starks - 2017
    On Certainty was not published until 1969, 18 years after Wittgenstein’s death and has only recently begun to draw serious attention. I cannot recall a single reference to it in all of Searle and one sees whole books on W with barely a mention. There are however xlnt books on it by Stroll, Svensson, McGinn and others and parts of many other books and articles, but hands down the best is that of Daniele Moyal-Sharrock (DMS) whose 2004 volume “Understanding (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Wittgenstein on Mathematics and Certainties.Martin Kusch - 2016 - International Journal for the Study of Skepticism 6 (2-3):120-142.
    _ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016.Michael Starks - 2016 - Michael Starks.
    This collection of articles was written over the last 10 years and the most important and longest within the last year. Also I have edited them to bring them up to date (2016). The copyright page has the date of this first edition and new editions will be noted there as I edit old articles or add new ones. All the articles are about human behavior (as are all articles by anyone about anything), and so about the limitations of having (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. Mettere a Fuoco Il Mondo. Conversazioni sulla Filosofia di Achille Varzi (Special Issue of Isonomia – Epistemologica).Elena Casetta, Valeria Giardino, Andrea Borghini, Patrizia Pedrini, Francesco Calemi, Daniele Santoro, Giuliano Torrengo, Claudio Calosi, Pierluigi Graziani & Achille C. Varzi (eds.) - 2014 - ISONOMIA – Epistemologica. University of Urbino.
    Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9. Seeing With the Two Systems of Thought—a Review of ‘Seeing Things As They Are: A Theory of Perception’ by John Searle (2015).Michael R. Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization Michael Starks 3rd Ed. (2017).
    As so often in philosophy, the title not only lays down the battle line but exposes the author’s biases and mistakes, since whether or not we can make sense of the language game ‘Seeing things as they are’ and whether it’s possible to have a ‘philosophical’ ‘theory of perception’ (which can only be about how the language of perception works), as opposed to a scientific one, which is a theory about how the brain works, are exactly the issues. This is (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  55
    Towards an Ontological Modelling of Preference Relations.Daniele Porello & Giancarlo Guizzardi - 2018 - In C. Ghidini, B. Magnini, A. Passerini & P. Traverso (eds.), AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings. pp. 152--165.
    Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  47
    Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0.Giancarlo Guizzardi, Tiago Prince Sales, Claudenir M. Fonseca, Daniele Porello, Joao Paulo Almeida & Nicola Guarino - 2018 - In J. C. Trujillo, K. C. Davis, X. Du, Z. Li, T. W. Ling, G. Li & M. L. Lee (eds.), Conceptual Modeling - 37th International Conference, {ER} 2018, Xi'an, China, October 22-25, 2018, Proceedings. Springer. pp. 136--150.
    For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  70
    Universal Hinges and the Bounds of Sense.Mark Fortney - 2019 - Philosophia:1-13.
    According to Danièle Moyal-Sharrock, Wittgenstein’s On Certainty presents a theory of hinges, and hinges have a role to play in a foundationalist epistemology (2013). Michael Williams (2005) and Annalisa Coliva (2013 ) have claimed that the hinges are not suitable to play such a role as they are not shared universally. Moyal-Sharrock has replied that a subset of the hinges is suitable to play such a role: the “universal” hinges. I argue that for Moyal-Sharrock’s reply to be sustained, she must (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  38
    Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Assertion and Hypothesis: A Logical Framework for Their Opposition Relations.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logic Journal of the IGPL 25 (2):131-144.
    Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Dual PECCS: A Cognitive System for Conceptual Representation and Categorization.Antonio Lieto, Daniele Radicioni & Valentina Rho - 2017 - Journal of Experimental and Theoretical Artificial Intelligence 29 (2):433-452.
    In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  16.  22
    On Weak Truthmaking.Nicola Guarino, Daniele Porello & Giancarlo Guizzardi - forthcoming - In Proceedings of the Joint Ontology Workshops 2019.
    Informally speaking, a truthmaker is something in the world in virtue of which the sentences of a language can be made true. This fundamental philosophical notion plays a central role in applied ontology. In particular, a recent nonorthodox formulation of this notion proposed by the philosopher Josh Parsons, which we labelled weak truthamking, has been shown to be extremely useful in addressing a number of classical problems in the area of Conceptual Modeling. In this paper, after revisiting the classical notion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. La natura della fede in Gv 4.Daniele Bertini - 2010 - In Daniele Bertini, Giovanni Salmeri & Paolo Tiranni (eds.), Teologia dell'esperienza. Nuova Cultura.
    The paper is divided in two parts. The first presents my exegesis of the fourth chapter of the Gospel of John. My main claim is that the composer of the text manipulate the chronological order of miracles in his "signs source" in order to approach the story of the woman from Samaria together to the healing of the son of the roman officer in Kapharnaus. The two episodes deal with two different ways to convert to faith. Consequently, they provide a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  19.  20
    A Logic for Reasoning About Group Norms.Daniele Porello - 2018 - In Jan M. Broersen, Gabriella Pigozzi, Cleo Condoravdi & Shyam Nair (eds.), Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018. Londra, Regno Unito: pp. 301--315.
    We present a number of modal logics to reason about group norms. As a preliminary step, we discuss the ontological status of the group to which the norms are applied, by adapting the classification made by Christian List of collective attitudes into aggregated, common, and corporate attitudes. Accordingly, we shall introduce modality to capture aggregated, common, and corporate group norms. We investigate then the principles for reasoning about those types of modalities. Finally, we discuss the relationship between group norms and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  33
    Towards a Conceptualization of Sociomaterial Entanglement.Daniele Porello & Roberta Ferrario - 2015 - In Henning Christiansen, Isidora Stojanovic & George A. Papadopoulos (eds.), Modeling and Using Context. 9th International and Interdisciplinary Conference, Context 2015. Springer. pp. 32--46.
    In knowledge representation, socio-technical systems can be modeled as multiagent systems in which the local knowledge of each individual agent can be seen as a context. In this paper we propose formal ontologies as a means to describe the assumptions driving the construction of contexts as local theories and to enable interoperability among them. In particular, we present two alternative conceptualizations of the notion of sociomateriality (and entanglement), which is central in the recent debates on socio-technical systems in the social (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21.  33
    Ontology Merging as Social Choice.Daniele Porello & Ulle Endriss - 2014 - Journal of Logic and Computation 24 (6):1229--1249.
    The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step in this direction, we (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  22. From Human to Artificial Cognition and Back: New Perspectives on Cognitively Inspired AI Systems.Antonio Lieto & Daniele Radicioni - 2016 - Cognitive Systems Research 39 (c):1-3.
    We overview the main historical and technological elements characterising the rise, the fall and the recent renaissance of the cognitive approaches to Artificial Intelligence and provide some insights and suggestions about the future directions and challenges that, in our opinion, this discipline needs to face in the next years.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  23. Bauman e Habermas su teoria e prassi. Alle origini di un confronto incompiuto.Luca Corchia - 2018 - Sicurezza E Scienze Sociali 1 (6):141-174.
    After noting the absence of a mutual confrontation, the aim of this research has been redefined in reconstructing the influence of Habermas’ writings on the work of Zygmunt Bauman – an aspect known to scholars of the Polish sociologist but not very well recognized in the international sociological community. Following a philological and critical literary approach, the Baumanian interpretations – selective, discontinuous and, often, erroneous – have been systematized into two main topics: 1) the epistemological foundations of social theory; 2) (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25.  78
    The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Anti-Doping, Purported Rights to Privacy and WADA's Whereabouts Requirements: A Legal Analysis.Oskar MacGregor, Richard Griffith, Daniele Ruggiu & Mike McNamee - 2013 - Fair Play 1 (2):13-38.
    Recent discussions among lawyers, philosophers, policy researchers and athletes have focused on the potential threat to privacy posed by the World Anti-Doping Agency’s (WADA) whereabouts requirements. These requirements demand, among other things, that all elite athletes file their whereabouts information for the subsequent quarter on a quarterly basis and comprise data for one hour of each day when the athlete will be available and accessible for no advance notice testing at a specified location of their choosing. Failure to file one’s (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  11
    A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani & Claudio Masolo - 2019 - In Mantas Simkus & Grant E. Weddell (eds.), Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.
    We introduce a family of operators to combine Description Logic concepts. They aim to characterise complex concepts that apply to instances that satisfy \enough" of the concept descriptions given. For instance, an individual might not have any tusks, but still be considered an elephant. To formalise the meaning of \enough", the operators take a list of weighted concepts as arguments, and a certain threshold to be met. We commence a study of the formal properties of these operators, and study some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28.  19
    A Cognitive View of Relevant Implication.Daniele Porello & Claudio Masolo - 2015 - In Antonio Lieto, Cristina Battaglino, Daniele P. Radicioni & Manuela Sanguinietti (eds.), Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28-29, 2015. pp. 40--53.
    Relevant logics provide an alternative to classical implication that is capable of accounting for the relationship between the antecedent and the consequence of a valid implication. Relevant implication is usually explained in terms of information required to assess a proposition. By doing so, relevant implication introduces a number of cognitively relevant aspects in the de nition of logical operators. In this paper, we aim to take a closer look at the cognitive feature of relevant implication. For this purpose, we develop (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  13
    Organisations and Variable Embodiments.Daniele Porello, Roberta Ferrario & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. pp. 127--140.
    How can organisations survive not only the substitution of members, but also other dramatic changes, like that of the norms regulating their activities, the goals they plan to achieve, or the system of roles that compose them? This paper is as first step towards a well-founded ontological analysis of the persistence of organisations through changes. Our analysis leverages Kit Fine’s notions of rigid and variable embodiment and proposes to view the (history of the) decisions made by the members of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30.  14
    Repairing Ontologies Via Axiom Weakening.Daniele Porello & Oliver Kutz Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello - 2018 - In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in Artificial Intelligence (EAAI-18). pp. 1981--1988.
    Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make them less restrictive, employing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  80
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  11
    Representing Concepts by Weighted Formulas.Daniele Porello & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. IOS Press. pp. 55--68.
    A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object under a concept. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled. Berlin: Springer International Publishing AG. pp. 195-209.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  14
    Logical Operators for Ontological Modeling.Stefano Borgo, Daniele Porello & Nicolas Troquard - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil}. pp. 23--36.
    We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  55
    Ontological Foundations of Competition.Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi & John Mylopoulos - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018). Amsterdam: IOS Press. pp. 96-112.
    It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36.  18
    Understanding Predication in Conceptual Spaces.Daniele Porello & Claudio Masolo - 2016 - In Roberta Ferrario & Werner Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). pp. 139--152.
    We argue that a cognitive semantics has to take into account the possibly partial information that a cognitive agent has of the world. After discussing Gärdenfors's view of objects in conceptual spaces, we offer a number of viable treatments of partiality of information and we formalize them by means of alternative predicative logics. Our analysis shows that understanding the nature of simple predicative sentences is crucial for a cognitive semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  37.  71
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Il dibattito sulla Trinità nella filosofia analitica della religione.Daniele Bertini - 2015 - In Ivan Pozzoni (ed.), Frammenti di filosofia contemporanea. Limina Mentis. pp. 111-135.
    An overview of the recent debate on the Trinity in the analytic philosophy of religion. I move from putting forward the Logical Problem of the Trinity (LPT) according to R.Cartwright and M.Rea. I then define two useful notions in order to evaluate the interpretive force of the mainstream approaches to answer LPT; i.e. , be X a concept, I define maximally robust reading of X and sufficiently robust reading of X. In the subsequent section, I offer an expository analysis of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  39.  77
    Extending and Applying a Logic for Pragmatics.Massimiliano Carrara, Daniele Chiffi & Ciro De Florio - 2017 - Logique Et Analyse 239:227-244.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  13
    Modelling Multilateral Negotiation in Linear Logic.Daniele Porello & Ulle Endriss - 2010 - In {ECAI} 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. pp. 381--386.
    We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  90
    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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  13
    The Ontology of Group Agency.Daniele Porello, Emanuele Bottazzi & Roberta Ferrario - 2014 - In Pawel Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, {FOIS} 2014, September, 22-25, 2014, Rio de Janeiro, Brazil. pp. 183--196.
    We present an ontological analysis of the notion of group agency developed by Christian List and Philip Pettit. We focus on this notion as it allows us to neatly distinguish groups, organizations, corporations – to which we may ascribe agency – from mere aggregates of individuals. We develop a module for group agency within a foundational ontology and we apply it to organizations.
    Download  
     
    Export citation  
     
    Bookmark  
  44.  43
    Esperienza religiosa e pratiche doxastiche.Daniele Bertini - 2017 - Hermeneutica 2017:211-236.
    My paper argues for the claim that religious experience may provide evidential reasons in support of religious beliefs. I name such a claim epistemic view of mystical experience (EM). In the first section, I sketch two approaches to EM. Swinburne, Alston and Plantinga (among others) develop a notable defense of EM. On the contrary, seminal works by Feuerbach and Bultmann offer the opposite account. I briefly show how to resist to the criticism of EM. In light of such line of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  45. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. The Transcendence of Sophia in Plotinus' Treatise on Intelligible Beauty.Daniele Bertini - 2007 - In Robert M. Berchman & John F. Finamore (eds.), Metaphysical Patterns in Platonism. University Press of the South. pp. 34-44.
    I consider an argument by Plotinus to show how the notion of transcendence is used in explaining the nature of knowledge. The argument is set forth in sections 4-6 of the treatise V.8 (31). In my opinion this argument provides a good example of the philosophical frame of Platonism. I sum up this frame in the following theses: a) for a thing being is to be real and true; so that for a thing being real and being true is equivalent; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47.  89
    On the Elusive Notion of Meta-Agreement.Valeria Ottonelli & Daniele 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48.  78
    Geometry as a Universal Mental Construction.Véronique Izard, Pierre Pica, Danièle Hinchey, Stanislas Dehane & Elizabeth Spelke - 2011 - In Stanislas Dehaene & Elizabeth Brannon (eds.), Space, Time and Number in the Brain. Oxford University Press.
    Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The spatial content of the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49.  63
    George Berkeley.Daniele Bertini - 2018 - Aphex 18.
    George Berkeley (1685-1753) is one of the most influential early modern philosophers, and in reason of this a never-ending critical interest focuses on his works. Such a critical attention gave rise to a broad literature and it is in fact quite easy to find valuable introductory books to Berkeley's works. It would be thus superfluous to provide a further summary of the entire production of Berkeley. Rather, I focus on a specific issue, namely the main points of interest of immaterialism (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  10
    Aggregating Dependency Graphs Into Voting Agendas in Multi-Issue Elections.Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello & Joel Uckelman - 2011 - In {IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pp. 18--23.
    Many collective decision making problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices adopted for some of the others. Voting is an attractive method for making collective decisions, but conducting a multi-issue election is challenging. On the one hand, requiring agents to vote by expressing their preferences over all combinations of issues is computationally infeasible; on the other, decomposing the problem into several elections on smaller (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 81