We propose an idea called ``ontology reuse'' to develop ontology (or taxonomy) for information search more easily by its development cost reduction. For its feasibility demonstration, we developed a prototype system that converts taxonomy information of web contents to RDF format, collects it into a server and visualizes taxonomy infomation as a 2D map for editing itself and searching information. And our goal is to realize ``ontology circulation'', which means that ontology information flows freely (...) and easily over the Internet and an intranet. (shrink)

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for (...) such navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

It is proposed to expand the structure of the intelligent information system with an addition of knowledge-oriented decision support subsystem. The description of an intellectual workplace is given. Based on this, the main procedures of the subsystem are proposed: the creation of a knowledge base and the search for appropriate responses to a given action. The structure and stages of creating a knowledge base based on the analysis of rules set in natural language are described. The advantages (...) of this approach in comparison with the common approaches based on neural networks are substantiated. (shrink)

The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, which may (...) however provide general lessons for the developers of ontologies in the future. (shrink)

When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must (...) be aligned with joint doctrine. It requires also that the separate information systems used by the different elements of a joint force must be interoperable, in the sense that data and information that is generated by each element must be usable (understandable, processable) by all the other elements that need them. Currently, such interoperability is impeded by multiple inconsistencies among the different data and software standards used by warfighters. We describe here the on-going project of creating a Joint Doctrine Ontology (JDO), which uses joint doctrine to provide shared computer-accessible content valid for any field of military endeavor, organization, and information system. JDO addresses the two previously mentioned requirements of unified action by providing a widely applicable benchmark for use by developers of information systems that will both guarantee alignment with joint doctrine and support interoperability. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for (...) the domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

We describe on-going work on IAO-Intel, an information artifact ontology developed as part of a suite of ontologies designed to support the needs of the US Army intelligence community within the framework of the Distributed Common Ground System (DCGS-A). IAO-Intel provides a controlled, structured vocabulary for the consistent formulation of metadata about documents, images, emails and other carriers of information. It will provide a resource for uniform explication of the terms used in multiple existing military dictionaries, thesauri (...) and metadata registries, thereby enhancing the degree to which the content formulated with their aid will be available to computational reasoning. (shrink)

Integrated information theory (IIT) is a candidate theory of consciousness that highlights the role of complex interactions between parts of a system as the basis of consciousness – and, due to its general information-theoretic formulation, is capable of making statements about consciousness in neural and non-neural systems alike. Here, we argue that a system radically different to a human brain, host to complex physiological and functional structures capable of integrating information, can be found in the meristems and (...) vascular system of higher plants. Following a pragmatic and ontologically innocent approach, neither taking for granted that plants are conscious nor dismissing the possibility that they are, we argue that the time is ripe to apply analysis tools inspired by IIT to plants, taking advantage of recent developments in both plant imaging and information theory. We introduce and discuss the relevant literature, and pro information and integration in plant behaviour, assessing the plausibility of plant sentience. If successful, these experiments could position plants as the next frontier in consciousness science, and urge us to rethink our perspectives on consciousness, how to measure it, and its prevalence amongst living beings. (shrink)

Increasingly, in data-intensive areas of the life sciences, experimental results are being described in algorithmically useful ways with the help of ontologies. Such ontologies are authored and maintained by scientists to support the retrieval, integration and analysis of their data. The proposition to be defended here is that ontologies of this type – the Gene Ontology (GO) being the most conspicuous example – are a part of science. Initial evidence for the truth of this proposition (which some will find (...) self-evident) is the increasing recognition of the importance of empirically-based methods of evaluation to the ontology development work being undertaken in support of scientific research. The ontologies created by scientists must, of course, be associated with implementations satisfying the requirements of software engineering. But these ontologies are not themselves engineering artifacts, and to conceive them as such brings grievous consequences. Rather, we shall argue, ontologies such as the GO are comparable to scientific theories, to scientific databases, or to scientific journal publications. Such a view implies a radically new conception of what is involved in the authoring, maintenance and application of ontologies in scientific contexts, and therewith also a radically new approach to the evaluation of ontologies and to the training of ontologists. (shrink)

Babylon Knowledge Explorer (BKE) is an integrated suite of tools and information sources developed in GlaxoSmithKline's Analysis, Applications, and Research Technologies Department to support the prototyping and implementation of ontology-driven information systems and ontology-enhanced knowledge applications. In this paper we describe the current state of BKE development and focus on some of its distinctive or novel approaches, highlighting -/- * How BKE makes use of multiple large pre-existing ontologies in support of text and data mining. (...) * The methodology employed for importing an ontology and making it immediately accessible to BKE's tools, interfaces, and API. * A formal description of BKE's ontology-based fact model and how this is employed in implementing information retrieval and data mining capabilities. * A sample application built on BKE that illustrates an ontologyenhanced machine learning tool. (shrink)

Contemporary medical diagnostics has a dynamic moral landscape, which includes a variety of agents, factors, and components. A significant part of this landscape is composed of information technologies that play a vital role in doctors’ decision-making. This paper focuses on the so-called Intelligent Decision-Support System that is widely implemented in the domain of contemporary medical diagnosis. The purpose of this article is twofold. First, I will show that the IDSS may be considered a moral agent in the practice (...) of medicine today. To develop this idea I will introduce the approach to artificial agency provided by Luciano Floridi. Simultaneously, I will situate this approach in the context of contemporary discussions regarding the nature of artificial agency. It is argued here that the IDSS possesses a specific sort of agency, includes several agent features (e.g. autonomy, interactivity, adaptability), and hence, performs an autonomous behavior, which may have a substantial moral impact on the patient’s well-being. It follows that, through the technology of artificial neural networks combined with ‘deep learning’ mechanisms, the IDSS tool achieves a specific sort of independence (autonomy) and may possess a certain type of moral agency. Second, I will provide a conceptual framework for the ethical evaluation of the moral impact that the IDSS may have on the doctor’s decision-making and, consequently, on the patient’s wellbeing. This framework is the Object-Oriented Model of Moral Action developed by Luciano Floridi. Although this model appears in many contemporary discussions in the field of information and computer ethics, it has not yet been applied to the medical domain. This paper addresses this gap and seeks to reveal the hidden potentialities of the OOP model for the field of medical diagnosis. (shrink)

The moot point of the Western philosophical rhetoric about free will consists in examining whether the claim of authorship to intentional, deliberative actions fits into or is undermined by a one-way causal framework of determinism. Philosophers who think that reconciliation between the two is possible are known as metaphysical compatibilists. However, there are philosophers populating the other end of the spectrum, known as the metaphysical libertarians, who maintain that claim to intentional agency cannot be sustained unless it is assumed that (...) indeterministic causal processes pervade the action-implementation apparatus employed by the agent. The metaphysical libertarians differ among themselves on the question of whether the indeterministic causal relation exists between the series of intentional states and processes, both conscious and unconscious, and the action, making claim for what has come to be known as the event-causal view, or between the agent and the action, arguing that a sort of agent causation is at work. In this paper, I have tried to propose that certain features of both event-causal and agent-causal libertarian views need to be combined in order to provide a more defendable compatibilist account accommodating deliberative actions with deterministic causation. The ‘‘agent-executed-eventcausal libertarianism’’, the account of agency I have tried to develop here, integrates certain plausible features of the two competing accounts of libertarianism turning them into a consistent whole. I hope to show in the process that the integration of these two variants of libertarianism does not challenge what some accounts of metaphysical compatibilism propose—that there exists a broader deterministic relation between the web of mental and extra-mental components constituting the agent’s dispositional system—the agent’s beliefs, desires, short-term and long-term goals based on them, the acquired social, cultural and religious beliefs, the general and immediate and situational environment in which the agent is placed, etc. on the one hand and the decisions she makes over her lifetime on the basis of these factors. While in the ‘‘Introduction’’ the philosophically assumed anomaly between deterministic causation and the intentional act of deciding has been briefly surveyed, the second section is devoted to the task of bridging the gap between compatibilism and libertarianism. The next section of the paper turns to an analysis of folk-psychological concepts and intuitions about the effects of neurochemical processes and prior mental events on the freedom of making choices. How philosophical insights can be beneficially informed by taking into consideration folk-psychological intuitions has also been discussed, thus setting up the background for such analysis. It has been suggested in the end that support for the proposed theory of intentional agency can be found in the folk-psychological intuitions, when they are taken in the right perspective. (shrink)

At the Donald Berman Laboratory for Information Technology and Law, La TrobeUniversity Australia, we have been building legal decision support systems for a dozenyears. Whilst most of our energy has been devoted to conducting research in ArtificialIntelligence and Law, over the past few years we have increasingly focused uponbuilding legal decision support systems that have a commercial focus.In this paper we discuss the evolution of our systems. We begin with a discussion ofrule-based systems and discuss the transition (...) to hybrid rule-based/case-based systems.We next discuss how we have used machine learning in building legal decision supportsystems. Our focus on using machine learning led us to investigate the domains ofexplanation and argumentation. We conclude by discussing our current work onbuilding negotiation support systems and tools for constructing web-based legaldecision support systems. (shrink)

The paper provides an OWL ontology for legal cases with an instantiation of the legal case Popov v. Hayashi. The ontology makes explicit the conceptual knowledge of the legal case domain, supports reasoning about the domain, and can be used to annotate the text of cases, which in turn can be used to populate the ontology. A populated ontology is a case base which can be used for information retrieval, information extraction, and case based reasoning. The ontology contains (...) not only elements for indexing the case (e.g. the parties, jurisdiction, and date), but as well elements used to reason to a decision such as argument schemes and the components input to the schemes. We use the Protégé ontology editor and knowledge acquisition system, current guidelines for ontology development, and tools for visual and linguistic presentation of the ontology. (shrink)

With the current changes driven by the expansion of the World Wide Web, this book uses a different approach from other books on the market: it applies ontologies to electronically available information to improve the quality of knowledge management in large and distributed organizations. Ontologies are formal theories supporting knowledge sharing and reuse. They can be used to explicitly represent semantics of semi-structured information. These enable sophisticated automatic support for acquiring, maintaining and accessing information. Methodology and (...) tools are developed for intelligent access to large volumes of semi-structured and textual information sources in intra- and extra-, and internet-based environments to employ the full power of ontologies in supporting knowledge management from the information client perspective and the information provider. The aim of the book is to support efficient and effective knowledge management and focuses on weakly-structured online information sources. It is aimed primarily at researchers in the area of knowledge management and information retrieval and will also be a useful reference for students in computer science at the postgraduate level and for business managers who are aiming to increase the corporations' information infrastructure. The Semantic Web is a very important initiative affecting the future of the WWW that is currently generating huge interest. The book covers several highly significant contributions to the semantic web research effort, including a new language for defining ontologies, several novel software tools and a coherent methodology for the application of the tools for business advantage. It also provides 3 case studies which give examples of the real benefits to be derived from the adoption of semantic-web based ontologies in "real world" situations. As such, the book is an excellent mixture of theory, tools and applications in an important area of WWW research. * Provides guidelines for introducing knowledge management concepts and tools into enterprises, to help knowledge providers present their knowledge efficiently and effectively. * Introduces an intelligent search tool that supports users in accessing information and a tool environment for maintenance, conversion and acquisition of information sources. * Discusses three large case studies which will help to develop the technology according to the actual needs of large and or virtual organisations and will provide a testbed for evaluating tools and methods. The book is aimed at people with at least a good understanding of existing WWW technology and some level of technical understanding of the underpinning technologies (XML/RDF). It will be of interest to graduate students, academic and industrial researchers in the field, and the many industrial personnel who are tracking WWW technology developments in order to understand the business implications. It could also be used to support undergraduate courses in the area but is not itself an introductory text. (shrink)

