17 found
Order:
  1.  24
    The Design Stance and its Artefacts.Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo & Pawel Garbacz - 2013 - Synthese 190 (6):1131-1152.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  18
    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 (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  14
    A Unifying Definition for Artifact and Biological Functions.Riichiro Mizoguchi, Yoshinobu Kitamura & Stefano Borgo - 2016 - Applied Ontology 11 (2):129-154.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  59
    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   1 citation  
  5.  55
    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 (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  35
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  7.  21
    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 (4 more)  
     
    Export citation  
     
    Bookmark  
  8. Formal Ontology Meets Industry.Stefano Borgo, Matteo Cristani & Roberta Cuel - 2006 - Applied Ontology 1 (3):217-220.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  12
    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  
  10. 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  
  11. 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.
  12. 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  
  13. Ontology Makes Sense. Essays in Honor of Nicola Guarino.Stefano Borgo, Roberta Ferrario, Claudio Masolo & Laure Vieu (eds.) - 2019 - IOS Press.
    No categories
     
    Export citation  
     
    Bookmark  
  14. 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  
  15. Festschrift for Nicola Guarino.Roberta Ferrario, Stefano Borgo, Laure Vieu & Claudio Masolo (eds.) - 2019 - IOS Publications.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  16. CEUR Workshop Proceedings Vol-812.Janna Hastings, Oliver Kutz, Mehul Bhatt & Stefano Borgo (eds.) - 2011 - Editors.
    No categories
     
    Export citation  
     
    Bookmark  
  17. CEUR Workshop Procecedings Vol-1007.Oliver Kutz, Mehul Bhatt, Stefano Borgo & Paulo Santos (eds.) - 2013
     
    Export citation  
     
    Bookmark