Results for 'Wilfred Sieg'

787 found
Order:
  1. 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.
  2. 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   50 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   28 citations  
  4. Relative consistency and accessible domains.Wilfried Sieg - 1990 - Synthese 84 (2):259 - 297.
    Wilfred Sieg. Relative Consistency and Accesible Domains.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  5.  70
    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   10 citations  
  6.  50
    Proof Theory.Wilfried Sieg - unknown
  7.  23
    Aspects of mathematical experience.Wilfried Sieg - unknown
    Wilfred Sieg. Aspects of Mathematical Experience.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  24
    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  
  9.  31
    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  
  10.  18
    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  
  11.  62
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    Effectiveness and Provability.Wilfried Sieg - unknown
    Wilfred Sieg. Effectiveness and Provability.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  13
    Four Introductory Notes.Wilfried Sieg - unknown
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  25
    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  
  15.  17
    Intercalculation Calculi for Classical Logic.Wilfried Sieg - unknown
    Wilfred Sieg. Intercalculation Calculi for Classical Logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    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  
  17.  25
    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  
  18.  29
    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  
  19.  27
    Computability Theory.Daniele Mundici & Wilfried Sieg - unknown
    Daniele Mundici and Wilfred Sieg. Computability Theory.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  39
    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  
  21.  40
    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.
  22.  19
    For education: towards critical educational inquiry.Wilfred Carr - 1980 - Bristol, PA: 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  
  23.  49
    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.
  24. Plural Values and Environmental Evaluation.Wilfred Beckerman, Joanna Pasek & Centre for Social and Economic Research on the Global Environment - 1996 - Centre for Social and Economic Research on the Global Environment.
    No categories
     
    Export citation  
     
    Bookmark  
  25. A Brief Note on Gödel, Nagel, Minds, and Machines.Wilfried Sieg - 2017 - In Gerhard Jäger & Wilfried Sieg (eds.), Feferman on Foundations: Logic, Mathematics, Philosophy. Cham: Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  52
    The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
    It is a remarkable fact that Hilbert's programmatic papers from the 1920s still shape, almost exclusively, the standard contemporary perspective of his views concerning (the foundations of) mathematics; even his own, quite different work on the foundations of geometry and arithmetic from the late 1890s is often understood from that vantage point. My essay pursues one main goal, namely, to contrast Hilbert's formal axiomatic method from the early 1920s with his existential axiomatic approach from the 1890s. Such a contrast illuminates (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  27.  37
    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   9 citations  
  28.  89
    The meaning and end of religion.Wilfred Cantwell Smith - 1963 - 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   45 citations  
  29.  10
    H. Rogers, jr.W. Sieg & J. Byrnes - 1999 - In Edward R. Griffor (ed.), Handbook of computability theory. New York: Elsevier. pp. 140--35.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  90
    '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 (6 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  31.  51
    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 (7 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  32.  58
    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.
  33.  76
    What is an educational practice?Wilfred Carr - 1987 - Journal of Philosophy of Education 21 (2):163–175.
    Wilfred Carr; What is an Educational Practice?, Journal of Philosophy of Education, Volume 21, Issue 2, 30 May 2006, Pages 163–175, https://doi.org/10.1111/j.14.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  34. Philosophy and education.Wilfred Carr - 2004 - Journal of Philosophy of Education 38 (1):55–73.
    This paper argues that the anxieties being expressed in the UK and elsewhere about the lack of impact that philosophy now has on education are nothing other than the inevitable manifestation of a fundamental intellectual disorder deeply rooted in our contemporary understanding of the philosophy of education. In trying to substantiate this claim, the paper offers an historically informed philosophical analysis of how philosophy is related to education and education to philosophy that concludes by clarifying how any debates about the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  35.  77
    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 (4 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  36.  89
    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 (9 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  37.  33
    Resolving the Ethical Dilemma of Nurse Managers Over Chemically-Dependent Colleagues.Wilfred Chiu & Donna Wilson - 1996 - Nursing Ethics 3 (4):285-293.
    This paper addresses the nurse manager's role regarding chemically-dependent nurses in the workplace. The manager may intervene by: terminating the contract of the impaired colleague; notifying a disciplinary committee; consulting with a counselling committee; or referring the impaired nurse to an employee assistance programme. A dilemma may arise about which of these interventions is ethically the best. The ethical theories relevant to nursing involve ethical relativism, utilitarianism, Kantian ethics, Kohlberg's justice, and Gilligan's ethic of care. Nurse managers first need to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  23
    Natural Logic.Wilfried Sieg - 1983 - Journal of Symbolic Logic 48 (1):215-217.
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  39. 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 (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  40.  44
    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 (7 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  41.  67
    Towards a world theology: faith and the comparative history of religion.Wilfred Cantwell Smith - 1981 - Philadelphia, Pa.: 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   14 citations  
  42.  11
    The meaning and end of religion.Wilfred Cantwell Smith - 1963 - New York,: Macmillan.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  43.  41
    Science and Metaphysics: Variations on Kantian Themes.Wilfred Sellars - 1970 - Philosophy 45 (171):66-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   84 citations  
  44.  95
    Theories of theory and practice.Wilfred Carr - 1986 - Journal of Philosophy of Education 20 (2):177–186.
    Wilfred Carr; Theories of Theory and Practice, Journal of Philosophy of Education, Volume 20, Issue 2, 30 May 2006, Pages 177–186, https://doi.org/10.1111/j.146.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  45.  8
    Break Up, Break Down, Break Through.Wilfred R. Bion - 2023 - Psyche 77 (6):473-495.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Sustainable Development and Our Obligations to Future.Wilfred Beckerman - 1999 - In Andrew Dobson (ed.), Fairness and Futurity: Essays on Environmental Sustainability and Social Justice. Oxford University Press.
     
    Export citation  
     
    Bookmark   2 citations  
  47.  20
    B. Sustainability and Development 'Sustainable Development.Wilfred Beckerman - forthcoming - Environmental Ethics.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  4
    Continuous Creation: A Biological Concept of the Nature of Matter.Wilfred Branfield - 1950 - Routledge.
    Originally published in 1950, this book challenged the basis of our beliefs about the relation of life to matter. Already aware that chalk, limestone and coal seams are the residues of ancient life, the author suggests that this knowledge may also be applied to the rest of matter. In that case, he argues, the origin of the world was not cosmic upheaval which broke down at last into life, but organic life itself.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Vietnam Will Win.Wilfred Burchett, John T. Mcalister, Philippe Devillers, Jean Lacouture, Alexander Levien & Adam Roberts - 1970 - Science and Society 34 (2):224-235.
  50.  48
    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  
1 — 50 / 787