Wilfred Sieg and Dirk Schlimm. Dedekind's Analysis of Number: Systems and Axioms.

Wilfred Sieg. Mechanical Procedures and Mathematical Experience.

Wilfred Sieg. Relative Consistency and Accesible Domains.

Wilfred Sieg and John Byrnes. K-Graph Machines: Generalizing Turing's Machines and Arguments.

Daniele Mundici and Wilfred Sieg. Computability Theory.

Wilfred Sieg. Aspects of Mathematical Experience.

Wilfred Sieg and Clinton Field. Automated Search for Gödel's Proofs.

Wilfred Sieg and Rosella Lupiccini. Computing Machines: Entry for the Second Edition of the Encyclopedia of Philsophy.

Wilfred Sieg. “Church's Thesis”, “Consistency”, “Formalization”, “Proof Theory”: Dictionary Entries.

Wilfred Sieg and Mark Ravaglia. David Hilbert and Paul Bernays, Grundlagen der Mathematik I and II: A Landmark.

Wilfred Sieg. Effectiveness and Provability.

Wilfred Sieg and John Byrnes. Generalizing Turing's Machine and Arguments.

Wilfred Sieg. Intercalculation Calculi for Classical Logic.

Wilfred Sieg. Mechanisms and Search: Aspects of Proof Theory.

Wilfred Sieg and Saverio Cittadini. Normal Natural Deduction Proof (In Non-Classical Logics.

Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.

Richard Scheines and Wilfred Sieg. Computer Environments for Proof Construction.

The second volume of Charles Parsons’ selected papers, dedicated to Solomon Feferman, Wilfred Sieg, and William Tait, collects eleven mainly historical essays and reviews on philosophy and philosop...

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.

Wilfred Cantwell Smith, maintained in this vastly important work that Westerners have misperceived religious life by making "religion" into one thing.

Natural deduction (for short: nd-) calculi have not been used systematically as a basis for automated theorem proving in classical logic. To remove objective obstacles to their use we describe (1) a method that allows to give semantic proofs of normal form theorems for nd-calculi and (2) a framework that allows to search directly for normal nd-proofs. Thus, one can try to answer the question: How do we bridge the gap between claims and assumptions in heuristically motivated ways? This informal (...) question motivates the formulation of intercalation calculi. Ic-calculi are the technical underpinnings for (1) and (2), and our paper focuses on their detailed presentation and meta-mathematical investigation in the case of classical predicate logic. As a central theme emerges the connection between restricted forms of nd-proofs and (strategies for) proof search: normal forms are not obtained by removing local "detours", but rather by constructing proofs that directly reflect proof-strategic considerations. That theme warrants further investigation. (shrink)

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.

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 (...) is educational theory? What is an educational practice? How are theory and practice related? What is the role of values in educational research? Is a genuinely educational science possible? By appealing to developments in critical theory, the philosophy of science and the philosophy of the social sciences, Wilfred Carr provides answers to these questions which vindicate the idea of an educational science that is not 'on' or 'about' education but 'for education' - a science genuinely committed to promoting educational values and ideals. (shrink)

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 (...) concept of welfare can include the subjective effects of changes in – as well as the levels of – well-being. Hence there is no reason why welfare maximisation should not remain an overriding policy objective. Nor can sustainability be regarded as a 'constraint' on welfare maximisation unless there is a clear conflict between the two – which has yet to be demonstrated. This is not to deny the importance of intergenerational justice, nor the need for economic incentives to correct market imperfections if the environment is to be managed in a socially optimal manner. Apart from a few small developing countries heavily dependent on minerals or other finite primary products, the measurement of some wider concept of 'sustainable' GNP is a waste of time and such estimates as have been made are virtually worthless. (shrink)

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.

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 (...) conclusion to draw from this postfoundationalist critique is that educational theory has run its course and should now be brought to a dignified end. (shrink)

The phenomenon of consumption has increasingly drawn attention from economists. While the ‘sole purpose of production is consumption’, as Adam Smith has claimed, economists have up to recently generally ignored the topic. This book brings together a range of different perspectives on the topic of consumption that will finally shed the necessary light on a largely neglected theme, such as Why is the consumption of symbolic goods different than that of goods that are not constitutive of individuals’ identity? How does (...) the consumption of symbolic goods affect social processes and economic phenomena? Will taking consumption seriously impact economics itself? The book discusses these issues theoretically, and, through analyses of such cases as food, religion, fashion, empirically as well. It also discusses the possible role in the future of consumption. This book was previously published as a special issue of _Review of Social Economy_. (shrink)

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.

Collected here for the first time is a history of images of Oman, one of the most developed and stable countries in the Arab world and among the earliest adherents to Islam. A sultanate, the country sits along the east coast of the Arabian Peninsula. From early days of world trade through the port of Muscat to contemporary engagement with international diplomacy and the West, Oman has always evoked beauty and mystery in equal measure. This art-house quality volume reveals an (...) intimate picture of the country as its contours emerged over the last 80 years in the eyes of the West, as captured in images by English explorer Wilfred Thesiger in the 1940s and ‘50s, British Army major Charles Butt in the 1960s, and award-winning American documentary photographer Edward Grazda in the first decade of this new century. (shrink)

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' (...) and 'substitutability'. It is also argued that, in fact, they do both sell crucial passes in their defence of strong sustainability without providing any clear criteria for their abandonment of it in certain cases. It is also denied that the fact that environmental services may provide different satisfactions from those obtained from other goods and services elevates it to the status of some over-riding moral value, or that discounting future costs and benefits is 'unfair' to future generations. (shrink)

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the fifteenth publication in the Lecture Notes in Logic series, collects papers presented at the symposium 'Reflections on the Foundations of Mathematics' held in celebration of Solomon Feferman's 70th birthday (The 'Feferfest') at Stanford University, California in 1988. (...) Feferman has shaped the field of foundational research for nearly half a century. These papers reflect his broad interests as well as his approach to foundational research, which emphasizes the solution of mathematical and philosophical problems. There are four sections, covering proof theoretic analysis, logic and computation, applicative and self-applicative theories, and philosophy of modern mathematical and logic thought. (shrink)

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.

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 (...) other motivations that are not commensurate with the values that people place on ordinary marketable goods. Nevertheless, CV is also claimed to have some advantages and it is concluded that little progress will be made in this area until both sides in the debate recognise what is valid in their opponents' arguments. (shrink)

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 (...) many empirical phenomena are attributed to its presence. We use and develop the literature on gift exchange to provide a firmer theoretical basis for the concept of social capital. (shrink)

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 (...) many empirical phenomena are attributed to its presence. We use and develop the literature on gift exchange to provide a firmer theoretical basis for the concept of social capital. (shrink)