En su primer período friburgués y en su período marburgués Martin Heidegger desarrolla el método hermenéutico fenomenológico con motivo de aprehender el sentido original de la vida en su ser vivida. La indicación formal es el elemento de conceptualización que el autor articula en correspondencia a las particularidades del fenómeno-vida y a su aprehensión. El presente artículo tiene por objetivo la presentación clara y concreta de la idea y las diferentes tareas metódicas que pertenecen a este elemento.

RESUMEN: El presente artículo se centra en algunos de los aspectos centrales de la concepción heideggeriana de la indicación formal. Como es sabido, el filósofo toma como punto de partida en una de las más tempranas exposiciones de este metaconcepto, una explicación delimitativa frente a otras operaciones conceptuales. Se revisará críticamente la explicación que Heidegger hace de la generalización a diferencia de la formalización, destacando especialmente que no se trata aquí de una mera distinción entre generalización y formalización, (...) sino de una estructura de fundamentación. En segundo lugar se argumenta que la crítica de Heidegger no se dirige directamente contra la formalización, sino contra el contexto metódico al cual sirve. Por último, a modo de conclusión, se intenta mostrar que para Heidegger concebir la indicación formal como principio de la investigación fenomenológica, supone que ella es, por vía negativa, una radicalización de la tendencia a lo formal.ABSTRACT: The aim of this article is to focus on central aspects of Heidegger's conception of the formal indication. An early Heideggerian exposition of this meta-concept take as starting point a differentiation from others conceptual operations. First, it will be critical discuss the exposition of the generalization. The main point is that the distinction of generalization and formalization is rather a foundational structure than a simple difference. This premise leads to the view that the Heidegger's critical attempt is not addressed to the formalization as such, but rather to the methodological context to which the formalization serves. Finally, based on this, it will be claimed that is a necessary condition for the determination of the formal indication as a methodological principle of the phenomenological investigation, that this meta-concept is a radical tendency toward the formal. (shrink)

El artículo argumenta que se puede trazar un paralelo entre la elaboración husserliana del imperativo categórico y la caracterización heideggeriana de la indicación formal en los tempranos cursos de Friburgo. Introduce la cuestión con una exposición de la distinción heideggeriana entre los niveles de objetualización teórica, objetivización formal y el “proto-algo”. El artículo se ocupa luego de comparar el sentido de contenido heideggeriano con la primera formulación del imperativo categórico como un motivo conductor para subsiguientes especificaciones. Esto (...) proporciona una base para considerar una ulterior semejanza entre el sentido de referencia y el desarrollo del imperativo con relación a un mundo de objetos, a un horizonte intersubjetivo y al pleno horizonte de la propia vida, en armonía con las nociones heideggerianas de mundo circundante, mundo compartido y mundo del sí-mismo. Además, se argumenta que el sentido de ejecución puede ser tomado como un modelo para el énfasis husserliano en el logro de un cumplimiento del imperativo. Por último, el “proto-algo”, que es indiferente a cualquier tipo particular de objeto, es considerado a la luz de las unidades hyléticas pre-objetivas de Husserl, que pueden ser convertidas en objetos perceptivos, emotivos o volitivos. (shrink)

En sus primeras lecciones de Friburgo, Heidegger planteó que una conceptuación originariamente filosófica debía tener un carácter indicativo-formal. Esto involucraba una transformación metodológica de la fenomenología hacia una hermenéutica de la vida fáctica. En este artículo se expone cómo la asunción de un procedimiento indicativo-formal permite a Heidegger superar ciertos problemas, apuntados por Natorp, que amenazaban la comprensión de Husserl de la fenomenología. Por otra parte, se hace también una consideración crítica del planteamiento fenomenológico original de Heidegger. In (...) his first Freiburg lessons Heidegger proposed that an original philosophical conceptualization had to have a formal-indicative character. This involved a deep methodological transformation of phenomenology towards a hermeneutics of factual life. This work expounds how the assumption of a formal-indicative procedure allows Heidegger to overcome certain problems of Husserl's understanding of phenomenology, which Natorp had pointed out. Besides, this paper makes a critical consideration of Heidegger's original phenomenological approach. (shrink)

