Results for 'Wilfred Sieg'

655 found
Order:
  1.  21
    Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman. Edited by Wilfred Sieg, Richard Sommer, and Carolyn Talcott, Lecture Notes in Logic, Vol. 15. A. K. Peters, Ltd., Natick, MA, 2002, Viii + 440 Pp.David Charles McCarty - 2005 - Bulletin of Symbolic Logic 11 (2):239-241.
  2.  86
    Mechanical Procedures and Mathematical Experience.Wilfried Sieg - 1994 - In Alexander George (ed.), Mathematics and Mind. Oxford University Press. pp. 71--117.
    Wilfred Sieg. Mechanical Procedures and Mathematical Experience.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  3. Dedekind’s Analysis of Number: Systems and Axioms.Wilfried Sieg & Dirk Schlimm - 2005 - Synthese 147 (1):121-170.
    Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  4. Relative Consistency and Accessible Domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.
    Wilfred Sieg. Relative Consistency and Accesible Domains.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  64
    K-Graph Machines: Generalizing Turing's Machines and Arguments.Wilfried Sieg & John Byrnes - unknown
    Wilfred Sieg and John Byrnes. K-Graph Machines: Generalizing Turing's Machines and Arguments.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  36
    Proof Theory.Wilfried Sieg - unknown
  7.  23
    Normal Natural Deduction Proof (In Non-Classical Logics).Wilfried Sieg & Saverio Cittadini - unknown
    Wilfred Sieg and Saverio Cittadini. Normal Natural Deduction Proof (In Non-Classical Logics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  23
    Generalizing Turing's Machine and Arguments.Wilfried Sieg & John Byrnes - unknown
    Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  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  
  10.  10
    Mechanisms and Search: Aspects of Proof Theory.Wilfried Sieg - unknown
    Wilfred Sieg. Mechanisms and Search: Aspects of Proof Theory.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  24
    Computability Theory.Daniele Mundici & Wilfried Sieg - unknown
    Daniele Mundici and Wilfred Sieg. Computability Theory.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.Martin Davis, Edgar E. K. Lopez-Escobar & Wilfred Sieg - 1986 - Journal of Symbolic Logic 51 (4):1085-1092.
  13.  19
    Aspects of Mathematical Experience.Wilfried Sieg - unknown
    Wilfred Sieg. Aspects of Mathematical Experience.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14.  19
    Automated Search for Gödel’s Proofs.Wilfried Sieg & Clinton Field - 2005 - Annals of Pure and Applied Logic 133 (1):319-338.
    Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  26
    Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.Wilfried Sieg & Rosella Lupiccini - unknown
    Wilfred Sieg and Rosella Lupiccini. Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  9
    Church's Thesis, "Consistency", "Formalization", "Proof Theory" : Dictionary Entries.Wilfried Sieg - unknown
    Wilfred Sieg. “Church's Thesis”, “Consistency”, “Formalization”, “Proof Theory”: Dictionary Entries.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  55
    David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.Wilfried Sieg & Mark Ravaglia - unknown
    Wilfred Sieg and Mark Ravaglia. David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  8
    Effectiveness and Provability.Wilfried Sieg - unknown
    Wilfred Sieg. Effectiveness and Provability.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    Four Introductory Notes.Wilfried Sieg - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  14
    Intercalculation Calculi for Classical Logic.Wilfried Sieg - unknown
    Wilfred Sieg. Intercalculation Calculi for Classical Logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  28
    Computer Environments for Proof Construction.Richard Scheines & Wilfried Sieg - unknown
    Richard Scheines and Wilfred Sieg. Computer Environments for Proof Construction.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  22.  58
    The Meaning and End of Religion.Wilfred Cantwell Smith - 1962 - New York: Macmillan.
    Wilfred Cantwell Smith, maintained in this vastly important work that Westerners have misperceived religious life by making "religion" into one thing.
    Direct download  
     
    Export citation  
     
    Bookmark   41 citations  
  23. Towards a World Theology Faith and the Comparative History of Religion /by Wilfred Cantwell Smith. --. --.Wilfred Cantwell Smith - 1981 - Westminster Press, 1981.
    No categories
     
    Export citation  
     
    Bookmark  
  24.  61
    Godel on Computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.
    The identification of an informal concept of ‘effective calculability’ with a rigorous mathematical notion like ‘recursiveness’ or ‘Turing computability’ is still viewed as problematic, and I think rightly so. I analyze three different and conflicting perspectives Gödel articulated in the three decades from 1934 to 1964. The significant shifts in Gödel's position underline the difficulties of the methodological issues surrounding the Church-Turing Thesis.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  25.  30
    On a Source of Social Capital: Gift Exchange.Wilfred Dolfsma, Rene van der Eijk & Albert Jolink - 2009 - Journal of Business Ethics 89 (3):315 - 329.
    The concept of social capital helps to explain relations within and between companies but has not crystallized yet. As such, the nature, development, and effects of such relations remain elusive. How is social capital created, how is it put to use, and how is it maintained? Can it decline, and if so, how? We argue that the concept of social capital remains a black box as the mechanisms that constitute it remain underdeveloped and that it is a black hole as (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  26.  39
    Justice, Posterity, and the Environment.Wilfred Beckerman & Joanna Pasek - 2001 - Oxford University Press.
    This volume provides a thought-provoking critique the main, existing school of environmental ethics and seeks to build a more coherent and rigorous philosophical basis for future environmental policy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  27.  19
    A Contribution to the Theory of the Living Organism.Wilfred Eade Agar - 1943 - Melbourne, Melbourne University Press in Association with Oxford University Press.
    Originally published in 1913. Author: Henri Lichtenberger Language: English Keywords: History Many of the earliest books, particularly those dating back to the 1900s and before, are now extremely scarce and increasingly expensive. Obscure Press are republishing these classic works in affordable, high quality, modern editions, using the original text and artwork.Keywords: English Keywords 1900s Language English Artwork.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  28.  48
    'Sustainable Development': Is It a Useful Concept?Wilfred Beckerman - 1994 - Environmental Values 3 (3):191 - 209.
    It is argued that 'sustainable development' has been defined in such a way as to be either morally repugnant or logically redundant. 'Strong' sustainability, overriding all other considerations, is morally unacceptable as well as totally impractical; and 'weak' sustainability, in which compensation is made for resources consumed, offers nothing beyond traditional economic welfare maximisation. The 'sustainability' requirement that human well-being should never be allowed to decline is shown to be irrational. Welfare economics can accommodate distributional considerations, and, suitably defined, the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  29.  3
    For Education: Towards Critical Educational Inquiry.Wilfred Carr - 1980 - Open University Press.
    A recent review of his work describes Wilfred Carr as 'one of the most brilliant philosophers now working in the rich British tradition of educational philosophy ... His work is rigorous, refreshing and original ... and examines a number of fundamental issues with clarity and penetration'. In For Education Wilfred Carr provides a comprehensive justification for reconstructing educational theory and research as a form of critical inquiry. In doing this, he confronts a number of important philosophical questions. What (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  30. Philosophy and Education.Wilfred Carr - 2004 - Journal of Philosophy of Education 38 (1):55–73.
  31.  33
    Towards a World Theology: Faith and the Comparative History of Religion.Wilfred Cantwell Smith - 1981 - Westminster Press.
    The man or woman of faith living in today's pluralist world must have a theology that will do justice to his or her own faith, and also to the neighbours' - and to the differences between them. Similarly, humanists must have a theory that does justice to their own vision and also to the fact that for most of their fellows on earth the proper way of being human has been one or another of various `religious' ways. Any interpretation of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  32.  53
    Education Without Theory.Wilfred Carr - 2006 - British Journal of Educational Studies 54 (2):136-159.
    This paper proceeds through four stages. First, it provides an account of the origins and evolution of the concept of educational theory. Second, it uses this historical narrative to show how what we now call 'educational theory' is deeply rooted in the foundationalist discourse of late nineteenth and early twentieth century modernity. Third, it outlines and defends a postfoundationalist critique of the foundationalist epistemological assumptions on which our understanding of educational theory has been erected. Finally, it argues that the only (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  33.  27
    Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oup Usa.
    David Hilbert was one of the great mathematicians who expounded the centrality of their subject in human thought. In this collection of essays, Wilfried Sieg frames Hilbert's foundational work, from 1890 to 1939, in a comprehensive way and integrates it with modern proof theoretic investigations.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  34.  20
    The Siege of Science.M. Taylor, P. Perakakis & V. Trachana - 2008 - Ethics in Science and Environmental Politics 8 (1):17-40.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  11
    Natural Logic.Wilfried Sieg - 1983 - Journal of Symbolic Logic 48 (1):215-217.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  57
    Accounting as Applied Ethics: Teaching a Discipline.Wilfred Dolfsma - 2006 - Journal of Business Ethics 63 (3):209-215.
    In this article it is argued that there are notable parallels between all of the different strands within ethics on the one hand, and accountancy on the other that, in teaching, can be drawn upon to enhance students’ understanding of the latter. Accountancy, part of economics, draws on utilitarian ethics, but not solely so. Accounting, in addition, draws on deontological and communitarian strands in ethics. The article suggests that the teaching of accounting – especially to non-economists – would benefit substantially (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  53
    What is an Educational Practice?Wilfred Carr - 1987 - Journal of Philosophy of Education 21 (2):163–175.
  38. An Abstract Model For Parallel Computations: Gandy’s Thesis.Wilfried Sieg & John Byrnes - 1999 - The Monist 82 (1):150-164.
    Wilfried Sieg and John Byrnes. AnModel for Parallel Computation: Gandy's Thesis.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  39.  20
    How Would You Like Your 'Sustainability', Sir? Weak or Strong? A Reply to My Critics.Wilfred Beckerman - 1995 - Environmental Values 4 (2):169 - 179.
    This article concentrates on the Jacobs and Daly criticisms (Environmental Values, Spring 1994) of my earlier article in the same journal (Autumn 1994) criticising the concept of 'sustainable development'. Daly and Jacobs agreed with my criticisms of 'weak' sustainability, but defended 'strong' sustainability on the grounds that natural and manmade capital were 'complements' in the productive process and that economists are wrong, therefore, in assuming that they are infinitely substitutable. This article maintains that they are confusing different concepts of 'complementarity' (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  40.  25
    Calculations by Man and Machine: Conceptual Analysis.Wilfried Sieg - unknown
    Wilfried Sieg. Calculations by Man and Machine: Conceptual Analysis.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  41.  42
    The Impossibility of a Theory of Intergenerational Justice.Wilfred Beckerman - 2006 - In Tremmel J. (ed.), The Handbook of Intergenerational Justice. Edward Elgar. pp. 53--71.
  42.  19
    Science and Metaphysics: Variations on Kantian Themes: PHILOSOPHY.Wilfred Sellars - 1970 - Philosophy 45 (171):66-70.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  43.  35
    Plural Values and Environmental Valuation.Wilfred Beckerman & Joanna Pasek - 1997 - Environmental Values 6 (1):65 - 86.
    The paper discusses some of the criticisms of contingent valuation (CV) and allied techniques for estimating the intensity of peoples' preferences for the environment. The weakness of orthodox utilitarian assumptions in economics concerning the commensurability of all items entering into peoples' choices is discussed. The concept of commensurability is explored as is the problem of rational choice between incommensurate alternatives. While the frequent claim that the environment has some unique moral intrinsic value is unsustainable, its preservation often raises ethical and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  44.  68
    Philosophy, Methodology and Action Research.Wilfred Carr - 2006 - Journal of Philosophy of Education 40 (4):421–435.
    The aim of this paper is to examine the role of methodology in action research. It begins by showing how, as a form of inquiry concerned with the development of practice, action research is nothing other than a modern 20th century manifestation of the pre‐modern tradition of practical philosophy. It then draws in Gadamer's powerful vindication of the contemporary relevance of practical philosophy in order to show how, by embracing the idea of ‘methodology’, action research functions to sustain a distorted (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  45.  41
    Fragments of Arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
    We establish by elementary proof-theoretic means the conservativeness of two subsystems of analysis over primitive recursive arithmetic. The one subsystem was introduced by Friedman [6], the other is a strengthened version of a theory of Minc [14]; each has been shown to be of considerable interest for both mathematical practice and metamathematical investigations. The foundational significance of such conservation results is clear: they provide a direct finitist justification of the part of mathematical practice formalizable in these subsystems. The results are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  46. Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
    Hilbert's finitist program was not created at the beginning of the twenties solely to counteract Brouwer's intuitionism, but rather emerged out of broad philosophical reflections on the foundations of mathematics and out of detailed logical work; that is evident from notes of lecture courses that were given by Hilbert and prepared in collaboration with Bernays during the period from 1917 to 1922. These notes reveal a dialectic progression from a critical logicism through a radical constructivism toward finitism; the progression has (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  47.  8
    The Unclaimed Legacy of George Santayana.Wilfred M. McClay - 2017 - In James Seaton (ed.), The Genteel Tradition in American Philosophy and Character and Opinion in the United States. Yale University Press. pp. 123-147.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  13
    Natural Formalization: Deriving the Cantor-Bernstein Theorem in Zf.Wilfried Sieg & Patrick Walsh - forthcoming - Review of Symbolic Logic:1-44.
    Natural Formalization proposes a concrete way of expanding proof theory from the meta-mathematical investigation of formal theories to an examination of “the concept of the specifically mathematical proof.” Formal proofs play a role for this examination in as much as they reflect the essential structure and systematic construction of mathematical proofs. We emphasize three crucial features of our formal inference mechanism: (1) the underlying logical calculus is built for reasoning with gaps and for providing strategic directions, (2) the mathematical frame (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  69
    Epistemology and the New Way of Words.Wilfred Sellars - 1947 - Journal of Philosophy 44 (24):645-660.
  50.  39
    Debate: Intergenerational Equity and the Environment.Wilfred Beckerman - 1997 - Journal of Political Philosophy 5 (4):392–405.
1 — 50 / 655