An arithmetical interpretation of dynamic propositional logic (DPL) is a mapping f satisfying the following: (1) f associates with each formula A of DPL a sentence f(A) of Peano arithmetic (PA) and with each program α a formula f(α) of PA with one free variable describing formally a supertheory of PA; (2) f commutes with logical connectives; (3) f([α] A) is the sentence saying that f(A) is provable in the theory f(α); (4) for each axiom A of DPL, f(A) is (...) provable in PA (and consequently, for each A provable in DPL, f(A) is provable in PA). The arithmetical completeness theorem is proved saying that a formula A of DPL is provable in DPL iff for each arithmetical interpretation f, f(A) is provable in PA. Various modifications of this result are considered. (shrink)

The Pasadena game invented by Nover and Hájek raises a number of challenges for decision theory. The basic problem is how the game should be evaluated: it has no expectation and hence no well-defined value. Easwaran has shown that the Pasadena game does have a weak expectation, raising the possibility that we can eliminate the value gap by requiring agents to value gambles at their weak expectations. In this paper, I first prove a negative result: there are gambles like the (...) Pasadena game that do not even have a weak expectation. Hence, problematic value gaps remain even if decision theory is extended to take in weak expectations. There is a further challenge: the existence of a ‘value gap’ in the Pasadena game seems to make decision theory inapplicable in a number of cases where the right choice is obvious. The positive contribution of the paper is a theory of ‘relative utilities’, an extension of decision theory that lets us make comparative judgements even among gambles that have no well-defined value. (shrink)

The volume includes the proceedings from the conference FOL75 -- 75 Years of First-Order Logic held at Humboldt University, Berlin, September 18 - 21, 2003 on the occasion of the anniversary of the publication of Hilbert's and Ackermann's Grundzuge der theoretischen Logik. The papers provide analyses of the historical conditions of the shaping of FOL, discuss several modern rivals to it, and show the importance of FOL for interdisciplinary research. While there is no doubt that the celebrated book marks a (...) most important step in the development of logic, the volume in hand proves the actuality of the question "Which logic is the right logic." The volume contains articles by: H. Andreka, J. X. Madarasz, I. Nemeti, A. Avron, K. Brunnler, A. Guglielmi, G. Englebretsen, W. Ewald, P. Hajek, J. Hintikka, W. Hodges, M. Kracht, R. Lanzet, H. Ben-Yami, C. Toke, S. P. Odintsov, H. Wansing, J. A. Robinson, M. Rossberg, M. Thielscher, D. E. Willard, andJ. Wole 'nski. (shrink)

In his famous Wager, Blaise Pascal offers the reader an argument that it is rational to strive to believe in God. Philosophical debates about this classic argument have continued until our own times. This volume provides a comprehensive examination of Pascal's Wager, including its theological framework, its place in the history of philosophy, and its importance to contemporary decision theory. The volume starts with a valuable primer on infinity and decision theory for students and non-specialists. A sequence of chapters then (...) examines topics including the Wager's underlying theology, its influence on later philosophical figures, and contemporary analyses of the Wager including Alan Hájek's challenge to its validity, the many gods objection, and the ethics of belief. The final five chapters explore various ways in which the Wager has inspired contemporary decision theory, including questions related to infinite utility, imprecise probabilities, and infinitesimals. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras, where * is a continuous t-norm. In this paper we investigate the structure of the (...) variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

A continuoxis t- norm is a continuous map * from [0, 1]² into [0,1] such that ([ 0,1], *, 1) is a commutative totally ordered monoid. Since the natural ordering on [0,1] is a complete lattice ordering, each continuous t-norm induces naturally a residuation → and ([ 0,1], *, →, 1) becomes a commutative naturally ordered residuated monoid, also called a hoop. The variety of basic hoops is precisely the variety generated by all algebras ([ 0,1], *, →, 1), where (...) * is a continuous t-norm. In this paper we investigate the structure of the variety of basic hoops and some of its subvarieties. In particular we provide a complete description of the finite subdirectly irreducible basic hoops, and we show that the variety of basic hoops is generated as a quasivariety by its finite algebras. We extend these results to Hájek's BL-algebras, and we give an alternative proof of the fact that the variety of BL-algebras is generated by all algebras arising from continuous t-norms on [ 0,1] and their residua. The last part of the paper is devoted to the investigation of the subreducts of BL- algebras, of Gödel algebras and of product algebras. (shrink)

