In this book, S. A. Lloyd offers a radically new interpretation of Hobbes's laws of nature, revealing them to be not egoistic precepts of personal prudence but rather moral instructions for obtaining the common good.

This chapter develops a perceptual solution to the epistemological problem of other minds, relying on central ideas from Maurice Merleau-Ponty's phenomenology. The Merleau-Pontian account is contrasted with another attempted perceptual solution to the other minds problem, and it is argued that only the former meets the phenomenologists' desideratum of providing an alternative to inferential solutions. The chapter also provides responses to various objections to the perceptual solution, including a pair of objections recently put forward by Alec Hyslop.

Study of Hans-Georg Gadamer's and Julius Stenzel's interpretations of Plato.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

This paper is a technical study of the systematic observations and computations made by Muḥyī al-Dīn al-Maghribī (d. 1283) at the Maragha observatory (north-western Iran, c. 1259–1320) in order to newly determine the parameters of the Ptolemaic lunar model, as explained in his Talkhīṣ al-majisṭī, “Compendium of the Almagest.” He used three lunar eclipses on March 7, 1262, April 7, 1270, and January 24, 1274, in order to measure the lunar epicycle radius and mean motions; an observation on April 20, (...) 1264, to determine the lunar eccentricity; an observation on August 29, 1264, to test the model; and another on March 15, 1262, for measuring the lunar parallax. In the second period of activity at the Maragha observatory, Shams al-Dīn Muḥammad al-Wābkanawī (c. 1254–1320) adopted all of al-Maghribī’s parameter values in his Zīj, but decreased his value for the mean longitude of the moon at epoch by 0;13,11∘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{\circ }$$\end{document}. By comparing the times of the new moons and lunar eclipses in the period of 1270–1320 as computed from the astronomical tables of the Maragha tradition with the true modern ones, it is argued that this correction was very probably the result of actual observations. (shrink)

Can philosophy offer reasonable grounds for the existence of a God possessing genuine religious significance and not proposed simply as the solution to a purely intellectual philosophical problem? Certainly many contemporary thinkers have insisted that no genuine religion could be based upon metaphysics. In this book, however, T. L. S. Sprigge examines sympathetically the most notable metaphysical systems of the last four centuries which purport to put religion on a rational footing and, after a thorough examination of their claims, considers (...) what kind of religious outlook they might support and how they actually affected the lives of their proponents. The thinkers studied include Spinoza, Hegel, T. H. Green, Bernard Bosanquet, Josiah Royce, A. N. Whitehead, and Charles Hartshorne, concluding with an exposition of the author's own viewpoint and a general discussion on the relation between metaphysics and religion. There is also a chapter on Kierkegaard as the most important critic of metaphysical religion. (shrink)

Commentary on Tarkasaṅgraha of Annambhaṭṭa, 17th cent., work on Nyaya and Vaiśeṣika philosophy; critical edition with complete text.

Seminar papers on Dvaitadvaita philosophy with reference to Advaitabrahmasiddhi of Madhusūdana Sarasvatī and Nyāyāmr̥ta of Vyāsatīrtha, 1460-1539.

Professor Toynbee observes in his Study of History that as he walked down Whitehall one day in the spring of 1918, and passed the Board of Education offices which had been commandeered for a new department of the War Office, “improvised in order to make an intensive study of trench warfare,” he found himself repeating the passage from St. Matthew's Gospel.

Introduction -- Tending the dark fire: the Boehmian notion of drive -- The night-side of nature: the early Schellingian unconscious -- The speculative psychology of dissociation: the later Schellingian unconscious -- Schellingian libido theory.

This comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (shrink)

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

This chapter offers a proceduralist argument against capital punishment. More specifically, it contends that the possibility of irrevocable mistakes precludes the just administration of the death penalty. At stake is a principle of political morality: legal institutions must strive to remedy their mistakes and to compensate those who suffer from wrongful sanctions. The incompatibility of remedy and execution is the crux of the irrevocability argument: because the wrongly executed cannot enjoy the morally required compensation, execution is impermissible. Along with defending (...) his key premises, Yost explains the complicated role that sentencing uncertainty plays in the argument. He concludes by noting some of the flaws in substantive consequentialist and retributivist justifications of capital punishment. (shrink)

-- v. 2. Pami︠a︡ti Vitalii︠a︡ Ivanovicha Svint︠s︡ova.

Jean Baudrillard is one of the outstanding representatives both of French poststructuralism and postmodernism. Because of radical criticism it was not possible for him to establish a logically coherent theoretical system; the philosophical aspects of his work are specifically merged, therefore, into a critical asystematic fragmentarism, which is the subject of this work. From the critique of the political economy of the sign, through critiques of rationalism, reality, progress, truth, history to the theory of simulation, Baudrillard's specific para-concepts (fatal strategy, (...) symbolic exchange, seduction, hyperreality, pataphysics, etc.) are constantly fragmentarily present in the development of his thought. These concepts are Baudrillard's attempt at disengagement from modern philosophy and his new, unsystematic postmodern view of reality in general. In the analysis of binary metaphysical oppositions (reality-simulation, subject-object, knowledge-seduction, history-end, radical-irradical nihilism, metaphysics (God)-pataphysics), Baudrillard is radically exclusive through the arbitrary preference of one over the other concept. his ideas, it is possible to conclude that these dualistic antagonisms are also paradoxically compatible in his system, this compatibility is very close to the irrational mysticism of this thinker. This book is a clear and lucid presentation of this unique brand of postmodernism to English speaking scholarship. (shrink)