Propositions, the abstract, truth-bearing contents of sentences and beliefs, continue to be the focus of healthy debates in philosophy of language and metaphysics. This article is a critical survey of work on propositions since the mid-90s, with an emphasis on newer work from the past decade. Topics to be covered include a substitution puzzle about propositional designators, two recent arguments against propositions, and two new theories about the nature of propositions.

The Yale Shooting Problem introduced by Steve Hanks & Drew McDermott (1987) is a well-known test case of non-monotonic temporal reasoning. There is a sequence of situations. In the initial situation a gun is not loaded and the target is alive. In the next situation the gun is loaded. Eventually, a shot is fired, perhaps with fatal consequences. In this scenario there are two "fluents", alive and loaded, and two actions, load and shoot. Being loaded and being alive are (...) inert propositions in the sense that if they are true at a given moment, they will be true at the next moment unless some action such as.. (shrink)

Machine generated contents note: Part I -- Doctors -- Dr. Joseph Messer -- Dr. Sharon Sandell -- ER -- Dr. John Barrett -- Marc and Noreen Levison, a paramedic and a nurse -- Lloyd (Pete) Haywood, a former gangbanger -- Claire Hellstern, a nurse -- Ed Reardon, a paramedic -- Law and Order -- Robert Soreghan, a homicide detective -- Delbert Lee Tibbs, a former death-row inmate -- War -- Dr. Frank Raila -- Haskell Wexler, a cinematographer -- Tammy Snider, (...) a Hiroshima survivor (hibakusha) -- Mothers and Sons -- V.I.M. (Victor Israel Marquez), a Vietnam vet -- Angelina Rossi, his mother -- Guadalupe Reyes, a mother -- God's Shepherds -- Rev. Willie T. Barrow -- Father Leonard Dubi -- Rabbi Robert Marx -- Pastor Tom Kok -- Rev. Ed Townley -- The Stranger -- Rick Rundle, a city sanitation worker -- Part II -- Seeing Things -- Randy Buescher, an associate architect -- Chaz Ebert, a lawyer -- Antoinette Korotko-Hatch, a church worker -- Karen Thompson, a student -- Dimitri Mihalas, an astronomer and physicist -- A View from the Bridge -- Hank Oettinger, a retired printer -- Ira Glass, a radio journalist -- Kid Pharaoh, a retired "collector" -- Quinn Brisben, a retired teacher -- Kurt Vonnegut, a writer -- The Boomer -- Bruce Bendinger, an advertising executive and writer -- Part III -- Fathers and Sons -- Doc Watson, a folksinger -- Vernon Jarrett, a journalist -- Country Women -- Peggy Terry, a retired mountain woman -- Bessie Jones, a Georgia Sea Island Singer (1972) -- Rosalie Sorrels, a traveling folksinger -- The Plague I -- Tico Valle, a young man -- Lori Cannon, "curator" of the Open Hand Society -- Brian Matthews, an ex-bartender, writer for a gay weekly -- Jewell Jenkins, a hospital aide -- Justin Hayford, a journalist, musician -- Matta Kelly, a case manager -- The Old Guy -- Jim Hapgood -- The Plague II -- Nancy Lanoue -- Out There -- Dr. Gary Slutkin -- Day of the Dead -- Carlos Cortez, a painter and poet -- Vine Deloria, a writer and teacher -- Helen Sclair, a cemetery familiar -- The Other Son -- Steve Young, a father -- Maurine Young, a mother -- The Job -- William Herdegen, an undertaker -- Rory Moina, a hospice nurse -- The End and the Beginning -- Mamie Mobley, a mother -- Dr. Marvin Jackson, a son -- Epilogue -- Kathy Fagan and Linda Gagnon, mothers. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

(2013). What are the primary bearers of truth? Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 558-574.

A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems, as well as numerous examples and exercises.

