Order:
Disambiguations
Sarah Buss [35]Samuel R. Buss [33]Sam Buss [22]S. Buss [6]
Samuel Buss [3]S. . . R. Buss [2]Stephanie S. Buss [1]S. R. Buss [1]
  1. Personal autonomy.Sarah Buss - 2008 - Stanford Encyclopedia of Philosophy.
    To be autonomous is to be a law to oneself; autonomous agents are self-governing agents. Most of us want to be autonomous because we want to be accountable for what we do, and because it seems that if we are not the ones calling the shots, then we cannot be accountable. More importantly, perhaps, the value of autonomy is tied to the value of self-integration. We don't want to be alien to, or at war with, ourselves; and it seems that (...)
    Direct download  
     
    Export citation  
     
    Bookmark   57 citations  
  2. Appearing respectful: The moral significance of manners.Sarah Buss - 1999 - Ethics 109 (4):795-826.
  3. Autonomous Action: Self-Determination in the Passive Mode.Sarah Buss - 2012 - Ethics 122 (4):647-691.
    In order to be a self-governing agent, a person must govern the process by means of which she acquires the intention to act as she does. But what does governing this process require? The standard compatibilist answers to this question all assume that autonomous actions differ from nonautonomous actions insofar as they are a more perfect expression of the agent’s agency. I challenge this conception of autonomous agents as super agents. The distinguishing feature of autonomous agents is, I argue, the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  4.  39
    Handbook of Proof Theory.Samuel R. Buss (ed.) - 1998 - Elsevier.
    This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  5. Valuing autonomy and respecting persons: Manipulation, seduction, and the basis of moral constraints.Sarah Buss - 2005 - Ethics 115 (2):195-235.
  6. Respect for persons.Sarah Buss - 1999 - Canadian Journal of Philosophy 29 (4):517-550.
    We believe we owe one another respect. We believe we ought to pay what we owe by treating one another ‘with respect.’ If we could understand these beliefs we would be well on the way to understanding morality itself. If we could justify these beliefs we could vindicate a central part of our moral experience.Respect comes in many varieties. We respect some people for their upright character, others for their exceptional achievements. There are people we respect as forces of nature: (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  7.  44
    Morality and the Emotions.Sarah Buss - 1994 - Philosophical Review 103 (4):726.
  8. Contours of Agency: Essays on Themes From Harry Frankfurt.Sarah Buss & Lee Overton (eds.) - 2002 - MIT Press, Bradford Books.
    The original essays in this book address Harry Frankfurt's influential writing on personal identity, love, value, moral responsibility, and the freedom and ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  9. Chapter 1: An introduction to proof theory & Chapter 2: Firstorder proof theory of arithmetic.S. Buss - 1998 - In Samuel R. Buss (ed.), Handbook of Proof Theory. Elsevier.
     
    Export citation  
     
    Bookmark   31 citations  
  10.  22
    Polynomial size proofs of the propositional pigeonhole principle.Samuel R. Buss - 1987 - Journal of Symbolic Logic 52 (4):916-927.
    Cook and Reckhow defined a propositional formulation of the pigeonhole principle. This paper shows that there are Frege proofs of this propositional pigeonhole principle of polynomial size. This together with a result of Haken gives another proof of Urquhart's theorem that Frege systems have an exponential speedup over resolution. We also discuss connections to provability in theories of bounded arithmetic.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   31 citations  
  11. Weakness of will.Sarah Buss - 1997 - Pacific Philosophical Quarterly 78 (1):13–44.
    My chief aim is to explain how someone can act freely against her own best judgment. But I also have a second aim: to defend a conception of practical rationality according to which someone cannot do something freely if she believes it would be better to do something else. These aims may appear incompatible. But I argue that practical reason has the capacity to undermine itself in such a way that it produces reasons for behaving irrationally. Weakness of will is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  12. What practical reasoning must be if we act for our own reasons.Sarah Buss - 1999 - Australasian Journal of Philosophy 77 (4):399 – 421.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  13.  25
    Practical Induction.Sarah Buss - 1999 - Philosophical Review 108 (4):571.
    I wish more books of philosophy were like this one. It is elegantly written. It is filled with provocative claims and ingenious arguments. It is a really good read, even while it forces us to rethink many of our assumptions about practical reason and practical reasoning, morality and agency.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  14. Autonomy Reconsidered.Sarah Buss - 1994 - Midwest Studies in Philosophy 19 (1):95-121.
  15. Needs , Projects , and Reasons.Sarah Buss - 2006 - Journal of Philosophy 103 (8):373-402.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  16.  18
    Intuitionistic validity in T-normal Kripke structures.Samuel R. Buss - 1993 - Annals of Pure and Applied Logic 59 (3):159-173.
    Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  17.  60
    On gödel's theorems on lengths of proofs I: Number of lines and speedup for arithmetics.Samuel R. Buss - 1994 - Journal of Symbolic Logic 59 (3):737-756.
    This paper discusses lower bounds for proof length, especially as measured by number of steps (inferences). We give the first publicly known proof of Gödel's claim that there is superrecursive (in fact. unbounded) proof speedup of (i + 1)st-order arithmetic over ith-order arithmetic, where arithmetic is formalized in Hilbert-style calculi with + and · as function symbols or with the language of PRA. The same results are established for any weakly schematic formalization of higher-order logic: this allows all tautologies as (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  18. Justified wrongdoing.Sarah Buss - 1997 - Noûs 31 (3):337-369.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  19. 10. Nicholas Rescher, Objectivity: The Obligations of Impersonal Reason Nicholas Rescher, Objectivity: The Obligations of Impersonal Reason (pp. 917-919). [REVIEW]Tamar Schapiro, A. John Simmons, Seana Valentine Shiffrin, Sarah Buss, Julia Driver, G. F. Schueler, James Montmarquet, Mark van Roojen & Samantha Brennan - 1999 - Ethics 109 (4).
  20.  7
    Relating the bounded arithmetic and polynomial time hierarchies.Samuel R. Buss - 1995 - Annals of Pure and Applied Logic 75 (1-2):67-77.
    The bounded arithmetic theory S2 is finitely axiomatized if and only if the polynomial hierarchy provably collapses. If T2i equals S2i + 1 then T2i is equal to S2 and proves that the polynomial time hierarchy collapses to ∑i + 3p, and, in fact, to the Boolean hierarchy over ∑i + 2p and to ∑i + 1p/poly.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  21.  22
    Personal ideals and the ideal of rational agency.Sarah Buss - forthcoming - Philosophy and Phenomenological Research.
    All of us have personal ideals. We are committed to being good (enough) friends, parents, neighbors, teachers, citizens, human beings, and more. In this paper, I examine the thick and thin aspects of these ideals: (i) their substance (to internalize an ideal is to endorse a particular way of being) and (ii) their accountability to reason (to internalize an ideal is to assume that this is really a good way to be). In considering how these two aspects interact in the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  28
    Personal ideals and the ideal of rational agency 1.Sarah Buss - forthcoming - Philosophy and Phenomenological Research.
    All of us have personal ideals. We are committed to being good (enough) friends, parents, neighbors, teachers, citizens, human beings, and more. In this paper, I examine the thick and thin aspects of these ideals: (i) their substance (to internalize an ideal is to endorse a particular way of being) and (ii) their accountability to reason (to internalize an ideal is to assume that this is really a good way to be). In considering how these two aspects interact in the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  21
    Fragments of approximate counting.Samuel R. Buss, Leszek Aleksander Kołodziejczyk & Neil Thapen - 2014 - Journal of Symbolic Logic 79 (2):496-525.
    We study the long-standing open problem of giving$\forall {\rm{\Sigma }}_1^b$separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jeřábek’s theories for approximate counting and their subtheories. We show that the$\forall {\rm{\Sigma }}_1^b$Herbrandized ordering principle is unprovable in a fragment of bounded arithmetic that includes the injective weak pigeonhole principle for polynomial time functions, and also in a fragment that includes the surjective weak pigeonhole (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  33
    Polynomial local search in the polynomial hierarchy and witnessing in fragments of bounded arithmetic.Arnold Beckmann & Samuel R. Buss - 2009 - Journal of Mathematical Logic 9 (1):103-138.
    The complexity class of [Formula: see text]-polynomial local search problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the [Formula: see text]-definable functions of [Formula: see text] are characterized in terms of [Formula: see text]-PLS problems. These [Formula: see text]-PLS problems can be defined in a weak base theory such as [Formula: see text], and proved to be total in [Formula: see text]. Furthermore, the [Formula: (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  25.  42
    The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
    The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  26. The Value of Humanity.Sarah Buss - 2012 - Journal of Philosophy 109 (5-6):341-377.
  27.  62
    Experiments In Vivo, In Vitro, and In Cathedra.Sarah Buss - 2014 - Ethics 124 (4):860-881.
    In the context of a largely exploratory inquiry, I warn against oversimplifying the relationships among intuitions, emotions, principle-governed reasoning, and responsiveness to reasons. I point out that one cannot determine the normative status of some fact without determining whether a case can be made for this status. But I also note that, though reason is thus autonomous, every episode of reasoning depends causally on the way things nonnormatively are, and this makes it possible for any reasoner to challenge even her (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  24
    Unprovability of consistency statements in fragments of bounded arithmetic.Samuel R. Buss & Aleksandar Ignjatović - 1995 - Annals of Pure and Applied Logic 74 (3):221-244.
    Samuel R. Buss and Aleksandar Ignjatović. Unprovability of Consistency Statements in Fragments of Bounded Arithmetic.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  29.  15
    Propositional consistency proofs.Samuel R. Buss - 1991 - Annals of Pure and Applied Logic 52 (1-2):3-29.
    Partial consistency statements can be expressed as polynomial-size propositional formulas. Frege proof systems have polynomial-size partial self-consistency proofs. Frege proof systems have polynomial-size proofs of partial consistency of extended Frege proof systems if and only if Frege proof systems polynomially simulate extended Frege proof systems. We give a new proof of Reckhow's theorem that any two Frege proof systems p-simulate each other. The proofs depend on polynomial size propositional formulas defining the truth of propositional formulas. These are already known to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  30. 10. Chandran Kukathas, The Liberal Archipelago: A Theory of Diversity and Freedom Chandran Kukathas, The Liberal Archipelago: A Theory of Diversity and Freedom (pp. 422-427). [REVIEW]Sarah Buss, Angela M. Smith, Sophia R. Moreau, Maria Merritt, Ruth Chang & Cass R. Sunstein - 2005 - Ethics 115 (2).
  31.  43
    The modal logic of pure provability.Samuel R. Buss - 1990 - Notre Dame Journal of Formal Logic 31 (2):225-231.
  32.  15
    On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
    The paper proves refined feasibility properties for the disjunction property of intuitionistic propositional logic. We prove that it is possible to eliminate all cuts from an intuitionistic proof, propositional or first-order, without increasing the Horn closure of the proof. We obtain a polynomial time, interactive, realizability algorithm for propositional intuitionistic proofs. The feasibility of the disjunction property is proved for sequents containing Harrop formulas. Under hardness assumptions for NP and for factoring, it is shown that the intuitionistic propositional calculus does (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  33.  16
    The complexity of the disjunction and existential properties in intuitionistic logic.Sam Buss & Grigori Mints - 1999 - Annals of Pure and Applied Logic 99 (1-3):93-104.
    This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  11
    Expander construction in VNC1.Sam Buss, Valentine Kabanets, Antonina Kolokolova & Michal Koucký - 2020 - Annals of Pure and Applied Logic 171 (7):102796.
    We give a combinatorial analysis (using edge expansion) of a variant of the iterative expander construction due to Reingold, Vadhan, and Wigderson [44], and show that this analysis can be formalized in the bounded arithmetic system VNC^1 (corresponding to the “NC^1 reasoning”). As a corollary, we prove the assumption made by Jeřábek [28] that a construction of certain bipartite expander graphs can be formalized in VNC^1 . This in turn implies that every proof in Gentzen's sequent calculus LK of a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  55
    Some remarks on lengths of propositional proofs.Samuel R. Buss - 1995 - Archive for Mathematical Logic 34 (6):377-394.
    We survey the best known lower bounds on symbols and lines in Frege and extended Frege proofs. We prove that in minimum length sequent calculus proofs, no formula is generated twice or used twice on any single branch of the proof. We prove that the number of distinct subformulas in a minimum length Frege proof is linearly bounded by the number of lines. Depthd Frege proofs ofm lines can be transformed into depthd proofs ofO(m d+1) symbols. We show that renaming (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  36.  10
    Respect for Persons.Sarah Buss - 1999 - Canadian Journal of Philosophy 29 (4):517-550.
    We believe we owe one another respect. We believe we ought to pay what we owe by treating one another ‘with respect.’ If we could understand these beliefs we would be well on the way to understanding morality itself. If we could justify these beliefs we could vindicate a central part of our moral experience.Respect comes in many varieties. We respect some people for their upright character, others for their exceptional achievements. There are people we respect as forces of nature: (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  33
    Propositional proofs and reductions between NP search problems.Samuel R. Buss & Alan S. Johnson - 2012 - Annals of Pure and Applied Logic 163 (9):1163-1182.
  38.  22
    Safe recursive set functions.Arnold Beckmann, Samuel R. Buss & Sy-David Friedman - 2015 - Journal of Symbolic Logic 80 (3):730-762.
  39.  70
    Bounded Arithmetic, Cryptography and Complexity.Samuel R. Buss - 1997 - Theoria 63 (3):147-167.
  40.  62
    The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
    We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of lines (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Moral requirements and permissions, and the requirements and permissions of reason.Sarah Buss - 2018 - In Karen Jones & François Schroeter (eds.), The Many Moral Rationalisms. Oxford Univerisity Press.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  42.  19
    Separation results for the size of constant-depth propositional proofs.Arnold Beckmann & Samuel R. Buss - 2005 - Annals of Pure and Applied Logic 136 (1-2):30-55.
    This paper proves exponential separations between depth d-LK and depth -LK for every utilizing the order induction principle. As a consequence, we obtain an exponential separation between depth d-LK and depth -LK for . We investigate the relationship between the sequence-size, tree-size and height of depth d-LK-derivations for , and describe transformations between them. We define a general method to lift principles requiring exponential tree-size -LK-refutations for to principles requiring exponential sequence-size d-LK-refutations, which will be described for the Ramsey principle (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  43.  48
    Cutting planes, connectivity, and threshold logic.Samuel R. Buss & Peter Clote - 1996 - Archive for Mathematical Logic 35 (1):33-62.
    Originating from work in operations research the cutting plane refutation systemCP is an extension of resolution, where unsatisfiable propositional logic formulas in conjunctive normal form are recognized by showing the non-existence of boolean solutions to associated families of linear inequalities. Polynomial sizeCP proofs are given for the undirecteds-t connectivity principle. The subsystemsCP q ofCP, forq≥2, are shown to be polynomially equivalent toCP, thus answering problem 19 from the list of open problems of [8]. We present a normal form theorem forCP (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Bounded arithmetic, complexity, and cryptography.Samuel R. Buss - 1997 - Theoria 63 (3):147-167.
  45.  43
    Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
    A pool resolution proof is a dag-like resolution proof which admits a depth-first traversal tree in which no variable is used as a resolution variable twice on any branch. The problem of determining whether a given dag-like resolution proof is a valid pool resolution proof is shown to be NP-complete.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  33
    Strong isomorphism reductions in complexity theory.Sam Buss, Yijia Chen, Jörg Flum, Sy-David Friedman & Moritz Müller - 2011 - Journal of Symbolic Logic 76 (4):1381-1402.
    We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Minimum propositional proof length is NP-Hard to linearly approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.
    We prove that the problem of determining the minimum propositional proof length is NP- hard to approximate within a factor of 2 log 1 - o(1) n . These results are very robust in that they hold for almost all natural proof systems, including: Frege systems, extended Frege systems, resolution, Horn resolution, the polynomial calculus, the sequent calculus, the cut-free sequent calculus, as well as the polynomial calculus. Our hardness of approximation results usually apply to proof length measured either by (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  94
    Book ReviewsRichard. Moran, Authority and Estrangement: An Essay on Self‐Knowledge. Princeton, N.J.: Princeton University Press, 2001. Pp. 202. $16.95. [REVIEW]Sarah Buss - 2003 - Ethics 113 (4):898-902.
  49. The Irrationality of Unhappiness and the Paradox of Despair.Sarah Buss - 2004 - Journal of Philosophy 101 (4):167 - 196.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  70
    Accountability, Integrity, Authenticity, and Self-legislation: Reflections on Ruediger Bittner’s Reflections on Autonomy. [REVIEW]Sarah Buss - 2014 - Erkenntnis 79 (S7):1-14.
    In this paper I consider three widespread assumptions: (1) the assumption that we are accountable for our intentional actions only if they are in some special sense ours; (2) the assumption that it is possible for us to be more or less “true to” ourselves, and that we are flawed human beings to the extent that we lack “integrity”; and (3) the assumption that we can sometimes give ourselves reasons by giving ourselves commands. I acknowledge that, as Ruediger Bittner has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 95