them. Though Aristotle does not say so, presumably the questioner who conceals in this way must be prepared, when challenged, to show that the conclusion...

In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-L f. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, (...) with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples. (shrink)

Disputes between those holding differing political views are ubiquitous and deep-seated, and they often follow common, recognizable lines. The supporters of tradition and stability, sometimes referred to as conservatives, do battle with the supporters of innovation and reform, sometimes referred to as liberals. Understanding the correlates of those distinct political orientations is probably a prerequisite for managing political disputes, which are a source of social conflict that can lead to frustration and even bloodshed. A rapidly growing body of empirical evidence (...) documents a multitude of ways in which liberals and conservatives differ from each other in purviews of life with little direct connection to politics, from tastes in art to desire for closure and from disgust sensitivity to the tendency to pursue new information, but the central theme of the differences is a matter of debate. In this article, we argue that one organizing element of the many differences between liberals and conservatives is the nature of their physiological and psychological responses to features of the environment that are negative. Compared with liberals, conservatives tend to register greater physiological responses to such stimuli and also to devote more psychological resources to them. Operating from this point of departure, we suggest approaches for refining understanding of the broad relationship between political views and response to the negative. We conclude with a discussion of normative implications, stressing that identifying differences across ideological groups is not tantamount to declaring one ideology superior to another. (shrink)

By transcendental aesthetic, Kant means “the science of all principles of a priori sensibility” (A 21/B 35). These, he argues, are the laws that properly direct our judgments of taste (B 35 – 36 fn.), i.e. our aesthetic judgments as we ordinarily understand that notion in the context of contemporary art. Thus the first part of the Critique of Pure Reason, entitled the Transcendental Aesthetic, enumerates the necessary presuppositions of, among other things, our ability to make empirical judgments about particular (...) works of art. These presuppositions are sensible rather than intellectual because on Kant’s view, all intellection that considers objects of any kind, whether abstract or concrete, must at base connect to actual, material objects with which we come into direct contact; and this we can do only through sensibility (A 19/B 33). Thus the following discussion explores what Kant claims must be true of us in order to make the sorts of aesthetic judgments we make, rather than any particular class or quality of aesthetic judgments itself. On Kant’s view, what must be true of us in order to make aesthetic judgments is not different from what must be true of us in order to make any other kind of judgment about empirical objects. (shrink)

Twentieth century philosophers introduced the distinction between “objective rightness” and “subjective rightness” to achieve two primary goals. The first goal is to reduce the paradoxical tension between our judgments of what is best for an agent to do in light of the actual circumstances in which she acts and what is wisest for her to do in light of her mistaken or uncertain beliefs about her circumstances. The second goal is to provide moral guidance to an agent who may be (...) uncertain about the circumstances in which she acts, and hence is unable to use her standard moral principle directly in deciding what to do. This paper distinguishes two important senses of “moral guidance”; proposes criteria of adequacy for accounts of subjective rightness; canvasses existing definitions for “subjective rightness”; finds them all deficient; and proposes a new and more successful account. It argues that each comprehensive moral theory must include multiple principles of subjective rightness to address the epistemic situations of the full range of moral decision-makers, and shows that accounts of subjective rightness formulated in terms of what it would reasonable for the agent to believe cannot provide that guidance. (shrink)

In their article ’Is Pregnancy a Disease? A Normative Approach’, Anna Smajdor and Joona Räsänen contend that, on several of the most prominent accounts of disease, pregnancy should be considered a disease. More specifically, of the five accounts they discuss, each renders pregnancy a disease or suffers serious conceptual problems otherwise. They take issue specifically with the dysfunction account of disease and argue that it suffers several theoretical difficulties. In this response, we focus on defending the dysfunction account against their (...) main objections and show why a version of the dysfunction account is viable on account of the indispensability of normativity in biology and medicine. After disarming their main objections to the dysfunction account, we briefly respond to their treatment of the normality of pregnancy and then draw a distinction between adverse symptoms and underlying causes to show why even though pregnancy may have ’disease-like’ features, it is not a disease. (shrink)