Quillen [17] introduced model categories as an abstract framework for homotopy theory which would apply to a wide range of mathematical settings. By all accounts this program has been a success and—as, e.g., the work of Voevodsky on the homotopy theory of schemes [15] or the work of Joyal [11, 12] and Lurie [13] on quasicategories seem to indicate—it will likely continue to facilitate mathematical advances. In this paper we present a novel connection between model categories and mathematical logic, inspired (...) by the groupoid model of (intensional) Martin–Löf type theory [14] due to Hofmann and Streicher [9]. In particular, we show that a form of Martin–Löf type theory can be soundly modelled in any model category. This result indicates moreover that any model category has an associated “internal language” which is itself a form of Martin-Löf type theory. This suggests applications both to type theory and to homotopy theory. Because Martin–Löf type theory is, in one form or another, the theoretical basis for many of the computer proof assistants currently in use, such as Coq and Agda (cf. [3] and [5]), this promise of applications is of a practical, as well as theoretical, nature. This paper provides a precise indication of this connection between homotopy theory and logic; a more detailed discussion of these and further results will be given in [20]. (shrink)

Nursing advocacy for patients is considered to be an essential component of nursing practice. This phenomenological qualitative pilot study explored registered nurses' lived experience of nursing advocacy with patients using a sample of three medical-surgical registered nurses. The guiding research questions were: (1) how do registered nurses practicing in the medical-surgical specialty area describe their experiences with nursing advocacy for their patients; and (2) what reflections on educational preparation for their professional roles do registered nurses identify as related to their (...) practices of nursing advocacy with their patients? Data analysis procedures were based on Moustakas' data analysis method, and Lincoln and Guba's criteria were applied for rigor. The emergent themes were: speaking out and speaking for patients; being compelled to act on unmet needs of patients; fulfillment and frustration; the patient is changed; primarily learned on the job; and confidence gained through practice. The findings increase the body of knowledge surrounding nursing advocacy as practiced by nurses. (shrink)

Despite Kant's belief in a universal causal determinism among phenomena and his rejection of any noumenal agency in brutes, he nevertheless rejected Descartes's hypothesis that brutes are machines. Explaining Kant's response to Descartes forms the basis for this discussion of the nature of consciousness and matter in Kant's system. Kant's numerous remarks on animal psychology-as found in his lecture notes and reflections on metaphysics and anthropology-suggest a theory of consciousness and self-consciousness at odds with that traditionally ascribed to him.

Moral judgments about an agent's behavior are enmeshed with inferences about the agent's mind. Folk psychology—the system that enables such inferences—therefore lies at the heart of moral judgment. We examine three related folk-psychological concepts that together shape people's judgments of blame: intentionality, choice, and free will. We discuss people's understanding and use of these concepts, address recent findings that challenge the autonomous role of these concepts in moral judgment, and conclude that choice is the fundamental concept of the three, defining (...) the core of folk psychology in moral judgment. (shrink)

of type theory has been used successfully to formalize large parts of constructive mathematics, such as the theory of generalized recursive definitions [NPS90, ML79]. Moreover, it is also employed extensively as a framework for the development of high-level programming languages, in virtue of its combination of expressive strength and desirable proof-theoretic properties [NPS90, Str91]. In addition to simple types A, B, . . . and their terms x : A b(x) : B, the theory also has dependent types x : (...) A B(x), which are regarded as indexed families of types. There are simple type forming operations A × B and A → B, as well as operations on dependent types, including in particular the sum x:A B(x) and product x:A B(x) types (see the appendix for details). The Curry-Howard interpretation of the operations A × B and A → B is as propositional conjunction and.. (shrink)

The thesis of this work is that in both modern Japanese philosophy and American pragmatism there has been a paradigm shift from a monological concept of self as an isolated "I" to a dialogical concept of the social self as an "I-Thou relation," including a communication model of self as individual-society interaction. It is also shown for both traditions all aesthetic, moral, and religious values are a function of the social self arising through communicative interaction between the individual and society. (...) However, at the same time this work critically examines major ideological conflicts arising between the social self theories of modern Japanese philosophy and American pragmatism with respect to such problems as individualism versus collectivism, freedom versus determinism, liberalism versus communitarianism, and relativism versus objectivism. (shrink)

In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown to provide models of the aforementioned set theories. Finally, models of these theories are constructed in the category of (...) ideals. (shrink)