The influence of Saint Augustine in the existential analysis of Being and Time is highly recognized and is always a source of fruitful research. Our work, however, will try to discover the elongated shadow of the bishop of Hippo in the definition of the task of thinking, and therefore in II Heidegger, from what we will call the salvation of the vital-existential moment of the experience of the encounter with the absolute. It is investigated here, then, the possibility that the (...) fundamental notes on which, in our opinion, the mystical experience that is inferred in the Confessions can count as formal indicators of what is the heideggerian notion of meditative thinking. (shrink)

En las últimas décadas se ha tomado gran conciencia dentro de los estudios heideggerianos de la relevancia de la indicación formal. En efecto, en ella se encuentra la pieza clave de la metódica filosófica de este pensador. Heidegger introduce por primera vez este concepto a través de una delimitación frente a otras operaciones conceptuales. El siguiente artículo se limitará a la exposición crítica que Heidegger hace de la generalización y de la formalización para mostrar que aquí late una (...) discusión mucho más compleja con la fenomenología husserliana. La propuesta esencial de este artículo es que el problema acerca de los conceptos filosóficos se sitúa con Heidegger en el plano fundamental del problema de los principios metódicos de la investigación filosófica. (shrink)

La indicación formal es un elemento fundamental en la filosofía de Heidegger a principios de los años veinte, hasta el punto de que su hermenéutica fenomenológica de la facticidad se puede caracterizar como indicativo-formal. La Introducción a la fenomenología de la religión es el lugar donde se ofrecen más datos sobre esta figura presente hasta el semestre de invierno de 1929-1930. Heidegger explica este concepto apoyándose y distanciándose al mismo tiempo de determinados aspectos de la fenomenología de (...) Husserl. Sin embargo, en el momento culminante, el curso fue interrumpido. Hay distintas razones que permiten comprender este hecho. (shrink)

El texto aborda una de las cuestiones metodológicas fundamentales que Heidegger se planteaba en las Frühe Freiburger Vorlesungen (1919-1923), a saber, el problema de la indicación formal. En efecto, si la vida misma (Dasein) es un acontecimiento de sentido cerrado en sí mismo es necesario establecer un punto de vista que exprese conceptualmente la vida sin objetivarla. El gran problema con el que Heidegger se enfrenta es encontrar un metalenguaje no objetivante. El concepto de indicación formal (...) es lo que le permite elaborar un discurso sobre el origen. (shrink)

RESUMEN: El presente artículo se centra en algunos de los aspectos centrales de la concepción heideggeriana de la indicación formal. Como es sabido, el filósofo toma como punto de partida en una de las más tempranas exposiciones de este metaconcepto, una explicación delimitativa frente a otras operaciones conceptuales. Se revisará críticamente la explicación que Heidegger hace de la generalización a diferencia de la formalización, destacando especialmente que no se trata aquí de una mera distinción entre generalización y formalización, (...) sino de una estructura de fundamentación. En segundo lugar se argumenta que la crítica de Heidegger no se dirige directamente contra la formalización, sino contra el contexto metódico al cual sirve. Por último, a modo de conclusión, se intenta mostrar que para Heidegger concebir la indicación formal como principio de la investigación fenomenológica, supone que ella es, por vía negativa, una radicalización de la tendencia a lo formal. ABSTRACT: The aim of this article is to focus on central aspects of Heidegger's conception of the formal indication. An early Heideggerian exposition of this meta-concept take as starting point a differentiation from others conceptual operations. First, it will be critical discuss the exposition of the generalization. The main point is that the distinction of generalization and formalization is rather a foundational structure than a simple difference. This premise leads to the view that the Heidegger's critical attempt is not addressed to the formalization as such, but rather to the methodological context to which the formalization serves. Finally, based on this, it will be claimed that is a necessary condition for the determination of the formal indication as a methodological principle of the phenomenological investigation, that this meta-concept is a radical tendency toward the formal. (shrink)

