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)

Each annual Ontology Summit initiative makes a statement appropriate to each Summit’s theme as part of our general advocacy designed to bring ontology science and engineering into the mainstream. The theme this year is "Towards an Open Ontology Repository". This communiqué represents the joint position of those who were engaged in the year's summit discourse on an Open Ontology Repository (OOR) and of those who endorse below. In this discussion, we have agreed that an "ontology repository is a facility where (...) ontologies and related information artifacts can be stored, retrieved and managed." -/- We believe in the promise of semantic technologies based on logic, databases and the Semantic Web, a Web of exposed data and of interpretations of that data (i.e., of semantics), using common standards. Such technologies enable distinguishable, computable, reusable, and sharable meaning of Web and other artifacts, including data, documents, and services. We also believe that making that vision a reality requires additional supporting resources and these resources should be open, extensible, and provide common services over the ontologies. (shrink)

On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, and expressing a joint (...) intent to build bridges among the existing upper ontologies in ways designed to increase and rationalize their utilization and to enhance their semantic interoperability. (shrink)

The goal of the 2010 Ontology Summit was to address the current shortage of persons with ontology expertise by developing a strategy for the education of ontologists. To achieve this goal we studied how ontologists are currently trained, the requirements identified by organizations that hire ontologists, and developments that might impact the training of ontologists in the future. We developed recommendations for the body of knowledge that should be taught and the skills that should be developed by future ontologists; these (...) recommendations are intended as guidelines for institutions and organizations that may consider establishing a program for training ontologists. Further, we recommend a number of specific actions for the community to pursue. (shrink)

Native American land ethics are not well understood by many governmental natural resource managers. This article presents the results of interviews with selected tribal elders, tribal land managers, and tribal content experts concerning traditional beliefs and values forming a land ethic and how these influence tribal land management practices. The Native American land ethic that emerged from this study includes four belief areas: “All Is Sacred”; ; “Right Action”; ; “All Is Interrelated”; ; and “Mother Earth”;. Traditional Native American beliefs (...) concerning the environment appear to spring from a spiritual context rather than the scientific‐utilitarian context more prevalent in the dominant Euro‐American culture. (shrink)

In this classic analysis, Leo Strauss pinpoints what is original and innovative in the political philosophy of Thomas Hobbes.

Offering an innovative approach to critical thinking, Good Reasoning Matters! identifies the essential structure of good arguments in a variety of contexts and also provides guidelines to help students construct their own effective arguments. In addition to examining the most common features of faulty reasoning--slanting, bias, propaganda, vagueness, ambiguity, and a common failure to consider opposing points of view--the book introduces a variety of argument schemes and rhetorical techniques. This edition adds material on visual arguments and more exercises.

In this classic analysis, Leo Strauss pinpoints what is original and innovative in the political philosophy of Thomas Hobbes.

Most infonnallogic texts and articles assume a verbal account of reasoning which defines "argument" as a set of sentences. The present paper broadens this definition in order to account for "visual arguments" which are communicated with nonverbal visual images. Standard approaches to verbal arguments are extended in a way that allows them to explain and evaluate visual argumentation.

Informal logic is an attempt to develop a logic that can assess and analyze the arguments that occur in natural language discourse. Discussions in the field may address instances of scientific, legal, and other technical forms of reasoning, but the overriding aim has been a comprehensive account of argument that can explain and evaluate the arguments found in discussion, debate and disagreement as they manifest themselves in daily life — in social and political commentary; in news reports and editorials in (...) the mass media ; in advertising and corporate and governmental communications; and in personal exchange. (shrink)

The present paper elaborates a deductivist account of natural language argu-ment in the context of pragma-dialectics. It reviews earlier debates, criticizes some standard misconceptions in the literature, and argues that the identification and analysis of deductive argument schemes can be the basis of a compelling theory of argumentative discourse.

"All political action has . . . in itself a directedness towards knowledge of the good: of the good life, or of the good society. For the good society is the complete political good. If this directedness becomes explicit, if men make it their explicit goal to acquire knowledge of the good life and of the good society, political philosophy emerges. . . . The theme of political philosophy is mankind's great objectives, freedom and government or empire--objectives which are capable (...) of lifting all men beyond their poor selves. Political philosophy is that branch of philosophy which is closest to political life, to non-philosophic life, to human life."--From "What Is Political Philosophy?" What Is Political Philosophy? --a collection of ten essays and lectures and sixteen book reviews written between 1943 and 1957--contains some of Leo Strauss's most famous writings and some of his most explicit statements of the themes that made him famous. The title essay records Strauss's sole extended articulation of the meaning of political philosophy itself. Other essays discuss the relation of political philosophy to history, give an account of the political philosophy of the non-Christian Middle Ages and of classic European modernity, and present his theory of esoteric writing. (shrink)