Extant models of moral judgment assume that an action’s intentionality precedes assignments of blame. Knobe (2003b) challenged this fundamental order and proposed instead that the badness or blameworthiness of an action directs (and thus unduly biases) people’s intentionality judgments. His and other researchers’ studies suggested that blameworthy actions are considered intentional even when the agent lacks skill (e.g., killing somebody with a lucky shot) whereas equivalent neutral actions are not (e.g., luckily hitting a bull’s-eye). The present five studies offer an (...) alternative account of these provocative findings. We suggest that people see the morally significant action examined in previous studies (killing) as accomplished by a basic action (pressing the trigger) for which an unskilled agent still has sufficient skill. Studies 1 through 3 show that when this basic action is performed unskillfully or is absent, people are far less likely to view the killing as intentional, demonstrating that intentionality judgments, even about immoral actions, are guided by skill information. Studies 4 and 5 further show that a neutral action such as hitting the bull’s-eye is more difficult than killing and that difficult actions are less often judged intentional. When difficulty is held constant, people’s intentionality judgments are fully responsive to skill information regardless of moral valence. The present studies thus speak against the hypothesis of a moral evaluation bias in intentionality judgments and instead document people’s sensitivity to subtle features of human action. (shrink)

This is a draft of the introduction to a forthcoming volume that brings together all of J. G. Herder's student notes from Immanuel Kant's lectures. It is intended as a volume in Kant's gesammelte Schriften (de Gruyter). These are the earliest notes (1762-64) we have from Kant's lectures (which span from 1755 to 1796) and the only notes before his professorship began in 1770. Included are improved transcriptions of Herder's notes on metaphysics, moral philosophy, logic, physics, and mathematics, and the (...) first transcription of his notes from Kant’s physical geography lectures. (shrink)

We show how to interpret the language of first-order set theory in an elementary topos endowed with, as extra structure, a directed structural system of inclusions (dssi). As our main result, we obtain a complete axiomatization of the intuitionistic set theory validated by all such interpretations. Since every elementary topos is equivalent to one carrying a dssi, we thus obtain a first-order set theory whose associated categories of sets are exactly the elementary toposes. In addition, we show that the full (...) axiom of Separation is validated whenever the dssi is superdirected. This gives a uniform explanation for the known facts that cocomplete and realizability toposes provide models for Intuitionistic Zermelo—Fraenkel set theory (IZF). (shrink)

© The Author 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] of the best arguments in Trenton Merricks’s book Propositions – and there are many excellent arguments to choose from – occurs near the end, where he argues that if it is primitive that propositions represent things as being various ways then we should reject the view that propositions are structured and have constituents. As Merricks shows, combining these (...) views leads to an inexplicable coincidence between what a proposition represents and its constituents. Suppose that it is a primitive and unanalysable fact that the proposition that p represents Russell as being a philosopher. Suppose also that p has Russell and the property of being a philosopher as constituents. What is the relationship between these two facts? The latter cannot explain the... (shrink)

As McKinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to algebras with operators to give topological semantics for propositional modal logic, in which the “necessity” operation is modeled by taking the interior of an arbitrary subset of a topological space. In this article, the topological interpretation is extended in a natural way to arbitrary theories of full first-order logic. The resulting system of S4 first-order modal logic is complete with respect to such topological semantics.

We define the notion of a model of higher-order modal logic in an arbitrary elementary topos E. In contrast to the well-known interpretation of higher-order logic, the type of propositions is not interpreted by the subobject classifier ΩE, but rather by a suitable complete Heyting algebra H. The canonical map relating H and ΩE both serves to interpret equality and provides a modal operator on H in the form of a comonad. Examples of such structures arise from surjective geometric morphisms (...) f : F → E, where H = f∗ΩF. The logic differs from non-modal higher-order logic in that the principles of functional and propositional extensionality are not longer valid but may be replaced by modalized versions. The usual Kripke, neighborhood, and sheaf semantics for propositional and first-order modal logic are subsumed by this notion. (shrink)

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