In this article I argue that evolutionary psychological strategies for making inferences about present-day human psychology are methodologically unsound. Evolutionary psychology is committed to the view that the mind has an architecture that has been conserved since the Pleistocene, and that our psychology can be fruitfully understood in terms of the original, fitness-enhancing functions of these conserved psychological mechanisms. But for evolutionary psychological explanations to succeed, practitioners must be able to show that contemporary cognitive mechanisms correspond to those that were (...) selected for in the environment of evolutionary adaptedness, that these present-day cognitive mechanisms are descended from the corresponding ancestral mechanisms, and that they have retained the functions of the ancestral mechanisms from which they are descended. I refer to the problem of demonstrating that these conditions obtain as “the matching problem,” argue that evolutionary psychology does not have the resources to address it, and conclude that evolutionary psychology, as it is currently understood, is therefore impossible. (shrink)

In this multi-faceted volume, Christian and other religiously committed theorists find themselves at an uneasy point in history—between premodernity, modernity, and postmodernity—where disciplines and methods, cultural and linguistic traditions, and religious commitments tangle and cross. Here, leading theorists explore the state of the art of the contemporary hermeneutical terrain. As they address the work of Gadamer, Ricoeur, and Derrida, the essays collected in this wide-ranging work engage key themes in philosophical hermeneutics, hermeneutics and religion, hermeneutics and the other arts, hermeneutics (...) and literature, and hermeneutics and ethics. Readers will find lively exchanges and reflections that meet the intellectual and philosophical challenges posed by hermeneutics at the crossroads. Contributors are Bruce Ellis Benson, Christina Bieber Lake, John D. Caputo, Eduardo J. Echeverria, Benne Faber, Norman Lillegard, Roger Lundin, Brian McCrea, James K. A. Smith, Michael VanderWeele, Kevin Vanhoozer, and Nicholas Wolterstorff. (shrink)

There are two paradoxes of satisfaction, and they are of different kinds. The classic satisfaction paradox is a version of Grelling’s: does ‘does not satisfy itself’ satisfy itself? The Unsatisfied paradox finds a predicate, P, such that Px if and only if x does not satisfy that predicate: paradox results for any x. The two are intuitively different as their predicates have different paradoxical extensions. Analysis reduces each paradoxical argument to differing rule sets, wherein their respective pathologies lie. Having different (...) pathologies, they are paradoxes of different kinds. Furthermore, each of these satisfaction paradoxes has an analogue with the same pathology in set theory. Therefore, these analogues are respectively of the same two kinds. This level of abstraction is significant in that it tracks two related but different pathologies. Thus, not all paradoxes of semantics and set theory share the same pathology: there are at least two kinds of paradox cutting across the semantic and set-theoretic distinction. (shrink)

COVID-19 often manifests with different outcomes in different patients, highlighting the complexity of the host-pathogen interactions involved in manifestations of the disease at the molecular and cellular levels. In this paper, we propose a set of postulates and a framework for systematically understanding complex molecular host-pathogen interaction networks. Specifically, we first propose four host-pathogen interaction (HPI) postulates as the basis for understanding molecular and cellular host-pathogen interactions and their relations to disease outcomes. These four postulates cover the evolutionary dispositions involved (...) in HPIs, the dynamic nature of HPI outcomes, roles that HPI components may occupy leading to such outcomes, and HPI checkpoints that are critical for specific disease outcomes. Based on these postulates, an HPI Postulate and Ontology (HPIPO) framework is proposed to apply interoperable ontologies to systematically model and represent various granular details and knowledge within the scope of the HPI postulates, in a way that will support AI-ready data standardization, sharing, integration, and analysis. As a demonstration, the HPI postulates and the HPIPO framework were applied to study COVID-19 with the Coronavirus Infectious Disease Ontology (CIDO), leading to a novel approach to rational design of drug/vaccine cocktails aimed at interrupting processes occurring at critical host-coronavirus interaction checkpoints. Furthermore, the host-coronavirus protein-protein interactions (PPIs) relevant to COVID-19 were predicted and evaluated based on prior knowledge of curated PPIs and domain-domain interactions, and how such studies can be further explored with the HPI postulates and the HPIPO framework is discussed. (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)

