Results for 'Formal Aeshetics'

1000+ found
Order:
  1. Iconology and Formal Aesthetics: A New Harmony. A Contribution to the Current Debate in Art Theory and Philosophy of Arts on the (Picture-)Action-Theories of Susanne K. Langer and John M. Krois.Sauer Martina - 2016 - Sztuka I Filozofia (Art and Philosophy), Warschau 48:12-29.
    Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 227-240.
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) and Evolutionary Terminology Auditing (ETA). We (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4.  47
    A Formal Theory of Democratic Deliberation.Hun Chung & John Duggan - 2020 - American Political Science Review 114 (1):14-35.
    Inspired by impossibility theorems of social choice theory, many democratic theorists have argued that aggregative forms of democracy cannot lend full democratic justification for the collective decisions reached. Hence, democratic theorists have turned their attention to deliberative democracy, according to which “outcomes are democratically legitimate if and only if they could be the object of a free and reasoned agreement among equals” (Cohen 1997a, 73). However, relatively little work has been done to offer a formal theory of democratic deliberation. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5.  47
    First-Order Swap Structures Semantics for Some Logics of Formal Inconsistency.Marcelo E. Coniglio - forthcoming - Journal of Logic and Computation.
    The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Function, Role and Disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
    Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, and (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  7. Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - Applied Ontology 11 (2):103-128.
    The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories identified (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis.Emanuel Isaque Cordeiro da Silva - manuscript
    Cidadania Formal e Cidadania Real: Divergências e Direitos Infantis -/- 1 Introdução sobre o que seria cidadania -/- Para o clássico sociólogo francês Durkheim, a ideia de cidadania é questão de coesão social, isto é, essa coesão social nada mais é do que uma ideia de um Estado que mantém os indivíduos unidos (mais parecido com a ideia do fascismo em seus primórdios, que consistia basicamente na união do povo como um feixe), integrados a um grupo social, ou simplesmente, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  19
    Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - manuscript
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are not algebraizable in the sense of Blok-Pigozzi. . More than this, they are non self-extensional (i.e., they do not satisfy the replacement property). The same negative results (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. On the Application of Formal Principles to Life Science Data: A Case Study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Berlin: Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  11. Towards a Philosophical Understanding of the Logics of Formal Inconsistency.Walter Carnielli & Abílio Rodrigues - 2015 - Manuscrito 38 (2):155-184.
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. Lógica y ontología formal.Barry Smith - 2004 - In Grupo de Acción Filosófica (GAF). Buenos Aires, Argentina,: Grupo de Acción Filosófica (Gaf), Buenos Aires.
    La lógica es para Husserl una ciencia de la ciencia, una ciencia de lo que todas las ciencias tienen en común respecto de sus modos de validación. De este modo, la lógica trata por un lado con leyes universales relacionadas con la verdad, la deducción, la verificación y la falsación; y, por otro lado, con leyes relacionadas con la teoría como tal, y con lo que produce la unidad teorética. Ambos tipos de leyes se refieren por una parte a las (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Bradley's Reductio of Relations and Formal Ontological Relations.Jani Hakkarainen & Markku Keinänen - 2016 - In Hemmo Laiho & Arto Repo (eds.), DE NATURA RERUM - Scripta in honorem professoris Olli Koistinen sexagesimum annum complentis. Turku: University of Turku. pp. 246-261.
    In this paper, we argue that formal ontological relations avoid Bradley's reductio of relations, including his famous relation regress.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  48
    On Formal Aspects of the Epistemic Approach to Paraconsistency.Walter Carnielli, Marcelo E. Coniglio & Abilio Rodrigues - 2018 - In Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. London: College Publications. pp. 48-74.
    This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. The Metaphysics of Downward Causation: Rediscovering the Formal Cause.Mariusz Tabaczek - 2013 - Zygon 48 (2):380-404.
    The methodological nonreductionism of contemporary biology opens an interesting discussion on the level of ontology and the philosophy of nature. The theory of emergence (EM), and downward causation (DC) in particular, bring a new set of arguments challenging not only methodological, but also ontological and causal reductionism. This argumentation provides a crucial philosophical foundation for the science/theology dialogue. However, a closer examination shows that proponents of EM do not present a unified and consistent definition of DC. Moreover, they find it (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Experimental Philosophy Meets Formal Epistemology.Jonah N. Schupbach - forthcoming - In Sytsma & Buckwalter (eds.), Blackwell Companion to Experimental Philosophy. Blackwell.
    Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from (...) epistemology have been used fruitfully to advance epistemically-relevant experimental work. The upshot of this brief, incomplete survey is that formal and experimental methods often constitute mutually informative means to epistemological ends. (shrink)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Formal Ontology as an Operative Tool in the Theories of the Objects of the Life-World.Horacio Banega - 2012 - Symposium: Canadian Journal of Continental Philosophy/Revue canadienne de philosophie continentale 16 (2):64-88.
    Formal ontology as it is presented in Husserl`s Third Logical Investigation can be interpreted as a fundamental tool to describe objects in a formal sense. It is presented one of the main sources: chapter five of Carl Stumpf`s Ûber den psycholoogischen Ursprung der Raumovorstellung (1873), and then it is described how Husserlian Formal Ontology is applied in Fifth Logical Investigation. Finally, it is applied to dramatic structures, in the spirit of Roman Ingarden.
    Download  
     
    Export citation  
     
    Bookmark  
  20. What Are Tropes, Fundamentally? A Formal Ontological Account.Jani Hakkarainen - 2018 - Acta Philosophica Fennica 94:129-159.
    In this paper, I elaborate on the Strong Nuclear Theory (SNT) of tropes and substances, which I have defended elsewhere, using my metatheory about formal ontology and especially fundamental ontological form. According to my metatheory, for an entity to have an ontological form is for it to be a relatum of a formal ontological relation or relations jointly in an order. The full fundamental ontological form is generically identical to a simple formal ontological relation or relations jointly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. On the Philosophical Motivations for the Logics of Formal Consistency and Inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.
    Download  
     
    Export citation  
     
    Bookmark  
  22. The Objects and the Formal Truth of Kantian Analytic Judgments.Huaping Lu-Adler - 2013 - History of Philosophy Quarterly 30 (2):177-93.
    I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I address these (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. The Formal Sciences Discover the Philosophers' Stone.James Franklin - 1994 - Studies in History and Philosophy of Science Part A 25 (4):513-533.
    The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  24. Paraconsistent Belief Revision Based on a Formal Consistency Operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
    In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. A Formal Ontology of Artefacts.Gilles Kassel - 2010 - Applied Ontology 5 (3):223-246.
    This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: artificial entity, intentional (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  79
    Formal Ontology for Biomedical Knowledge Systems Integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology will greatly benefit software application ontologies. To this end LinKBase®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this, we aim to move (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. On Philosophical Motivations for Paraconsistency: An Ontology-Free Interpretation of the Logics of Formal Inconsistency.Walter Carnielli & Abilio Rodrigues - manuscript
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Formal Operations and Simulated Thought.John-Michael Kuczynski - 2006 - Philosophical Explorations 9 (2):221-234.
    A series of representations must be semantics-driven if the members of that series are to combine into a single thought: where semantics is not operative, there is at most a series of disjoint representations that add up to nothing true or false, and therefore do not constitute a thought at all. A consequence is that there is necessarily a gulf between simulating thought, on the one hand, and actually thinking, on the other. A related point is that a popular doctrine (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31.  78
    Strengths and Limitations of Formal Ontologies in the Biomedical Domain.Barry Smith - 2009 - Electronic Journal of Communication, Information and Innovation in Health 3 (1):31-45.
    We propose a typology of representational artifacts for health care and life sciences domains and associate this typology with different kinds of formal ontology and logic, drawing conclusions as to the strengths and limitations for ontology in a description logics framework. The four types of domain representation we consider are: (i) lexico-semantic representation, (ii) representation of types of entities, (iii) representations of background knowledge, and (iv) representation of individuals. We advocate a clear distinction of the four kinds of representation (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Download  
     
    Export citation  
     
    Bookmark  
  33.  37
    Non Classical Concept Representation and Reasoning in Formal Ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
    Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  46
    Using Cross-Lingual Information to Cope with Underspecification in Formal Ontologies.Werner Ceusters, Ignace Desimpel, Barry Smith & Stefan Schulz - 2003 - Studies in Health Technology and Informatics 95:391-396.
    Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Formal Logic: Classical Problems and Proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.
    Download  
     
    Export citation  
     
    Bookmark  
  36. Basic Formal Ontology for Bioinformatics.Barry Smith, Anand Kumar & Thomas Bittner - 2005 - IFOMIS Reports.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Basic Concepts of Formal Ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, continuity (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  38. Facts, Formal Objects and Ontology.Kevin Mulligan - 2009 - Swiss Philosophical Preprints.
    What is a fact ? Are there such things ?
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  64
    A Formal Theory of Substances, Qualities, and Universals.Fabian Neuhaus, Pierre Grenon & Barry Smith - 2004 - In Achille Varzi & Laure Vieu (eds.), Formal Ontology in Information Systems. Proceedings of the Third International Conference. IOS Press.
    One of the tasks of ontology in information science is to support the classification of entities according to their kinds and qualities. We hold that to realize this task as far as entities such as material objects are concerned we need to distinguish four kinds of entities: substance particulars, quality particulars, substance universals, and quality universals. These form, so to speak, an ontological square. We present a formal theory of classification based on this idea, including both a semantics for (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   6 citations  
  40.  73
    Formal Ontologies of Space and Time. IFOMIS Report.Thomas Bittner & Barry Smith - 2003 - In IFOMIS Report.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token ontologies. In (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  39
    Tolerance, Respect and Earnestness: An Examination of Material Difference and Formal Identity.Björn Freter - 2017 - Ewanlen. A Journal of Philosophical Inquiry 1:10-16.
    In the so-called modern age, a transition can be observed in Western thought regarding this issue of tolerance. A perceptible shift can be seen in the understanding of tolerance as mere endurance to attempts to conceive of tolerance as a kind of well-grounded acceptance. It is regrettable, however, that this change in thinking has often remained hypothetical rather than heuristic. This certainly has to do with the fact that most of the time only large-scale theological, philosophical, or political projects were (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  78
    The Point of Language in Heidegger's Thinking: A Call for the Revival of Formal Indication.J. Hatab Lawrence - 2016 - Gatherings: The Heidegger Circle Annual 6:1-22.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. The Formal Cause in the Posterior Analytics.Petter Sandstad - 2016 - Filozofski Vestnik 37 (3):7-26.
    I argue that Aristotle’s account of scientific demonstrations in the Posterior Analytics is centred upon formal causation, understood as a demonstration in terms of essence (and as innocent of the distinction between form and matter). While Aristotle says that all four causes can be signified by the middle term in a demonstrative syllogism, and he discusses at some length efficient causation, much of Aristotle’s discussion is foremost concerned with the formal cause. Further, I show that Aristotle had very (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  79
    Deductively Sound Formal Proofs.P. Olcott - manuscript
    Could the intersection of [formal proofs of mathematical logic] and [sound deductive inference] specify formal systems having [deductively sound formal proofs of mathematical logic]? -/- All that we have to do to provide [deductively sound formal proofs of mathematical logic] is select the subset of conventional [formal proofs of mathematical logic] having true premises and now we have [deductively sound formal proofs of mathematical logic].
    Download  
     
    Export citation  
     
    Bookmark  
  45.  61
    Eliminating Undecidability and Incompleteness in Formal Systems.Pete Olcott - manuscript
    To eliminate incompleteness, undecidability and inconsistency from formal systems we only need to convert the formal proofs to theorem consequences of symbolic logic to conform to the sound deductive inference model. -/- Within the sound deductive inference model there is a (connected sequence of valid deductions from true premises to a true conclusion) thus unlike the formal proofs of symbolic logic provability cannot diverge from truth.
    Download  
     
    Export citation  
     
    Bookmark  
  46.  50
    Expressing Truth Directly Within a Formal System with No Need for Model Theory.Pete Olcott - manuscript
    Because formal systems of symbolic logic inherently express and represent the deductive inference model formal proofs to theorem consequences can be understood to represent sound deductive inference to deductive conclusions without any need for other representations.
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Notion of Truth in Natural and Formal Languages.Pete Olcott - manuscript
    For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Michael T. Ferejohn, Formal Causes: Definition, Explanation, and Primacy In: Socratic and Aristotelian Thought. [REVIEW]Petter Sandstad - 2016 - Logical Analysis and History of Philosophy 19:235-241.
    I review Michael T. Ferejohn's "Formal Causes: Definition, Explanation, and Primacy in Socratic and Aristotelian Thought".
    Download  
     
    Export citation  
     
    Bookmark  
  49.  11
    Who Cares About Axiomatization? Representation, Invariance, and Formal Ontologies.R. Ferrario - 2006 - Epistemologia 29 (2):323-342.
    The philosophy of science of Patrick Suppes is centered on two important notions that are part of the title of his recent book (Suppes 2002): Representation and Invariance. Representation is important because when we embrace a theory we implicitly choose a way to represent the phenomenon we are studying. Invariance is important because, since invariants are the only things that are constant in a theory, in a way they give the “objective” meaning of that theory. Every scientific theory gives a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Interoperability of Disparate Engineering Domain Ontologies Using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
    As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000