This book represents emerging alternative perspectives to the "constructivist" orthodoxy that currently dominates the field of science and technology studies. Various contributions from distinguished Americans and Europeans in the field, provide arguments and evidence that it is not enough simply to say that science is "socially situated." Controversial Science focuses on important political, ethical, and broadly normative considerations that have yet to be given their due, but which point to a more realistic and critical perspective on science policy.

All too often when philosophers talk and write about sentences they have in mind only indicative sentences, that is, sentences that are true or false and that are normally used in the performance of assertions. When interrogative sentences are mentioned at all it is usually either in the form of a gesture toward some extension of the account of indicatives or an acknowledgment of the limitations of such an account. For example, in the final two sentences of his influential paper (...) “Truth and Meaning” (1967) Donald Davidson remarks. (shrink)

Artistic Detachment in Japan and the West takes up the notion of artistic detachment, or psychic distance, as an intercultural motif for East-West comparative aesthetics. The work begins with an overview of aesthetic theory in the West from the eighteenth-century empiricists to contemporary aesthetics and concludes with a survey of various critiques of psychic distance. Throughout, the author takes a highly innovative approach by juxtaposing Western aesthetic theory against Eastern aesthetic theory. Weaving between cultures and time periods, the author focuses (...) on a remarkably wide range of theories: in the West, the Kantian notion of disinterested contemplation, Heidegger's Gelassenheit, semiotics, and pragmatism; in Japan, Zeami's notion of riken no ken, the Kyoto School's intepretation of nothingness, D. T. Suzuki's analysis of the function of no-mind, and the writings of Kuki Shuzo on Buddhist detachment. "Portrait of the artist" fiction by such writers as Henry James, James Joyce, Mori Ogai, and Natsume Soseki demonstrates how the main theme of detachment is expressed in literary traditions. The role of sympathy or pragmatism in relation to disinterest is examined, suggesting conflicts within or challenges to the notion of detachment. Researchers and students in Eastern and Western areas of study, including philosophers and religionists, as well as literary and cultural critics, will deem this work an invaluable contribution to cross-cultural philosophy and literary studies. (shrink)

This work is a step toward the development of a logic for types and computation that includes not only the usual spaces of mathematics and constructions, but also spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes that we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we first study axiomatically, and then by deriving a modal calculus as its internal logic. The resulting (...) framework is intended as a setting for the logical and categorical study of relative computability. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...) the way. (shrink)

Abbreviations Works by Alfred North Whitehead 1) Adventures of Ideas. New York: Macmillan Co., 1967 AI 2) Concept of Nature. Cambridge: Cambridge University Press, 1971 CN 3) Modes of Thought. New York: Macmillan Co., 1968 MT 4) Process ..

The relationship between being and consciousness has been characterised as one of alienation , reification , instrumentalization , and 'one dimensionalization' . More recently Jurgen Habermas has described the 'colonization of the lifeworld'. Each of these theorists argues that social and political philosophy has two primary tasks. First, a political philosophy should construct a model of how we might best structure our social and political situation so as to maximize freedom and self-determination. Second, a political philosophy should provide an analysis (...) of presently existing conditions. The gap between the model and the actually existing reality provides the space for social and political criticism, as well as social and political struggle. In his account of 'the colonization of the lifeworld', Habermas attempts to explain the relation between being and consciousness in terms of his theory of communicative action and to locate possible points of social and political crisis in advanced capitalist society. ;In this dissertation I trace theories of the relationship between being and consciousness from Marx through Lukacs and the Frankfurt School to Habermas' recent work The Theory of Communicative Action. I argue that in terms of his stated goal of providing a critical social theory with practical intent Habermas has been only partially successful. I present an account of Habermas' theory and claim it is potentially more politically efficacious than post-structuralist theories, though only if his theory is attentive to the concerns of those same post-structuralist theories. After arguing that at a certain level of abstraction Habermas is right in his account of our present situation, I conclude that he falls short of his goal in so far as his theory fails to take adequate account of many actually existing struggles for political self-determination, and many hypotheses for alternative social organization which do not agree with his assumptions about validity and consensus. (shrink)