En el parágrafo §7 de Ser y Tiempo Heidegger distingue entre «vulgar», «formal» y «fenomenológico» a propósito del concepto de «fenómeno». El objetivo del presente artículo es mostrar, en primer lugar, que esta diferencia puede entenderse únicamente desde una previa aclaración de los motivos metodológicos del término. Se sostendrá, en segundo lugar, que todo tratamiento temático es al mismo tiempo un tratamiento metodológico, esto es, que la fenomenología hermenéutica de la existencia humana desarrolla y oculta un particular discurso del (...) método. (shrink)

Tratamos, en este trabajo, de un curso de Heidegger de su primera época de Friburgo, a saber Phänomenologie der Anschauung und des Ausdrucks. Theorie der Philosophischen Begriffsbildung, del semestre de invierno 1919/20. Se deciden en dicha época, para Heidegger, cuestiones esenciales en punto a qué sea fenomenología y cuál haya de ser su método. En la primera parte de mi artículo presento ciertos conceptos clave de esta fenomenología de la intuición y de la expresión como son los conceptos de palidecimiento (...) o Verblassung del significado, así como los relativos al movimiento que se presenta como su contrapunto, a saber, la llamada Phänomenologische Destruktion, evidenciando su relación con el hoy célebre proceder «formalmente indicativo», y que tiene en la llamada Phänomenologische Diiudication su punto culminante. Dedicaré una segunda parte a la brillante aplicación de la «destrucción fenomenológica» al concepto de «historia» y a sus diversos sentidos, haciendo uso de las célebres categorías hermenéuticas (Gehaltsinn, Vollzugsinn, Bezugsinn) en las que se moverá el uso de la indicación formal. Veremos así a la destrucción fenomenológica a la obra. (shrink)

Este artículo analiza los aspectos metodológicos principales del proyecto heideggeriano de una ontología fundamental. Heidegger considera que no hay un punto de partida privilegiado, porque todos estamos hermenéuticamente situados. Por ello propone que la investigación filosófica comience justo donde ya nos encontramos. Esto significa que debemos apropiarnos de nuestra situación hermenéutica. La explicación de esta idea mostrará la clave metodológica de la ontología heideggeriana: la indicación formal. Ella habilita un acceso al fenómeno sin abandonar el marco de la (...) facticidad. (shrink)

RESUMENLa idea de la filosofía sostenida por Heidegger en sus primeros cursos puede ser caracterizada por las notas que Karl Jaspers utiliza para describir a los profetas de la comunicación indirecta. El objetivo de este artículo es mostrar la influencia de la labor metodológica de Søren Kierkegaard en el joven Heidegger.PALABRAS CLAVEHEIDEGGER, KIERKEGAARD, COMUNICACIÓN INDIRECTA,INDICACIÓN FORMAL, ÉTICA DEL MÉTODOABSTRACTThe idea of philosophy held by Heidegger in his early courses can be characterized by the features that Karl Jaspers uses (...) to describe the prophets of indirect communication. The aim of this article is to show the influence of Søren Kierkegaard’s methodological work on the young Heidegger.KEY WORDSHEIDEGGER, KIERKEGAARD, INDIRECT COMMUNICATION,FORMAL INDICATION, ETHICS OF METHOD. (shrink)

We propose a formal framework for interpretable machine learning. Combining elements from statistical learning, causal interventionism, and decision theory, we design an idealised explanation game in which players collaborate to find the best explanation for a given algorithmic prediction. Through an iterative procedure of questions and answers, the players establish a three-dimensional Pareto frontier that describes the optimal trade-offs between explanatory accuracy, simplicity, and relevance. Multiple rounds are played at different levels of abstraction, allowing the players to explore overlapping (...) causal patterns of variable granularity and scope. We characterise the conditions under which such a game is almost surely guaranteed to converge on a optimal explanation surface in polynomial time, and highlight obstacles that will tend to prevent the players from advancing beyond certain explanatory thresholds. The game serves a descriptive and a normative function, establishing a conceptual space in which to analyse and compare existing proposals, as well as design new and improved solutions. (shrink)

Comparing the value of intellectual presence to the theoretical reason in the role of the practical reason discovers the importance of the historical past. It allows us to establish the sense of the history in man.

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