We review recent evidence that game rules, rules of etiquette, and supernatural beliefs, that the authors see as “ritualistic” conventions, are in fact shaped by instrumental inference. In line with such examples, we contend that cultural practices that may appear, from the outside, to be devoid of instrumental utility, could in fact be selectively acquired and preserved because of their perceived utility.

The Swiss natural philosopher, physician, and radical reformer Theophrastus of Hohenheim (1493–1541), known as Paracelsus, endeavoured to reconcile his various perspectives in his extensive biblical exegeses. Symbolizing this effort were the two lights of nature and the Holy Spirit, which, on one hand, explored worldly and mortal aspects of nature and, on the other hand, led to eternal life. In response to the prevailing dispute between Luther and Zwingli over the interpretation of the Eucharist, Paracelsus developed his own viewpoint, introducing (...) the concept of the new human with a renewed corporeal body. His comprehensive interpretations of the Gospel of Matthew not only addressed theology but also engaged with the perspectives of a natural philosopher, physician, and advocate of natural magic. (shrink)

This paper presents an ethical framework designed to support the development of critical data literacy for research methods courses and data training programmes in higher education. The framework we present draws upon our reviews of literature, course syllabi and existing frameworks on data ethics. For this research we reviewed 250 research methods syllabi from across the disciplines, as well as 80 syllabi from data science programmes to understand how or if data ethics was taught. We also reviewed 12 data ethics (...) frameworks drawn from different sectors. Finally, we reviewed an extensive and diverse body of literature about data practices, research ethics, data ethics and critical data literacy, in order to develop a transversal model that can be adopted across higher education. To promote and support ethical approaches to the collection and use of data, ethics training must go beyond securing informed consent to enable a critical understanding of the techno-centric environment and the intersecting hierarchies of power embedded in technology and data. By fostering ethics as a method, educators can enable research that protects vulnerable groups and empower communities. (shrink)

Resumo: O objetivo deste artigo é demonstrar como a teoria da mente estendida, particularmente os argumentos de Andy Clark, pode explicar os processos mentais não como fenômenos restritivos ao cérebro e endossar sua conexão com o corpo e o ambiente. Dessa forma, inicialmente, reconstroem-se as principais perspectivas materialistas que limitaram o self ao crânio; em seguida, aponta-se como o caráter estendido da mente escapa aos seus limites naturais e se mistura “descaradamente” ao mundo. Argumenta-se que artefatos externos desempenham um papel (...) importante na orientação de ações, de modo que mudanças no ambiente podem causar mudanças no comportamento do agente cognitivo, configurando uma dependência constitutiva. Desse modo, a tese da mente estendida desafia tanto o funcionalismo tradicional quanto o externalismo, pois, por um lado, considera os processos cognitivos e os estados mentais como interações relevantes do indivíduo com o ambiente e, por outro, como comportamentos orientados pela intenção. Por meio da integração dos corpos biológicos com artefatos ou ferramentas, sustenta-se uma leitura que dissolve a clássica “lacuna explicativa” das ciências cognitivas. (shrink)

"-- M. J. Silverthorne,The Humanities Association Review Leo Strauss (1899-1973) was the Robert Maynard Hutchins Distinguished Service Professor Emeritus of ...

Contextualizing the emergence of history of philosophy within eighteenth-century German Enlightenment, this book discusses the philosophical nature of the historiographical concept ‘system of philosophy’ and the concept’s influence upon the methods of history of philosophy and history of ideas.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This article explores the changing relationships between geometric and arithmetic ideas in medieval Europe mathematics, as reflected via the propositions of Book II of Euclid’s Elements. Of particular interest is the way in which some medieval treatises organically incorporated into the body of arithmetic results that were formulated in Book II and originally conceived in a purely geometric context. Eventually, in the Campanus version of the Elements these results were reincorporated into the arithmetic books of the Euclidean treatise. Thus, while (...) most of the Latin versions of the Elements had duly preserved the purely geometric spirit of Euclid’s original, the specific text that played the most prominent role in the initial passage of the Elements from manuscript to print—i.e., Campanus’ version—followed a different approach. On the one hand, Book II itself continued to appear there as a purely geometric text. On the other hand, the first ten results of Book II could now be seen also as possiblytranslatable into arithmetic, and in many cases even as inseparably associated with their arithmetic representation. (shrink)

