The goal of this article is to take a step toward the resolution of the problem of finding an analytic sequent calculus for the logic of proofs. For this, we focus on the system Ilp, the intuitionistic version of the logic of proofs. First we present the sequent calculus Gilp that is sound and complete with respect to the system Ilp; we prove that Gilp is cut-free and contraction-free, but it still does not enjoy the subformula property. Then, we enrich (...) the language of the logic of proofs and we formulate in this language a second Gentzen calculus Gilp∗. We show that Gilp∗ is a conservative extension of Gilp, and that Gilp∗ satisfies the subformula property. (shrink)
In this paper we present a sequent calculus for propositional dynamic logic built using an enriched version of the tree-hypersequent method and including an infinitary rule for the iteration operator. We prove that this sequent calculus is theoremwise equivalent to the corresponding Hilbert-style system, and that it is contraction-free and cut-free. All results are proved in a purely syntactic way.
The first and more important section of this article lists all the known treatises in Arabic on Fine Technology – water-clocks, automata, pumps, trick vessels, fountains, etc. The ideas, techniques and components in these treatises are of great importance in the history of machine technology. For each treatise information is given on the provenance of MSS, editions in Arabic and translations, paraphrases or commentaries in modern European languages. In addition to treatises by Arabic writers, similar information is also given on (...) Greek mechanical treatises if these have survived only in Arabic versions. The second section deals with utilitarian machines such as mills and water-raising machines. The various sources of information about these machines is discussed, including Arabic works on geography and travel, iconography and archaeology. La première section de cet article et la plus importante énumère tous les traités connus en arabe portant sur la technologie d'agrément – horloges à eau, automates, pompes, ‘vases merveilleux’, fontaines, etc. Les idées, les techniques et les mécanismes que l'on rencontre dans ces traités sont d'une grande importance pour l'histoire de la technologie. Pour chacun de ces traités, des renseignements sont donnés concernant la localisation des manuscrits, les éditions en arabe et les traductions, paraphrases et commentaires existant en langues européennes. On trouvera en outre des renseignements similaires sur les traités de mécanique grecs qui n'ont survécu que dans des versions arabes. La seconde section traite des machines utilitaires telles que les moulins et les machines à élever l'eau. Les diverses sources d'information concernant ce type de machines sont discutées, y compris les livres de géographie et de voyages, l'iconographie et l'archeologie. (shrink)
This book presents a comprehensive theory of consciousness. The initial chapter distinguishes six main forms of consciousness and sketches an account of each one. Later chapters focus on phenomenal consciousness, consciousness of, and introspective consciousness. In discussing phenomenal consciousness, Hill develops the representational theory of mind in new directions, arguing that all awareness involves representations, even awareness of qualitative states like pain. He then uses this view to undercut dualistic accounts of qualitative states. Other topics include visual awareness, visual (...) appearances, emotional qualia, and meta-cognitive processing. This important work will interest a wide readership of students and scholars in philosophy of mind and cognitive science. (shrink)
Respect, Pluralism, and Justice is a series of essays which sketches a broadly Kantian framework for moral deliberation, and then uses it to address important social and political issues. Hill shows how Kantian theory can be developed to deal with questions about cultural diversity, punishment, political violence, responsibility for the consequences of wrongdoing, and state coercion in a pluralistic society.
Thomas Hill, a leading figure in the recent development of Kantian moral philosophy, presents a set of essays exploring the implications of basic Kantian ideas for practical issues. The first part of the book provides background in central themes in Kant's ethics; the second part discusses questions regarding human welfare; the third focuses on moral worth-the nature and grounds of moral assessment of persons as deserving esteem or blame. Hill shows moral, political, and social philosophers just how valuable (...) moral theory can be in addressing practical matters. (shrink)
This volume presents a selection of essays by the leading philosopher Christopher S. Hill. Together, they address central philosophical issues related to four key concerns: the nature of truth; the relation between experiences and brain states; the relation between experiences and representational states; and problems concerning knowledge.
In recent years, much work has been dedicated by logicians, computer scientists and economists to understanding awareness, as its importance for human behaviour becomes evident. Although several logics of awareness have been proposed, little attention has been explicitly dedicated to change in awareness. However, one of the most crucial aspects of awareness is the changes it undergoes, which have countless important consequences for knowledge and action. The aim of this paper is to propose a formal model of awareness change, and (...) to derive from it logics of awareness change. In the first part of the paper, the model of epistemic states of bounded agents proposed in Hill (Stud Log 89(1):81–109, 2008a ) is extended with operations modelling awareness change. In the second part of the paper, it is shown how this model naturally extends the “standard” logic of awareness to yield a logic of awareness change. (shrink)
Thomas E. Hill, Jr., interprets and extends Kant's moral theory in a series of essays that highlight its relevance to contemporary ethics. He introduces the major themes of Kantian ethics and explores its practical application to questions about revolution, prison reform, and forcible interventions in other countries for humanitarian purposes.
Kevin Hill presents a highly original study of Nietzsche's thought, the first book to examine in detail his debt to the work of Kant. Hill argues that Nietzsche is a systematic philosopher who knew Kant far better than is commonly thought, and that he can only be properly understood in relation to him. Nietzsche's Critiques will be of great value to scholars and students with interests in either of these philosophical giants, or in the history of ideas generally.
Few thinkers of the latter half of the twentieth century have so profoundly and radically transformed our understanding of writing and literature as Jacques Derrida. Derridian deconstruction remains one of the most powerful intellectual movements of the present century, and Derrida's own innovative writings on literature and philosophy are crucially relevant for any understanding of the future of literature and literary criticism today. Derrida's own manner of writing is complex and challenging and has often been misrepresented or misunderstood. In this (...) book, Leslie Hill provides an accessible introduction to Derrida's writings on literature which presupposes no prior knowledge of Derrida's work. He explores in detail Derrida's relationship to literary theory and criticism, and offers close readings of some of Derrida's best known essays. This introduction will help those coming to Derrida's work for the first time, and suggests further directions to take in studying this hugely influential thinker. (shrink)
In this highly original book, Jason Hill defends a strong form of moral cosmopolitanism and lays the groundwork for a new view of the self. To achieve a radical cosmopolitan identity, he argues it may be necessary to forget aspects of one's racial and ethnic socialization. The idea of forgetting where one came from demands that morally recreated persons disown parts or even all of their cultures if these cultures are oppressive or denigrate human life. Hill draws on (...) existentialism, developmental psychology, and his own experiences as a Caribbean immigrant to the United States to present a philosophy for the new millennium. (shrink)
This collection of Geoffrey Hill's criticism spans the length of his career as a pre-eminent poet-critic. Three previously published books of criticism are reprinted, sometimes with substantial revisions, and two new works added.
Identity theory The doctrine that mental states are identical with physical states was defended in antiquity by Lucretius and in the early modern era by Hobbes. It achieved considerable prominence in the 1950s as a result of the writings of Herbert Feigl, U. T. Place, and J. J. C. Smart. (See, e.g., Smart (1959). These authors developed reasonably precise formulations of the doctrine, clarified the grounds for embracing it, and responded persuasively to a range of objections. More recently it has (...) been defended systematically by Hill (1991) and Papineau (2002). Other contemporary advocates include Loar (1990), McLaughlin (2004), and Polger (2005). The doctrine also figures explicitly or implicitly in the writings of dualists, who are of course concerned to oppose it. Thus, for example, it plays an important role in Kripke’s influential defense of dualism (Kripke 1980). (shrink)
In many democracies, voter turnout is low and getting lower. If the people choose not to govern themselves, should they be forced to do so? For Jason Brennan, compulsory voting is unjust and a petty violation of citizens' liberty. The median non-voter is less informed and rational, as well as more biased, than the median voter. According to Lisa Hill, compulsory voting is a reasonable imposition on personal liberty. Hill points to the discernible benefits of compulsory voting and (...) argues that high turnout elections are more democratically legitimate. The authors - both well-known for their work on voting and civic engagement - debate questions such as: • Do citizens have a duty to vote, and is it an enforceable duty? • Does compulsory voting violate citizens' liberty? If so, is this sufficient grounds to oppose it? Or is it a justifiable violation? Might it instead promote liberty on the whole? • Is low turnout a problem or a blessing? (shrink)
: Henri Bergson's philosophy has attracted increasing feminist attention in recent years as a fruitful locus for re-theorizing temporality. Drawing on Luce Irigaray's well-known critical description of metaphysics as phallocentrism, Hill argues that Bergson's deduction of duration is predicated upon the disavowal of a sexed hierarchy. She concludes the article by proposing a way to move beyond Bergson's phallocentrism to articulate duration as a sensible and transcendental difference that articulates a nonhierarchical qualitative relation between the sexes.
Respect, Pluralism, and Justice is a series of essays which sketch a broadly Kantian framework for moral deliberation, and then use it to address important social and political issues. Hill shows how Kantian theory can be developed to deal with questions about cultural diversity, punishment, political violence, responsibility for the consequences of wrongdoing, and state coercion in a pluralistic society.
The article is a reply to joseph margolis, "moral cognitivism", "ethics", Volume 85, 1975, Pages 136-141. It is contended that margolis has neglected an important criterion of moral cognitivism: he is quite right in asserting that a cognitive theory, Beyond maintaining that we know moral propositions to be right or wrong and that we are competent so to judge, Must specify the mode of nonpropositional knowledge on which the propositional assertion is based--But his acceptance of naturalism and intuitionism as types (...) of cognitivism indicates that, For him at least, A cognitivist does not need to know what goodness is. It is the point of hill's reply that moral cognitivism ultimately rests on knowing goodness, And that therefore neither naturalism nor intuitionism are morally cognitive at all. (shrink)
In Beyond Blood Identities, Jason D. Hill presents a bold defense of a form of cosmopolitanism according to which only individual persons_not cultures, races, or ethic groups_are the bearers of rights and the possessors of an inviolable status worthy of respect.
Précis of Consciousness Content Type Journal Article Pages 1-5 DOI 10.1007/s11098-011-9813-3 Authors Christopher S. Hill, Department of Philosophy, Brown University, Providence, RI 02912, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.
Reply to Alex Byrne and Fred Dretske Content Type Journal Article Pages 1-9 DOI 10.1007/s11098-011-9814-2 Authors Christopher S. Hill, Department of Philosophy, Brown University, Providence, RI 02912, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116.
In search of the origins of some of the most fundamental problems that have beset philosophers in English-speaking countries in the past century, Claire Ortiz Hill maintains that philosophers are treating symptoms of ills whose causes lie buried in history. Substantial linguistic hurdles have blocked access to Gottlob Frege's thought and even to Bertrand Russell's work to remedy the problems he found in it. Misleading translations of key concepts like intention, content, presentation, idea, meaning, concept, etc., severed analytic philosophy (...) from its roots. -/- Hill argues that once linguistic and historical barriers are removed, Edmund Husserl's critical study of Frege's logic in his 1891 Philosophy of Arithmetic provides important insights into issues in philosophy now. -/- She supports her conclusions with analyses of Frege's, Husserl's, and Russell's works, including Principia Mathematica, and with linguistic analyses of the principal concepts of analytic philosophy. She re-establishes links that existed between English and Continental thought to show Husserl's expertise as a philosopher of mathematics and logic who had been Weierstrass's assistant and had long maintained ties with Cantor, Hilbert, and Zermelo. (shrink)
Blanchot provides a compelling insight into one of the key figures in the development of postmodern thought. Although Blanchot's work is characterised by a fragmentary and complex style, Leslie Hill introduces clearly and accessibly the key themes in his work. He shows how Blanchot questions the very existence of philosophy and literature and how we may distinguish between them, stresses the importance of his political writings and the relationship between writing and history that characterised Blanchot's later work; and considers (...) the relationship between Blanchot and key figures such as Emmanuel Levinas and Georges Bataille and how this impacted on his work. Placing Blanchot at the centre stage of writing in the twentieth century, Blanchot also sheds new light on Blanchot's political activities before and after the Second World War. This accessible introduction to Blanchot's thought also includes one of the most comprehensive bibliographies of his writings of the last twenty years. (shrink)
Many members of the public think of the General Medical Council (GMC) as the body which tries doctors: the doctors' law courts, as it were. And, except in the more sober of newspapers and news reports, the 'offences ' which receive the most publicity are those concerning alleged improper relations between doctors and patients. Professor Sir Denis Hill, in the following paper, which he read in the spring of this year to the annual conference of the London Medical Group (...) devoted to a discussion of human sexuality, chose to examine the whole function of the General Medical Council as a frame of moral reference for doctors. Judging allegations of professional misconduct by doctors is the function of the Council's Disciplinary Committee. Judging sexual misconduct forms only a small part of their work. The GMC's responsibility covers the whole notion of morals and morality as it concerns doctors in their professional work. Sir Denis Hill stresses the modern thinking that morality must be learned and that attitudes are always shifting as society alters its norms of what is moral conduct. That is not to say that all that was previously considered not to be moral has now become acceptable but rather that other concepts have entered the field of moral debate. Therefore the GMC must constantly review the frame of reference it offers to doctors and the public may be surprised to learn that that process is never static. Sir Denis Hill in this paper is speaking personally and not as a member of the General Medical Council or of any of that body's special committees. (shrink)
Hill, John In a previous article, I discussed the arguments and tactics of those who are variously called 'restorationists' and 'reformers of the reform', in the liturgical areas of the reservation of the Blessed Sacrament, the eastward position (or otherwise) of the priest at Mass and liturgical translation. In this article, I wish to go more deeply into their arguments, specifically by examining the language they use. I propose, in other words, to examine their grammar (in a wide sense), (...) in order to subject their arguments to greater scrutiny. (shrink)
Hill, John Sixty years ago, in 1958, a novel was published posthumously in Italy, 'Il Gattopardo', by Giuseppe Tomasi di Lampedusa.It was a masterpiece that soon became a bestseller and the basis of Visconti's cinema classic. It recounts the impact on a Sicilian aristocratic family of Garibaldi's invasion in 1860, with Sicily's incorporation into the Kingdom of Sardinia and, subsequently, the formation of the Kingdom of Italy. In particular, it portrays the reaction to all this on the part of (...) Don Fabrizio, Prince of Salina, as the state he knows - the Kingdom of the Two Sicilies - collapses around him, and a new state, run by 'new men', compels his adjustment to a new reality. (shrink)
Hill, John This is not an essay in deportment, but an effort, at a deeper level, to relate the Catholic priesthood to a changing society, in which its standing has suffered much because of the unacceptable conduct of some priests in recent years. There is a way of understanding style that has been developed by theologians since Vatican II; we shall examine their ideas shortly. While they do not mention him, their ideas are close to the famous declaration of (...) the great French naturalist, the Comte de Buffon, in a discourse on style delivered to the Academie francaise on 25 August 1753: 'Ces choses sont hors de l'homme, le style est l'homme meme'. Many remember this as 'The style is the man'. However you translate it, it is a statement about more than how you wear your wig or bow to a lady. It is about 'the man himself', who reveals himself in his style. (shrink)
Hill, John As Manfred Hauke has pointed out in a recent article, the question of whether the priest should face the people or not during Mass is more than a matter of personal taste or liturgical prejudice. If the Mass is a meal, then the participants should in some way surround what is a table; if it is a sacrifice, then the priest should lead the people in prayer, facing the east across what is an altar. This is a (...) choice that has been strongly stressed by Klaus Gamber, and supported by Joseph Ratzinger, in opposition to the increasing tendency to see the Mass as a meal. (shrink)
Flaubert himself, in an early and now famous letter, identifies in "bêtise" the effect of an inordinate desire to conclude: "Oui, la bêtise," he writes, "consiste à vouloir conclure. Nous sommes un fil et nous voulons savoir la trame" . This is to say stupidity, to Flaubert, is less a given content of discourse than a particular order of that discourse itself.1 It is the sign of an hasty and elliptical intervention into thought of a series of preconceived conclusions, the (...) source of which may be situated in the doxa and in the rhetoric of verisimilitude that sustains the persuasive power of the doxa. Stupidity, as the project of the Dictionnaire demonstrates, is an endless fabric of maxims and probable syllogisms the function of which is to determine the particular and the specific, the singular and the different, as paradigmatic exempla of the larger discourse of encyclopaedic universality expressed in the verisimilitude of received ideas. It is in this sense that one can see in Flaubert's notion of "bêtise" the denunciation by the writer of an especially vulgarised form of the Aristotelian concept of verisimilitude, which, built around the rhetorical figures of the probable syllogism—the enthymeme—and the exemplum , is directed towards winning adhesion to a particular thesis by appealing to generalities and probabilities, and which constructs its arguments from material drawn from the doxa.2 It is this rhetoric of persuasion by verisimilitude that Flaubert, in the various discourses of the lover, the dreamer, and the politician, will throw into ironic relief in Madame Bovary and L'Éducation sentimentale. · 1. Cf. Valéry, Oeuvres, 1:1452.· 2. The concept of verisimilitude is a difficult one and one which had received much critical attention in recent years. I have taken the term here to refer to the complex network of constraints by which the mimetic novelist, like the rhetorician, is able to engage his audience in a contract of mutual recognition and to persuade them of the "sense of reality" of his narrative, that his is a plausible interpretation of reality, worthy of belief . It is here that Aristotle's elaboration of mimesis and of the art of rhetoric is decisive. Both in the Poetics and in the Rhetoric, Aristotle distinguishes two concepts with regards to the manner in which the artist or the rhetorician solicits from his audience the belief in the justness of his reconstruction of reality. The first concept is that of pithanon, the plausible or the persuasive. This corresponds to the speculative consideration of what strategy will be most forceful in any given case. Rhetoric is indeed defined as "the faculty of observing in any given case the available means of persuasion " . As such, pithanon is the sign of a desire to convince, a decision on the part of an individual in a particular situation. For this desire to convince to become fully operative in the context of an audience, it needs to be recast not as a plausibility, but as a probability, as eikos. Aristotle defines eikos as "a thing that usually happens: not . . . anything whatever that usually happens, but only if it belongs to the class of the 'contingent' or 'variable.' It bears the same relation to that in respect of which it is probable as the universal bears to the particular" . Eikos is on one level a collection of contents, of topoi. But it is more than this. For otherwise this would mean that works deriving from different historical contexts would become unintelligible to the uninitiated reader. Eikos is a patterning of discourse, a rhetorical syntax, based upon the integration of the singular in the universal, and translated in the text by the enthymeme and the exemplum. The homogeneity of the mimetic novel derives from the way in which the desire to convince is mediated and dissimulated by a totalising, "natural" eikos, when, in other words, the narrator is "objective." It is when these two dimensions are dissociated, as in Bouvard et Pécuchet, that all manner of disturbance is generated. . Leslie Hill, fellow in Clare College, Cambridge University, is presently doing research on Flaubert and on general aspects of the modern French novel. This is his first publication. (shrink)
R. Kevin Hill argues that while Walsh is correct in urging caution regarding Rand's polemical characterizations of Kant, interpreting her charitably reveals surprising insights into the underlying structure of Kant's thought. Rand's objections to Kant's epistemology, psychology and metaphysics are truer to Kant's intentions than revisionist attempts to save him from himself. Her objections to Kantian ethics contain promising critiques of both Kant's rational reconstructive-methodology and his misuse of the concept of agent-neutral reasons. Lastly, though she paints too broadly (...) in her account of Kant's influence, two questionable tendencies in contemporary thought are traceable to him. (shrink)
With the rapid development of biotechnology, the physician is now more able to keep a patient's life going indefinitely on a life support system. The question of whether we should switch off the machine often arises when, according to the medical prognosis, there is no hope of recovery, or in a no-win situation where you are 'damned if you do and damned if you don't'. In a case which seems without hope, the dilemma of whether to prolong a life or (...) let it go disturbs many people, including health professionals as well as the family of the patient. In this painful situation, an ethics consultant who has received intensive training can help the concerned parties to arrive at what may be the best decision. How do Asians, especially those living in countries influenced by Confucian teachings, reach their answers? Three aspects are usually considered: (1) motivation and situation; (2) reasonableness and propriety; and (3) lawfulness and legality. More specifically, three questions are deliberated, as follows. (1) Where an action has already been taken, what motivated it and in what situation? Or, where a decision has still to be made, what should motivate it, and what are the relevant features of the situation? (2) Was the attempted resolution of the dilemma, or is its prospective resolution, reasonable and in accordance with traditional principles of ethical behaviour? (3) Was the action taken lawful, or would the intended action be lawful? This approach to finding an answer has been practised for centuries in Confucian society. But what is legal may not always be reasonable, what is reasonable may not always be compassionate, and what is compassionate may not always be either legal or reasonable. Principles to guide decision-making are therefore called for. This article, written by Michael Cheng-tek Tai in collaboration with Donald Hill, discusses the Confucian method of solving a problem and examines its principal features and how they are applied in ethics consultations. The article is followed by a series of questions and answers and a commentary by Donald Hill. (shrink)
Hill, John In a previous article, I broached the subject of priesthood as style, along the lines taken by Christoph Theobald and other contemporary French theologians.1 In that article I argued for a priestly style that fitted in with Theobald's vision of the Christian life as apprenticeship to Christ's own style of hospitable and eschatological messianism, and that also addressed current charges of clericalism and infantilism. I began to formulate that style in terms of citizenship, and I wish to (...) develop that approach in this article. (shrink)
Side A. Hill, Clint. A conversation with a former Secret Service agent. Cousy, B. Athletics & the killer instinct, pt. 1.-Side B. Cousy, B. Athletics & the killer instinct, pt. 2. Copeland, A. Music in America.