Comparando la presencia teórica ante la inteligencia con el papel de la presencia intelectual en el actuar práctico se descubre la importancia y el valor del pasado histórico. Eso permite establecer el sentido de lo histórico en el hombre.

Análisis de distintas situaciones hermenéuticas desde las que se ha leído a Platón, en busca de una lectura de Platón plegada a los textos salvada de las reformulaciones y esquemas con los que la tradición le ha ido dando forma a Aristocles hasta que éste se ha desvanecido en el juego de máscaras que él mismo inició, desapareciendo el personaje histórico y tomando forma el Platón de la tradición occidental. No se busca desde luego en este trabajo restaurar a un (...) Platón original e incontaminado, sino indicar la situación hermenéutica desde la cual nuestra situación actual nos permite una interpretación posible de los diálogos platónicos -digamos parafraseando a Ortega- a la altura de nuestro tiempo. (shrink)

ABSTRACT:U.S. Organizational Sentencing Guidelines provide firms with incentives to develop formal ethics programs to promote ethical organizational cultures and thereby decrease corporate offenses. Yet critics argue such programs are cosmetic. Here we studied bank employees before and after the introduction of formal ethics training—an important component of formal ethics programs—to examine the effects of training on ethical organizational culture. Two years after a single training session, we find sustained, positive effects on indicators of an ethical organizational culture (...) (observed unethical behavior, intentions to behave ethically, perceptions of organizational efficacy in managing ethics, and the firm’s normative structure). While espoused organizational values also rose in importance post-training, the boost dissipated after the second year which suggests perceptions of values are not driving sustained behavioral improvements. This finding conflicts with past theory which asserts that enduring behavioral improvements arise from the inculcation of organizational values. Implications for future research are discussed. (shrink)

ABSTRACT:U.S. Organizational Sentencing Guidelines provide firms with incentives to develop formal ethics programs to promote ethical organizational cultures and thereby decrease corporate offenses. Yet critics argue such programs are cosmetic. Here we studied bank employees before and after the introduction of formal ethics training—an important component of formal ethics programs—to examine the effects of training on ethical organizational culture. Two years after a single training session, we find sustained, positive effects on indicators of an ethical organizational culture (...) (observed unethical behavior, intentions to behave ethically, perceptions of organizational efficacy in managing ethics, and the firm’s normative structure). While espoused organizational values also rose in importance post-training, the boost dissipated after the second year which suggests perceptions of values are not driving sustained behavioral improvements. This finding conflicts with past theory which asserts that enduring behavioral improvements arise from the inculcation of organizational values. Implications for future research are discussed. (shrink)

This paper presents a formalization of informal logic using the Carneades Argumentation System, a formal, computational model of argument that consists of a formal model of argument graphs and audiences. Conflicts between pro and con arguments are resolved using proof standards, such as preponderance of the evidence. CAS also formalizes argumentation schemes. Schemes can be used to check whether a given argument instantiates the types of argument deemed normatively appropriate for the type of dialogue.

I develop the decision-theoretic approach to quantum probability, originally proposed by David Deutsch, into a mathematically rigorous proof of the Born rule in (Everett-interpreted) quantum mechanics. I sketch the argument informally, then prove it formally, and lastly consider a number of proposed ``counter-examples'' to show exactly which premises of the argument they violate. (This is a preliminary version of a chapter to appear --- under the title ``How to prove the Born Rule'' --- in Saunders, Barrett, Kent and Wallace, "Many (...) worlds? Everett, quantum theory and reality", forthcoming from Oxford University Press.). (shrink)

Este trabajo reconstruye la comprensión ontológica que de fondo actúa en la tematización diferente del fenómeno de la caída en Heidegger y Marcuse. Se sostiene que la extensión de la “diferencia ontológica” es esencialmente distinta dada la “corrección dialéctica” de la fenomenología exigida por Marcuse. Frente a una comprensión originariamente temporea del ser se sitúa otra que introduce en el desenvolvimiento temporeo del ser una dimensión normativa. Con ello se impone una comprensión fundamentalmente diferente de la caída. Las indicaciones acerca (...) de esta problemática son elaboradas desde la recepción particular de la filosofía hegeliana que cada uno lleva a cabo. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists (...) put these tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological (...) forms of entities are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

