21 found
Order:
  1.  40
    The Design Stance and its Artefacts.Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo & Pawel Garbacz - 2013 - Synthese 190 (6):1131-1152.
    In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design stance in (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  2.  21
    Technical Artifacts: An Integrated Perspective.Stefano Borgo, Maarten Franssen, Paweł Garbacz, Yoshinobu Kitamura, Riichiro Mizoguchi & Pieter E. Vermaas - 2014 - Applied Ontology 9 (3-4):217-235.
    Humans are always interested in distinguishing natural and artificial entities although there is no sharp demarcation between the two categories. Surprisingly, things do not improve when the second type of entities is restricted to the arguably more constrained realm of physical technical artifacts. This paper helps to clarify the relationship between natural entities and technical artifacts by developing a conceptual landscape within which to analyze these notions. The framework is developed by studying three definitions of technical artifact which arise from (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  39
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  6
    Time is Ripe to Embrace the Scientific Approach in Applied Ontology.Stefano Borgo, Pascal Hitzler & Cogan Shimizu - 2020 - Applied Ontology 15 (3):245-249.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  17
    A Unifying Definition for Artifact and Biological Functions.Riichiro Mizoguchi, Yoshinobu Kitamura & Stefano Borgo - 2016 - Applied Ontology 11 (2):129-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  75
    On the Ontology of Functions.Stefano Borgo, Riichiro Mizoguchi & Barry Smith - 2011 - Applied Ontology 6 (2):99-104.
    This special issue of Applied Ontology is devoted to the foundation, the comparison and the application of functional theories in all areas, with particular attention to the biological and engineering domains. It includes theoretical and technical contributions related to the description, characterization, and application of functions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  44
    Artifact and Artifact Categorization: Comparing Humans and Capuchin Monkeys.Stefano Borgo, Noemi Spagnoletti, Laure Vieu & Elisabetta Visalberghi - 2013 - Review of Philosophy and Psychology 4 (3):375-389.
    We aim to show that far-related primates like humans and the capuchin monkeys show interesting correspondences in terms of artifact characterization and categorization. We investigate this issue by using a philosophically-inspired definition of physical artifact which, developed for human artifacts, turns out to be applicable for cross-species comparison. In this approach an artifact is created when an entity is intentionally selected and some capacities attributed to it (often characterizing a purpose). Behavioral studies suggest that this notion of artifact is not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  66
    Full Mereogeometries.Stefano Borgo & Claudio Masolo - 2010 - Review of Symbolic Logic 3 (4):521-567.
    We analyze and compare geometrical theories based on mereology (mereogeometries). Most theories in this area lack in formalization, and this prevents any systematic logical analysis. To overcome this problem, we concentrate on specific interpretations for the primitives and use them to isolate comparable models for each theory. Relying on the chosen interpretations, we introduce the notion of environment structure, that is, a minimal structure that contains a (sub)structure for each theory. In particular, in the case of mereogeometries, the domain of (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Formal Ontology Meets Industry.Stefano Borgo, Matteo Cristani & Roberta Cuel - 2006 - Applied Ontology 1 (3):217-220.
    No categories
     
    Export citation  
     
    Bookmark  
  10.  22
    Quantificational Modal Logic with Sequential Kripke Semantics.Stefano Borgo - 2005 - Journal of Applied Non-Classical Logics 15 (2):137-188.
    We introduce quantificational modal operators as dynamic modalities with Henkin quantifiers as indices. The adoption of matrices of indices gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which, formally speaking, does not satisfy the normality condition. However, the logic admits a semantics in terms of Kripke structures. As a consequence, standard techniques for normal modal logic become available. We apply these to prove completeness (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  14
    Spheres, Cubes and Simple.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.
    In 1929 Tarski showed how to construct points in a region-based first-order logic for space representation. The resulting system, called the geometry of solids, is a cornerstone for region-based geometry and for the comparison of point-based and region-based geometries. We expand this study of the construction of points in region-based systems using different primitives, namely hyper-cubes and regular simplexes, and show that these primitives lead to equivalent systems in dimension n ≥ 2. The result is achieved by adopting a single (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  12. Spheres, Cubes and Simplexes in Mereogeometry.Stefano Borgo - 2013 - Logic and Logical Philosophy 22 (3):255-293.
    Name der Zeitschrift: Logic and Logical Philosophy Jahrgang: 22 Heft: 3 Seiten: 255-293.
     
    Export citation  
     
    Bookmark  
  13. CEUR Workshop Proceedings of The Joint Ontology Workshops, with the 9th International Conference of Formal Ontology for Information Systems (FOIS), Early Career Symposium.Adrien Barton, Stefano Borgo & Jean-Rémi Bourguet (eds.) - 2016 - CEUR Scientific Workshops.
  14. Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018).Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.) - 2018 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark  
  15.  3
    Ontology Makes Sense. Essays in Honor of Nicola Guarino.Stefano Borgo, Roberta Ferrario, Claudio Masolo & Laure Vieu (eds.) - 2019 - Amsterdam: IOS Press.
    This book is written in homage to Nicola Guarino. It is a tribute to his many scientific contributions to the new discipline, applied ontology, he struggled to establish. Nicola Guarino is widely recognized as one of the pioneers in formal and applied ontology. Renow – and sometimes even criticized – for his deep interest for the subtlest details of theoretical analysis, all throughout his career he has held the conviction that all science has to be for the benefit of society (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. Proceedings of the Joint Ontology Workshops 2016 at 9th International Conference on Formal Ontology in Information Systems.Stefano Borgo, Loris Bozzato, Chiara Del Vescovo & Martin Homola (eds.) - 2016 - CEUR.
    No categories
     
    Export citation  
     
    Bookmark  
  17.  3
    Festschrift for Nicola Guarino.Roberta Ferrario, Stefano Borgo, Laure Vieu & Claudio Masolo (eds.) - 2019 - Amsterdam: IOS Publications.
    Nicola Guarino is widely recognized as one of the founders of applied ontology. His deep interest in the subtlest details of theoretical analysis and his vision of ontology as the Rosetta Stone for semantic interoperability guided the development and understanding of this domain. His motivations in research stem from the conviction that all science must be for the benefit of society at large, and his motto has always been that ontologies are not just for making information systems interoperable, but – (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. CEUR Workshop Proceedings Vol-812.Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.) - 2011 - Editors.
    No categories
     
    Export citation  
     
    Bookmark  
  19.  15
    Ontology Makes Sense, Essays in Honor of Nicola Guarino.Stefano Borgo, Roberta Ferrario, Claudio Masolo & Laure Vieu (eds.) - 2019 - Amsterdam: IOS Press.
    Nicola Guarino is widely recognized as one of the founders of applied ontology. His deep interest in the subtlest details of theoretical analysis and his vision of ontology as the Rosetta Stone for semantic interoperability guided the development and understanding of this domain. His motivations in research stem from the conviction that all science must be for the benefit of society at large, and his motto has always been that ontologies are not just for making information systems interoperable, but – (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. CEUR Workshop Procecedings Vol-1007.Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.) - 2013
     
    Export citation  
     
    Bookmark  
  21. Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018.Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.) - 2018 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark