The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

Designing an ontology that meets the needs of end-users, e.g., a medical team, is critical to support the reasoning with data. Therefore, an ontology design should be driven by the constant and efficient validation of end-users needs. However, there is not an existing standard process in knowledge engineering that guides the ontology design with the required quality. There are several ontology design processes, which range from iterative to sequential, but they fail to ensure the practical (...) application of an ontology and to quantitatively validate end-user requirements through the evolution of an ontology. In this paper, an ontology design process is proposed, which is driven by end-user requirements, defined as Competency Questions. The process is called CQ-Driven Ontology DEsign Process and it includes activities that validate and verify the incremental design of an ontology through metrics based on defined CQs. CODEP has also been applied in the design and development of an ontology in the context of a Mexican Hospital for supporting Neurologist specialists. The specialists were involved, during the application of CODEP, in collecting quality measurements and validating the ontology increments. This application can demonstrate the feasibility of CODEP to deliver ontologies with similar requirements in other contexts. (shrink)

This article examines how problems of validity in empirical social research differ from those in natural science. Specifically, we focus on how some ontological peculiarities of the object of study in social science bear on validity requirements. We consider these issues in experimental validity as well as in test validity because, while both fields hold large intellectual traditions, research tests or questionnaires are less closely connected to natural science methodology than experiments.

In this paper I present Heinrich Rickert’s account of the difference between theoretical and ethical values as an insightful strategy to accommodate constructivist and realistic intuitions in metae...

This chapter contains sections titled: The Validity of Anselm's Ontological Argument The Truth of the Anselmian Premises On Whether Anselm's Ontological Argument Begs the Question On Parodies The Validity of the Ontological Argument of Descartes and Leibniz On the Truth of the Descartes–Leibniz Premises Critiques of the Descartes–Leibniz Ontological Argument Ontological Arguments of the Twentieth Century Gödel's Ontological Argument On Whether Gödel's Argument is Sound The Modal Perfection Argument The Temporal‐Contingency Argument Conclusion References Appendix 1. Logic Matters Appendix 2. Formal (...) Proofs of Some Modal Arguments. (shrink)

The Salivaomics Knowledge Base (SKB) is designed to serve as a computational infrastructure that can permit global exploration and utilization of data and information relevant to salivaomics. SKB is created by aligning (1) the saliva biomarker discovery and validation resources at UCLA with (2) the ontology resources developed by the OBO (Open Biomedical Ontologies) Foundry, including a new Saliva Ontology (SALO). We define the Saliva Ontology (SALO; http://www.skb.ucla.edu/SALO/) as a consensus-based controlled vocabulary of terms and relations (...) dedicated to the salivaomics domain and to saliva-related diagnostics following the principles of the OBO (Open Biomedical Ontologies) Foundry. The Saliva Ontology is an ongoing exploratory initiative. The ontology will be used to facilitate salivaomics data retrieval and integration across multiple fields of research together with data analysis and data mining. The ontology will be tested through its ability to serve the annotation ('tagging') of a representative corpus of salivaomics research literature that is to be incorporated into the SKB. Background Saliva (oral fluid) is an emerging biofluid for non-invasive diagnostics used in the detection of human diseases. The need to advance saliva research is strongly emphasized by the National Institute of Dental and Craniofacial Research (NIDCR), and is included in the NIDCR's 2004- 2009 expert panel long-term research agenda [1]. The ability to monitor health status, disease onset, progression, recurrence and treatment outcome through noninvasive means is highly important to advancing health care management. Saliva is a perfect medium to be explored for personalized individual medicine including diagnostics, offering a non-invasive, easy to obtain means for detecting and monitoring diseases. Saliva testing potentially allows the patient to collect their own saliva samples at home, yielding convenience for the patient and savings in health costs, and facilitating multiple sampling. Specimen collection is less objectionable to patients and easier in children and elderly individuals. Due to these advantages. (shrink)

I argue that Descartes intended the so-called ontological "argument" as a self-validating intuition, rather than as a formal proof. The textual evidence for this view is highly compelling, but the strongest support comes from understanding Descartes's diagnosis for why God's existence is not 'immediately' self-evident to everyone and the method of analysis that he develops for making it self-evident. The larger aim of the paper is to use the ontological argument as a case study of Descartes's nonformalist theory of deduction (...) and his method of analysis, showing how he conceives the latter as a form of philosophical therapy. (shrink)

Prozorov reinterprets the familiar principles of community, equality and freedom in ontological terms as attributes of pure being, subtracted from all positive determinations, and presents them as axioms of universalist politics valid in any world whatsoever.

Ontologies are being used increasingly to promote the reusability of scientific information by allowing heterogeneous data to be integrated under a common, normalized representation. Definitions play a central role in the use of ontologies both by humans and by computers. Textual definitions allow ontologists and data curators to understand the intended meaning of ontology terms and to use these terms in a consistent fashion across contexts. Logical definitions allow machines to check the integrity of ontologies and reason over data (...) annotated with ontology terms to make inferences that promote knowledge discovery. Therefore, it is important not only to include in ontologies multiple types of definitions in both formal and in natural languages, but also to ensure that these definitions meet good quality standards so they are useful. While tools such as Protégé can assist in creating well-formed logical definitions, producing good definitions in a natural language is still to a large extent a matter of human ingenuity supported at best by just a small number of general principles. For lack of more precise guidelines, definition authors are often left to their own personal devices. This paper aims to fill this gap by providing the ontology community with a set of principles and conventions to assist in definition writing, editing, and validation, by drawing on existing definition writing principles and guidelines in lexicography, terminology, and logic. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can (...) be trivially answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

The U.S. presidential election of 2000 was crucially decided in Florida. And, in Florida, the election hinged crucially on a peculiar sort of question: Does this ballot have a hole? “Yes, it does”, so the ballot is valid and ought to be counted. “No it doesn’t”, and the ballot must be discarded. If only one could tell! Where were the hole experts when we needed them? Eventually the matter was thwarted by the Supreme Court and we all gave up. But (...) we did learn something. We learned that even the destiny of a Presidential Election, if not more, might ultimately depend on one’s criteria for identifying holes—not their material surroundings, which everyone could detect, but the holes themselves. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to (...) sovereignty, proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

This essay examines how, in the early twentieth century, ontological arguments were employed in the defense of metaphysical idealism. The idealists of the period tended to grant that ontological arguments defy our usual expectations in logic, and so they were less concerned with the formal properties of Anselmian arguments. They insisted, however, that ontological arguments are indispensable, and they argued that we can trust argumentation as such only if we presume that there is a valid ontological argument. In the first (...) section I outline the history of this metalogical interpretation of the ontological argument. In the subsequent sections I explain how Royce and Collingwood each developed the argument, and how this impacted their respective conceptions of both logic and metaphysics. (shrink)

A major disagreement between different views about the foundations of quantum mechanics concerns whether for a theory to be intelligible as a fundamental physical theory it must involve a ‘primitive ontology’ (PO), i.e. variables describing the distribution of matter in four-dimensional space–time. In this article, we illustrate the value of having a PO. We do so by focusing on the role that the PO plays for extracting predictions from a given theory and discuss valid and invalid derivations of predictions. (...) To this end, we investigate a number of examples based on toy models built from the elements of familiar interpretations of quantum theory. (shrink)

There seems to be an emerging consensus among many philosophers of science that non-epistemic values ought to play a role in the process of scientific reasoning itself. Recently, a number of philosophers have focused on the role of values in scientific classification or taxonomy. Their claim is that a choice of ontology or taxonomic scheme can only be made, or should only be made, by appealing to non-epistemic or social values. In this paper, I take on this “argument from (...) ontological choice,” claiming that it equivocates on the notion of choice. An ontological choice can be understood either in terms of determining which taxonomic scheme is valid, or in terms of deciding which taxonomic scheme to deploy in a given context. I try to show that while the latter can be determined in part by social values, the former ought not to be so determined. (shrink)

A consumer health information system must be able to comprehend both expert and non-expert medical vocabulary and to map between the two. We describe an ongoing project to create a new lexical database called Medical WordNet (MWN), consisting of medically relevant terms used by and intelligible to non-expert subjects and supplemented by a corpus of natural-language sentences that is designed to provide medically validated contexts for MWN terms. The corpus derives primarily from online health information sources targeted to consumers, and (...) involves two sub-corpora, called Medical FactNet (MFN) and Medical BeliefNet (MBN), respectively. The former consists of statements accredited as true on the basis of a rigorous process of validation, the latter of statements which non-experts believe to be true. We summarize the MWN / MFN / MBN project, and describe some of its applications. (shrink)

This paper explores and defends a form of transcendental argument that is neither bold in its attempt to answer the sceptic, as ambitious transcendental strategies, nor epistemically humble, as modest transcendental strategies. While ambitious transcendental strategies seek to meet the sceptical challenge, and modest transcendental strategies accept the validity of the challenge but retreat to a position of epistemic humility, this form of transcendental argument denies the assumption that undergirds the challenge, namely that truth and falsity may be legitimately predicated (...) of the conditions of knowledge. As a result, although this form of transcendental argument is not truth-directed, it is not vulnerable to a charge that is often levelled against modest transcendental arguments, namely that they amount to the adoption of a strategy of sophisticated capitulation. This form of transcendental argument, which is implicit in Collingwood’s conception of philosophy as the search for absolut... (shrink)

Heidegger and Sartre developed the projects of their fundamental ontologies within the framework of the phenomenological approach. The traditional view of reality is based on dualistic oppositions of ideal and material, spirit and body, reality and possibility, and visibility and essence. It is phenomenology that enables elimination of the above-mentioned dualisms and restoration of the world’s ontological unity on a reliable foundation. Though Sartre’s existentialism was exposed to criticism both from right, and from the left intellectuals, and is not a (...) “fashionable” current at present, and the fundamental ontology of Heidegger was estimated by Levinas as ontology of the power subject-centred line, nevertheless the author considers that attention which is paid in these concepts to such phenomena as the voice of conscience, care and freedom represents the most urgent philosophical value nowadays; the author in this regard points to insufficient validity of modern criticism of approaches of Heidegger and Sartre, in particular–reproaches in a subject-centred line from adherents of “ontology of the Other”. (shrink)

Resumo No que se segue, discuto o que eu quero dizer com Misticismo Ortodoxo em Filosofia e Teologia, com referências específicas a Pseudo-Dionísio, o Areopagita; São Simeão, o Novo Teólogo e São Nicolau Cabasilas. Depois abordarei o que considero ser a meta da Mística Ortodoxa em Filosofia e Teologia, ou seja, o rapto ecstático e a união com o Deus Uno e Trino por meio da glorificação ou deificação. A minha investigação vai terminar com uma análise acerca da diferença entre (...) a abordagem de Deus Uno e Trino na Mística Ortodoxa da abordagem Católica Romana de Deus percebido como ‘Esse de ipsum subsistens’ juntamente com as duas formas diferentes de misticismo que estas percepções de Deus implicam. Palavras-chave : intelectualismo esotérico, Misticismo Ortodoxo, nuvem do não saber, ontologia, proporcionalidade doxástica, sinergiaIn what follows, I discuss what I mean by Orthodox Mysticism in Philosophy and Theology with specific reference to Ps. Dionysius the Areopagite, St. Symeon the New Theologian and St. Nicholaos Cabasilas. I then discuss what I take to be the goal of the Orthodox mystic in Philosophy and Theology, i.e., ecstatic rapture and union with the Triune God through glorification or deification. My investigation will finish with an examination of how the Orthodox mystical approach to the Triune God differs from the Roman-Catholic approach to God perceived as ‘Esse ipsum subsistens’ and the two different forms of mysticism that these two perceptions of God imply. Keywords : cloud of non-knowledge, doxastic proportionality, esoteric intellectualism, ontology, Orthodox Mysticism, synergos. (shrink)

The ontological argument has run for a long time, regularly refuted, regularly re-appearing in a new form. Something can be learnt from its longevity. Its proponents must be on to something, or it would not have survived its many refutations. But equally, it must have been much misformulated, or it would not have seemed evidently fallacious to its many critics. Perhaps it does express a deep philosophical intimation. Certainly it has been taken to prove more than it really can establish. (...) Like many other philosophical arguments it has suffered by being made out to be more rigorous than in the nature of the case it can be. For some philosophers addressing some questions it may have been decisive in leading them to adopt one of the few options open to them: but it is quite inconclusive for others, with different presuppositions or different problems, and cannot be reduced into a valid proof cogent for all comers and compelling them to accept the conclusion it claims to demonstrate. (shrink)

Ontologically minimal truth law semantics are provided for various branches of formal logic (classical propositional logic, S5 modal propositional logic, intuitionistic propositional logic, classical elementary predicate logic, free logic, and elementary arithmetic). For all of them logical validity/truth is defined in an ontologically minimal way, that is, not via truth value assignments or interpretations. Semantical soundness and completeness are proved (in an ontologically minimal way) for a calculus of classical elementary predicate logic.

Part I argues that ontological arguments, like other classical proofs of the existence of God, are parts of larger arguments in which they are embedded. These larger arguments include reasons supporting the proofs’ premises and responses to them, and to the proofs’ claims to validity and non-circularity, since, in the final analysis, our assessment of the proofs will express our best judgment of the cumulative force of all the considerations bearing on their overall adequacy. Part II illustrates these points by (...) examining contemporary defences of, and attacks on, one of the ontological argument’s central premises, namely, that God’s existence is logically possible. (shrink)

Recent years have seen rapid progress in the development of ontologies as semantic models intended to capture and represent aspects of the real world. There is, however, great variation in the quality of ontologies. If ontologies are to become progressively better in the future, more rigorously developed, and more appropriately compared, then a systematic discipline of ontology evaluation must be created to ensure quality of content and methodology. Systematic methods for ontology evaluation will take into account representation of (...) individual ontologies, performance (in terms of accuracy, domain coverage and the efficiency and quality of automated reasoning using the ontologies) on tasks for which the ontology is designed and used, degree of alignment with other ontologies and their compatibility with automated reasoning. A sound and systematic approach to ontology evaluation is required to transform ontology engineering into a true scientific and engineering discipline. This chapter discusses issues and problems in ontology evaluation, describes some current strategies, and suggests some approaches that might be useful in the future. (shrink)

The search for the “furniture of the mind” has acquired added impetus with the rise of new technologies to study the brain and identify its main structures and processes. Philosophers and scientists are increasingly concerned to understand the ways in which psychological functions relate to brain structures. Meanwhile, the taxonomic practices of cognitive scientists are coming under increased scrutiny, as researchers ask which of them identify the real kinds of cognition and which are mere vestiges of folk psychology. Muhammad Ali (...) Khalidi presents a naturalistic account of “real kinds” to validate some central taxonomic categories in the cognitive domain, including concepts, episodic memory, innateness, domain specificity, and cognitive bias. He argues that cognitive kinds are often individuated relationally, with reference to the environment and etiology of the thinking subject, whereas neural kinds tend to be individuated intrinsically, resulting in crosscutting relationships among cognitive and neural categories. (shrink)

Abstract In light of the complexity of unfolding disasters, the diversity of rapidly evolving events, the enormous amount of generated information, and the huge pool of casualties, emergency responders (ERs) may be overwhelmed and in consequence poor decisions may be made. In fact, the possibility of transporting the wounded victims to one of several hospitals and the dynamic changes in healthcare resource availability make the decision process more complex. To tackle this problem, we propose a multicriteria decision support service, based (...) on the Analytic Hierarchy Process (AHP) method, that aims to avoid overcrowding and outpacing the capacity of a hospital to effectively provide the best care to victims by finding out the most appropriate hospital that meets the victims’ needs. The proposed approach searches for the most appropriate healthcare institution that can effectively deal with the victims’ needs by considering the availability of the needed resources in the hospital, the victim’s wait time to receive the healthcare, and the transfer time that represents the hospital proximity to the disaster site. The evaluation and validation results showed that the assignment of hospitals was done successfully considering the needs of each victim and without overwhelming any single hospital. (shrink)

The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

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)

Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side (...) of the propositions of a theory and on the side of the domain of objects to which these propositions refer. This essay presents a systematic overview of Husserl’s views on these matters as put forward in his Logical Investigations. It shows how Husserl’s theory of linguistic meanings as species of mental acts, his formal ontology of part, whole and dependence, his theory of meaning categories, and his theory of categorial intuition combine with his theory of science to form a single whole. Finally, it explores the ways in which Husserl’s ideas on these matters can be put to use in solving problems in the philosophy of language, logic and mathematics in a way which does justice to the role of mental activity in each of these domains while at the same time avoiding the pitfalls of psychologism. (shrink)

Philosophical interpretations of theories generally presuppose that a theory can be presented as a consistent mathematical formulation that is interpreted through models. Algebraic quantum field theory (AQFT) can fit this interpretative model. However, standard Lagrangian quantum field theory (LQFT), as well as quantum electrodynamics and nuclear physics, resists recasting along such formal lines. The difference has a distinct bearing on ontological issues. AQFT does not treat particle interactions or the standard model. This paper develops a framework and methodology for interpreting (...) such informal theories as LQFT and the standard model. We begin by summarizing two minimal epistemological interpretation of non-relativistic quantum mechanics (NRQM): Bohrian semantics, which focuses on communicables; and quantum information theory, which focuses on the algebra of local observables. Schwinger's development of quantum field theory supplies a unique path from NRQM to QFT, where each step is conceptually anchored in local measurements. LQFT and the standard model rely on postulates that go beyond the limits set by AQFT and Schwinger's anabatic methodology. The particle ontology of the standard model is clarified by regarding the standard model as an informal modular theory with a limited range of validity. (shrink)

The essence of deities has captured our imaginations for as long as we can remember. Does a God exist, or is the divine entity just a figment of our dreams, a projection? Is God what Aribiah Attoe calls a “regressively eternal and material entity” or what Gericke calls “a character of fiction with no counterpart outside the worlds of text and imagination”? This paper aims to wrestle with those questions from a theological perspective and to look at the ontological status (...) of Yahweh and how that worldview lends itself to African Traditional Religions in conversation with Attoe's method of inquiry from the perspective of African Metaphysics. This paper aims to be a part of the larger project undertaken by the author, showing that philosophy can and should be an auxiliary discipline in Old Testament Studies as it has been seen, both fields have ways of similar arguing and coming to the same conclusions. This paper is intended to be an interlocutory exercise or experiment and does not seek to validate any hypothesis about either view. (shrink)

The essay probes the limits of social ontology as a grounding project for interpretation and explanation in the social sciences. The argument proceeds by challenging the exemplary and influential ontology of John Searle by means of Jim Bohman’s hermeneutic approach. While both share the interest in establishing the validity basis of social-scientific claims, Bohman reconstructs in this regard the situated standpoint of the hermeneutic interpreter, in contrast to Searle’s building block approach to social reality. A careful analysis of (...) Bohman’s argumentation reveals the need for differentiating a variety of interpretive stances, which leads back to important revisions of the intentionality-based social ontology of Searle. The discussion results in the need to ground methodological pluralism in a universal hermeneutics of interpretive capabilities to safeguard the social sciences against relativistic as well as metaphysical challenges. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Ontological and Other AssumptionsLloyd A. Wells (bio) and Sandra J. Rackley (bio)Fahrenberg and Cheetham have conducted an immensely thought-provoking study of the assumptions about human nature made by 800 students and pose a question about the future impact of these assumptions on individuals’ practice in professions including medicine and psychotherapy.This work represents a branch of “philosophical anthropology,” which considers assumptions people make about human nature. The authors used a (...) questionnaire, much of which was newly designed, to assess the assumptions made by university students studying psychology, philosophy, sciences, and other disciplines. Most of the respondents were studying at Freiburg, but some were sampled at several other universities in both the former East and West Germanies. Questions involved consciousness and the brain, evolution, free will, belief in God, the meaning of life, and theodicy.Given the importance of these beliefs and assumptions in so many peoples’ lives, it is quite surprising that there are so few modern data available, and this study ventures an important first step in assessing these assumptions. However, there are many problems inherent in this study (and any like it).The first, for us, is the validity of the questionnaire itself, an issue that was not specifically addressed in the paper. Face validity is a problem even in the few questions quoted directly in the paper. For example, some statements contain two clauses, and one could well agree with one without agreeing with another: “I do not know whether a God exists and I do not believe it is possible to know.” This is the most relevant answer for a true agnostic, but the assumption that “I do not know whether a God exists” does not necessarily link at all with “I do not believe it is possible to know.” Similarly, a theist might have trouble with the two clauses, “I know God really exists” and “I do not doubt this.” (Technically, knowledge does imply a lack of doubt, but belief certainly does not.) Particularly in the trilemmas, where various patterns of response were analyzed, these multiple-clause statements may have led students to respond in a manner inconsistent with their true beliefs and assumptions. Furthermore, many of the questions contain terms that may have been unfamiliar to first-year university students. The authors explain their rationale in not defining terms, but the lack of clarity about definitions may have led some of the students to not fully understand the questions asked and to perhaps influence the answers they chose.Misunderstanding of the questions may account for some of the disparities reported in the results. Other apparent inconsistencies, however, do not seem to be a result of unclear questions. For example, sixty percent of the students agreed with the statement that “I believe in … existence after death,” whereas forty-seven percent agreed with the statement that “when my brain is dead my consciousness and my person cease to be.” These [End Page 203] findings do not add up, and this study has several similar sets of data. People contradict themselves in long and complex questionnaires, and this may be a simple explanation for these findings, but is this the only explanation? How seriously did the students take the questionnaire, often given as part of their class? How honest were their responses?How generalizable are the findings of this study? It is very difficult even to speculate about this. The statistics are incomprehensible in light of the data given, and one must essentially take them on faith, wherever one falls on the God/theodicy questions. The design has many flaws, but we do learn how a subsample of German university students rate important factors about the meaning of life. Statements are made in the paper that the students’ results correlate with similar results for the general population, but this assertion seems to be based on a very few questions. One would like much more delineation of this apparent correlation, because we wonder about the juxtaposition of developmental factors with the answers the students gave to this questionnaire. First-year university students are at a critical developmental point, and it would be fascinating to follow this large cohort of students over time to see whether... (shrink)

From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on the (...) methodology of explication espoused, the theories in this family are either semantic commentaries on ideal languages, or they are themselves interpreted formalized languages. The former may be called, after Quine, theories of ontological commitment. The theories of the latter sort I wish to consider are called, after Karel Lambert, free logics, i.e., logic systems the singular terms of which are free of existential import. My conclusion about theories of both kinds is that, while unexceptionable on their own terms, from a broader point of view they beg the question of what it is to be. In arguing that these theories thus fail to clarify the concept of existence, I believe I am not so much propounding a new insight as articulating an objection many thinkers have felt in the face of views akin to Quine’s. (shrink)

This article takes inspiration from Kittler’s claim that philosophy has neglected the means used for its production. Kittler’s argument for media ontology will be compared to the post-Kantian project of re-inventing philosophy through the medium of thought. The article discusses these views in the context of the automation of logical thinking where procedures, tasks, and functions are part of the instrumental processing of new ends evolving a new mode of reasoning. In particular, the article suggests that in constructivist logic (...) and information theory, the temporal gap between truth and proof, between input and output, can be taken to argue that the means of thought expose the indetermination or the incomputability of proof. The automation of reasoning in logical processing coincides not with mindless correlations of data, replacing axioms with data, truths with self-validating proofs. Instead, the problem of the indeterminacy of proof within automated logic re-habilitates techne or instrumentality, and the relation between means and ends away from classical idealism and analytic realism. By following John Dewey’s argument for instrumentality, it will be argued that the task of thinking today needs to re-invent a logic of techne away from the teleological view of ends or the crisis of finality. If the post-Kantian preoccupations about the task of thinking already announced that the medium of thought could offer possibilities for a non-human philosophy, this article envisions a machine philosophy originating from within computational media. (shrink)

Heidegger and Sartre developed the projects of their fundamental ontologies within the framework of the phenomenological approach. The traditional view of reality is based on dualistic oppositions of ideal and material, spirit and body, reality and possibility, and visibility and essence. According to both authors, phenomenology enables elimination of the above-mentioned dualisms and restoration of the world’s ontological unity on a reliable foundation. A special attention is paid to a problem of authenticity and transcendence from the point of view of (...) above-mentioned ontological concepts. The problem of authenticity is one of the main issues of human life: the person can come up against a situation of a tough choice and get to a special paradigm of submission that it is practically similar to loss of own authenticity. Method of a research is the comparative analysis of approaches of Sartre and Heidegger to phenomena of freedom, authenticity, the truth and being. In addition, the analysis of a modern discussion on this subject is carried out. The main conclusion of this research is that though Sartre's existentialism was exposed to criticism both from right, and from the left intellectuals, and is not a "fashionable" current at present, and the fundamental ontology of Heidegger was estimated by Levinas as ontology of the power subject-centered line, nevertheless the author considers that attention which is paid in these concepts to such phenomena as the voice of conscience, care and freedom represents the most urgent philosophical value nowadays; the author in this regard points to insufficient validity of modern criticism of approaches of Heidegger and Sartre, in particular - reproaches in a subject-centered line from adherents of "ontology of the Other". (shrink)

How should critical realism affect the practice of social science? This paper responds to this and related questions by suggesting some methodological implications of the realist theory of emergence. Given that critical realism understands causation as the interaction of emergent causal powers, and that the theory of emergence describes the type of structural relations that underpins such powers, we can practise social ontology by seeking to identify these structural relations in the social domain. Such methods, however, cannot stand or (...) fall purely on philosophical grounds; their validity also depends on whether they work. Hence this paper briefly illustrates the application of the method to social ontology, using examples from the theory of social institutions. (shrink)

There are several forms of the Ontological Argument, but it is more or less fair to say that all hang on the contention that the notion of a perfect being entails the existence of that being, since existence is involved in perfection. My first interest is in the word "perfect." The word, I think, is usually vague but it seems to me that, in the context of the proof, it has a meaning which turns out to be much more pedestrian (...) than we would suspect. The argument, if it is valid, must assert that any perfect being would have to have every possible characteristic. It alleges that existence is a characteristic and it is, of course, over this that most debate has centered. It seems clear, however, that "perfect," as employed in the argument, merely means what we would call "complete" in less august transactions. In some forms of the proof, indeed, this is made somewhat clearer since the expression "greatest possible" being is substituted for "perfect." Ordinarily, no one would be tempted to pass lightly from the notion of "that which is complete" to the notion of "the deity." Both "perfect" and "greatest possible" appear to have moral connotations and "complete" usually does not. The slide, however, is made easier by the recurrent notion that evil is not a positive quality but merely the absence of another positive quality, usually goodness. If this view is held, it certainly does follow that whatever is "complete" must be "perfect" in the moral sense as well as in the other usual senses. It is not, here, my concern to pass judgment on this notion. I am, at the moment, merely trying to trace possible sources of confusion in the argument. (shrink)

What makes a valid argument valid? Generally speaking, in a valid argument, if the premisses are true, then the conclusion must necessarily also be true. But on its own, this doesn’t tell us all that much. What is truth? And what is necessity? In what follows, I consider answers to these questions proposed by the fourteenth century logician John Buridan († ca. 1358). My central claim is that Buridan’s logic is downstream from his metaphysics. Accordingly, I treat his metaphysical discussions (...) as the key to his logic. As has been often noted, Buridan’s metaphysics are radically anti-realist about universals, though I think the depth and scope of his anti-realism has at times been papered over. Buridan constructs his logic on an amazingly spartan ontology, and this accomplishment is overdue for reconsideration. To the foregoing questions: truth is a feature of propositions, and of propositions only—not of proposition-like states of affairs, or anything like that. It is a function of the reference or supposition (suppositio) of their terms, which depends on predication in a propositional context. And necessary truth is grounded in causation: a predication is necessary if it cannot be falsified by any power, natural or supernatural, without ii annihilating what its terms stand for. “Socrates is a human”, for instance, can only be falsified by annihilating Socrates, and so it is a necessary truth. -/- These considerations provide an ample theoretical basis for a thorough examination of Buridan’s modal logic. This is what the thesis culminates with. In the final chapter, I set forth some novel and surprising findings, chief of which is this: Buridan’s modal syntax and semantics are nothing like Kripke’s—and indeed are incompatible with them. This has significant implications not only for modal logic and metaphysics, but for how we think about medieval logic and philosophy more generally. -/- Throughout the thesis, I advocate a methodology of emphasising the differences, rather than the similarities, between past and present thought. Buridan is wildly unlike what we’re used to, and we should let him speak for himself. (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)

The organism is neither a discovery like the circulation of the blood or the glycogenic function of the liver, nor a particular biological theory like epigenesis or preformationism. It is rather a concept which plays a series of roles – sometimes overt, sometimes masked – throughout the history of biology, and frequently in very normative ways, also shifting between the biological and the social. Indeed, it has often been presented as a key-concept in life science and the ‘theorization’ of Life, (...) but conversely has also been the target of influential rejections: as just an instrument of transmission for the selfish gene, but also, historiographically, as part of an outdated ‘vitalism’. Indeed, the organism, perhaps because it is experientially closer to the ‘body’ than to the ‘molecule’, is often the object of quasi-affective theoretical investments presenting it as essential, sometimes even as the pivot of a science or a particular approach to nature, while other approaches reject or attack it with equal force, assimilating it to a mysterious ‘vitalist’ ontology of extra-causal forces, or other pseudo-scientific doctrines. This paper does not seek to adjudicate between these debates, either in terms of scientific validity or historical coherence; nor does it return to the well-studied issue of the organism-mechanism tension in biology. Recent scholarship has begun to focus on the emergence and transformation of the concept of organism, but has not emphasized so much the way in which organism is a shifting, ‘go-between’ concept – invoked as ‘natural’ by some thinkers to justify their metaphysics, but then presented as value-laden by others, over and against the natural world. The organism as go-between concept is also a hybrid, a boundary concept or an epistemic limit case, all of which partly overlap with the idea of ‘nomadic concepts’. Thereby the concept of organism continues to function in different contexts – as a heuristic, an explanatory challenge, a model of order, of regulation, etc. – despite having frequently been pronounced irrelevant and reduced to molecules or genes. Yet this perpetuation is far removed from any ‘metaphysics of organism’, or organismic biology. (shrink)

The organism is neither a discovery like the circulation of the blood or the glycogenic function of the liver, nor a particular biological theory like epigenesis or preformationism. It is rather a concept which plays a series of roles, sometimes masked, often normative, throughout the history of biology. Indeed, it has often been presented as a key-concept in life science and its ‘theorization’, but conversely has also been the target of influential rejections: as just an instrument of transmission for the (...) selfish gene, but also, historiographically, as part of an outdated ‘vitalism’. Indeed, the organism, perhaps because it is experientially closer to the ‘body’ than to the ‘molecule’, is often the object of quasi-affective theoretical investments presenting it as essential, as the pivot of a science or a particular approach to nature, while other approaches reject or attack it with equal force, assimilating it to a mysterious ‘vitalist’ ontology of extra-causal forces, or other pseudo-scientific doctrines. I do not seek to adjudicate between these debates, either regarding scientific validity or historical coherence; nor do I return to the well-studied issue of the organism-mechanism tension in biology. Recent scholarship has begun to discuss the emergence and transformation of the organism concept, but has not emphasized the way the latter is a shifting, ‘go-between’ concept – invoked as ‘natural’ by some thinkers to justify their metaphysics, but then presented as value-laden by others, over and against the natural world. The organism as go-between concept is also a hybrid, a boundary concept or a limit case, which continues to function in different contexts – as a heuristic, an explanatory challenge, a model of order, of regulation, etc. – despite having frequently been pronounced irrelevant and reduced to molecules or genes. Yet this perpetuation is far removed from any ‘metaphysics of organism’, or organismic biology. (shrink)