It seems that the Truth-teller is either true or false, but there is no accepted principle determining which it is. From this point of view, the Truth-teller is a hypodox. A hypodox is a conundrum like a paradox, but consistent. Sometimes, accepting an additional principle will convert a hypodox into a paradox. Conversely, in some cases, retracting or restricting a principle will convert a paradox to a hypodox. This last point suggests a new method of avoiding inconsistency. This article provides (...) a significant example. The Liar paradox can be defused to a hypodox by relatively minimally restricting three principles: the T-schema, substitution of identicals and universal instantiation. These restrictions are not arbitrary. For each, I identify the source of a contradiction given some presumptions. Then I propose each restriction as a reasonable way to deal with that source of contradiction. (shrink)

Smith begins by noting the isomorphism between the rational transition to a psychological state from others and the derivation of a concluding proposition from premises in the deductive theoretical realm, and he argues that this isomorphism led Hume to think that the rationality of the psychological transition is to be explained by the deductive validity of the derivation. Generalizing, Smith argues, Hume concluded that the concept of a reason—that is, the concept of a consideration that justifies—must be prior (...) to and explain the concept of rationality. The fact that there is no such isomorphism in the practical and inductive realms is therefore, Smith suggests, what led Hume to his inductive and practical skepticism. Pace Hume, however, Smith argues that we need not agree that the concept of a reason is prior to the concept of rationality: we have an independent idea of the coherence of a set of psychological states and this is sufficient to provide us with an account of what it is for beliefs and desires to be justified. But it remains an open question whether the Kantians are right that practical coherence can be extended as far as yielding justified desires to do as morality bids. (shrink)

Political Imaginaries in Question Content Type Journal Article Pages 5-11 Authors Suzi Adams, School of Social and Policy Studies, Flinders University, Adelaide, Australia Jeremy C. A. Smith, School of Education and Arts, University of Ballarat, Victoria, Australia Ingerid S. Straume, University of Oslo Library, University of Oslo, Norway Journal Critical Horizons: A Journal of Philosophy & Social Theory Online ISSN 1568-5160 Print ISSN 1440-9917 Journal Volume Volume 13 Journal Issue Volume 13, Number 1 / 2012.

Some things are living and some are not. Under the heading “living things” come entities at various levels of biological organization. Some are called “organisms.” However, the term “organism” does not pick out organismal entities uniformly—that is, among all the things that are considered to be whole living systems, some are regarded as indisputably organisms, and others are accorded only qualified organismic status. Perhaps this is because it is not clear why some biological systems should count as organisms and others (...) should not. (shrink)

Despite the frivolous note implied in the popular expression, ‘The Greeks had a word for it’, the literal truth is that they did! Time and again we find reflected in the terminology developed by these ancient seekers after wisdom, an attention to important distinctions and a faithfulness to the details of actual experience which are truly remarkable. The Greek thinkers had, as every classical scholar and student of Greek philosophy knows, a finely developed philosophical language, one sensitive no less to (...) the unusual, pregnant experience than to the familiar details of ordinary life. (shrink)

Positive psychology is an approach to psychology that focuses on the utilization of strengths, positive emotions, well-being, and personal growth to help individuals thrive, flourish, and achieve optimal functioning. The following case study highlights how positive psychology theories and techniques, specifically strengths-development and gratitude interventions, were implemented into a sport psychology intervention by a trainee sport and exercise psychologist. It is hoped that other practitioners may find the case study a useful insight into how they may be able to incorporate (...) positive psychology into their practice. (shrink)

