Results for 'Stephen L. Bloom'

(not author) ( search as author name )
1000+ found
Order:
  1.  58
    Some theorems on structural consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (1):1 - 9.
    Two characterizations are given of those structural consequence operations on a propositional language which can be defined via proofs from a finite number of polynomial rules.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  2.  82
    Semantics for the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.
  3.  44
    A completeness theorem for “theories of kind W”.Stephen L. Bloom - 1971 - Studia Logica 27 (1):43-55.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  8
    A note on the arithmetical hierarchy.Stephen L. Bloom - 1968 - Notre Dame Journal of Formal Logic 9 (1):89-91.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  5.  10
    A semi-completeness theorem.Stephen L. Bloom - 1969 - Notre Dame Journal of Formal Logic 10 (3):303-308.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  34
    A representation theorem for the lattice of standard consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (3):235 - 237.
  8.  20
    Projective and inductive generation of abstract logics.Stephen L. Bloom - 1976 - Studia Logica 35 (3):249 - 255.
    An abstract logic A, C consists of a finitary algebraA and a closure systemC onA. C induces two other closure systems onA, C P andC I, by projective and inductive generation respectively. The various relations amongC, C P andC I are determined. The special case thatC is the standard equational closure system on monadic terms is studied in detail. The behavior of Boolean logics with respect to projective and inductive generation is determined.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  27
    A note on the logic of signed equations.Stephen L. Bloom - 1982 - Studia Logica 41 (1):75 - 81.
    A signed -equation is an expression of the form t t or t t, where t and t are -terms (for some ranked set ). We characterize those classes of -algebras which are models of a set of signed -equations. Further we consider the problem of finding a complete deductive system analogous to equational logic for the logical consequence operation restricted to signed equations.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  10.  3
    A note on the predicatively definable sets of N. N. Nepeîvoda.Stephen L. Bloom - 1975 - Mathematical Logic Quarterly 21 (1):427-431.
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  12
    Errata: Investigations into the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1976 - Notre Dame Journal of Formal Logic 17 (4):640-640.
  12.  29
    On “Generalized logics”.Stephen L. Bloom - 1974 - Studia Logica 33 (1):65-68.
  13.  18
    Roman Suszko: A reminiscence.Stephen L. Bloom - 1984 - Studia Logica 43 (4):313 -.
  14.  34
    Semantyka dla rachunku zdań Z identycznością.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):82-82.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  4
    Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
  16.  21
    Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  5
    The Hyperprojective Hierarchy.Stephen L. Bloom - 1970 - Mathematical Logic Quarterly 16 (2):149-164.
  18.  25
    Ultraproducts of SCI Models.Stephen L. Bloom & Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (1):9-12.
  19.  65
    Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
  20.  26
    Ryszard Wójcicki. Theory of logical calculi. Basis theory of consequence operations. Synthese library, vol. 199. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1988, xviii + 473 pp. [REVIEW]Stephen L. Bloom - 1990 - Journal of Symbolic Logic 55 (3):1324-1326.
  21.  38
    Norman M. Martin and Stephen Pollard. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp. [REVIEW]Stephen L. Bloom - 1997 - Journal of Symbolic Logic 62 (2):685-686.
  22.  24
    Review: Norman M. Martin, Stephen Pollard, Closure Spaces and Logic. [REVIEW]Stephen L. Bloom - 1997 - Journal of Symbolic Logic 62 (2):685-686.
  23.  25
    J. Richard Büchi. Finite automata, their algebras and grammars. Towards a theory of formal expressions. Edited by Dirk Siefkes. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1989, xii + 316 pp. [REVIEW]Stephen L. Bloom - 1991 - Journal of Symbolic Logic 56 (2):762-763.
  24.  15
    Review: J. Richard Buchi, Dirk Siefkes, Finite Automata, their Algebras and Grammars. Towards a Theory of Formal Expressions. [REVIEW]Stephen L. Bloom - 1991 - Journal of Symbolic Logic 56 (2):762-763.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  33
    Modern moral philosophy: from Grotius to Kant.Stephen L. Darwall - 2023 - New York, NY, USA: Cambridge University Press.
    Elizabeth Anscombe famously argued that "modern moral philosophy" centrally involved unsupported notions of obligation and culpability. Modern Moral Philosophy: From Grotius to Kant exhibits, for the first time, resources that modern moral philosophers had to respond to Anscombe's challenge, also enhancing our own philosophical grasp of morality and its foundations.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Creations of the Mind: Theories of Artifacts and Their Representaion.Eric Margolis & Stephen Laurence (eds.) - 2007 - New York: Oxford University Press.
    Creations of the Mind presents sixteen original essays by theorists from a wide variety of disciplines who have a shared interest in the nature of artifacts and their implications for the human mind. All the papers are written specially for this volume, and they cover a broad range of topics concerned with the metaphysics of artifacts, our concepts of artifacts and the categories that they represent, the emergence of an understanding of artifacts in infants' cognitive development, as well as the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  27. How to Learn the Natural Numbers: Inductive Inference and the Acquisition of Number Concepts.Eric Margolis & Stephen Laurence - 2008 - Cognition 106 (2):924-939.
    Theories of number concepts often suppose that the natural numbers are acquired as children learn to count and as they draw an induction based on their interpretation of the first few count words. In a bold critique of this general approach, Rips, Asmuth, Bloomfield [Rips, L., Asmuth, J. & Bloomfield, A.. Giving the boot to the bootstrap: How not to learn the natural numbers. Cognition, 101, B51–B60.] argue that such an inductive inference is consistent with a representational system that clearly (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  28. A Defense of Transcendental Arguments.Stephen L. White - 2022 - In Stephen Cade Hetherington & David Macarthur (eds.), Living Skepticism. Essays in Epistemology and Beyond. Boston: Brill.
     
    Export citation  
     
    Bookmark  
  29.  4
    The philosophy of Saint Thomas Aquinas: a sketch.Stephen L. Brock - 2015 - Eugene, Oregon: Cascade Books.
    If Saint Thomas Aquinas was a great theologian, it is in no small part because he was a great philosopher. And he was a great philosopher because he was a great metaphysician. In the twentieth century, metaphysics was not much in vogue, among either theologians or even philosophers; but now it is making a comeback, and once the contours of Thomas's metaphysical vision are glimpsed, it looks like anything but a museum piece. It only needs some dusting off. Many are (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Societies against cruelty in the United States.Stephen L. Zawistowski - 2013 - In Andrew Linzey & Desmond Tutu (eds.), The global guide to animal protection. Urbana, Illinois: University of Illinois Press.
     
    Export citation  
     
    Bookmark  
  31. The Second Person Standpoint: Morality, Respect, and Accountability.Stephen L. Darwall - 1996 - Cambridge, Mass.: Harvard University Press.
    The result is nothing less than a fundamental reorientation of moral theory that enables it at last to account for morality's supreme authority--an account that ...
    Direct download  
     
    Export citation  
     
    Bookmark   573 citations  
  32. Why decoherence has not solved the measurement problem: a response to P.W. Anderson.Stephen L. Adler - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (1):135-142.
  33.  28
    Why decoherence has not solved the measurement problem: a response to P.W. Anderson.Stephen L. Adler - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (1):135-142.
  34. Impartial reason.Stephen L. Darwall - 1983 - Ithaca N.Y.: Cornell University Press.
  35. Two kinds of respect.Stephen L. Darwall - 1977 - Ethics 88 (1):36-49.
    S. 39: "My project in this paper is to develop the initial distinction which I have drawn between recognition and appraisal respect into a more detailed and specific account of each. These accounts will not merely be of intrinsic interest. Ultimately I will use them to illuminate the puzzles with which this paper began and to understand the idea of self-respect." 42 " Thus, insofar as respect within such a pursuit will depend on an appraisal of the participant from the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   484 citations  
  36.  3
    Destroying Sanctuary: The Crisis in Human Service Delivery Systems.Sandra L. Bloom & Brian Farragher - 2010 - Oxford University Press USA.
    For the last thirty years, the nation's mental health and social service systems have been under relentless assault, with dramatically rising costs and the fragmentation of service delivery rendering them incapable of ensuring the safety, security, and recovery of their clients. The resulting organizational trauma both mirrors and magnifies the trauma-related problems their clients seek relief from. Just as the lives of people exposed to chronic trauma and abuse become organized around the traumatic experience, so too have our social service (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Impartial Reason.Stephen L. Darwall - 1983 - Ethics 96 (3):604-619.
     
    Export citation  
     
    Bookmark   236 citations  
  38.  22
    Harm to Others.Stephen L. Darwall - 1987 - Philosophy and Phenomenological Research 47 (4):691-694.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   65 citations  
  39.  40
    Do children think that duplicating the body also duplicates the mind?Bruce Hood, Nathalia L. Gjersoe & Paul Bloom - 2012 - Cognition 125 (3):466-474.
  40. The Unity of the Self.Stephen L. White - 1991 - Cambridge: MIT Press.
    In these essays Stephen White examines the forms of psychological integration that give rise to self-knowable and self-conscious individuals who are responsible, concerned for the future, and capable of moral commitment. The essays cover a wide range of basic issues in philosophy of mind, metaphysics, moral psychology, and political philosophy, providing a coherent, sophisticated, and forcefully argued view of the nature of the self. Beginning with mental content and ending with Rawls and utilitarianism, each essay argues a distinctive line. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  41.  16
    Partial character and the language of thought.Stephen L. White - 1982 - Pacific Philosophical Quarterly 63 (4):347-65.
  42.  96
    Moral discourse and practice: some philosophical approaches.Stephen L. Darwall (ed.) - 1997 - New York: Oxford University Press.
    What are ethical judgments about? And what is their relation to practice? How can ethical judgment aspire to objectivity? The past two decades have witnessed a resurgence of interest in metaethics, placing questions such as these about the nature and status of ethical judgment at the very center of contemporary moral philosophy. Moral Discourse and Practice: Some Philosophical Approaches is a unique anthology which collects important recent work, much of which is not easily available elsewhere, on core metaethical issues. Reinvigorated (...)
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  43.  15
    What is it like to be an homunculus?Stephen L. White - 1987 - Pacific Philosophical Quarterly 68 (June):148-74.
  44. Curse of the qualia.Stephen L. White - 1986 - Synthese 68 (August):333-68.
    In this paper I distinguish three alternatives to the functionalist account of qualitative states such as pain. The physicalist-functionalist holds that (1) there could be subjects functionally equivalent to us whose mental states differed in their qualitative character from ours, (2) there could be subjects functionally equivalent to us whose mental states lacked qualitative character altogether and (3) there could not be subjects like us in all objective respects whose qualitative states differed from ours. The physicalist-functionalist holds (1) and (3) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   40 citations  
  45.  49
    Property dualism, phenomenal concepts, and the semantic premise.Stephen L. White - 2006 - In Torin Andrew Alter & Sven Walter (eds.), Phenomenal Concepts and Phenomenal Knowledge: New Essays on Consciousness and Physicalism. Oxford University Press. pp. 210-248.
    This chapter defends the property dualism argument. The term “semantic premise” mentioned is used to refers to an assumption identified by Brian Loar that antiphysicalist arguments, such as the property dualism argument, tacitly assume that a statement of property identity that links conceptually independent concepts is true only if at least one concept picks out the property it refers to by connoting a contingent property of that property. It is argued that, the property that does the work in explaining the (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  46. The British Moralists and the Internal 'Ought': 1640–1740.Stephen L. Darwall - 1995 - New York: Cambridge University Press.
    This book is a major work in the history of ethics, and provides the first study of early modern British philosophy in several decades. Professor Darwall discerns two distinct traditions feeding into the moral philosophy of the seventeenth and eighteenth centuries. On the one hand, there is the empirical, naturalist tradition, comprising Hobbes, Locke, Cumberland, Hutcheson, and Hume, which argues that obligation is the practical force that empirical discoveries acquire in the process of deliberation. On the other hand, there is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  47. The Old Testament: its Background, Growth, and Content.Stephen L. McKenzie & John Kaltner - 2007
    No categories
     
    Export citation  
     
    Bookmark  
  48. Metapsychological Relativism and the Self.Stephen L. White - 1989 - Journal of Philosophy 86 (6):298-323.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  49.  11
    Connecting the Dots: Mott for Emulsions, Collapse Models, Colored Noise, Frame Dependence of Measurements, Evasion of the “Free Will Theorem”.Stephen L. Adler - 2018 - Foundations of Physics 48 (11):1557-1567.
    We review the argument that latent image formation is a measurement in which the state vector collapses, requiring an enhanced noise parameter in objective reduction models. Tentative observation of a residual noise at this level, plus several experimental bounds, imply that the noise must be colored, and hence frame dependent and non-relativistic. Thus a relativistic objective reduction model, even if achievable in principle, would be incompatible with experiment; the best one can do is the non-relativistic CSL model. This negative conclusion (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Nonadiabatic geometric phase in quaternionic Hilbert space.Stephen L. Adler & Jeeva Anandan - 1996 - Foundations of Physics 26 (12):1579-1589.
    We develop the theory of the nonadiabatic geometric phase, in both the Abelian and non-Abelian cases, in quaternionic Hilbert space.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000