Results for 'Steve Kellmeyer'

960 found
Order:
  1.  30
    Embryo Adoption.Steve Kellmeyer - 2007 - The National Catholic Bioethics Quarterly 7 (2):263-270.
  2. Morals, reason, and animals.Steve F. Sapontzis - 1987 - Philadelphia: Temple University Press.
    This book criticizes the common belief that we are entitled to exploit animals for our benefit because they are not as rational as people. After discussing the moral (in)significance of reason in general, the author proceeds to develop a clear, commonsensical conception of what "animal rights" is about and why everyday morality points toward the liberation of animals as the next logical step in Western moral progress. The book evaluates criticisms of animal rights that have appeared in recent philosophical literature (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   108 citations  
  3. Structuralism, Invariance, and Univalence.Steve Awodey - 2014 - Philosophia Mathematica 22 (1):1-11.
    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 (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  4. An answer to Hellman's question: ‘Does category theory provide a framework for mathematical structuralism?’.Steve Awodey - 2004 - Philosophia Mathematica 12 (1):54-64.
    An affirmative answer is given to the question quoted in the title.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   64 citations  
  5.  40
    Category Theory.Steve Awodey - 2006 - Oxford, England: Oxford University Press.
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  6.  21
    "To carve nature at its joints": On the existence of discrete classes in personality.Steve Gangestad & Mark Snyder - 1985 - Psychological Review 92 (3):317-349.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   57 citations  
  7. Homotopy theoretic models of identity types.Steve Awodey & Michael Warren - 2009 - Mathematical Proceedings of the Cambridge Philosophical Society 146:45–55.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  8. First-order logical duality.Steve Awodey - 2013 - Annals of Pure and Applied Logic 164 (3):319-348.
    From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categories of syntax and semantics, mediated by homming into a common dualizing object, in this (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9.  23
    A brief history of analytic philosophy: from Russell to Rawls.Steve Schwartz - 2012 - Chichester: Wiley-Blackwell.
    A Brief History of Analytic Philosophy: From Russell to Rawls presents a comprehensive overview of the historical development of all major aspects of analytic philosophy, the dominant Anglo-American philosophical tradition in the twentieth century. Features coverage of all the major subject areas and figures in analytic philosophy - including Wittgenstein, Bertrand Russell, G.E. Moore, Gottlob Frege, Carnap, Quine, Davidson, Kripke, Putnam, and many others Contains explanatory background material to help make clear technical philosophical concepts Includes listings of suggested further readings (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  10.  63
    Being There with Thomas Kuhn: A Parable for Postmodern Times.Steve Fuller - 1992 - History and Theory 31 (3):241-275.
    Although The Structure of Scientific Revolutions is one of the most influential books of this century, its author, Thomas Kuhn, is notorious for disavowing most of the consequences wrought by his text. Insofar as these consequences have appeared "radical" or "antipositivist," this article argues that they are very misleading, and that Kuhn's complaints are therefore well placed. Indeed, Kuhn unwittingly succeeded where Daniel Bell's The End of Ideology tried and failed, namely, to alleviate the anxieties of alienated academics and defensive (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  11.  88
    Completeness and categoricty, part II: 20th century metalogic to 21st century semantics.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):77-92.
    This paper is the second 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 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  12.  38
    Sonic Warfare: Sound, Affect, and the Ecology of Fear.Steve Goodman - 2009 - MIT Press.
    An exploration of the production, transmission, and mutation of affective tonality—when sound helps produce a bad vibe.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  13. Type Theory and Homotopy.Steve Awodey - 2012 - In Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm, Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Dordrecht, Netherland: Springer. pp. 183-201.
    The purpose of this informal survey article is to introduce the reader to a new and surprising connection between Logic, Geometry, and Algebra which has recently come to light in the form of an interpretation of the constructive type theory of Per Martin-Löf into homotopy theory and higher-dimensional category theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  14. A brief introduction to algebraic set theory.Steve Awodey - 2008 - Bulletin of Symbolic Logic 14 (3):281-298.
    This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  15.  62
    The Normative Turn: Counterfactuals and a Philosophical Historiography of Science.Steve Fuller - 2008 - Isis 99 (3):576-584.
    Counterfactual reasoning is broadly implicated in causal claims made by historians. However, this point is more generally recognized and accepted by economic historians than historians of science. A good site for examining alternative appeals to counterfactuals is to consider "what if" the Scientific Revolution had not occurred in seventeenth-century Europe. Two alternative interpretations are analyzed: that the revolution would eventually have happened somewhere else or that the revolution would not have happened at all. Broadly speaking, these two interpretations correspond to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  16. From Wittgenstein's prison to the boundless ocean : Carnap's dream of logical syntax.Steve Awodey & A. W. Carus - 2009 - In Pierre Wagner, Carnap's Logical syntax of language. New York: Palgrave-Macmillan.
  17.  41
    Predicative Algebraic Set Theory.Steve Awodey & Michael A. Warren - unknown
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  18. Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
    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.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19. Relating first-order set theories, toposes and categories of classes.Steve Awodey, Carsten Butz, Alex Simpson & Thomas Streicher - 2014 - Annals of Pure and Applied Logic 165 (2):428-502.
  20. Relating first-order set theories and elementary toposes.Steve Awodey, Carsten Butz & Alex Simpson - 2007 - Bulletin of Symbolic Logic 13 (3):340-358.
    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 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  21.  80
    “‘Ought’ does imply ‘can’“.Steve F. Sapontzis - 1991 - Southern Journal of Philosophy 29 (3):382-393.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  22. Gödel and Carnap.Steve Awodey & A. W. Carus - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson, Kurt Gödel: essays for his centennial. Ithaca, NY: Association for Symbolic Logic.
  23.  36
    Moral judgment as information processing: an integrative review.Steve Guglielmo - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  24.  77
    Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  25.  22
    Naturalized epistemology sublimated: rapprochement without the ruts.Steve Fuller - 1991 - Studies in History and Philosophy of Science Part A 22 (2):277-293.
  26.  17
    Predation.Steve Sapontzis - 2011 - Ethics and Animals 5 (2).
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  67
    Moral Community and Animal Rights.Steve F. Sapontzis - 1985 - American Philosophical Quarterly 22 (3):251 - 257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  44
    Algebraic Models of Intuitionistic Theories of Sets and Classes.Steve Awodey & Henrik Forssell - unknown
    This paper constructs models of intuitionistic set theory in suitable categories. First, a Basic Intuitionistic Set Theory (BIST) is stated, and the categorical semantics are given. Second, we give a notion of an ideal over a category, using which one can build a model of BIST in which a given topos occurs as the sets. And third, a sheaf model is given of a Basic Intuitionistic Class Theory conservatively extending BIST. The paper extends the results in [2] by introducing a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  29. Epistemology radically naturalized-recovering the normative, the experimental, and the social.Steve Fuller - 1992 - Minnesota Studies in the Philosophy of Science 15:427-459.
  30.  53
    DSM-5 and the rise of the diagnostic checklist.Steve Pearce - 2014 - Journal of Medical Ethics 40 (8):515-516.
    The development and publication of Diagnostic and Statistical Manual of Mental Disorders, fifth edition produced a peak in mainstream media interest in psychiatry, and a large and generally critical set of scientific commentaries. The coverage has focused mainly on the expansion of some categories, and loosening of some criteria, which together may lead to more people receiving diagnoses, and accompanying accusations of the medicalisation of normal living. Instructions given to members of DSM-5 work groups appear to have encouraged this.1 This (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  58
    Consumer Social Responsibility?Steve Tammelleo & Louis G. Lombardi - 2014 - Business and Professional Ethics Journal 33 (1):99-126.
    We develop a vision of consumer responsibility in purchasing decisions in light of the Coalition of Immokalee Workers’ boycotts. These boycotts succeeded in convincing large fast food companies and national supermarket chains to pay tomato growers a penny more per pound, to improve working conditions and wages for pickers. The C.I.W. efforts to generate consumer support eschewed claims associated with rule-based obligations in favor of appeals more typically associated with virtue and caring ethics. The strategies encouraged consumers to understand the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  12
    Perspectives: Rediscovering the Contexts of Discovery and Justification of Scientific Knowledge.Richard A. Deitrich & Steve Fuller - 1996 - Bulletin of Science, Technology and Society 16 (4):167-170.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  21
    Sheaf Representations and Duality in Logic.Steve Awodey - 2021 - In Claudia Casadio & Philip J. Scott, Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 39-57.
    The fundamental duality theories relating algebra and geometry that were discovered in the mid-twentieth century can also be applied to logic via its algebraization under categorical logic. They thereby result in known and new completeness theorems. This idea can be taken even further via what is sometimes called “categorification” to establish a new connection between logic and geometry, a glimpse of which can also be had in topos theory.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. Completeness and categoricity, part I: 19th century axiomatics to 20th century metalogic.Steve Awodey & Erich H. Reck - unknown
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  35.  35
    Relativism and Post-Truth in Contemporary Society: Possibilities and Challenges.Mikael Stenmark, Steve Fuller & Ulf Zackariasson (eds.) - 2018 - Cham: Springer Verlag.
    This book approaches post-truth and relativism in a multidisciplinary fashion. Researchers from astrophysics, philosophy, psychology, media studies, religious studies, anthropology, social epistemology and sociology discuss and analyse the impact of relativism and post-truth both within the academy and in society at large. The motivation for this multidisciplinary approach is that relativism and post-truth are multifaceted phenomena with complex histories that have played out differently in different areas of society and different academic disciplines. There is hence a multitude of ways in (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Mortgaging the farm to save the (sacred) cow.Steve Fuller - 1994 - Studies in History and Philosophy of Science Part A 25 (2):251-262.
  37.  22
    Bakhtin e Cassirer: o evento e a máquina.Steve G. Lofts - 2016 - Bakhtiniana 11 (1):77-98.
    ABSTRACT The influence of Cassirer's work on Bakhtin's writings from the 1930s has been studied in some detail but scholars have not examined Bakhtin's early work, Toward a Philosophy of the Act (K filosofii postupka), in connection with Cassirer's philosophy. The article first reveals how attuned Bakhtin was with the intellectual Zeitgeist not only of his own times, but also that of the 20th century. The uncanny intellectual harmony between the ideas of Bakhtin and Cassirer can be seen at the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  24
    Setting the Boundaries for Families in Distress.Gloriossa Rajendran & Steve Abbarow - 2002 - Transformation: An International Journal of Holistic Mission Studies 19 (1):58-63.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  25
    Syntactic processing and Mismatch Negativity.Caslick-Waller Zeb & Provost Steve - 2014 - Frontiers in Human Neuroscience 8.
  40. Goffman's version of reality.Steve Crook & Laurie Taylor - 1980 - In Jason Ditton, The View from Goffman. New York: St. Martin's Press. pp. 233--251.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  41. We should not allow dissection of animals.Steve F. Sapontzis - 1995 - Journal of Agricultural and Environmental Ethics 8 (2):181-189.
    This essay argues against routine dissection exercises on animals under three headings. First, attaining goals of general scientific education does not require dissection. The training of specialists, in whose vocations dissection skills are essential, could then be accomplished without killing animals specifically for the purpose of acquiring those skills. Second, killing and dissecting animals for unnecessary exercises teaches students bad attitudes toward animal life. Third, moral principles cannot justify killing and dissecting animals but not humans; consequently, such treatment of animals (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Explicating "analytic".Steve Awodey - 2012 - In Pierre Wagner, Carnap's ideal of explication and naturalism. New York, NY: Palgrave-Macmillan.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  43. Memorializing its Hero: Liberal Manchesters Statue of Oliver Cromwell.Steve Cunniffe & Terry Wyke - 2012 - Bulletin of the John Rylands Library 89 (1):179-206.
    Oliver Cromwells historical reputation underwent significant change during the nineteenth century. Writers such as Thomas Carlyle were prominent in this reassessment, creating a Cromwell that found particular support among Nonconformists in the north of England. Projects to memorialize Cromwell included the raising of public statues. This article traces the history of the Manchester statue, the first major outdoor statue of Cromwell to be unveiled in the country. The project originated among Manchester radical Liberal Nonconformists in the early 1860s but was (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  59
    Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
    Image factorizations in regular categories are stable under pullbacks, so they model a natural modal operator in dependent type theory. This unary type constructor [A] has turned up previously in a syntactic form as a way of erasing computational content, and formalizing a notion of proof irrelevance. Indeed, semantically, the notion of a support is sometimes used as surrogate proposition asserting inhabitation of an indexed family. We give rules for bracket types in dependent type theory and provide complete semantics using (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45.  51
    A Critique of the "Kenosis / Sunyata" Motif in Nishida and the Kyoto School.Steve Odin - 1989 - Buddhist-Christian Studies 9:71.
  46.  65
    A cubical model of homotopy type theory.Steve Awodey - 2018 - Annals of Pure and Applied Logic 169 (12):1270-1294.
  47.  12
    COP1 and HY5 interact to mediate light‐induced gene expression.Carol R. Andersson & Steve A. Kay - 1998 - Bioessays 20 (6):445-448.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  36
    From our side: emerging perspectives on development and ethics.Steve De Gruchy, Nico Koopman & S. Strijbos (eds.) - 2008 - South Africa: UNISA Press.
    Throughout the text, the reader is reminded of the contribution of the Christian faith to matters of development and ethics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  16
    Heeding Grammar and Language-games: Continuing Conversations with Wittgenstein and Roth.Sam Gardner & Steve Alsop - 2020 - Outlines. Critical Practice Studies 21 (1):34-48.
    This paper continues a conversation about Wittgenstein’s picture of language and meaning and its potential applications for educational theorising. It takes the form of a response to Wolff-Michael Roth’s earlier paper “Heeding Wittgenstein on “understanding” and “meaning”: A pragmatist and concrete human psychological approach in/for education,” in which Roth problematizes the use of the terms “understanding” and “meaning” in education discourse and proposes their abandonment. Whilst we agree with Roth about a series of central points, at the same time we (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  19
    Development of a Tool to Enhance Midwifery Decision-Making.Anna Smyth, Steve Provost & Elaine Jefford - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 960