Used by more than one million students around the world since its original publication, this introductory philosophy text makes accessible a wide range of philosophical issues closely related to everyday life. Emphasizing personal and immediate questions, the authors approach introductory philosophy through basic human questions rather than focusing on methodology or the history of thought. The text presents vital questions of contemporary interest in an overall framework of enduring concepts, interweaving coverage of various topics in art, history, and education. It (...) covers a variety of types of philosophy in depth, and both western and eastern perspectives are represented. Ideal for students who have no background in philosophy, Living Issues in Philosophy, 9/e simplifies technical language wherever possible; unfamiliar terms are clearly defined upon first appearance and in the end-of-chapter glossaries. Additional pedagogical features include exercises, chapter summaries, and annotated bibliographies at the end of every chapter. The text also features photo biographies of major philosophers and short excerpts from philosophical classics. (shrink)

There is a need recognized by the National Institute of Dental & Craniofacial Research and the National Cancer Institute to advance basic, translational and clinical saliva research. The goal of the Salivaomics Knowledge Base (SKB) is to create a data management system and web resource constructed to support human salivaomics research. To maximize the utility of the SKB for retrieval, integration and analysis of data, we have developed the Saliva Ontology and SDxMart. This article reviews the informatics advances in saliva (...) diagnostics made possible by the Saliva Ontology and SDxMart. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell’s hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, ‘xor’ extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above mentioned principles, (...) the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell’s hypodox does not rely on Comprehension. Yet I relate Russell’s paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell’s hypodox for solutions to Russell’s paradox. (shrink)

Original essays by philosophers of language and philosophers of time exploring the semantics and metaphysics of tense.

The following interview of Mark William Westmoreland with Anthony Paul Smith–well-known scholar and translator of François Laruelle –considers both implications and extensions of Laruelle's non-philosophy for contemporary thought. Smith has helped bring about a surge of interest in Laruelle due to his many translations of his texts as well as being the author or co-editor of several books on Laruelle. Discussed are in particular the difficulties and joys of translating and the usefulness of Laruelle's thought for Smith's (...) own work, especially in environmental and animal studies. Also considered are some themes of non-philosophy, the adaptability of Laruelle's thought for various disciplines, as well as new paths for Laruelle studies –new, unforeseen landscapes and uses of non-philosophy –that explore social phenomena such as race, racism, sexism, victim a.o. (shrink)

In the paper, which pretends to be a program manifesto, its authors justify a necessity of the new theoretical approach to culture which they call a “strong program” in sociology of culture. While the existing sociological approaches to culture bear a reductionist character, the “strong program” treats culture in terms of its autonomy. After a general review of the sociological conceptions of culture authors analyze the most significant approaches within the “weak program.” In the core section of the paper they (...) discuss the required steps that will make a “strong program” possible on the grounds of synthesis of structuralism and hermeneutics. (shrink)

Intuitionism is most commonly defined in terms of various strong epistemological and metaphysical presuppositions, e.g., that true moral principles are synthetic a priori propositions, known by some special faculty of moral reflection, and the like. I shall not here be concerned with such views. Rather my focus will be upon the program for normative investigation which I have elsewhere argued is implicit in the intuitionists’ writings and which I take to be intuitionism's salient characteristic.

The Expression of Emotion collects cutting-edge essays on emotional expression written by leading philosophers, psychologists, and legal theorists. It highlights areas of interdisciplinary research interest, including facial expression, expressive action, and the role of both normativity and context in emotion perception. Whilst philosophical discussion of emotional expression has addressed the nature of expression and its relation to action theory, psychological work on the topic has focused on the specific mechanisms underpinning different facial expressions and their recognition. Further, work in both (...) legal and political theory has had much to say about the normative role of emotional expressions, but would benefit from greater engagement with both psychological and philosophical research. In combining philosophical, psychological, and legal work on emotional expression, the present volume brings these distinct approaches into a productive conversation. (shrink)

A critical appraisal of Chiara Bottici’s influential work on imaginal politics, this collection uses this rich theoretical framework for incisive analysis, within critical theory and political philosophy, psychoanalysis and sociology.