We announce and explain recent results on the computably enumerable (c.e.) sets, especially their definability properties (as sets in the spirit of Cantor), their automorphisms (in the spirit of Felix Klein's Erlanger Programm), their dynamic properties, expressed in terms of how quickly elements enter them relative to elements entering other sets, and the Martin Invariance Conjecture on their Turing degrees, i.e., their information content with respect to relative computability (Turing reducibility).

This paper responds to two aspects of Ralph Johnson's Manifest Rationality (2000). The first is his critique of deductivism. The second is his failure to make room for some species of argument (e.g., visual and kisceral arguments) proposed by recent commentators. In the first case, Johnson holds that argumentation theorists have adopted a notion of argument which is too narrow. In the second, that they have adopted one which is too broad. I discuss the case Johnson makes for both claims, (...) and possible objections to his analysis. (shrink)

Though the common sense defense of affirmative action (or employment equity) appeals to principles of restitution, philosophers have tried to defend it in other ways. In contrast, I defend it by appealing to the notion of restitution, arguing (1) that alternative attempts to justify affirmative action fail; and (2) that ordinary affirmative action programs need to be supplemented and amended in keeping with the principles this suggests.

Methods facilitating noetic ascent -- Contraction as an ontological concept -- Contraction and noesis -- Contraction and memory -- Physiologically induced contraction -- The scholastic tradition of contraction -- Cusanus and the scholastic tradition of contraction.

The present study aims at supporting the argument that emotions, unlike a physicalistic interpretation, cannot be reduced to the conceptual elements used in the communication or exteriorization process. The subject is based on two hypotheses: the first is that the relation between the issuance of an emotive content (emotion) and a possible mental representation presents a linguistic nature. In general terms, this means that an emotion, or the psychological content associated with it is based on the plot of other concepts. (...) The second hypothesis is that it is not possible to refer to emotions without considering cognition from a semantic problem and, consequently, in the refusal of a realistic or anti-realistic posture in relation to the way the phenomena - internal and/or external to our consciousness - are referred. Thus, a conceptual model to understand emotions would be essential to settle the problem associated with ordinary language, realism, and the computational tendencies that comprehend the mental content in strictly syntactic terms. (shrink)

The purpose of this paper is threefold. First, I visit the Fogelin–Geach-dispute, criticizeMiller''s interpretation of the Geachian notationN(x:N(fx)) and conclude that Fogelin''s argumentagainst the expressive completeness of the Tractariansystem of logic is unacceptable and that the adoptionof the Geachian notation N(x:fx) would not violate TLP5.32. Second, I prove that a system of quantificationtheory with finite domains and with N as the solefundamental operation is expressively complete. Lastly, I argue that the Tractarian system is apredicate-eliminated many-sorted theory (withoutidentity) with finite domains (...) and with N as the solefundamental operation, and thus is expressivelycomplete. (shrink)

The purpose of this paper is to offer an interpretation of the Tractatus’ proof of the unity of logic and language. The kernel of the proof is the thesis that the sole logical constant is the general propositional form. I argue that the Grundgedanke, the existence of the sole fundamental operation N and the analyticity thesis, together with the fact that the operation NN can always be seen as having no specific formal difference between its result and its base, imply (...) that NN is intrinsic to every elementary proposition. I also argue that the picture theory of proposition is an account of the generation of propositions via naming, and that its crucial idea is that naming is the instantiation of the form of a name, which consists in arbitrarily picking out an object as the meaning of the name from those objects sorted out by the form of the name. It follows that the existential quantifier, that is, NN, is intrinsic to naming (and therefore to every elementary proposition). It is then proven that the sole logical constant is the general propositional form. This, together with the truth‐functionality of logical necessity, implies that logic and language are unified via a general rule – logical syntax. (shrink)

We argue that Hilary Putnam's pragmatism provides an epistemological perspective which can help us understand--and can positively inform--the development of informal logic.

The Tractatus contains twodifferent proofs of the Grundgedanke, or thenonreferentiality of logical constants. In thispaper, I explicate the first proof in TLP 5.4s andreconstruct the less explicitly stated second proof. My explication of the first proof shows it to beelegant but based on an invalid inference. In myreconstruction of the second proof, the main argumentis that the sign of a logical constant does not denotebecause it possesses the punctuation-mark-nature. Andit possesses the punctuation-mark-nature because,given the analyticity thesis in TLP 5, one (...) canestablish for everyday language an adequate symbolismwith N as the sole fundamental operation such that itssign is a bar indicating merely the order and scope ofits application. (shrink)

Thomas Taylor’s interpretation of Plato’s works in 1804 was condemned as guilty by association immediately after its publication. Taylor’s 1804 and 1809 reviewer thus made a hasty generalisation in which the qualities of Neoplatonism, assumed to be negative, were transferred to Taylor’s own interpretation, which made use of Neoplatonist thinkers. For this reason, Taylor has typically been marginalised as an interpreter of Plato. This article does not deny the association between Taylor and Neoplatonism. Instead, it examines the historical and historiographical (...) reasons for the reviewer’s assumption that Neoplatonic readings of Plato are erroneous by definition. In particular, it argues that the reviewer relied on, and tacitly accepted, ethical and theological premises going back to the historiography of philosophy developed by Jacob Brucker in his Historia critica philosophiae . These premises were an integral part of Brucker’s Lutheran religiosity and thus theologically and ethically biased. If these premises are identified, articulated and discussed critically—which they have not been so far in connection with Taylor’s reception—it becomes less obvious that the reviewer was justified in his assumption that the Neoplatonic reading was erroneous by definition. This, in turn, leaves Taylor’s Plato interpretation in a more respectable position. (shrink)

In “Image, Evidence, Argument,” Ian Dove defends an intriguing ‘middle ground’ between those who argue that there are “visual arguments” and skeptics who argue that there are not. I discuss one of Dove’s key examples, proposing a different analysis of it, arguing that there are problems with the “verbal repackaging” of the argument he suggests.

A set X of nonnegative integers is computably enumerable (c.e.), also called recursively enumerable (r.e.), if there is a computable method to list its elements. Let ε denote the structure of the computably enumerable sets under inclusion, $\varepsilon = (\{W_e\}_{e\in \omega}, \subseteq)$ . We previously exhibited a first order ε-definable property Q(X) such that Q(X) guarantees that X is not Turing complete (i.e., does not code complete information about c.e. sets). Here we show first that Q(X) implies that X has (...) a certain "slowness" property whereby the elements must enter X slowly (under a certain precise complexity measure of speed of computation) even though X may have high information content. Second we prove that every X with this slowness property is computable in some member of any nontrivial orbit, namely for any noncomputable A ∈ ε there exists B in the orbit of A such that X ≤ T B under relative Turing computability (≤ T ). We produce B using the Δ 0 3 -automorphism method we introduced earlier. (shrink)

We applaud Boyer's attempt to ground the psychology of ownership partly in a cooperative logic. In this commentary, we propose to go further and ground the psychology of ownership solely in a cooperative logic. The predictions of bargaining theory, we argue, completely contradict the actual features of ownership intuitions. Ownership is only about the calculation of mutually beneficial, reciprocal contracts.

The present article discusses the computational tools (both conceptual and material) used in various attempts to deal with individual cases of FLT, as well as the changing historical contexts in which these tools were developed and used, and affected research. It also explores the changing conceptions about the role of computations within the overall disciplinary picture of number theory, how they influenced research on the theorem, and the kinds of general insights thus achieved. After an overview of Kummer’s contributions and (...) its immediate influence, I present work that favored intensive computations of particular cases of FLT as a legitimate, fruitful, and worth-pursuing number-theoretical endeavor, and that were part of a coherent and active, but essentially low-profile tradition within nineteenth century number theory. This work was related to table making activity that was encouraged by institutions and individuals whose motivations came mainly from applied mathematics, astronomy, and engineering, and seldom from number theory proper. A main section of the article is devoted to the fruitful collaboration between Harry S. Vandiver and Emma and Dick Lehmer. I show how their early work led to the hesitant introduction of electronic computers for research related with FLT. Their joint work became a milestone for computer-assisted activity in number theory at large. (shrink)