Results for 'Stephen L. Bloom'

(not author) ( search as author name )
1000+ found
Order:
  1.  65
    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.  45
    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   8 citations  
  3.  82
    Semantics for the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1971 - Studia Logica 28 (1):77 - 82.
  4.  34
    A representation theorem for the lattice of standard consequence operations.Stephen L. Bloom - 1975 - Studia Logica 34 (3):235 - 237.
  5.  21
    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  
  6.  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  
  7.  4
    Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
  8.  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  
  9.  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  
  10.  29
    On “Generalized logics”.Stephen L. Bloom - 1974 - Studia Logica 33 (1):65-68.
  11.  18
    Roman Suszko: A reminiscence.Stephen L. Bloom - 1984 - Studia Logica 43 (4):313 -.
  12.  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  
  13.  5
    The Hyperprojective Hierarchy.Stephen L. Bloom - 1970 - Mathematical Logic Quarterly 16 (2):149-164.
  14.  13
    Errata: Investigations into the sentential calculus with identity.Stephen L. Bloom & Roman Suszko - 1976 - Notre Dame Journal of Formal Logic 17 (4):640-640.
  15.  25
    Ultraproducts of SCI Models.Stephen L. Bloom & Roman Suszko - 1975 - Bulletin of the Section of Logic 4 (1):9-12.
  16.  27
    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.
  17.  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  
  18.  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  
  19.  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  
  20.  67
    Investigations into the sentential calculus with identity.Roman Suszko & Stephen L. Bloom - 1972 - Notre Dame Journal of Formal Logic 13 (3):289-308.
  21.  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  
  22.  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.
  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.  24
    Review: Norman M. Martin, Stephen Pollard, Closure Spaces and Logic. [REVIEW]Stephen L. Bloom - 1997 - Journal of Symbolic Logic 62 (2):685-686.
  25. 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 (...)
  26. Philosophical Ethics: An Historical And Contemporary Introduction.Stephen L. Darwall - 1997 - Westview Press.
    Why is ethics part of philosophy? Stephen Darwall's Philosophical Ethics introduces students to ethics from a distinctively philosophical perspective, one that weaves together central ethical questions such as "What has value?" and "What are our moral obligations?" with fundamental philosophical issues such as "What is value?" and "What can a moral obligation consist in?"With one eye on contemporary discussions and another on classical texts,Philosophical Ethics shows how Hobbes, Mill, Kant, Aristotle, and Nietzsche all did ethical philosophy how, for example, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   28 citations  
  27. 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  
  28. 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   494 citations  
  29. 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  
  30.  50
    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   22 citations  
  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   574 citations  
  32. Impartial reason.Stephen L. Darwall - 1983 - Ithaca N.Y.: Cornell University Press.
  33. 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.  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.
  35. Impartial Reason.Stephen L. Darwall - 1983 - Ethics 96 (3):604-619.
     
    Export citation  
     
    Bookmark   238 citations  
  36. 21. Self-Deception and Responsibility for the Self.Stephen L. White - 1988 - In Brian P. McLaughlin & Amélie Oksenberg Rorty (eds.), Perspectives on Self-Deception. University of California Press. pp. 450-484.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Internalism and agency.Stephen L. Darwall - 1992 - Philosophical Perspectives 6:155-174.
    have come in for increasing attention and controversy. A good example would be recent debates about moral realism where question of the relation between ethics (or ethical judgment) and the will has come to loom large.' Unfortunately, however, the range of positions labelled internalist in ethical writing is bewilderingly large, and only infrequently are important distinctions kept clear.2 Sometimes writers have in mind the view that sincere assent to a moral (or, more generally, an ethical) judgment concerning what one should (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  38.  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  
  39.  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  
  40. Abolishing morality.Stephen L. Darwall - 1987 - Synthese 72 (1):71 - 89.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  41. Synaptic Perturbation and Consciousness.Stephen L. Thaler - 2014 - International Journal of Machine Consciousness 6 (2):75-107.
    By allowing one artificial neural network to govern the synaptic noise injected into another based upon its appraisal of patterns nucleating from such disturbances, a contemplative form of artifici...
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  38
    Reason and Value.Stephen L. Darwall & E. J. Bond - 1985 - Philosophical Review 94 (2):286.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   45 citations  
  43.  28
    Hobbes and the Social Contract Tradition.Stephen L. Darwall & Jean Hampton - 1989 - Philosophical Review 98 (3):401.
  44. A Defense of Transcendental Arguments.Stephen L. White - 2022 - In Stephen Hetherington & David Macarthur (eds.), Living Skepticism. Essays in Epistemology and Beyond. Boston: BRILL.
     
    Export citation  
     
    Bookmark  
  45. Phenomenology and the normativity of practical reason.Stephen L. White - 2010 - In Mario De Caro & David Macarthur (eds.), Naturalism and Normativity. Cambridge University Press. pp. 205-228.
     
    Export citation  
     
    Bookmark   1 citation  
  46.  44
    Motive and Obligation in the British Moralists*: STEPHEN L. DARWALL.Stephen L. Darwall - 1989 - Social Philosophy and Policy 7 (1):133-150.
    My aim in what follows is to sketch with a broad brush fundamental changes involving the concept of obligation in British ethics of the early modern period, as it developed in the direction of the view that obligatory force is a species of motivational force – an idea that deeply informs present thought. I shall also suggest, although I can hardly demonstrate it conclusively here, that one important source for this view was a doctrine which we associate with Kant, and (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  43
    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  
  48. Virtue Ethics.Stephen L. Darwall (ed.) - 2002 - Malden, MA: Wiley-Blackwell.
    _ Virtue Ethics_ collects, for the first time, the main classical sources and the central contemporary expressions of virtue ethics approach to normative ethical theory. Edited and introduced by Stephen Darwall, these readings are essential for anyone interested in normative theory. Introduced by Stephen Darwall, this collection brings together classic and contemporary readings which define and advance the literature on virtue ethics. Includes six essays which respond to the classic sources. Includes a contemporary discussion on character and virtue (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Consequentialism.Stephen L. Darwall (ed.) - 2003 - Malden, MA: Blackwell.
    Consequentialism collects, for the first time, both the main classical sources and the central contemporary expressions of this important position. Edited and introduced by Stephen Darwall, these readings are essential for anyone interested in normative ethics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  50.  15
    Free Will.Stephen L. Darwall & John Thorp - 1980 - Philosophical Review 92 (4):627.
1 — 50 / 1000