This article explores the relevance of ontological assumptions for justifications of agency and ethics. It critiques Kantian ethics for being based upon an ontological imaginary that starts from the substantialism of Newtonian physics. Substantialism shapes Western political philosophy’s view about who we are as subjects and how the world works. In this ontological imaginary, validation of ethics is based upon universality and abstractions. Furthermore, Kantian ethics underscores an anthropocentric and theocratic vision of how to govern societies. I argue Kantian (...) criteria are not only insufficient to make good choices but are also conducive to wrong ones, since they elicit self-appeasement in international intervention, and contribute to the conceptual repertoire of coloniality. I propose that an ontology of entanglements opens possibilities for overcoming the shortcomings of an ethos based upon abstractions and possibly for correcting some of its moral failures. In a quantum ontological imaginary, the validation of ethical choices relies instead upon the exploration of the apparatuses we deploy, as well as upon careful situational evaluation. Specific practices, rather than an abstract humanity, are the referents for devising such ethos. This position, I argue, resonates with the critical project of decoloniality and its acknowledgment of the political salience of ontological imaginaries. (shrink)

After the introduction of the fifth Diagnostic and Statistical Manual of Mental Disorders, familiar voices were raised in protest. The voices stem from ideas of which, among others, and in different ways, Michel Foucault and Thomas Szasz were influential proponents: The movement was referred to as 'antipsychiatry.' This movement reacted, among other things, to the system of categorization of mental disorders. Diagnoses, in a system of classification, were thought to be vague, arbitrary, labelling, stigmatizing, and scientifically and clinically poorly validated. (...) In contemporary debates on DSM-5, similar critiques can be heard, expressed by a movement now referred to as 'critical psychiatry'... (shrink)

I argue that spinoza's ontological argument is successful when it is understood to have two premises: (i) it is possible for god to exist, (ii) it is necessary that, if god exists, he necessarily does. the argument is valid in s5. spinoza is in a position to establish the second premise of the argument on the basis of his definitions and axioms. the first premise was assumed to be true, but, as leibniz noted, it must be established for the conclusion (...) of the argument to be forthcoming. this is one of the main problems with the argument, and it requires a solution to the problem of the attributes. certain alternate interpretations of spinoza are then argued to be deficient on textual and logical grounds. (shrink)

The use of single letters in displaying patterns, functions, generalizations, and unknowns, dominates mathematical expression, and for that reason, appears in every domain of theoretical and technical discourse employing even the slightest bit of mathematical language. These variables, as they have come to be called, are the very mark of abstract power and precision, ingenious tools for expressing functionality and valid formulae and, thereby, for providing solutions to types of problems as well as facilitating the calculation of unknowns. Compare, for (...) example, the ease with which we grasp and work with the formula. (shrink)

The articles in this volume discuss the relation between values and ontology, focusing on the significance of ontology for ethics and aesthetics, i.e., themes which due to the raising interest in ontology come to play a central role in contemporary philosophical debate. The contributors address the questions of whether and in which sense values can be considered to be real, whether it is possible to experience them, and in which sense we can speak about their objective validity. (...) These topics which were also discussed by early phenomenologists like Brentano, Meinong, Ehrenfels, proponents of Gestalt psychology like Kohler, by Husserl, and by French phenomenologists like Merleau-Ponty are approached by both historical and systematic analysis.". (shrink)

Since cognitive neuroscience aims at giving an integrated account of mind and brain, its ontology should include both neural and cognitive entities and specify their relations. According to what we call the standard ontological framework of cognitive neuroscience, the aim of cognitive neuroscience should be to establish one-to-one mappings between neural and cognitive entities. Where such entities do not yet closely align, this can be achieved by reforming the cognitive ontology, the neural ontology, or both. In order (...) to assess the limits and the possibilities of the SOFCN, we will examine a paradigmatic case study: the concept of Broca’s area, which indicates an alleged mapping between the left inferofrontal gyrus and the production of language. We review evidence showing that such a mapping does not hold, thus calling into question either the status of Broca’s area or the validity of the SOFCN. We then propose some strategies for addressing the issue and suggest that it may be solved within the SOFCN by adopting both of the following strategies: first, more accurately defining the relevant neural structures and second, switching the focus of neural ontology from structures to events, individuated by a where conjoint with a how. (shrink)