The statement of Heinsius that was the reading of all his manuscriptsis described by Henry2 as a mere blunder, and it must surely be so regarded.Henry claims to have examined seventy-four manuscripts, in none of whichdid he find , and more recent commentators and editors, though some3 prefer to adopt the emendation , are unanimous in acknowledging thelack of manuscript support for the change.

The statement of Heinsius that was the reading of all his manuscriptsis described by Henry2 as a mere blunder, and it must surely be so regarded.Henry claims to have examined seventy-four manuscripts, in none of whichdid he find, and more recent commentators and editors, though some3 prefer to adopt the emendation, are unanimous in acknowledging thelack of manuscript support for the change.

‘Putting the cart before the horse is folly, even when disguised under one ofthose Greek phrases which are so often employed-in grammar, in medicine,and in theology-to cloak ignorance. No writer of sense puts that last whichshould come first, and to accuse a great writer of doing so is mere impertinence.’1.

We develop a model of ethical decision making that integrates the decision-making process and the content variables considered by individuals facing ethical dilemmas. The process described in the model is drawn from Janis and Mann’s [1977, Decision Making: A Psychological Analysis of Conflict Choice and Commitment (The Free Press, New York)] work describing the decision process in an environment of conflict, choice and commitment. The model is enhanced by the inclusion of content variables derived from the ethics literature. The resulting (...) integrated model aids in understanding the complexity of the decision process used by individuals facing ethical dilemmas and suggests variable interactions that could be field-tested. A better understanding of the process will help managers develop policies that enhance the likelihood of ethical behavior in their organizations. (shrink)

In political philosophy, perfectionism is the view that it is the job of the state to best enable its citizens to live good or flourishing lives. It claims that certain lives can be judged to be sound, and thus instructs governments to promote those lives using state institutions etc. Anti-perfectionism denies this. It says that it is not the job of the state to promote good lives. Instead it should restrict itself to securing basic rights and duties, a threshold level (...) of resources and so on. Citizens should be left to adopt pursuits however they see fit. For some anti-perfectionists, this is precisely because we cannot judge any putative life to be sound. However, many are not sceptics, and justify state neutrality for other reasons. All accounts of anti-perfectionism must overcome what has been called the asymmetry objection: what justifies the imbalance inherent in anti-perfectionism? Why believe that the state is permitted to act on judgements about justice, but not on judgements about flourishing? My thesis argues that attempts to respond to the asymmetry objection have failed thus far. Further, I offer an account of political morality that can overcome the problem. The first four chapters of the thesis clarify the debate between perfectionists and anti-perfectionists, narrowing the former down into its most plausible form. Chapters five and six focus on two failed attempts to vindicate anti-perfectionism – Brian Barry’s argument from scepticism and Jonathan Quong’s Rawlsian approach. In the final chapter I put forward a much more promising argument in favour of anti-perfectionism – justice as a set of constraints. (shrink)

In this paper two different approaches to unification will be compared, Relational Blockworld (RBW) and Hiley’s implicate order. Both approaches are monistic in that they attempt to derive matter and spacetime geometry ‘at once’ in an interdependent and background independent fashion from something underneath both quantum theory and relativity. Hiley’s monism resides in the implicate order via Clifford algebras and is based on process as fundamental while RBW’s monism resides in spacetimematter via path integrals over graphs whereby space, time and (...) matter are co-constructed per a global constraint equation. RBW’s monism therefore resides in being (relational blockworld) while that of Hiley’s resides in becoming (elementary processes). Regarding the derivation of quantum theory and relativity, the promises and pitfalls of both approaches will be elaborated. Finally, special attention will be paid as to how Hiley’s process account might avoid the blockworld implications of relativity and the frozen time problem of canonical quantum gravity. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

Provability, Computability and Reflection.

I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent (...) computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)