In Part I of our joint paper [WuB13], we outlined our respective theories, The Basic Theory of the Philosophy of Information and Logic in Reality and showed their synergy for the understanding of complex informational processes. In this part, we develop Wu’s fundamental philosophical insight of the origin of the values of information in the interactions of complex information processing. A key concept in our work is that of a logical isomorphism between human individual and social value (...) and the natural laws of the physical world. On the basis of Wu’s concept of Informational Thinking, we propose an Informational Stance, a philosophical stance that is most appropriate for, and not separated nor isolated from, the emerging unified theory of information. We propose our metaphilosophy and metalogic of information as further support for the ethical development of the Information Society. (shrink)

In a development that has still been hardly noticed by philosophers, a conception of ontology has been advanced in recent years in a series of extra-philosophical disciplines as researchers in linguistics, psychology, geography and anthropology have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures or disciplines. Exploiting the terminology of Quine, researchers in psychology and anthropology have sought to establish what individual human subjects, or entire human cultures, are committed to, ontologically, in their everyday (...) cognition, in much the same way in which philosophers of science have attempted to elicit the ontological commitments of the natural sciences. Thus they have engaged in inquiries designed to establish how folk ontologies (or folk biologies, folk theories of physics, folk psychologies, and so on) develop through infancy and childhood, or to establish the degree to which given elements of folk ontologies reflect universal features of the human cognitive system. In a parallel development, researchers in biomedicine developed what they called 'ontologies' as controlled vocabularies to ensure interoperability of the way in which, for example, genomic data is described in different biological disciplines. We describe in what follows some of the relations between these efforts and the more traditional concerns of philosophers. (shrink)

What is the most general common set of attributes that characterises something as intrinsically valuable and hence as subject to some moral respect, and without which something would rightly be considered intrinsically worthless or even positively unworthy and therefore rightly to be disrespected in itself? This paper develops and supports the thesis that the minimal condition of possibility of an entity's least intrinsic value is to be identified with its ontological status as an information object. All entities, even when (...) interpreted as only clusters of information, still have a minimal moral worth qua information objects and so may deserve to be respected. The paper is organised into four main sections. Section 1 models moral action as an information system using the object-oriented programming methodology (OOP). Section 2 addresses the question of what role the several components constituting the moral system can have in an ethical analysis. If they can play only an instrumental role, then Computer Ethics (CE) is probably bound to remain at most a practical, field-dependent, applied or professional ethics. However, Computer Ethics can give rise to a macroethical approach, namely Information Ethics (IE), if one can show that ethical concern should be extended to include not only human, animal or biological entities, but also information objects. The following two sections show how this minimalist level of analysis can be achieved. Section 3 provides an axiological analysis of information objects. It criticises the Kantian approach to the concept of intrinsic value and shows that it can be improved by using the methodology introduced in the first section. The solution of the Kantian problem prompts the reformulation of the key question concerning the moral worth of an entity: what is the intrinsic value of x qua an object constituted by its inherited attributes? In answering this question, it is argued that entities can share different observable properties depending on the level of abstraction adopted,and that it is still possible to speak of moral value even at the highest level of ontological abstraction represented by the informational analysis. Section 4 develops a minimalist axiology based on the concept of information object. It further supports IE's position by addressing five objections that may undermine its acceptability. (shrink)

The term ‘intelligence’ as used in this paper refers to items of knowledge collected for the sake of assessing and maintaining national security. The intelligence community (IC) of the United States (US) is a community of organizations that collaborate in collecting and processing intelligence for the US. The IC relies on human-machine-based analytic strategies that 1) access and integrate vast amounts of information from disparate sources, 2) continuously process this information, so that, 3) a maximally comprehensive understanding of (...) world actors and their behaviors can be developed and updated. Herein we describe an approach to utilizing outcomes-based learning (OBL) to support these efforts that is based on an ontology of the cognitive processes performed by intelligence analysts. Of particular importance to the Cognitive Process Ontology is the class Representation that is Warranted. Such a representation is descriptive in nature and deserving of trust in its veridicality. The latter is because a Representation that is Warranted is always produced by a process that was vetted (or successfully designed) to reliably produce veridical representations. As such, Representations that are Warranted are what in other contexts we might refer to as ‘items of knowledge’. (shrink)

To better understand what information is and to explain information-related issues has become an essential philosophical task. General concepts from science, ethics and sociology are insufficient. As noted by Floridi, a new philosophy, a Philosophy of Information (PI), is needed. In the 80’s, Wu Kun proposed a “The Basic Theory of the Philosophy of Information”, which became available in English only in 2010. Wu and Joseph Brenner then found that the latter’s non-standard “Logic in Reality” provided (...) critical logical support for Wu’s theory. In Part I of our paper, we outline the two basic theories as a metaphilosophy and metalogic for information. We offer our two theories as a further contribution to an informational paradigm. In Part II [WuB14], we develop the relation between information and social value as a basis for the ethical development of the emerging Information Society. (shrink)

BackgroundHealthcare providers have to make ethically complex clinical decisions which may be a source of stress. Researchers have recently introduced Artificial Intelligence (AI)-based applications to assist in clinical ethical decision-making. However, the use of such tools is controversial. This review aims to provide a comprehensive overview of the reasons given in the academic literature for and against their use.MethodsPubMed, Web of Science, Philpapers.org and Google Scholar were searched for all relevant publications. The resulting set of publications was title and abstract (...) screened according to defined inclusion and exclusion criteria, resulting in 44 papers whose full texts were analysed using the Kuckartz method of qualitative text analysis.ResultsArtificial Intelligence might increase patient autonomy by improving the accuracy of predictions and allowing patients to receive their preferred treatment. It is thought to increase beneficence by providing reliable information, thereby, supporting surrogate decision-making. Some authors fear that reducing ethical decision-making to statistical correlations may limit autonomy. Others argue that AI may not be able to replicate the process of ethical deliberation because it lacks human characteristics. Concerns have been raised about issues of justice, as AI may replicate existing biases in the decision-making process.ConclusionsThe prospective benefits of using AI in clinical ethical decision-making are manifold, but its development and use should be undertaken carefully to avoid ethical pitfalls. Several issues that are central to the discussion of Clinical Decision Support Systems, such as justice, explicability or human–machine interaction, have been neglected in the debate on AI for clinical ethics so far.Trial registrationThis review is registered at Open Science Framework (https://osf.io/wvcs9). (shrink)

The paper sets out the challenges facing the Police in respect of the detection and prevention of the volume crime of burglary. A discussion of data mining and decision support technologies that have the potential to address these issues is undertaken and illustrated with reference the authors’ work with three Police Services. The focus is upon the use of “soft” forensic evidence which refers to modus operandi and the temporal and geographical features of the crime, rather than “hard” evidence (...) such as DNA or fingerprint evidence. Three objectives underpin this paper. First, given the continuing expansion of forensic computing and its role in the emergent discipline of Crime Science, it is timely to present a review of existing methodologies and research. Second, it is important to extract some practical lessons concerning the application of computer science within this forensic domain. Finally, from the lessons to date, a set of conclusions will be advanced, including the need for multidisciplinary input to guide further developments in the design of such systems. The objectives are achieved by first considering the task performed by the intended systems users. The discussion proceeds by identifying the portions of these tasks for which automation would be both beneficial and feasible. The knowledge discovery from databases process is then described, starting with an examination of the data that police collect and the reasons for storing it. The discussion progresses to the development of crime matching and predictive knowledge which are operationalised in decision support software. The paper concludes by arguing that computer science technologies which can support criminal investigations are wide ranging and include geographical information systems displays, clustering and link analysis algorithms and the more complex use of data mining technology for profiling crimes or offenders and matching and predicting crimes. We also argue that knowledge from disciplines such as forensic psychology, criminology and statistics are essential to the efficient design of operationally valid systems. (shrink)

In Search Of An Integrative Vision For Technology will stimulate its readers to consider the 'whole story that is information systems' within the context of an integrative vision of technology. It integrates disparate areas of debate and research while appreciating the contribution that philosophy can make to such thinking. It is deliberately broad in coverage, and designed to provide useful pointers so that researchers, students, practitioners, and developers can easily apply each point as needed. "Human issues of technology (...) and their normative aspects" is a theme that runs throughout the entire book. The integrative vision is centered on an understanding of human practice — the twin notions of structure and direction, and the leading and the founding functions of such practice. While this understanding applies to all technologies, it is worked out in more detail for information technology. From this philosophical understanding, many interdisciplinary areas of interest are identified. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to (...) 20 September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in many (...) influential ontologies, illustrating our results by reference to examples drawn from the domain of the life sciences. (shrink)

Over the past decade, in contrast to the traditional analytic version of metaphysics, a brand of metaphysics that prioritizes collaboration and corroboration with sciences has emerged in the form of scientific metaphysics. While there has been a shift from the methodological dependence of analytic metaphysis on intuition, and conceptual analysis to the methodological preference for empirically-motivated metaphysical insights in scientific metaphysics, such a shift has not penetrated the foundational aims. Scientific metaphysics continues to probe the nature and structure of reality, (...) much like its analytic counterpart and in this process, develops ontologies. Broadly two kinds of ontologies are furnished - global metaphysical ontologies and local scientific ontologies. In this paper, I highlight the challenges with developing such ontologies in scientific metaphysics. With Ladyman-Ross’ Information Theoretic Structural Realism as a case in point, I contest that the former suffers from representational indeterminacy and redundancy. Further, I note the possibility that eventually, local scientific ontologies might be replaced by scientific theories and in such a scenario, the former are best conceived as interim metaphysical supports for the latter. (shrink)

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages (...) used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)

The ability of an agent to overcome limitations caused by complexity can be identified with intelligence. Yet, the study of complexity is dominated by the issues not really associated with authentic intelligence. In search of the methods to overcome limitations of complexity it is necessary to find a sufficiently general conceptual framework for its study, to identify its characteristics and sources, and then to explore alternatives to the currently used methods. The present paper is using for this purpose the (...) conceptual framework of information, its integration, and dynamics developed by the author in his earlier publications. Using this framework, complexity is characterized in both quantitative and qualitative ways, and in both static and dynamic perspectives. The main objective is to propose an approach to transcending limitations of complexity through reverse engineering of the effectiveness in overcoming complexity by natural, living organisms. Since the most striking characteristic of life is its hierarchic organization, the use of multi-level hierarchic information systems in information processing is explored. Theoretical design of such multi-level systems becomes possible with the use of generalized Turing machines as components performing concurrent computation on all levels of the hierarchy. (shrink)