Offering a field-defining survey of the topic, this is the first book to engage all the key figures in the social imaginaries field. It offers new perspectives on the productive tension between social imaginaries and the creative imagination, providing the first programmatic approach to the field as a whole.

This book offers geographical perspectives on the condition of the United States at the outset of the twenty-first century. It compares the American ideals of liberty, equality, individual opportunity, and social improvement with the contemporary condition of the regions, states and localities - the ideal American space with its reality as a place. It uses the public standard provided by the official ideology of the United States to see how well things are really going. The authors consider the contrast between (...) ideal and reality at local, state, and national levels in education, health, and welfare, in community, race, gender, and class relations, in economic and industrial development, and in the use and exploitation of America's landscape. Each chapter addresses the issues through evidence of long-term and recent trends, and grounds its arguments in information. American Space/American Place provides a series of compelling insights into the current condition of American society, its natural environment, and its place within the world. (shrink)

In Powers of Horror,1 the psychoanalyst Julia Kristeva presented the first explicit, elaborated theory of ‘abjection,’ which she defines as the casting off of that which is not of one’s “clean and proper”2 self. According to Kristeva, abjection is a demarcating impulse which establishes the basis of all object relations, and is operative in the Lacanian narrative of subject formation in early childhood via object differentiation. Abjection continues to operate post-Oedipally to prevent the dissolution of the subject by repressing identification (...) with that which is other, and particularly that which is only tenuously other: the abject. Though Kristeva’s theory is braided into problematic Freudian premises, this essay will argue that abjection remains operative independent of the Oedipal model. (shrink)

This unique book brings together international scholars from around the globe to examine how different feminist theories are being used in early childhood research, policy and pedagogy. The array of feminist discourses captured by the authors offer contextualised possibilities for disrupting dominant patriarchal beliefs and producing change. The authors address and challenge how early childhood experiences, institutions and practices produce gendered effects across and within diverse contexts and demonstrate how feminism(s) in action can be used to reconceptualise research methods, government (...) policy, children's learning, teaching practice and educational resources. In this way, the book contributes to creating new knowledge connections and community alliances in the global effort to end gender-based inequalities across local and global communities. (shrink)

Some time in the 1950’s I was invited to address a meeting of the English Institute which took place at Columbia University and, while I have but a dim recollection of the topic, a point came up in the discussion which I still remember very well and it bears very closely on the subject of this essay. I had said something in my opening remarks about how technical recent philosophy had become and what a formidable language was growing up around (...) it. In the audience was Marjorie Hope Nicholson, the distinguished literary scholar and author of, among others, that delightful book about science and literature, Newton Demands the Muse. She took the occasion to tell us that in her student days she could read and profit from philosophical works—Locke, Bergson, James—and went on to say that in her opinion any intelligent person could read these authors and others without having, as we would now say, “majored” in philosophy. She added, however, that she found herself no longer able to read with much comprehension the writing of the philosophers of the time because of the remoteness of the issues from concrete experience and the esoteric language in which they were presented. What Nicholson was perceiving, perhaps without knowing the background, was the about-face in philosophy that was taking place at the time. Largely in response to the charge that philosophy, unlike science, was making no “progress,” many philosophers decided to limit philosophy to areas—logic, semantics, semiotics—in which it was believed that progress was possible. One result was the abandoning of all the undeniably vague and stubborn issues—God, the self, freedom and determinism, values and facts and the like —that resist solutions of a scientific sort. Unfortunately for philosophers, these are the matters that interest everyone most. (shrink)

No one acquainted with the odyssey of Hegel’s thought in America can fail to take note of the progress that has been made over the past twenty-five years in the study and interpretation of his writings. New texts, new translations, and, above all, penetrating commentaries, have led to a better and more accurate understanding of Hegel’s philosophy and at the same time have served to overcome prejudices, a priori opinions about what he must have said, and plain errors in construing (...) his basic ideas. Much of the work that has made this progress possible has been done by members of the Hegel Society and contributors to The Owl. (shrink)