The broader context for the formal darwinism project established by two of the commentators, in terms of reconciling the Modern Synthesis with Darwinian arguments over design and in terms of links to other types of selection and design, is discussed and welcomed. Some overselling of the project is admitted, in particular of whether it claims to consider all organic design. One important fundamental question raised in two commentaries is flagged but not answered of whether design is rightly represented by (...) an optimisation program, and another from one commentary of whether the coreplicon dissolves in the face of multi-generational imprinting. Calls for the project to be extended to design at levels above and below the individual are considered sympathetically, but judged impractical at the high level of abstraction of the project. All claims of substantive technical error are emphatically rejected. Close technical readings are welcomed that, among other things, represent the project as 'axiomatizing fitness'. The prospects for the project are set out in the light of this highly varied set of commentaries. (shrink)

Now available in English for the first time, The Visibility of the Image explores the development of an influential aesthetic tradition through the work of six figures. Analysing their contribution to the progress of formal aesthetics, from its origins in Germany in the 1880s to semiotic interpretations in America a century later, the six chapters cover: Robert Zimmermann (1824-1898), the first to separate aesthetics and metaphysics and approach aesthetics along the lines of formal logic, providing a purely syntactic (...) way of using signs, regardless of objective content; Alois Riegl (1858-1905), who went on to further develop aesthetics on the model of formal logic, creating a theory of style in response to Zimmermann's call for an aesthetics oriented toward formal logic; Heinrich Wölfflin (1864-1945), who represents a step toward an understanding of consciousness by using pictures as cognitive tools; Konrad Fiedler (1841-1895), the Saxon philosopher who considered the possibility that some kinds of images are made and viewed not for what they show, but for their visibility's sake alone; Maurice Merleau-Ponty (1908-1961), responsible for taking up the connections between the problems of reducing the range of potential meanings and contexts of a given image down to just the picture surface; Charles William Morris (1901-1979), who set out to establish whether a picture with no objective reference, such as an abstract painting, still counts as a sign, and if so, in what sense. Bringing these thinkers together and interlinking their ideas, Lambert Wiesing presents an engaging history of formal aesthetics, while reconstructing the philosophical foundations for the appearance of new image forms in the 20th century, including the video-clip, abstract collage, digital simulation and virtual reality. Using this original approach, The Visibility of the Image introduces the rise of modern image theory and provides a valuable account of our engagement with pictures in the 21st century. (shrink)

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 (...) class='Hi'>formal 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)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...) characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

Although Kant (1998) envisaged a prominent role for logic in the argumentative structure of his Critique of Pure Reason, logicians and philosophers have generally judged Kantgeneralformaltranscendental logics is a logic in the strict formal sense, albeit with a semantics and a definition of validity that are vastly more complex than that of first-order logic. The main technical application of the formalism developed here is a formal proof that Kants logic is after all a distinguished subsystem of first-order logic, (...) namely what is known as geometric logic. (shrink)

This brief paperback is designed for symbolic/formal logic courses. It features the tree method proof system developed by Jeffrey. The new edition contains many more examples and exercises and is reorganized for greater accessibility.

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type (...) theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

Michael T. Ferejohn presents a new analysis of Aristotle's theory of explanation and scientific knowledge, in the context of its Socratic roots. Ferejohn shows how Aristotle resolves the tension between his commitment to the formal-case model of explanation and his recognition of the role of efficient causes in explaining natural phenomena.

In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is of (...) particular relevance to biomedicine, covering theoretical components of ontologies, best practices for ontology design, and examples of biomedical ontologies in use. After defining an ontology as a representation of the types of entities in a given domain, the book distinguishes between different kinds of ontologies and taxonomies, and shows how applied ontology draws on more traditional ideas from metaphysics. It presents the core features of the Basic Formal Ontology (BFO), now used by over one hundred ontology projects around the world, and offers examples of domain ontologies that utilize BFO. The book also describes Web Ontology Language (OWL), a common framework for Semantic Web technologies. Throughout, the book provides concrete recommendations for the design and construction of domain ontologies. (shrink)

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.