Just as ontology developed over the centuries as part of philosophy, so in recent years ontology has become intertwined with the development of the information sciences. Researchers in various fields have come to realize that a solid foundation for their projects calls for an explicit theorization of the types of entities and relations that make up their respective domains of inquiry, and as the need for integrating such projects arises, so does the need to identify common ontological principles (...) over ad hoc, case-based solutions. This volume collects the papers presented at the third international conference devoted to current research in this area, including invited papers by P. Gärdenfors and A. L. Thomasson. (shrink)

Formal Ontology in Information Systems is the flagship conference of the International Association for Ontology and its Applications. Its interdisciplinary research focus lies at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science, as well as in the applications of ontological analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems development, library and information science, scientific research, and semantic technologies in general.As in previous years, FOIS 2014 was a nexus of interdisciplinary research and (...) communication. The current proceedings is divided into four main sections, dealing with: foundations; processes, agency and dispositions; methods and tools; and applications. The last of these covers a broad spectrum of areas, including in particular biology and medicine, engineering, and economy. For the first time in its history, the conference hosted a special track: an ontology competition, the aim of which was to encourage authors to make their ontologies publicly available and to allow them to be evaluated according to a set of predetermined criteria. Papers discussing these ontologies can also be found in this volume.The book will be of interest to all those whose work involves the application of ontologies, and who are looking for a current overview of developments in formal ontology. (shrink)

B a c k g r o u n d. The purpose of this article is to reveal the concept of philosophical cosmology as a new metaphysics based on ideas proposed by Gilles Deleuze in his work "The Logic of Sense". For this, it is necessary to get rid of the interpretation of philosophical cosmology as an exclusively philosophical-scientific discipline and begin to perceive it as a basic theory of order that can replace ontology. To implement this strategy, Deleuze turns (...) to the ideas of the philosophy of Stoicism. This choice is primarily due to the first concept of sense (lekton theory), as well as the doctrine of space (khora) and the living, renewable cosmos (palingenesia). The relevance of Stoicism is reinforced by the historical and civilizational perspective, where the emergence and renewal of interest in the Stoics' thoughts corresponds to periods of violent crisis. M e t h o d s. The hermeneutic analysis of the works of Gilles Deleuze, the Stoics and researchers of Stoicism makes it possible to include the concept of philosophical cosmology in the foundations of spatial phenomenology which is implemented in the topographic method of researching its main subject, which is the world, and culture in particular. R e s u l t s. In this way, the philosophical cosmology of Gilles Deleuze provides grounds for a better understanding of the cultural and intellectual situation of today, which includes information overload and the essential uncertainty of the prospects of civilizational development, in which culture appears more as a spontaneous performative formation than a logical projected system of valid norms and rules. C o n c l u s i o n s. That is why philosophical cosmology has applied value, as it responds to the spatial and performative turn in modern culture. (shrink)

In mining, manufacturing and industrial process industries, maintenance procedures are used as an aid to guide technicians through complex manual tasks. These procedures are not machine-readable, and cannot support reasoning in digitally integrated manufacturing systems. Procedure documents contain unstructured text and are stored in a variety of formats. The aim of this work is to query information held in real industrial maintenance procedures. To achieve this, we develop an ontology for maintenance procedures using the OWL 2 description language. (...) We leverage classes and object properties from the ISO 15926 Part 14 Upper Ontology and create a domain ontology. The key contribution of this paper is a demonstration of trade-offs required when modelling an existing engineering artifact, where an abstraction of its contents is given a-priori. We provide an ontologically rigorous abstraction of notions captured in procedure documentation to a set of classes, relations and axioms that allow reasoning over the contents. Validation of the ontology is performed via a series of competency questions based on queries relevant to technicians, engineers and schedulers in industry. The ontology is applied to real world maintenance procedures from two industrial organisations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Extractivist OntologiesLithium Mining and Anthropocene Imaginaries in Chile's Atacama DesertMauricio F. Collao Quevedo (bio)The term energy transition generally refers to efforts to switch from one energy system to another. In light of the current climate crisis, energy transition projects have sought to move societies away from their reliance on fossil fuels and toward a renewables-based energy system. Yet such projects have not been easy to undertake. As Marie Forget (...) and Vincent Bos point out, an energy system based on renewables requires a transformation of energy "regulatory frameworks, technical and organizational structures, geographic forms and network practices" (1). More specifically, current energy transition models rely on the expansion of lithium production, accompanying systems of private property rights, and complex logistical and technical strategies. This article examines the interplay between lithium extraction, national development, and Anthropocene imaginaries in Chile's Atacama Desert, arguing that the green brand of extractivism that characterizes the industry relies on elaborate institutional arrangements aimed at expanding and protecting extractivist ontological and epistemological regimes in the politically contested region. As such, struggles over lithium in Chile's Atacama region demonstrate the extent to which efforts to decolonize the Anthropocene and make possible non-extractive futures of collective survival must unfold on ontological grounds, against the consolidation of the Age of Man.Mining, Water Rights, and Indigenous Communities in the Atacama DesertAmong today's most promising energy sources and materials are sodium, copper, sulfur, nickel, cobalt, rare earth metals, and lithium. These [End Page 78] have become central to energy transition strategies and states seeking to attract investors for development (Lunde Seefeldt). As a report by the World Bank points out, demand for transition minerals like lithium, cobalt, and graphite could increase by 500% by 2050 ("Climate-Smart Mining"), highlighting the extent to which global energy transition efforts are counting on greater extraction of transition minerals and the expansion of extractive frontiers to previously unexplored or unexploited regions (Moore, Capitalism; World Bank Group). Lithium is at the center of this economic and technological shift toward green economies.Global lithium demand is growing rapidly, with investment and production rates growing significantly in recent years (Narins) and catching the attention of states (e.g., China) and corporate tech giants (e.g., Tesla) that are already trying to secure greater shares of the global market. The light metal's popularity is largely due to its internal chemistry, which meets many of the technical and practical requirements associated with green energy transition. Lithium is light, conducive, and energy-dense, which in the context of batteries means faster recharge, lower costs, and charge-holding abilities that make lithium-ion batteries more efficient than a nickel-metal hybrid equivalent (Perotti and Coviello). Because of this, lithium is increasingly being considered as promising for human development and survival as its energy predecessors, inspiring labels such as "white gold," "white petroleum," "the new copper," "the 21st century's petroleum," or the "new gasoline" of sustainability (Acuña and Tironi; Lunde Seefeldt; Voskoboynik and Andreucci).But the industry is not without its downsides. The negative impacts of lithium extraction in Chile's Atacama Desert have been challenged by local communities for whom the metal does not exist as a discrete entity that can be easily extracted from its socioecological context. For many of these communities, lithium is more than a transition metal found in an appropriable and materially heterogenous underground brine: it is an ontologically contested, socioecological entity that sustains and participates in complex webs of life-supporting, place-based, and more-than-human relations. Such accounts of the brine are radically incompatible with "official" state accounts of it, which are maintained through an institutional architecture that allows the ontological basis of the brine to be manipulated for extractive purposes by both corporate and state actors.In the following pages, I examine the ways in which Chile's legal and institutional arrangements, informed by imaginaries of green modernization, [End Page 79] create conditions under which extralocal actors can manipulate along extractivist lines the ontological ambiguity and material heterogeneity of lithium-containing brines in the salt flats of the Atacama Desert. Through an analysis of the ways in which lithium industries in the... (shrink)

Ontologies have been successfully used to assign semantics in the Semantic Web context, to support integration of data from different systems or different sources, and to enable reasoning. However, building ontologies is not a trivial task. Ontology reuse can help in this matter. The search and selection of ontologies to be reused should consider the alignment between their scope and the scope of the ontology being developed. In this paper, we discuss how goal modeling can be helpful in (...) this context and we present GO-FOR, a framework in which goals are the central elements to promote ontology reuse. GO-FOR comprises a conceptual architecture, a goal-oriented ontology development process and a supporting tool. In GO-FOR we introduce Goal-Oriented Ontology Patterns as a new type of pattern to be applied to develop ontologies in a goal-oriented approach. Results of the use of GO-FOR to build an ontology used to integrate patient examination data are also shown in this paper. (shrink)

This article introduces the methodology of the ‘Ontology Explorer’, a semantic method and JavaScript-based open-source tool to analyse data models underpinning information systems. The Ontology Explorer has been devised and developed by the authors, who recognized a need to compare data models collected in different formats and used by diverse systems. The Ontology Explorer is distinctive firstly because it supports analyses of information systems that are not immediately comparable and, secondly, because it systematically and quantitatively supports discursive analysis (...) of ‘thin’ data models – also by detecting differences and absences through comparison. When applied to data models underpinning systems for population management, the Ontology Explorer enables the apprehension of how people are ‘inscribed’ in information systems: which assumptions are made about them, and which possibilities are excluded by design. The Ontology Explorer thus constitutes a methodology to capture authorities’ own imaginaries of populations and the ‘scripts’ through which they enact actual people. Furthermore, the method allows the comparison of scripts from diverse authorities. This is exemplified by illustrating its functioning with information systems for population management deployed at the European border. Our approach integrates a number of insights from early infrastructure studies and extends their methods and analytical depth to account for contemporary data infrastructures. By doing so, we hope to trigger a systematic discussion on how to extend those early methodical innovations at the semantic level to contemporary developments in digital methods. (shrink)

The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is (...) designed to comprehend the basic formal relationships that structure both reality and the ways humans perceive and communicate about reality. (shrink)

Rapid developments in Artificial Intelligence are leading to an increasing human reliance on machine decision making. Even in collaborative efforts with Decision Support Systems (DSSs), where a human expert is expected to make the final decisions, it can be hard to keep the expert actively involved throughout the decision process. DSSs suggest their own solutions and thus invite passive decision making. To keep humans actively ‘on’ the decision-making loop and counter overreliance on machines, we propose a ‘reflection machine’ (RM). (...) This system asks users questions about their decision strategy and thereby prompts them to evaluate their own decisions critically. We discuss what forms RMs can take and present a proof-of-concept implementation of a RM that can produce feedback on users’ decisions in the medical and law domains. We show that the prototype requires very little domain knowledge to create reasonably intelligent critiquing questions. With this prototype, we demonstrate the technical feasibility to develop RMs and hope to pave the way for future research into their effectiveness and value. (shrink)

Despite the fact that information systems ontologies [ISOs] support the mutual understanding between human beings and software applications, human beings and software applications do not understand ISOs' contents in the same way. The same applies to ontological integration. This paper attempts to account for such discrepancies by emphasizing that while human being can have access to entities represented in ISOs, software applications cannot.

Designed to be a high-level, approachable resource for engineers who need further insight into spatial temporal information systems from an ontological perspective, Spatial Temporal Information Systems: An Ontological Approach using STK® explains the dynamics of objects interaction from signal analysis to trajectory design, spatial modeling, and other spatial analytics by using STK®, which is a general-purpose modeling and analysis application for any type of space, defense, or intelligence system. Building a foundation to begin the study of spatial temporal (...) information systems, the book details a form of analysis that is a powerful tool for modeling, engineering, and operations of space, cyberspace, satellites, missile defense, and electronic systems. It discusses the many applications of space technologies by using a mission-proven software for timely and cost-effective development that serves public interests in civil, commercial, academic, national, and international space communities. Written for readers with a background in physics or engineering, the book is also designed for the beginning analyst sitting behind a desk who needs more information on STK. Upon reading this book, STK new users and power users will not only understand what the tools are, but also how the software can be used to make their job easier. In addition, satellite operators and analysts benefit from the ability to utilize a variety of propagators satellite applications. Analytics, semi-analytic and numerical integrators are discussed, including Keplerian orbital elements and full numerical integration of STK’s High Precision Orbit Propagation or simplified as a two-body analysis. This tool, as well as this book, will bring breadth and depth to the understanding of systems dynamics and the ontology of objects in relationship to other objects and vehicles including central bodies. (shrink)

