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)

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.

During the last decade, one source of debate in argumentation theory has been the notion that there are different modes of arguing that need to be distinguished when analyzing and evaluating arguments. Visual argument is often cited as a paradigm example. This paper discusses the ways in which it and modes of arguing that invoke non-verbal sounds, smells, tactile sensations, music and other non-verbal entities may be defined and conceptualized. Though some attempts to construct a ‘multimodal’ theory of argument are (...) criticized, it advocates for an argumentation theory that makes room for visual arguing and for other non-verbal modes that have not been explored in depth. In the process, the paper provides a method for identifying the structure of multimodal arguments and argues that adding modes to our theoretical tool box is an important step toward a comprehensive account of argument. (shrink)

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.

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)

"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)

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)

The idea that Western philosophy is a footnote to Plato is simplistic and inaccurate. Much of modern and contemporary epistemology owes a debt not so much to Platonism or Aristotelianism as to their antithesis: scepticism. Recent discussions in the history of philosophy have sparked a great deal of interest in the ancient sceptics, but until now they have been misunderstood and the significance of their philosophy not fully appreciated.

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.

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

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)

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.

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)

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.

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.

The prodigious development of argumentation theory over the last three decades has raised many issues that challenge some of the long held assumptions that characterize the traditional study of argument. One of these issues is the role of emotion in argument and argument analysis. While rhetoric has, with its emphasis on persuasion, always recognized that emotions play some role determining which arguments we accept and reject, a long tradition sees appeals to emotion as fallacies that violate the standards of rationality (...) and objectivity reason and argument require. (shrink)

This article discusses “auditory” arguments: arguments in which non-verbal sounds play a central role. It provides examples and explores the use of sounds in argument and argumentation. It argues that auditory arguments are not reducible to verbal arguments but have a similar structure and can be evaluated by extending standard informal logic accounts of good argument. I conclude that an understanding of auditory elements of argument can usefully expand the scope of informal logic and argumentation theory.

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)

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)

Drawing together eighteen contributions from leading international scholars, this book conceptualizes the history and theory of cinema's century-long relationship to modes of exploration in its many forms, from colonialist expeditions to decolonial radical cinemas to the perceptual voyage of the senses made possible by the cinematic apparatus. This is the first anthology dedicated to thinking cinema's relationship to exploration from a global, decolonial, and ecological perspective. Featuring leading scholars working with pathbreaking interdisciplinary methodologies (drawing upon insights from science and technology (...) studies, postcolonial theory, indigenous ways of knowing, and film theory and history), it theorizes cinema's implication in imperial conquest but also its cutting edge role in empirical expansion and experiments in sensual and critical perception. The collected essays consider filmmaking in cross-cultural contexts, consider films made in or about peoples in South America, Asia, Africa, indigenous North America, as well as polar, outer space, and underwater exploration, with famous figures such as Jacques Yves Cousteau are considered alongside amateur and scientific filmmakers. The essays in this collection are ideal for a broad range of scholars, graduate students, and advanced undergraduate students in Cinema and Media Studies, Cultural Studies, and cognate fields. (shrink)

The essays in this collection explore the idea that discursive norms-the norms governing our thought and talk-are profoundly social. Not only do these norms govern and structure our social interactions, but they are sustained by a variety of social and institutional structures. The chapters are divided into three thematic sections. The first offers historical perspectives on discursive norms, including a chapter by Robert Brandom on the way Hegel transformed Kant's normativist approach to representation by adding both a social and a (...) historicist dimension to it. Section II features four chapters that examine the sociality of normativity from within a broadly naturalistic framework. The third and final section focuses on the social dimension of linguistic phenomena such as online speech acts, oppressive speech, and assertions. The Social Institution of Discursive Norms will be of interest to scholars and advanced students working in philosophy of language, philosophy of mind, and social philosophy. (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.

Post in 1944 began studying properties of a computably enumerable set A such as simple, h-simple, and hh-simple, with the intent of finding a property guaranteeing incompleteness of A . From the observations of Post and Myhill , attention focused by the 1950s on properties definable in the inclusion ordering of c.e. subsets of ω, namely E = . In the 1950s and 1960s Tennenbaum, Martin, Yates, Sacks, Lachlan, Shoenfield and others produced a number of elegant results relating ∄-definable properties (...) of A , like maximal, hh-simple, atomless, to the information content of A . Harrington and Soare gave an answer to Post's program for definable properties by producing an ∄-definable property Q which guarantees that A is incomplete and noncomputable, but developed a new Δ 3 0 -automorphism method to prove certain other properties are not ∄-definable. In this paper we introduce new ∄-definable properties relating the ∄-structure of A to deg, which answer some open questions. In contrast to Q we exhibit here an ∄-definable property T which allows such a rapid flow of elements into A that A must be complete even though A may possess many other properties such as being promptly simple. We also present a related property NL which has a slower flow but fast enough to guarantee that A is not low, even though A may possess virtually all other related lowness properties and A may simultaneously be promptly simple. (shrink)

In the Statesman and Phaedrus Plato addresses the problem inherent to law of how a general rule can be applied appropriately to particular circumstances. Previous scholarship has shown the connection between these dialogues’ critiques of written law and writing, a similarity this paper argues extends to the comparison of writing to a pharmakon (‘drug’) in both dialogues. Furthermore, close textual analysis shows that the Stranger’s discussion of measure in the Statesman parallels Socrates’ concept of ‘logographic necessity’ in the Phaedrus according (...) to which the parts of a perfect writing cohere like limbs within an organism. Logographic necessity and measure raise the possibility of overcoming the weakness of writing and written law respectively. Ultimately, the Laws recapitulates these issues to reveal an insuperable gap between legal and philosophic writing. Envisioning the ideal of perfect law is, however, necessary to see how law falls short of what philosophy as Platonic dialogue achieves. (shrink)