Creativity pervades human life. It is the mark of individuality, the vehicle of self-expression, and the engine of progress in every human endeavor. It also raises a wealth of neglected and yet evocative philosophical questions: What is the role of consciousness in the creative process? How does the audience for a work for art influence its creation? How can creativity emerge through childhood pretending? Do great works of literature give us insight into human nature? Can a computer program really be (...) creative? How do we define creativity in the first place? Is it a virtue? What is the difference between creativity in science and art? Can creativity be taught? The new essays that comprise The Philosophy of Creativity take up these and other key questions and, in doing so, illustrate the value of interdisciplinary exchange. Written by leading philosophers and psychologists involved in studying creativity, the essays integrate philosophical insights with empirical research. CONTENTS I. Introduction Introducing The Philosophy of Creativity Elliot Samuel Paul and Scott Barry Kaufman II. The Concept of Creativity 1. An Experiential Account of Creativity Bence Nanay III. Aesthetics & Philosophy of Art 2. Creativity and Insight Gregory Currie 3. The Creative Audience: Some Ways in which Readers, Viewers and/or Listeners Use their Imaginations to Engage Fictional Artworks Noël Carroll 4. The Products of Musical Creativity Christopher Peacocke IV. Ethics & Value Theory 5. Performing Oneself Owen Flanagan 6. Creativity as a Virtue of Character Matthew Kieran V. Philosophy of Mind & Cognitive Science 7. Creativity and Not So Dumb Luck Simon Blackburn 8. The Role of Imagination in Creativity Dustin Stokes 9. Creativity, Consciousness, and Free Will: Evidence from Psychology Experiments Roy F. Baumeister, Brandon J. Schmeichel, and C. Nathan DeWall 10. The Origins of Creativity Elizabeth Picciuto and Peter Carruthers 11. Creativity and Artificial Intelligence: a Contradiction in Terms? Margaret Boden VI. Philosophy of Science 12. Hierarchies of Creative Domains: Disciplinary Constraints on Blind-Variation and Selective-Retention Dean Keith Simonton VII. Philosophy of Education (& Education of Philosophy) 13. Educating for Creativity Berys Gaut 14. Philosophical Heuristics Alan Hájek. (shrink)

We discuss the case against Factorism, which is the standard assumption in quantum mechanics that the labels of the $$\otimes$$ ⊗ -factor Hilbert-spaces in direct-product Hilbert-spaces of composite physical systems of similar particles refer to particles, either directly or descriptively. We distinguish different versions of Factorism and argue for their truth or falsehood. In particular, by introducing the concepts of snapshot Hilbert-space and Schrödinger-movie, we demonstrate that there are Hilbert-spaces and $$\otimes$$ ⊗ -factorisations where the labels do refer, even descriptively, (...) to similar particles, which renders them probabilistically absolutely discernible. (shrink)

Bioethical Prescriptions collects F.M. Kamm's articles on bioethics -- revised for publication in book form -- which have appeared over the last 25 years and which have made her among the most widely-respected philosophers working in this field.

This paper examines the commonplace assertion that utilitarianism allows for and even, at times, requires the punishment of the innocent. It traces the origins of this doctrine to the writings of the British Idealists and the subsequent development of what is called the post-utilitarian paradigm which posits various justifications for punishment such as retribution, deterrence and reform, finds all of them inadequate, and then, with the addition of other ideas, reconciles them. The idea of deterrence is falsely depicted as the (...) utilitarian contribution to the theory of punishment, while deterrence in fact is one of several elements in the utilitarian theory. The mistake comes from ignoring the pain-pleasure dimension of Benthamite utilitarianism and from regarding the principle of utility itself as the sole criterion of action in a ‘top-down’ fashion. (shrink)