A multilingual disaster information system (MLDI) has been developed to overcome the language barrier during times of natural disaster. MLDI is a web-based system that includes templates in nine languages so that translated texts can be made available immediately. Mobile phone e-mail with graphic text is a useful tool for delivering multilingual disaster information. The visibility of graphic text on mobile phones was measured and found to be equivalent to the built-in font. However, visibility deteriorates as the character (...) size becomes smaller, especially, on displays with poor resolution. This article also discusses the necessity of multilingual information and measures for a safe and barrier-free society. (shrink)

The growing diffusion of perspectivism within the debate on information system ontologies [ISOs] does not correspond to a thorough analysis of what perspectivism specifically consists of. This paper aims to fill this void. First, I show what supporting perspectivism in information system ontologies [PISO] means in terms of (minimal) claims and implications; then I argue that the definitions of ISO implicitly assume PISO’s (minimal) claims or, in other words, that ISOs presuppose and maintain PISO. Section 2 presents the (...) main definitions of ISO. Section 3 specifies what claims are common to all perspectivists in ISO. Sects. 4–7 analyze the implications of those claims. Section 8 explores the chance of multiple perspectivisms within ISOs’ domain. Finally, Sects. 9–10 assume that, if PISO’s (minimal) claims and (their) implications can be inferred from ISO’s definitions, then ISOs are perspectivist, or PISO’s minimal claims are assumptions underlying ISOs. (shrink)

In the future systems of ambient intelligence will include decision support systems that will automate the process of discrimination among people that seek entry into environments and to engage in search of the opportunities that are available there. This article argues that these systems must be subject to active and continuous assessment and regulation because of the ways in which they are likely to contribute to economic and social inequality. This regulatory constraint must involve limitations on the collection (...) and use of information about individuals and groups. The article explores a variety of rationales or justifications for establishing these limits. It emphasizes the unintended consequences that flow from the use of these systems as the most compelling rationale. (shrink)

Despite the public availability of legal documents, there is a need for finding specific information contained in them, such as paragraphs, clauses, items and so on. With such support, users could find more specific information than only finding whole legal documents. Some research efforts have been made in this area, but there is still a lot to be done to have legal information available more easily to be found. Thus, due to the large number of published (...) legal documents and the high degree of connectivity, simple access to the document is not enough. It is necessary to recover the related legal framework for a specific need. In other words, the retrieval of the set of legal documents and their parts related to a specific subject is necessary. Therefore, in this work, we present a proposal of a RDF-based graph to represent and search parts of legal documents, as the output of a set of terms that represents the pursued legal information. Such a proposal is well-grounded on an ontological view, which makes possible to describe the general structure of a legal system and the structure of legal documents, providing this way the grounds for the implementation of the proposed RDF graph in terms of the meaning of their parts and relationships. We posed several queries to retrieve parts of legal documents related to sets of words and the results were significant. (shrink)

