Results for 'Stan S. Wainer'

1000+ found
Order:
  1.  13
    The 1-Section of a Countable Functional.Dag Normann & Stan S. Wainer - 1980 - Journal of Symbolic Logic 45 (3):549-562.
  2.  5
    2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.
  3. Selfhood and Otherness in Kierkegaard's Authorship: A Heterological Investigation.Leo Stan - 2017 - Lexington Books.
    This book explores the multiple meaning of the notion of otherness in Søren Kierkegaard’s thought. Leo Stan discusses in detail the threefold structure of human existence in Kierkegaard’s authorship as a whole, both pseudonymous and self-signed.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  4. Transitions to Capitalism in Early Modern Europe. By Robert S. Duplessis.S. Stan - 2000 - The European Legacy 5 (5):757-758.
     
    Export citation  
     
    Bookmark  
  5.  22
    Program Transformation and Proof Transformation.Wilfried Sieg & Stanley S. Wainer - unknown
    Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Absolute Time: The Limit of Kant's Idealism.Marius Stan - 2019 - Noûs 53 (2):433-461.
    I examine here if Kant can explain our knowledge of duration by showing that time has metric structure. To do so, I spell out two possible solutions: time’s metric could be intrinsic or extrinsic. I argue that Kant’s resources are too weak to secure an intrinsic, transcendentally-based temporal metrics; but he can supply an extrinsic metric, based in a metaphysical fact about matter. I conclude that Transcendental Idealism is incomplete: it cannot account for the durative aspects of experience—or it can (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  7. Emilie du Chatelet's Metaphysics of Substance.Marius Stan - 2018 - Journal of the History of Philosophy 56 (3):477-496.
    much early modern metaphysics grew with an eye to the new science of its time, but few figures took it as seriously as Emilie du Châtelet. Happily, her oeuvre is now attracting close, renewed attention, and so the time is ripe for looking into her metaphysical foundation for empirical theory. Accordingly, I move here to do just that. I establish two conclusions. First, du Châtelet's basic metaphysics is a robust realism. Idealist strands, while they exist, are confined to non-basic regimes. (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Newton's Concepts of Force Among the Leibnizians.Marius Stan - 2017 - In Mordechai Feingold & Elizabethanne Boran (eds.), Reading Newton in Early Modern Europe. Leiden: Brill. pp. 244-289.
    I argue that the key dynamical concepts and laws of Newton's Principia never gained a solid foothold in Germany before Kant in the 1750s. I explain this absence as due to Leibniz. Thus I make a case for a robust Leibnizian legacy for Enlightenment science, and I solve what Jonathan Israel called “a meaningful historical problem on its own,” viz. the slow and hesitant reception of Newton in pre-Kantian Germany.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Kant’s Third Law of Mechanics: The Long Shadow of Leibniz.Marius Stan - 2013 - Studies in History and Philosophy of Science Part A 44 (3):493-504.
    This paper examines the origin, range and meaning of the Principle of Action and Reaction in Kant’s mechanics. On the received view, it is a version of Newton’s Third Law. I argue that Kant meant his principle as foundation for a Leibnizian mechanics. To find a ‘Newtonian’ law of action and reaction, we must look to Kant’s ‘dynamics,’ or theory of matter. I begin, in part I, by noting marked differences between Newton’s and Kant’s laws of action and reaction. I (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10. Absolute Space and the Riddle of Rotation: Kant’s Response to Newton.Marius Stan - 2016 - Oxford Studies in Early Modern Philosophy 7:257-308.
    Newton had a fivefold argument that true motion must be motion in absolute space, not relative to matter. Like Newton, Kant holds that bodies have true motions. Unlike him, though, Kant takes all motion to be relative to matter, not to space itself. Thus, he must respond to Newton’s argument above. I reconstruct here Kant’s answer in detail. I prove that Kant addresses just one part of Newton’s case, namely, his “argument from the effects” of rotation. And, to show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Kant’s Early Theory of Motion.Marius Stan - 2009 - The Leibniz Review 19:29-61.
    This paper examines the young Kant’s claim that all motion is relative, and argues that it is the core of a metaphysical dynamics of impact inspired by Leibniz and Wolff. I start with some background to Kant’s early dynamics, and show that he rejects Newton’s absolute space as a foundation for it. Then I reconstruct the exact meaning of Kant’s relativity, and the model of impact he wants it to support. I detail (in Section II and III) his polemic engagement (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Unity for Kant’s Natural Philosophy.Marius Stan - 2014 - Philosophy of Science 81 (3):423-443.
    I uncover here a conflict in Kant’s natural philosophy. His matter theory and laws of mechanics are in tension. Kant’s laws are fit for particles but are too narrow to handle continuous bodies, which his doctrine of matter demands. To fix this defect, Kant ultimately must ground the Torque Law; that is, the impressed torque equals the change in angular momentum. But that grounding requires a premise—the symmetry of the stress tensor—that Kant denies himself. I argue that his problem would (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  38
    A Reconsideration of Kierkegaard's Understanding of the Human Other: The Hidden Ethics of Soteriology.Leo Stan - 2010 - Journal of Religious Ethics 38 (2):349-370.
    In this article, I embark on an analysis of Søren Kierkegaard's view of human otherness in strict correlation to his Christian philosophy. More specifically, my aim is to show that Kierkegaard's thought is essentially informed by a decisive appropriation of the soteriological category of sin which has momentous implications for Kierkegaard's views of selfhood and intersubjectivity. The main argument is that both Kierkegaard's negative evaluation of human otherness and his acerbic indictments of any collectivist interference in salvific matters cohere with (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  14. Once More Unto the Breach: Kant and Newton: Michael Friedman: Kant’s Construction of Nature. A Reading of the Metaphysical Foundations of Natural Science. Cambridge: Cambridge University Press, 2013, Xix+624pp, £70 HB.Marius Stan - 2014 - Metascience 23 (2):233-242.
  15.  46
    Kant's Philosophy of Science.Eric Watkins & Marius Stan - 2014 - Stanford Encyclopedia of Philosophy.
  16. Kant's Philosophy of Mechanics in 1758.Marius Stan - 2011 - In Oliver Thorndike (ed.), Rethinking Kant, vol. III. Cambridge Scholars Press. pp. 158-179.
  17.  17
    Response to H. Floris Cohen's Essay Review on Newtonian Scholarship.Marius Stan - 2019 - British Journal for the History of Science 52 (2):359-360.
    In a review of recent Newton scholarship, H. Floris Cohen charges that my paper is not a ‘case of worthwhile innovation, or even of any innovation at all’. I beg to differ.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Kant’s Natural-Scientific Output: Immanuel Kant: Natural Science: Edited by Eric Watkins. Cambridge: Cambridge University Press, 2012, Xviii+802pp, £90.00 HB.Marius Stan - 2014 - Metascience 23 (1):65-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  33
    Stalin's Genocides. By Norman M. Naimark.Lavinia Stan - 2012 - The European Legacy 17 (3):432 - 432.
    The European Legacy, Volume 17, Issue 3, Page 432, June 2012.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20.  10
    Fertile Contradictions: A Reconsideration of “The Seducer’s Diary”.Leo Stan - 2016 - Kierkegaard Studies Yearbook 2016 (1).
    Name der Zeitschrift: Kierkegaard Studies Yearbook Jahrgang: 2016 Heft: 1 Seiten: 75-98.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  3
    Roots of Russia’s War in Ukraine. [REVIEW]Lavinia Stan - 2017 - The European Legacy 22 (5):630-631.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
    The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question is: how can a (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  23.  4
    Elementary Arithmetic.Geoffrey E. Ostrin & Stanley S. Wainer - 2005 - Annals of Pure and Applied Logic 133 (1):275-292.
    There is a very simple way in which the safe/normal variable discipline of Bellantoni–Cook recursion [S. Bellantoni, S. Cook, A new recursion theoretic characterization of the polytime functions, Computational Complexity 2 97–110] can be imposed on arithmetical theories like PA: quantify over safes and induct on normals. This weakens the theory severely, so that the provably recursive functions become more realistically computable . Earlier results of D. Leivant [Intrinsic theories and computational complexity, in: D. Leivant , Logic and Computational Complexity, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  19
    Equational Derivation Vs. Computation.W. G. Handley & S. S. Wainer - 1994 - Annals of Pure and Applied Logic 70 (1):17-49.
    Subrecursive hierarchy classifications are used to compare the complexities of recursive functions according to their derivations in a version of Kleene's equation calculus, and their computations by term-rewriting. In each case ordinal bounds are assigned, and it turns out that the respective complexity measures are given by a version of the Fast Growing Hierarchy, and the Slow Growing Hierarchy. Known comparisons between the two hierarchies then provide ordinal trade-offs between derivation and computation. Characteristics of some well-known subrecursive classes are also (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  6
    Inductive Definitions Over a Predicative Arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
    Girard’s maxim, that Peano Arithmetic is a theory of one inductive definition, is re-examined in the light of a weak theory EA formalising basic principles of Nelson’s predicative Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Picturing the Uncertain World: How to Understand, Communicate, and Control Uncertainty Through Graphical Display.Howard Wainer - 2011 - Princeton University Press.
    In his entertaining and informative book Graphic Discovery, Howard Wainer unlocked the power of graphical display to make complex problems clear. Now he's back with Picturing the Uncertain World, a book that explores how graphs can serve as maps to guide us when the information we have is ambiguous or incomplete. Using a visually diverse sampling of graphical display, from heartrending autobiographical displays of genocide in the Kovno ghetto to the "Pie Chart of Mystery" in a New Yorker cartoon, (...)
    No categories
     
    Export citation  
     
    Bookmark  
  27. Twilight Zones: The Hidden Life of Cultural Images From Plato to OJ By Susan Bordo.S. Stan - 2000 - The European Legacy 5 (3):482-482.
     
    Export citation  
     
    Bookmark  
  28.  19
    Members of Countable Π10 Classes.Douglas Cenzer, Peter Clote, Rick L. Smith, Robert I. Soare & Stanley S. Wainer - 1986 - Annals of Pure and Applied Logic 31 (2):145-163.
  29.  11
    The Slow-Growing and the Grzecorczyk Hierarchies.E. A. Cichon & S. S. Wainer - 1983 - Journal of Symbolic Logic 48 (2):399-408.
  30.  20
    Slow Growing Versus Fast Growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
  31.  16
    Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
  32.  6
    Downey, R., Gasarch, W. And Moses, M., The Structure.S. D. Friedman, W. G. Handley, S. S. Wainer, A. Joyal, I. Moerdijk, L. Newelski, F. van Engelen & J. van Oosten - 1994 - Annals of Pure and Applied Logic 70 (1):287.
  33.  19
    Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 149.
  34.  41
    Null.Greg Andonian, Natasa Bakic-Miric, Giorgio Baruchello, John Bokina, Silvia Bruti, Edmund J. Campion, Mihai Caprioara, Victor Castellani, Anthony H. Chambers, Camelia Mihaela Cmeciu, Doina Cmeciu, Stanley Corngold, Douglas J. Cremer, Jens De Vleminck, Liviu Drugus, Eberhard Eichenhofer, Dario Fernandez-Morera, Richard Findler, Irene Guenther, Jeff Horn, Richard H. King, Norma Landau, Walter S. H. Lim, Thomas Loebel, David W. Lovell, Michele Maggiore, Georgeta Marghescu, Aaron Massecar, Markus Meckl, Tim Murphy, Wan-Hsiang Pan, Marianna Papastephanou, Priscilla Ringrose, Marina Ritzarev, Christian Roy, Karl W. Schweizer, Carlo Scognamiglio, Stanley Shostak, Lora Sigler, Lavinia Stan, Matthew Sterenberg, Jonathan Stoekl, Dan Stone, Linda Toocaram, Barnard Turner, Gabrielle Weinberger & Phillip H. Wiebe - 2008 - The European Legacy 13 (4):499-543.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  4
    A Hierarchy for the 1-Section of Any Type Two Object.S. S. Wainer - 1974 - Journal of Symbolic Logic 39 (1):88-94.
  36.  13
    A Plus-1 Theorem for Sub-Sections.S. S. Wainer - 1988 - Archive for Mathematical Logic 27 (2):101-105.
  37.  15
    Editorial Logic Colloquium '95, Haifa, Israel : Invited Papers on Proof Theory.Gerhard Jaeger, Wolfram Pohlers & Stan Wainer - 1998 - Archive for Mathematical Logic 37 (5-6):273-273.
  38.  15
    European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
  39.  12
    The American Mathematical Society During January 8–11, 1997, in San Diego, California.• The 1996–97 ASL Annual Meeting Will Be Held March 22–25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman.• The 1997 ASL European Summer Meeting (Logic Colloquium'97) Will Be Held in Early. [REVIEW]J. Derrick, F. Drake, D. Macpherson, A. Slomson, J. Truss & S. Wainer - 1995 - Bulletin of Symbolic Logic 1 (3).
  40.  5
    The" Slow-Growing" U\ Approach to Hierarchies.S. S. Wainer - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--487.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  4
    358 PG. Hinman.J. Barwise, L. Blum, M. Shub, S. Smale, Fr Drake, Ss Wainer, E. Engeler, Hm Friedman, Ro Gandy & Cme Yates - 1999 - In Edward R. Griffor (ed.), Handbook of Computability Theory. Elsevier. pp. 358.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  3
    1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
  43.  2
    Editorial Logic Colloquium 95, Haifa, Israel Invited Papers on Proof Theory.Gerhard Jaeger, Wolfram Pohlers & Stan Wainer - 1997 - Archive for Mathematical Logic 5.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  25
    Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & S. S. Wainer (eds.) - 1992 - Cambridge University Press.
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Ash, CJ, Stability of Recursive Structures in Arithmetical Degrees Ash, CJ, Categoric@ in Hyperarithmetical Degrees.D. Cenzer, P. Clote, R. L. Smith, S. S. Wainer, K. J. Compton, C. W. Henson & S. Shelah - 1988 - Annals of Pure and Applied Logic 40:307-310.
  46.  26
    Computability, Enumerability, Unsolvability: Directions in Recursion Theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - Cambridge University Press.
    The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book, by leaders in the field, provide a picture of current ideas and methods in the ongoing investigations into the pure mathematical foundations of computability theory. The topics range over computable functions, enumerable sets, degree structures, complexity, subrecursiveness, domains and inductive inference. A number of the articles contain introductory and background material which it is hoped will (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. The 1996-97 ASL Winter Meeting Will Be Held in Conjunction with the Annual Meeting of the American Mathematical Society During January 8-11, 1997, in San Diego, California. The 1996-97 ASL Annual Meeting Will Be Held March 22-25, 1997, at the Massachusetts Institute of Technology in Cambridge, Massachusetts. Chair of the Local Organizing Com-Mittee is Sy Friedman. [REVIEW]A. Louveau, Y. Moschovakis, L. Pacholski, H. Schwichtenberg, T. Slaman, J. Truss, H. D. Macpherson, A. Slomson & S. Wainer - 1996 - Bulletin of Symbolic Logic 2:121.
  48.  7
    On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
    We show the following results on Wainer's notation for a minimal subrecursive inaccessible ordinal τ: First, we give a constructive proof of the collapsing theorem. Secondly, we prove that the slow-growing hierarchy and the fast-growing hierarchy up to τ have elementary properties on increase and domination, which completes Wainer's proof that τ is a minimal subrecursive inaccessible. Our results are obtained by showing a strong normalization theorem for the term structure of the notation. MSC: 03D20, 03F15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  50
    Computability, Enumerability, Unsolvability, Directions in Recursion Theory, Edited by S. B. Cooper, T. A. Slaman, and S. S. Wainer, London Mathematical Society Lecture Note Series, No. 224, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1996, Vii + 347 Pp. - Leo Harrington and Robert I. Soare, Dynamic Properties of Computably Enumerable Sets, Pp. 105–121. - Eberhard Herrmann, On the ∀∃-Theory of the Factor Lattice by the Major Subset Relation, Pp. 139–166. - Manuel Lerman, Embeddings Into the Recursively Enumerable Degrees, Pp. 185–204. - Xiaoding Yi, Extension of Embeddings on the Recursively Enumerable Degrees Modulo the Cappable Degrees, Pp. 313–331. - André Nies, Relativization of Structures Arising From Computability Theory. Pp. 219–232. - Klaus Ambos-Spies, Resource-Bounded Genericity. Pp. 1–59. - Rod Downey, Carl G. Jockusch, and Michael Stob. Array Nonrecursive Degrees and Genericity, Pp. 93–104. - Masahiro Kumabe, Degrees of Generic Sets, Pp. 167–183. [REVIEW]C. T. Chong - 1999 - Journal of Symbolic Logic 64 (3):1362-1365.
  50.  50
    Matt Fairtlough and Stanley S. Wainer. Hierarchies of Provably Recursive Functions. Handbook of Proof Theory, Edited by Samuel R. Buss, Studies in Logic and the Foundations of Mathematics, Vol. 137, Elsevier, Amsterdam Etc. 1998, Pp. 149–207. [REVIEW]Toshiyasu Arai - 2000 - Bulletin of Symbolic Logic 6 (4):466-467.
1 — 50 / 1000