This article is a translation into english of a lecture given by paneth in 1931. The content of the work is described by the section titles: (1) the need for epistemological clarification of the fundamental concepts of chemistry, (2) the concept of substance in chemistry, (3) the epistemological standpoint of the ancient atomists, (4) the epistemological position of the concept of element introduced by lavoisier, (5) the double meaning of the chemical concept of element: 'basic substance' and 'simple substance', And (...) (6) the double meaning of other chemical concepts. Sections (4)-(6) are published in the following number of this journal. (staff). (shrink)

In his 2009 PSA Recent Ph.D. Award winning contribution to the bi-annual PSA Conference at Pittsburgh in 2008, C. Wu ̈thrich mounted an argument against struc- turalism about space-time in the context of the General Theory of Relativity, to the effect that structuralists cannot discern space-time points. An “abysmal embarrass- ment” for the structuralist, Wu ̈thrich judged. Wu ̈thrich’s characterisation of space-time structuralism is however incorrect. We demonstrate how, on the basis of a correct char- acterisation of space-time structuralism, it (...) is possible to discern space-time points in the GTR-structures under consideration. Thus Wu ̈thrich’s argument crumbles. (shrink)

The notorious ‘measurement problem’ has been roving around quantum mechanics for nearly a century since its inception, and has given rise to a variety of ‘interpretations’ of quantum mechanics, which are meant to evade it. We argue that no less than six problems need to be distinguished, and that several of them classify as different types of problems. One of them is what traditionally is called ‘the measurement problem’. Another of them has nothing to do with measurements but is a (...) profound metaphysical problem. We also analyse critically Maudlin’s (Topoi 14:7–15, 1995) well-known statement of ‘three measurements problems’, and the clash of the views of Brown (Found Phys 16:857–870, 1986) and Stein (Maximal of an impossibility theorem concerning quantum measurement. In: R. S. Cohen et al. (Eds.), Potentiality, entanglement and passion-at-a-distance, 1997) on one of the six measurement problems. Finally, we summarise a solution to one measurement problem which has been largely ignored but tacitly if not explicitly acknowledged. (shrink)

The question of what subjects Paul addresses in his letters has been a matter of debate in New Testament scholarship. This debate shows the evolution of Pauline studies, whereby early scholars argued that Paul addressed topics ranging from questions of human existence, to relations between Jews and Gentiles, and even topics connecting Paul with the Roman Empire. Most of these scholars view Paul mainly from a religious perspective, particularly in terms of the relationship between Judaism and Christianity. However, viewing Paul (...) from a Jewish versus a Christian religious perspective only fails to present the multivalent function of the Pauline corpus. This article employs social identity theory to read Galatians 3:1–10 in order to defend the argument that Paul employs his letters to construct a superordinate identity for his community which embraces not only political perspectives but also has religious and economic trajectories.Contribution: The application of identification, contest and comparison, concepts derived from sociology, to analyze Galatians 3:1-10 in reference to 1st century economic, religious and political contexts to explain the multivalent nature of early Christian identity, contributes to multidisciplinary research aspects of Biblical studies which is in tandem with the scope of HTS Theological Journal. (shrink)

This article considers Bentham's response to the criticism of utilitarianism that it allows for and may even require the sacrifice of some members of society in order to increase overall happiness. It begins with the contrast between the principle of utility and the contrasting principle of sympathy and antipathy to show that Bentham regarded the main achievement of his principle as overcoming the subjectivity he found in all other philosophical theories. This subjectivism, especially prevalent in theories of rights, might well (...) lead to the sacrifice of the individual. The principle of utility was presented as an ‘objective’ theory that avoided the difficulties of other moral and political theories. The article also considers the importance of universally applicable ends, such as security and equality, as part of the principle of utility, and especially Bentham's view of maximizing pleasure as being a distributive rather than an aggregative idea. The article concludes by criticizing H. L. A. Hart's interpretation of the role of equality and rights in Bentham and John Stuart Mill, and argues that Mill's doctrine of moral rights builds on foundations originally established by Bentham, foundations which would preclude the sacrifice of individuals. (shrink)