Regarding the relation of Plato’s early and middle period dialogues, scholars have been divided to two opposing groups: unitarists and developmentalists. While developmentalists try to prove that there are some noticeable and even fundamental differences between Plato’s early and middle period dialogues, the unitarists assert that there is no essential difference in there. The main goal of this article is to suggest that some of Plato’s ontological as well as epistemological principles change, both radically and fundamentally, between the early and (...) middle period dialogues. Though this is a kind of strengthening the developmentalistic approach corresponding the relation of the early and middle period dialogues, based on the fact that what is to be proved here is a essential development in Plato’ ontology and his epistemology, by expanding the grounds of development to the ontological and epistemological principles, it hints to a more profound development. The fact that the bipolar and split knowledge and being of the early period dialogues give way to the tripartite and bound knowledge and benig of the middle period dialogues indicates the development of the notions of being and knowledge in Plato’s philosophy before the dialogues of the middle period. -/- Keywords Plato; early dialogues; middle dialogues; being; knowledge; development -/- Introduction The differences between two groups of the early and middle period dialogues have always been a matter of dispute. Whereas the developmentalists like Vlastos, Silverman (2002), Teloh (1981), Dancy (2004) and Rickless (2007) think that from the early to the middle dialogues Plato’s philosophy changes, at least in some essential points, the unitarists like Kahn, Cherniss and Shorey believe that there happens no development and the differences must be taken as natural, ignorable and even pedagogic. In his well-known article, Socrates contra Socrates in PLATO, Vlastos lists ten theses of difference between two groups of dialogues. The first group which includes Plato’s early dialogues he divides to 'elenctic' (Apology, Charmides, Crito, Euthyphro, Gorgias, Hippias Minor, Ion, Laches, Protagoras and Republic I) and 'transitional' (Euthydemus, Hippias Major, Lysis, Menexenus and Meno) dialogues. These transitional come after all the elenctic dialogues and before all the dialogues of the second group which compose Plato’s middle period dialogues, including (with Vlastos' chronological order) Cratylus, Phaedo, Symposium, Republic II-X, Phaedrus, Parmenides and Theaetetus (1991, 46-49). Vlastos asserts strictly that his list of differences are 'so diverse in content and method that they contrast as sharply with one another as with any third philosophy you care to mention, beginning with Aristotole’s' (ibid, 46). Vlastos’ list of differences between two Socrateses is considered a view breaking sharply between the early and the middle dialogues. Besides all ten differences between the two Socrateses in Vlastos’ list that can be supportive for our doctrine here, we intend to focus on some ontological as well as epistemological distinctions that have not completely been discussed hitherto. Contrary to the developmentalist theory of Vlastos, unitarian theory of Charles Kahn wishes to eliminate any substantial difference between the early and the middle dialogues. He distinguishes seven 'pre-middle' or 'threshold' dialogues including Laches, Charmides, Euthyphro, Protagoras, Meno, Lysis and Euthydemus from the other Socratic dialogues which he calls 'earliest group' (1996, 41). The threshold dialogues, Kahn thinks, 'embarke upon a sustained project' that is to reach to its climax in the middle period dialogues, namely Phaedo, Symposium and Republic. Believing in that there is no 'fundamental shift'between the early and middle dialogues (ibid, 40), Kahn thinks the Socratic dialogues are just the 'first stage' with a 'deliberate silence' towards the theories of later periods (ibid, 339). One of the reasons of the surprising fact that Plato gives no hint of the metaphysics and epistemology of the Forms in the early dialogues, he thinks, is the pedagogical advantages of aporia. He thinks that Plato 'obscurely', and mostly because of education, hinted to some doctrines and conceptions in his early dialogues and with the aim of clarifying them only in the later ones (ibid, 66). The seven threshold dialogues, Kahn asserts, 'had been designed from the first' to prepare the pupils and readers for the views expounded in the middle period dialogues (ibid, 59-60). To show that the differences of the two Socrateses of the early and middle period dialogue are in their onto-epistemological grounds and thence cannot be explained by a unitaristic view, we try to draw the ontological and epistemological principles of the early dialogues in the first part below in order to show, in the second part, that those principles have been developed in the middle period dialogues. -/- A. The Onto-Epistemologic Principles of the Early Dialogues Socratic dialogues are paradoxical about knowledge because while being knowledge-oriented always searching for knowledge, they deny it and even never discuss it directly. Three elements of Socrates’ way of searching Knowledge throughout the early dialogues, i.e. Socratic 'what is X?' question, his disavowal of knowledge and his elenctic method combined together produce something like a circle which works, more or less, in the same way in these dialogues. Though this circle is an embaressing inquiry always resulting in ignorance instead of knowledge, its motivation is surprisingly Socrates’ passionate enthusiasm for knowledge, an intensive love of wisdom. The starting point of this circle is Socrates’ confession of having no knowledge which might be explicitly asserted or presupposed, maybe because it was one of the famous characteristics of Socrates; a confession always paradoxically accompanied with his intense longing for knowledge (e.g., Gorgias 505e4-5). Every time Socrates encounters with someone who thinks he knows something (οἴεταί τι εἰδέναι) (Apology 21d5) and tries to examine him. This examination seems to be the simplest one asking just what it is that he knows. Socrates’ elenchus, therefore, is always connected with 'what is X?' (τίς ποτέ ἐστιν) question, a question that most of the early dialogues of Plato are concerned with; 'what is courage?' in the Laches, 'what is piety?' in Euthydemus, 'what is temperance?' in Charmides and 'what is beauty?' in Hippias Major. This question we call here 'Socratic question' and probably is the very question the historical Socrates used to employ, is tightly interrelated with both his disavowal and his elenchus. He disclaims knowledge because he cannot find the answer to the question himself and he rejects others’ since they cannot offer the correct answer too. Every interlocutor can claim he knows X, if and only if he can answer the Socratic question. Otherwise, he is more of an ignorant than of a knower of τί ποτέ ἐστι X. Knowing the answer to this question is, thus, knowledge’s criterion for Socrates. Having found out that he cannot answer what it is which he would claim to know, the interlocutor comes to the point Socrates was there at the beginning. The least advantage of this circle is that he becomes as wise as Socrates does about the subject, becoming aware that he does not know it. At the end of the circle they are both still at the beginning, not knowing what X is. So let us first take a glance at these three elements. Socratic disavowal of knowledge is strictly asserted in some passages. At Apology 21b4-5, Socrates says: -/- I do not know of myself being wise at all (οὔτε μέγα οὔτε σμικρὸν σύνοιδα ἐμαυτῷ σοφὸς ὤν) -/- Moreover, at 21d4-6: -/- None of us knows anything worthwhile (καλὸν κἀγαθὸν εἰδέναι) …. I do not know (οἶδα) neither do I think I know. -/- In Charmides Socrates speaks about a fear about his probable mistake of thinking that he knows (εἰδέναι) something when he does not (166d1-2). The somehow generalization of this disavowal can be seen in Gorgias. After calling his disavowal 'an account that is always the same' (509a4-5), Socrates continues (a5-7): -/- I say that I do not know (οἶδα) how these things are, but no one I have ever met, like now, who can say anything else without being absurd. -/- At the end of Hippias Major (304d7-8), Socrates affirms his disavowal of knowledge of 'what is X?' this time about the fine: -/- I do not know (οἶδα) what that is itself (αὐτὸ τοῦτο ὅτι ποτέ ἐστιν). Some other passages, however, made a number of scholars dubious about Socrates’ disavowal. Vlastos mentions Apology 29b6-7 as an evidence : 'that to do wrong and to disobey one’s master, both god and men, I know (οἶδα) to be evil and shameful'. He thinks that if we give this single text 'its full weight' it can suffice to show that Socrates does claim knowledge of a moral truth (1985, 7). Vlastos’ claim is not admittable since it would be too strange, I think, for a man like Socrates to violate his disavowal claim just after emphasizing it. We can see his claim just before the already mentioned passage: -/- And surely it is the most blameworthy ignorance to believe that one knows what one does not know. It is perhaps on this point and in this respect, gentlemen, that I differ from the majority of men and if I were to claim that I am wiser than anyone in anything it world be in this, that, as I have no adequate knowledge (οὐκ εἰδὼς ἱκανῶς) of things in the underworld, so I do not think I have (οὐκ εἰδέναι) (Apology 29b1-6) Vlastos tries to solve what he calls the 'paradox' of Socrates’ disavowal of knowledge distinguishing the 'certain' knowledge from 'elenctic' knowledge (1985, 11) and thinking that when Socrates avows knowledge, we must perceive it as an elenctic knowledge, a knowledge its content 'must be propositions he thinks elenctically justifiable' (ibid, 18). Irwin’s solution is the distinction of knowledge and belief. He approves that Socrates does not 'explicitly' make such a distinction, but still thinks that Socrates’ 'test for knowledge would make it reasonable for him to recognize true belief without knowledge, and his own claims are easily understood if they are claims to true belief alone' (1977, 40). While I agree with Vlastos up to a point, I strongly disagree with Irwin about the early dialogues. As I will try to show below, we are not permitted to consider any kind of distinction within knowledge in Socratic dialogues because only one category of knowledge is alluded to there and the distinction of knowledge and belief thoroughly belongs to the second Sorcates. Although no kind of distinction can be admittable here, I think Vlastos’ distinction can be accepted only if we regard it as a distinction between knowledge, which is unique and without any, even incomparable, rival, and a semi-idiomatic and ordinary one that is a necessary requirement for any argument, and thus, unavoidable even for someone who does not claim any kind of knowledge. An apparent evidence of this is Gorgias 505e6-506a4: -/- I go through the discussion as I think it is (ὡς ἄν μοι δοκῇ ἔχειν), if any of you do not agree with admissions I am making to myself, you must object and refute me. For I do not say what I say as I know (οὐδὲ γάρ τοι ἔγωγε εἰδὼς λέγω ἃ λέγω) but as searching jointly with you (ζητῶ κοινῇ μεθ᾽ ὑμῶν). -/- The minimal degree of knowledge everyone must have to take part in an argument, conduct it and use the phrase "I know" when it is necessary is what Socrates cannot deny. We can call it elenctic knowledge only if we agree that it is not the kind of knowledge that Socrates has always been searching, the one that can be accepted as the answer of Socratic 'what is X?' question. His disavowal of knowledge is applied only to the knowledge which can truly be the answer of Socratic question and pass the elenctic exam; a knowledge that, I believe, is never claimed by first Socrates. Socrates conducts his method of examining his interlocutors’ knowledge, our second element here, by almost the same method repeated in Socratic dialogues. That whether we are allowed to regard all the examinations of Socrates in the early dialogues as based on the same or not has been a matter of dispute. Vlastos himself (1994, 31) distinguished Euthydemas, Lysis, Menexenns and Hippias Major from the other Socratic dialogues because he thinks Socrates has lost his faith to elenchus in there. Irwin (1977, 38) distinguishes Apology and Crito where Socrates’ own convictions is present. Contrary to some scholars like Benson (2002, 107) who take elenchus in all the Socratic dialogues as a unique method, Michelle Carpenter and Ronald M. Polansky (2002, 89-100) argue pro the variety of methods of elenchus. Thomas C. Brickhouse and Nicholas D. Smith (2002, 145-160) even reject such a thing as Socratic elenchus which can gather all of the Socrates’ various arguments under such a heading. There can be no solution for the problem of elenchus, they think, is due to 'the simple reason that there is no such thing as 'the Socratic elenchos"'(p.147). Though we consider elenchus a somehow determined process and a part of Socratic circle in the early dialogues, all we assume is that whatever differences it might have in different dialogues, it has the same onto-epistemological principles and, thus, we are not going to take it necessarily as a unique method. This method sets out to prove that the interlocutors are as ignorant as Socrates himself is. That whether elenchus is constructive, capable of establishing doctrines as Vlastos (1994) or Brickhouse and Smith (1994, 20-21) believe or not is another issue to which this paper is not to claim anything. What is crucial for our discussion here is that elenchus does not reach to the very knowledge Socrates is looking for. This is strictly against Irwin who thinks that not only elenchus leads to positive results, 'it should even yield knowledge to match Socrates’ conditions'(1977, 68, cf. 48). He does not explain where and how they really yield to that kind of knowledge. He explains his elenctic method in his apology in the court (Apology 21-22), that how he used to examine wise men, politicians, poets and all those who had the highest reputation for their knowledge and every time found that they have no knowledge. If we accept, as I strongly do, that Socrates’ disavowal of his knowledge is not irony, it might seem more reasonable to agree that the process that has that disavowal as its first step cannot be irony as well. The key of the circle which can explain why Socrates disclaims knowledge and how he can reject others’ claim of having any kind of knowledge lies in the third element, Socratic question. In Hippias Major (287c1-2), Socrates asks: 'Is it not by Justice that just people are Just? (ἆρ᾽ οὐ δικαιοσύνῃ δίκαιοί εἰσιν οἱ δίκαιοι). He insists at 294b1 that they were searching for that by which (ᾧ) all beautiful things are beautiful (cf. b4-5, 8). At Euthyphro 6d10-11 it is said that the Socratic question is waiting for 'the form itself (αὐτὸ τὸ εἶδος) by which (ᾧ) all the pious actions are pious; and at 6d11-e1: -/- Through one form (που μιᾷ ἰδέᾳ) impious actions are impious and pious actions pious. -/- Since the X itself is that by which X is X, knowing 'X itself' is the only way of knowing X. It is probably because of this that Socrates makes the distinction between the ousia as a right answer to the question and effect as a wrong one: -/- I am afraid, Euthyphro, that when you were asked what piety is (τὸ ὅσιον ὅτι ποτ᾽ ἐστίν) you did not wish to make clear its nature itself (οὐσίαν … αὐτοῦ) to me, but you said some effect (πάθος) about it. (Euthp. 11a6-9) -/- 1. Knowledge of what X is Now it is time to look for the onto-epistemological principles of Socratic circle and its three elements. It cannot reasonably be expected from the first Socrates to present us explicitly and clearly formulated principles of his onto-epistemology when such explications cannot be found even in the second Socrates who has some obviously positive theoris. Since there must be some principles underlying this first systematic inqury of knowledge, we must seek to them and be satisfied with elicitation of the first Socratas’ principle. What will be drawn out as his principles cannot and must not, thus, be taken as very fix and dogmatic principles. Some very slightest principles and grounds suffice for our purposes here. The first principle that is the prima facie significance of the Socratic question and his implementation of all those elenctic arguments I call the principle of 'Knowledge of What X is' (KWX): -/- KWX To know X, it is required to know what X is. -/- Aristotle (Metaphysics 1078b23-25, 27-29, 987b4-8) takes Plato’s τί ἐστι question as seeking the definition of a thing that is the same as historical Socrates’ search but applying to a different field. That Plato’s 'what is X?' question was a search for definition became the prevailed understanding of this question up to now. I am going neither to discuss the answer of Socratic question nor to challenge taking it as definition. What I am to insist is that knowledge is attached firmly to the answer of the question: Knowledge of X is not anything but the knowledge of what X is. It entails, certainly, the priority of this knowledge to any other kind of knowledge about X but it also has something more fundamental about the relation of knowledge and Socratic question. Socrates’ exclusive focus on the answer of his question can authorize the consideration of such an essential role for KWX in his epistemolgoy. The total rejection of his interlocutors’ knowledge when they are unable to answer the question can be regarded as a strong evidence for it. Socrates’ elenctic method and his rejection of others’ knowledge in the early dialogues, which all end aporetically with no one accepted as knower and nothing as knowledge, prevent us from finding any positive evidence for this. We have to be content, therefore, of negative evidences which, I think, can be found wherever Socrates rejects his interlocutors’ knowledge when they are not able to give an acceptable answer to his 'what is X?' question. 2. Bipolar Epistemology Socrates’ rejection of his interlocutors’ knowledge has another epistemological principle as its basis. Let me call this principle Bipolar Epistemology' (BE): BE There is no third way besides knowledge and Ignorance. -/- BE says that about every object of knowledge there are only two subjective statuses: knowledge and Ignorance. Socrates’ disavowal, however, says nothing but that he is ignorant of knowledge of X because he does not know what X is. This means that BE is presupposed here. Socrates’ elenchus and his rejection of interlocutors’ having any kind of knowledge are the necessary results of the fact that he does not let any third way besides knowledge and ignorance. The first Socrates never let anyone partly know X or have a true opinion about it, as he would not let anyone know anything about X when he did not know what X is. -/- 3. Bipolar Ontology The principle of BE in first Socrates’ epistemology is parallel to another principle in his ontology. Plato’s bipolar distinction between being and not being is as strict and perfect as his distinction between knowledge and ignorance. This principle I shall call the principle of 'Bipolar Ontology' (BO): BO Being is and not being is not. BO is apparently the same with the well-known Parmenidean Principle of being and not being (cf. Diels-Kranz (DK) Fr. 2.2-5). Euthydemus’ statement against the possibility of false knowledge can be good evidence for this principle: -/- The things which are not surely do not exist (τὰ δὲ μὴ ὄντα … ἄλλο τι ἢ οὐκ ἔστιν). (Euthydemus 284b3-4) -/- He continues (b4-5): -/- There is nowhere for not being to be there (οὖν οὐδαμοῦ τά γε μὴ ὄντα ὄντα ἐστίν). -/- That BE does not let true opinion as a third option besides knowledge and ignorance seems to be related to BO’s rejecting a third option besides being and not being, which is itself the basis of the impossibility of false belief. Socrates’ elaborate discussion of the problem of false belief in Theatetus that leads to a more decisive discussion and finally to some solutions in Sophist can make our consideration of BO for the first group of dialogues authentive. -/- 4. &5. Split Knowledge and Split Being The fourth principle I shall call the principle of 'Split Knowledge' (SK): -/- SK Knowledge of X is separated from any other knowledge (of anything else) as if the whole knowledge is split to various parts. -/- This Principle is hinted and criticized as Socrates’ way of treating with knowledge in Hippias Major: -/- But Socrates, you do not contemplate the entireties of things, nor do people you have used to talk with (τὰ μὲν ὅλα τῶν πραγμάτων οὐ σκοπεῖς, οὐδ᾽ ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). (301b2-4) -/- Contrary to Rankin who regards the passage as 'antilogical, almost eristic in tone rather than presenting a serious philosophy of being' (1983, 54), I think it can be taken as serious. Hippias criticizes Sorcates that he does not contemplate (σκοπεῖς) the entireties of things (ὅλα τῶν πραγμάτων), a critique which Socrates is not its only subject but all those whom Socrates accustomed to talk with (ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι). This last phrase, I think, extends this critic beyond this dialogue to other Socratic dialogues. Hippias’ use of the perfect tense of the verb ἔθω (to be accustomed) is a good evidence of this extension. We can get, thus, these ἐκεῖνοι as Socrates’ interlocutors in his other dialogues that hints that this criticism has the epistemological groundings of the previous dialogues as its subject. What ἐκεῖνοι οἷς σὺ εἴωθας διαλέγεσθαι points to is that Hippias does not have in mind Socrates’ way of treating things only in this dialogue, but he is also criticizing Socrates’ way throughout his dialogues. At 301b4-5, Socrates and his interlocutors’ way of beholding things is described as such: -/- You people knock (κρούετε) at the fine and each of the beings (ἕκαστον τῶν ὄντων) by taking each being cut up in pieces (κατατέμνοντες) in words (ἐν τοῖς λόγοις). This leads us to our next principle that is parallel to, and the ontological side of, SK, the principle of 'Split Being'(SB): -/- SB Everything (being) is separated from any other thing as if the whole being is split to many beings. -/- Socrates and his interlocutors and thus, as we saw, the Socratic dialogues are accused to regard everything as it is separated from all other things. This separation is en tois logois that, I think, can reasonably be taken as saying that Socratic dialogues (it refers of course to the dialogues before Hippias Major) cut up all things which have the same name/definition from all other things and try to understand them separately, without considering other things that are not in their logos. They, for example in Hippias Major, are cutting up to kalon and try to understand what it and all others inside this logos are by separating it from all other things. This is directed straightly against Socratic question and the way Socratic dialogues follow to find its answer, every time separating one logos. As Meyer (1995, 85) points out, every question 'presupposes that the X in question in a logos is something' and 'every answer to every question aims at unity' (84). The critique of Hippias Major is, therefore, at the same time a critique of SK and SB. It is also a critique of KWX because it is only based on KWX that Socratic dialogues could search for the answer of 'what is X' question supposing that knowing what X is is enough for the knowledge of X. SK and KWX are absolutely interdependent. What Socrates and all his previous interlocutors have neglected in Socratic dialogues, Hippias says, was 'continuous bodies of being' (διανεκῆ σώματα τῆς οὐσίας) (301b6). Either this theory actually belongs to the historical Hippias as it is being said or not, it is strictly criticizing SB. We have the same phrase with changing sūma to logos some lines later at 301e3-4: διανεκεῖ λόγῳ τῆς οὐσίας. Although this theory that can be observed as both an ontological and an epistemological theory is rejected by Socrates (301cff.), it is still against first Socrates’ onto-epistemological principles and might let us look at what is rejected as Socratic prineple. -/- 6. Knowledge is of Being The sixth principle that I think is presupposed by the first Socrates, is the 'Knowledge of Being' Principle (KB): -/- KB Knowledge is of Being. -/- This principle is obviously the source of the problem of false knowledge, a very important problem throughout Plato’s philosophy. We face this problem maybe for the first time in Euthydemus. In less than 20 Stephanus’ pages, 276-295, we are encountered with different interwoven problems about knowledge , all grounded in the problem of false opinion. Having challenged the obvious possibility of telling lies at 283e, at 284 Euthydemus discusses it saying that the man who speaks is speaking about 'one of those things that are (ἓν μὴν κἀκεῖνό γ᾽ ἐστὶν τῶν ὄντων)' (284a3) and thus speaks what is (λέγων τὸ ὄν) (a5). He must necessarily be saying truth when he is speaking what is because he who speaks what is (τὸ ὄν) and the things that are (τὰ ὄντα) speaks truth (τἀληθῆ λέγει) (a5-6). This is based on Parmenidean principle of the impossibility of being of not being which Euthydemus restates (284b3-4) and we mentioned discussing BO principle above. The things that are not are nowhere (οὐδαμοῦ) and there is no possibility for anyone to do (πράξειεν) anything with them because they must be made as being before anything else can be done, which is impossible (b5-7). The words, then, are of things that exist (εἰσὶν ἑκάστῳ τῶν ὄντων λόγοι) (285e9) and as they are (ὡς ἔστιν) (e10). The result is that no one can speak of things as they are not. It is this impossibility of false speach that is extended to thinking (δοξάζειν) at 286d1 and leads to the impossibility of false opinion (ψευδής … δόξα) (286d4). The general conclusion is asserted at 287a extending this impossibility to actions and making any kind of mistake. Not only knowledge is of being but speech, thought and action are of being simply because of the fact that nothing can be of not being. -/- B. First Socrates’ Principles in the Middle Period Dialogues Out of what were presupposed or criticized mostly in five dialogues, Euthyphro, Euthydemus, Hippias Major, Laches and Charmides, we tried to draw the first Socrates’ principles. Our inquiry here is directed to find out the fate of these principles in the three dialogues of the middle period, Meno, Phaedo and Republic. To do this, first we ought to check the situation of Socratic circle in these dialogues. The Socratic circle that was predominant in the early dialogues, does not look like a circle here anymore though they certainly have some features in common. Meno, Phaedo and Republic II-X are not committed to the principles of the circle and the whole circle in disrupted in them. The difference of the two Socrateses towards acquiring knowledge is obvious. The Socrates of Meno, Phaedo and Republic is evidently more self-confident that he can get to some truths during his arguments as he does. They are in their first appearance, as almost all other dialogues, committed to Socrates’ disavowal. All of them try to keep the shape of the Socratikoi Logoi genre, which is committed to the historical Socrates’ way of discussion; a dramatic personage who is to challenge his interlocutors, ask them and refuse the answers. Nevertheless, the fact is that what we have in common between two groups of dialogues is mostly a dramatic structure. Whereas the first group’s arguments are based on Socrates’ disavowal and lead to no positive results, the second group is decisively going to achieve some positive results. The aim of the first Socrates was to show others that they are ignorant of what they thought they knew. The new Socrates of Meno, on the opposite, makes so much efforts to show that the slave boy has within himself true opinions (ἀληθεῖς δόξαι) about the things that he does not know (οἶδε) (85c6-7). Despite his lack of knowledge, he has true opinions nevertheless. The way from these true opinions to knowledge, as Socrates states, is not so long. These true opinions are now like a dream but 'can become knowledge of the same things not less accurate than anyone’s' (οὐδενὸς ἧττον ἀκριβῶς ἐπιστήσεται περὶ τούτων) (c11-d1), if they be repeated by asking the same questions. The most outstanding text regarding Socrates’ disavowal is Meno 98b where he explicitly claims knowledge: -/- And indeed I also speak as (ὡς) one who does not know (εἰδὼς) but is guessing (εἰκάζων). However, [about the fact] that true opinion and knowledge are different, I do not altogether expect (δοκῶ) myself to be guessing (εἰκάζειν), but if I say about anything that I know (εἰδέναι) -which about few things I say- this is one of the things that I know (οἶδα). (98b1-5) This passage is very significant about Plato’s disavowal of knowledge. There can hardly be found, I think, anywhere else in Plato’s corpus where Socrates speaks about his knowledge of something as such. He says first that he speaks as someone who does not know. This ὡς οὐκ εἰδὼς λέγω comparing with what he used to say in the first group, οὐκ οἶδα, has this added ὡς. Socrates does not claim strongly anymore that he does not know anything but speaks only as someone who does not know. He needs this ὡς not only because he is going to accept that he does know some, though few, things immediately after this sentence, but also because he needs his previous disavowal to be loosened from Meno on. He does not merely say here that he knows something. It is then different from the examples mentioned before which could be taken as idiomatic or at least not emphatic. Socrates’ remarkable emphasis on distinguishing εἰδέναι from εἰκάζειν departs it from all other passages where he says only he knows something. Moreover, he claims definitely that he has knowledge about few (ὀλίγα) things. From the early to the middle dialogues, Socrates’ attitude to knowledge has totally renewed its face. He brings forth a new concept, true opinion, and he does not speak of knowledge as he used to before; the rough, perfect and unachievable knowledge of the first group has turned to something more smooth, realistic and achievable. Comparing with the early dialogues that did not set out from the first to reach positive results, the middle ones are extraordinarily and surprisingly positive and hence destroy the basis of the Socratic circle. The questions and answers are purposely directed to some specific new theories; most of them are not directly related to the topics or the main questions of the dialogues. They are suggested when Socrates draws the attention of the interlocutor away from the main question because of the necessity of another discussion. Even if the main question remains unanswered, we have still many positive theories, prominently of metaphysical type. These theories are so abundant and dominant in these dialogues, especially Phaedo and Republic, that one might think that they may appear to be arbitrarily sandwiched in there. This helps dialogues to keep their original Socratic structure while they are suggesting new theories. Hence, the Socratic question of 'what is X?', though is still used to launch the discussion, is loosened and is forgotten for most part of the dialogues. Meno that has first a differently formulated question, 'can virtue be taught?', leads finally to the Socratic question of 'What is virtue?'. Phaedo is dedicated to the demonstration of the immortality of soul and the life after death without having a central Socratic question. The case of Republic is more complicated. The first book, on the one hand, has all the criteria of a Socratic circle: its 'what is justice?' question, Socrates’ strong disavowal (e.g. 337d-e), his rejection of all answers and coming back to the first point without finding out any answer. This Book, considered alone, is a perfect Socratic dialogue, as many scholars regard it as early and separated from other books. The books II-X are, on the other hand, far from implementing a Socratic circle. They have still the 'what is justice?' question as their incentive leading question, but they are, in most of the positive doctrines and methods that encompass the main parts, ignoring the question. Even these books that, I believe, are the farthest discussions from the Socratic circle are so cautious not to break the Socratic structure of the dialogue as long as it is possible. What is changed is not the structure of the dialogue but the ontological and epistemological grounds based on which new theories are suggested. -/- 1. Knowledge of the Good We can clearly see in the second group of dialogues that the KWX principle loses the place it had before in our first group. It is not, of course, rejected, but still we cannot say that it has the same situation. KWX that was based on Socratic question, as we discussed before, was the leading principle of the first Socrates’ epistemology and of the highest position. Other epistemological principles, SK directly and BE indirectly, were relying on Socratic question and therefore on KWX. Such a position does not belong to KWX from Meno on. What makes it different in the second Socrates is another principle that is needed it not only as its complementary principle but also as what is more fundamental. Plato, then, does not reject KWX in this period, but, it seems, he transcends to another more basic principle; a principle we shall call the principle of 'Knowledge of the Good' (KG): -/- KG Knowledge of X requires knowledge of the Good. -/- Whereas all the dialogues of our first group are free from any discuscon about KG, it bears a very important role in the second group so as becomes the superior principle of knowledge in Republic. Trying to solve the problem of teachability of virtue, Socrates says that it can be teachable only if it is a kind of knowledge because nothing can be taught to human beings but knowledge (ἐπιστήμην) (Meno 87c2). The dilemma will be, then, whether virtue is knowledge or not (c11-12) and since virtue is good, we can change the question to: whether is there anything good separate from knowledge (εἰ μέν τί ἐστιν ἀγαθὸν καὶ ἄλλο χωριζόμενον ἐπιστήμης) (d4-5). Therefore, the conclusion will be that if there is nothing good which knowledge does not encompass, virtue can be nothing but knowledge (d6-8). What let us discuss KG as an epistemological principle for the second Secrates is the relation he tries to establish between knowledge and the Good which, though is alongside with the mentioned thesis and the idea of virtue as knowledge, goes much deeper inside epistemology asking to regard the Good as the basis of knowledge. The effort of Phaedo cannot succeed in establishing the Good as the criterion of explanation and knowledge since, I think, it needs a far more complicated ontology of Republic where Socrates can finally announce KG. What is said in Republic is totally compatible with Phaedo 99d–e and the metaphor of watching an eclipse of the sun. In spite of the fact that we do not have adequate knowledge of the Idea of the Good, it is necessary for every kind of knowledge: 'If we do not know it, even if we know all other things, it is of no benefit to us without it' (505a6-7). The problem of our not having sufficient knowledge of the Idea of Good is tried to be solved by the same method of Phaedo 99d-e, that is to say, by looking at what is like instead of looking at thing itself (506d8-e4). It is this solution that leads to the comparison of the Good with sun in the allegory of Sun (508b12-13). What the Good is in the intelligible realm corresponds to what the sun is in the visible realm; as sun is not sight, but is its cause and is seen by it (b9-10), the Good is so regarding knowledge. It has, then, the same role for knowledge that the sun has for sight. Socrates draws our attention to the function of sun in our seeing. The eyes can see everything only in the light of the day being unable to see the same things in the gloom of night (508c4-6). Without the sun, our eyes are dimmed and blind as if they do not have clear vision any longer (c6-7). That the Good must have the same role about knowledge based on the analogy means that it must be considered as a required condition of any kind of knowledge: -/- The soul, then, thinks (νόει) in the same way: whenever it focuses on what is shined upon by truth and being, understands (ἐνόησέν), knows (ἔγνω) and apparently possesses understanding (νοῦν ἔχειν). (508d4-6) -/- Socrates does not use agathon in this paragraph and substitutes it with both aletheia and to on. He links them with the Idea of the Good when he is to assert the conclusion of the analogy: -/- That which gives truth to the objects of knowledge and the power of knowing to the knower, you must say, is the Idea of the Good: being the cause of knowledge and truth (αἰτίαν δ᾽ ἐπιστήμης οὖσαν καὶ ἀληθείας) so far as it is known (ὡς γιγνωσκομένης μὲν διανοοῦ). (508e1-4) Knowledge and truth are called goodlike (ἀγαθοειδῆ) since they are not the same as the Good but more honoured (508e6-509a5). KG, which had been implicitly contemplated and searched in Phaedo, is now explicitly being asserted in Republic. As what was quoted clearly proves, this principle is the very one which we can observe as the most fundamental principle of the second Socrates in Republic, corresponding to the role KWX had in the first Socrates. The Form of the Good in Republic, of which Santas speaks as 'the centerpiece of the canonical Platonism of the middle dialogues, the centerpiece of Plato’s metaphysics, epistemology, ethics and …' (1983, 256) much more can be said. Plato’s Cave allegory in Book VIII dedicates a similar role to the Idea of the Good. The Idea of the Good is there as the last thing to be seen in the knowable realm, something so important that its seeing equals to understanding the fact that it is the cause of all that is correct and beautiful (517b). Producing both light and its source in visible realm, it controls and provides truth and understanding in the intelligible realm (517c). -/- 2. Tripartite Epistemology BE is thoroughy rejected in the second Socrates and substituted by its opposite, the principle of 'Tripartite Epistemolgy' (TE): -/- TE Opinion is an epistemological status between knowledge and ignorance. BE of the first Socrates was denying any third way besides knowledge and ignorance which was the foundation of Socratic circle without which Socrates could not reject his interlocutors’ possessing any kind of knowledge. We cannot say, however, that the first Socrates had a third epistemological status in mind but rejected it. Such a status was unacceptable for him so that one can say that he would reject any kind of such status if suggested. There were only two possibilities about knowledge: either one knows something or he does not know it. TE, thus, was not the first Socrates’ discovery and, I think it is not the second Socrates’discovery. All we can see in our second group of dialouges is that he uses this principle as an already demonstrated one. Having examined the slave boy in Meno for the prupose of showing the working of recollection, it truns out that he has some opinions in him while he still does not know. Without trying to prove it, Socrates takes this as the distinction between knowledge and opinion: -/- So, he who does not know (οὐκ εἰδότι) about what he does not know (περὶ ὧν ἂν μὴ εἰδῇ) has within himself true opinions (ἀληθεῖς δόξαι) about the same things he did not know (περὶ τούτων ὧν οὐκ οἶδε) (85c6-7). -/- The same distinction is set between ὀρθὴν δόξαν and ἐπιστήμην at 97b5-6 ff. (also cf. 97b1-2: ὀρθῶς μὲν δοξάζων … ἐπιστάμενος). He connects then their difference to the myth of Daedalus, the statue that would run away and escape. So are true opinions, not willing to remain long in mind and thus not worthy until one ties them down by αἰτίας λογισμῷ (98a3-4). Socrates says that this tying down is anamnesis. We face, in Phaedo, the same relation is settled between knowledge as the process of being tied down and getting the capability to give an account, on the one hand, and anamnesis, on the other hand. When a man knows, he must be able to give an account of what he knows (Phaedo 76b5-6) and since not all people are able to give such an account, those who recollect, recollect what once they learned (76c4). Although the distinction between knowledge and opinion is not explicitly used in Phaedo, referring to the parallel link between knowledge plus account and anamnesis in Phaedo and Meno, one can say that those who cannot recollect are not able to give account and, thus, are in a state of opinion. What is said at Phaedo 84a, though not yet a definite distinction between knowledge and opinion, makes a distinction between their objects so as we can agree that it is presupposed. The soul of the philosopher, Socrates says, follows reason, stays with it forever and contemplates the divine, which is not the object of opinoin (ἀδόξαστον) (84a8, cf. Meno 98b2-5). The distinction of knowledge and belief in Republic has a significant difference with what we discussed in Meno and Phaedo since the distinction of Meno was based on anamnesis and thus more an epistemological distinction. Even in Phaedo that we do not have any elaborate discussion about the distinction, the only hint to the matter at 76 is bound to the theory of anamnesis. In addition to the relation of the distinction with this theory, there is another evidence that does not permit us to consider the distinction as an ontological distinction. Let’s see Meno 85c6-7: -/- So, he who does not know about what he does not know has within himself true opinions about the same things he did not know (τῷ οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ ἔνεισιν ἀληθεῖς δόξαι περὶ τούτων ὧν οὐκ οἶδε). (85c6-7) -/- This last sentence persists that the objects of knowledge and true opinion are the same. What Socrates is to say here is that whereas he does not know X he has true opinion about the same X. I think Socrates’ sentence that the slave boy οὐκ εἰδότι ἄρα περὶ ὧν ἂν μὴ εἰδῇ and his restatement of it by saying περὶ τούτων ὧν οὐκ οἶδε is because he wants to emphasize that the slave boy who does not know, has true opinion about the same thing. Socrates could say this just with using τούτων and there would be no necessity to bring περὶ ὧν ἂν μὴ εἰδῇ for οὐκ εἰδότι if he did not want to emphasize. -/- 3. Tripartite Ontology The distinction between knowledge and true opinion in Republic, on other side, has nothing to do with recollection, but is based on an ontological principle, 'Tripartite Ontology' (TO): -/- TO There are things that both are and are not. -/- This principle I confine, among our three dialogues of the second group, to Republic not extended to Meno and Phaedo, is obviously the opposite of BO. Speaking about the lovers of sights and sounds in the fifth book, Socrates distinguishes them from philosophers because their thought is unable to understand the nature of beautiful itself besides beautiful things (476a6-8) and hence they can only have opinions. The philosopher who, on the contrary, believes in beautiful itself and can distinguish it from beautiful things (476c9-d3), has knowledge because he knows, contrasting others who have opinion because they only opine (d5-6). Since those whose knowledge were degraded as opinion will complain about Socrates’ such calling their thought, he provides them the following argument (476e7-477b1): -/- - Does the person who knows, knows (γιγνώσκει) something (τὶ) or nothing (οὐδέν)? - He knows something (τί). - Something that is (ὂν) or is not (οὐκ ὄν)? - Something that is (ὂν) for how could something that is not be known (πῶς γὰρ ἂν μὴ ὄν γέ τι γνωσθείη)? - Then we have an adequate grasp of this: No matter how many ways we examine it, what completely is (παντελῶς ὂν) is completely knowable (παντελῶς γνωστόν) and what is in no way (μὴ ὂν δὲ μηδαμῇ) is in every way unknowable (πάντῃ ἄγνωστον). - A most adequate one. - Good. Now, if anything is such as to be and also not to be (ὡς εἶναί τε καὶ μὴ εἶναι), won’t it be intermediate (μεταξὺ) between what purely is (εἰλικρινῶς ὄντος) and what in no way is (μηδαμῇ ὄντος)? - Yes, it’s intermediate. - Then as knowledge (γνῶσις) is set over what is (τῷ ὄντι), while ignorance (ἀγνωσία) is of necessity set over what is not (μὴ ὄντι) mustn’t we find an intermediate between ignorance (ἀγνοίας) and knowledge (ἐπιστήμης) to be set over the intermediate, if there is such a thing? -/- From the third status of being we must reach to the third status of knowledge. The simple reading of this text can be an existential reading, taking the "is" of the mentioned sentences as existence. The problem is that when it is said that there is something that both is and is not reading "is" existentially, it sounds too bizarre to be acceptable. It cannot easily be understandable to have something as both existent and non-existent at the same time. This problem arose so many debates and led many scholars to reject the existential reading of "is" and suggest some other readings like predicative or veridical readings. I think though Plato’s complicated ontology of Republic cannot be correctly understood by a simple existential reading, this "is" cannot be free from existential sense of being and, thus, cannot be reduced to just a predicative or veridical sense of being. -/- 4. Bound Knowledges In addition to KG, the Good is also the basis of another principle in the second Socrates, namely the principle of 'Bound Knowledge' (BK): -/- BK Knowledge of everything is bound to the knowledge of the Good. -/- We distinguished BK from KG because we want to insist, in BK, on what had not been insisted upon in KG, that is, the binding role that the Good plays in the second Socrates, contrasting the absence of such a role in the first Socrates. Socrates remembers, in Phaedo, his wonderful keen on natural philosophers' wisdom when he was young. The origin of this enthusiasm was Socrates’ hope to know the cause of everything as they used to claim. When he was searching the matters of his interest on their basis, Socrates says, he became convinced he can get no acceptable answer from them and found himself blind even to the things he thought he knew before. One day he hears Anaxagoras’ theory that 'it is Mind that arranges and is the cause of everything (ὡς ἄρα νοῦς ἐστιν ὁ διακοσμῶν τε καὶ πάντων αἴτιος)' (Phd. 97c1-2 cf. DK, Fr.15.8-9, 11-12, 12-14) and thinks that he can finally find what he has always expected, i.e. something which can explain all things. What I intend to show here is that what makes Socrates hopeful is that Anaxagoras’ theory tries 1) to explain all things by one thing and 2) this explanation is understood by Socrates as if it is based on the concept of the Good. That Socrates was searching for one explanation for all things can be proved even from what he has been expecting from natural philosophers. The case is, nonetheless, more clearly asserted when he speaks about Anaxagoras’ theory. In addition to διακοσμῶν τε καὶ πάντων αἴτιος of 97c2 mentioned above, we have τὸ τὸν νοῦν εἶναι πάντων αἴτιον (c3-4) and τόν γε νοῦν κοσμοῦντα πάντα κοσμεῖν (c4-5) all emphasizing on the cause of all things (πάντα) which can clearly prove that one of the reasons which caused Socrates to embrace it delightfully was its claim to provide the cause of all things by one thing. Another reason was that Anaxagoras’ Mind, at least in Socrates’ view, was attempting to explain everything by the concept of the Good. This connection between Mind and Good belongs more to the essential relation they have in Socrates’ thinking than Anaxagoras’ theory because there are almost nothing about such a relation in Anaxagoras. The reason for Socrates’ reading can be that Mind is substantially compatible with Socrates’ idea of the relation between good and knowledge. Both the thesis 'no one does wrong willingly' and the theory of virtue as knowledge we pointed to above are evidences of this essential relation. Nobody who knows that something is bad can choose or do it as bad. The reason, when it is reason, that means when it is as it should be, when it is wise or when it knows, works only based on good-choosing. In this context, when Socrates hears that Mind is considered as the cause of everything, it sounds to him like this: good should be regarded as the basis of the explanation of all things. We see him, thus, passing from the former to the latter without any proof. This is done in the second sentence after introducing Mind: -/- I thought that if this were so, the arranging Mind would arrange all things and put each thing in the way that was Best (ὅπῃ ἂν βέλτιστα ἔχῃ). If one then wished to find the cause of each thing by which it either perishes or exists, one needs to find what is the best way (βέλτιστον αὐτῷ ἐστιν) for it to be, or to be acted upon, or to act. On these premises then it befitted a man to investigate only, about this and other things, what is the most excellent (ἄριστον) and best (βέλτιστον). The same man must inevitably also know what is worse (χεῖρον), for that is part of the same knowledge. (97c4-d5) This passage is a good evidence of Socrates’ leap from Anaxagoras’ Mind to his own concept of the Good that can explain why Socrates found Anaxagoras theory after his own heart (97d7). Mind is welcomed because of its capability for explanation on the basis of good to 'explain why it is so of necessity, saying which is better (ἄμεινον), and that it was better (ἄμεινον) to be so' (97e1-3). What Socrates thought he had found in Anaxagoras can indicate what he had been expecting from natural scientists before. Socrates could not be satisfied with their explanations because they were unable to explain how it is the best for everything to be as it is. It can probably be said, then, that it was the lack of the unifying Good in their explanation that had disappointed him. We must insist that we are discussing what Socrates thought that Anaxagoras’ theory of Mind should have been, not about Anaxagoras’ actual way of using Mind. Phaedo 97c-98b, is not about what Socrates found in Anaxagoras but what he thought he could find in it. On the contrary, it should also be noted that it was not this that was dashed at 98b, but Anaxagoras’ actual way of using Mind. It was Anaxagoras’ fault not to find out how to use such an excellent thesis (98b8-c2, cf. 98e-99b). Socrates gives an example to show how not believing in 'good' as the basis of explanation makes people be wanderers between different unreal explanations of a thing. His words δέον συνδεῖν (binding that binds together) as a description for the Good we chose as the name of BK principle: They do not believe that the truly good and binding binds and holds them together (ὡς ἀληθῶς τὸ ἀγαθὸν καὶ δέον συνδεῖν καὶ συνέχειν οὐδὲν οἴονται). (99c5-6) -/- Having in mind Plato’s well-known analogy of the sun and the Good at Republic 508-509, we can dare to say that his warning of the danger of seeing the truth directly like one watching an eclipse of the sun in Phaedo (99d-e) is more about the difficulty of so-called good-based explanation than its insufficiency, a difficulty which is precisely confirmed in Republic (504e-505a, 506d-e). Moreover, BK is asserted in a more explicit way in the Republic, where the Good is considered not only as a condition for the knowledge of X, as was noted above discussing KG, but also as what binds all the objects of knowledge and also the soul in its knowing them. At Republic VI, 508e1-3, when Socrates says that the Form of the Good 'gives truth to the things known and the power to know to the knower (τοῦτο τοίνυν τὸ τὴν ἀλήθειαν παρέχον τοῖς γιγνωσκομένοις καὶ τῷ γιγνώσκοντι τὴν δύναμιν ἀποδιδὸν)', he wants to set the Good at the highest point of his epistemological structure by which all the elements of this structure are bound. This binding aspect of the Good is by no means a simple binding of all knowledges or all the objects of knowledge, but the most complicated kind of binding as it is expected from the author of the Republic. The kind of unity the Good gives to the different knowledges of different things is comparable with the unity which each Form gives to its participants in Republic: as all the participants of a Form are united by referring to the ideas, all different kinds of knowledge are united by referring to the Good. If we observe Aristotle's assertion that for Plato and the believers of Forms, the causative relation of the One with the Forms is the same as that of the Forms with particulars (e.g. Metaphysics 988a10-11, 988b4), that is to say the One is the essence (e.g., ibid, 988a10-11: τοῦ τί ἐστὶν, 988b4-6: τὸ τί ἢν εἶναί) of the Forms besides his statement that for them One is the Good (e.g., ibid, 988b11-13) the relation between the Good and unity may become more understandable. Since the quiddity of the Good (τί ποτ᾽ ἐστὶ τἀγαθὸν) is more than discussion (506d8-e2), we cannot await Socrates to tell us how this binding role is played. All we can expect is to hear from him an analogy by which this unifying role is envisaged, the sun. The kind of unity that the Good gives to the knowledge and its objects in the intelligible realm is comparable to the unity that the sun gives to the sight and its objects in the visible realm (508b-c). The allegory of Line (Republic VI, 509d-511), like that of the Sun, tries to bind all various kinds of knowledges. The hierarchical model of the Line which encompasses all kinds of knowledge from imagination to understanding can clearly be considered as Plato’s effort to bind all kinds of knowledges by a certain unhypothetical principle. The method of hypothesis starts, in the first subsection of the intelligible realm, with a hypothesis that is not directed firstly to a principle but a conclusion (510b4-6). It proceeds, in the other subsection, to a 'principle which is not a hypothesis' (b7) and is called the 'unhypothetical principle of all things' (ἀνυποθέτου ἐπὶ τὴν τοῦ παντὸς ἀρχὴν) (511b6-7). This παντὸς must refer not only to the objects of the intelligible realm but to the sensible objects as well. Plato does posit, therefore, an epistemological principle for all things, a principle that all things are, epistemologically, bound and, thus, unified by. -/- 5. Bound Beings The ontological aspect of BK we shall call the principle of 'Bound Beings' (BB): -/- BB Being of all things are bound by the Good. -/- We saw in our principle of Split Being (SB) how the first Socrates was criticized because of his approach to split being and separate each thing from other things. The principle of Bound Beings intends to make the things more related, a duty which is done again by the Good. In the allegory of Sun, there are two paragraphs that evidently and deliberately extend the binding role of the Good to the ontological scene: -/- You will say that the sun not only makes the visible things have the ability of being seen but also coming to be, growth and nourishment. (509b2-4) -/- This clearly intends to remind the ontological role the sun plays in bringing to being all the sensible things in order to display how its counterpart has the same role in the intelligible realm (b6-10): -/- Not only the objects of knowledge (γιγνωσκομένοις) owe their being known (γιγνώσκεσθαι) to the Good, but also their existence (τὸ εἶναί) and their being (οὐσίαν) are due to it, though the Good is not being but superior to it in rank and power. That the Good is here represented as responsible for being of things in addition to their being known means, in my opinion, that Plato wants to posit BB in addition to BK. The allegory of Cave at the very beginning of the seventh Book (514aff.) can be taken as another evidence. The role of the Good, one might say, is confined to the intelligible realm because it is asserted that the role the Good plays in this realm is corresponding to that of the sun in the visible realm. The fact that Plato wants to observe the Good also as the ontological cause of the sensible things is obvious from his saying, in the allegory of Cave, that the Form of the Good 'produces light and its source (τὸν τούτου κύριον) [i.e. the sun] in the visible realm' (517c3). We can conclude, then, that the ontological function of the Good is not confined to the intelligible realm in which it is the lord and provides truth and understanding (c3-4) because it is also responsible to produce τὸν κύριον of light. 6. Proportionality of Being and Knowledge Insofaras BE and BO principles of the first Socrates gave way to TE and TO principles of the second Socrates, we cannot expect him to preserve KB in the same way as it was in the first Socrates. The new tripartite ontology and epistemology necessitates some modifications in KB which results in the principle of 'Proportionality of Being and Knowledge' (PBK): -/- PBK To every class of being there is a proportionate category of knowledge. -/- This principle, of course, does not entail the refutation of KB and thus is not kind of rejecting PBK but only a more complicated version of it. Based on PBK, we can still agree that knowledge is of being (KB) but the issue is that since none of the concepts of knowledge and being in the second Socrates are as simple as they were for the first Socrates, we need a more complicated principle for their relation here. Although from Meno 97a where the distinction of knowledge and true opinion is drawn out in the second group of the dialogues, we can expect a new relation, it is articulated in its most complete way in Republic and specifically in the allegory of Line. All the beings are divided there hierarchically to four classes, to each of them belongs a class of knowledge: imagination to images, belief to the sensible things (more correctly: the things of which they[in previous class] were images (ᾧ τοῦτο ἔοικεν)), thought to mathematical objects (?) and understanding to the Forms and the first principle. The degree of clarity that each of the classes of knowledge shares in (σαφηνείας ἡγησάμενος μετέχειν) is proportionate to the degree that its object shares in truth (ἀληθείας μετέχει). (511e2-4) -/- Conclusion From the six onto-epistemilogical principles of the first Socrates, four principles turn to their opposite in the middle period dialogues. While bipolar epistemology and ontology of the early dialogues give place to tripartite epistemology in the middle period dialogues and tripartite ontology in Republic, the split knowledge and being of the first Socrates are inclined to be substituted by bound knowledges and bound beings in the second Socrates and specifically in Republic. Not all our system of principles in this article is necessarily determinative. Either they are rightly formulated or not, our result would not be vulnerable if we accept that 1) making the distinction of knowledge and belief, 2) accepting the being of not being and 3) trying to bind both being and knowledge by the concept of the Good happens only in middle period dialogues, having been absent in the early ones. These are the favourite results all those somehow arbitrary and even oversimplified principles were to illustrate; that there is kind of a development in the epistemological as well as the ontological grounds of Plato’s philosophy. -/- Notes . (shrink)

We will survey a range of ontologies relevant to space and ground system domains. The ontologies form part of the Common Core Ontology ecosystem (CCO) developed under the IARPA KDD initiative. We focus specifically on the Space Domain Ontologies, a suite of ontologies to support space situational awareness, including the Spacecraft Mission Ontology, Spacecraft Ontology, Space Event Ontology and Space Object Ontology.

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 or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

John Maynard Smith has defended against philosophical criticism the view that developmental biology is the study of the expression of information encoded in the genes by natural selection. However, like other naturalistic concepts of information, this ‘teleosemantic’ information applies to many non-genetic factors in development. Maynard Smith also fails to show that developmental biology is concerned with teleosemantic information. Some other ways to support Maynard Smith’s conclusion are considered. It is argued that on any (...) definition of information the view that development is the expression of genetic information is misleading. Some reasons for the popularity of that view are suggested. (shrink)