This paper has been prompted by the conviction that a number of ethical and political doctrines in Plato remain obscure and somewhat unintelligible unless related to the contemplative experience of the Platonic philosopher. 1 I shall concentrate here on one such doctrine, the distinction between philosophic and popular virtue, especially as it appears in the Phaedo and the Gorgias . But in order first to clarify our conception of the relationship between contemplation and virtue, I shall examine the fourteenth-century English (...) classic, The Cloud of Unknowing , which is mainly concerned with the practice of contemplation and only remotely connected with Plato. 2 One finds in The Cloud a perceptive account of the contemplative's acquisition of ‘perfect’ virtue which enables us to see the distinction between philosophic and popular virtue in Plato in a fresh light. After discussing the important passage in the Phaedo where the distinction is drawn, I shall criticise the account of virtue in Plato given by D. Z. Phillips and H. O. Mounce in Moral Practices where the contemplative context is minimised by their endeavour to see morality wholly in terms of conventions . 3 In this section, the argument between Socrates and Polus in the Gorgias will be discussed in light of the way Phillips and Mounce distinguish their respective ethical positions. The object of the paper is not only to point to the significance of contemplation in Plato's ethics which has been overlooked by many modern philosophers, but also to note the way our understanding of the dialogue form in Plato depends on the unique perspective of the contemplative philosopher. (shrink)

This article explores the relationship between utility and justice in the ancient Epicurean tradition, and as it developed in the seventeenth and eighteenth centuries following the revival of Epicureanism in the writings of Pierre Gassendi. It focuses on the significance of various allusions to a line from Horace, 'utilitas, justi prope mater et aequi' , which appeared in writings of Hugo Grotius, David Hume, and Jeremy Bentham, and was used to give utility a prominence in modern thought that it had (...) not hitherto received. The article attempts to provide the context for Hume's belief in the Enquiry concerning the Principles of Morals that the foundation of justice was utility and for Bentham placing utility at the foundation of his system. (shrink)

This article explores the relationship between utility and justice in the ancient Epicurean tradition, and as it developed in the seventeenth and eighteenth centuries following the revival of Epicureanism in the writings of Pierre Gassendi. It focuses on the significance of various allusions to a line from Horace, ‘utilitas, justi prope mater et aequi’, which appeared in writings of Hugo Grotius, David Hume, and Jeremy Bentham, and was used to give utility a prominence in modern hought that it had not (...) hitherto received. The article attempts to provide the context for Hume’s belief in the Enquiry concerning the Principles of Morals that the foundation of justice was utility and for Bentham placing utility at the foundation of his system. (shrink)

Recent years have seen a considerable increase in interest among scholars in our country in the treatment of the fundamental problems of a developed socialist society. A central place among them is held by the set of questions associated with the shaping among the toilers of a Marxist-Leninist world-view, high ideological and political qualities, and norms of communist morality. In other words, we speak of a deep, general analysis of the paths, methods, and means of cultivating a new kind of (...) human being, the diversely and harmoniously developed man of the communist system. (shrink)

The highly sophisticated techniques of modern engineering are normally conceived of in practical terms. Corresponding to the instrumental function of technology, they are designed to direct the forces of nature according to human purposes. Yet, as soon as the realm of mere skills is exceeded, the intended useful results can only be achieved through planned and preconceived action processes involving the deliberately considered application of well designed tools and devices. This is to say that in all complex cases theoretical reasoning (...) becomes an indispensable means to accomplish the pragmatic technological aims. Hence the abstracting from the actual concrete function of technology opens the way to concentrate attention on the general conceptual framework involved. If this approach is adopted the relevant knowledge and the procedures applied clearly exhibit a logic of their own. This point of view leads to a methodological and even an epistemological analysis of the theoretical structure and the specific methods of procedure characteristic of modern technology. Investigations of this kind, that can be described as belonging to an ana lytical philosophy of technology, form the topic of this anthology. The type of research in question here is closely akin to that of the philosophy of science. But it is an astonishing fact that the commonly accepted and carefully investigated philosophy of science has not yet found its counterpart in an established philosophy of technology. (shrink)