In spite of the existence of many examples of incomplete logics, it is an important problem to find intermediate predicate logics complete with respect to Kripke frame (or Kripke sheaf) semantics because they are closed under substitution. But, most of known completeness proofs of finitely axiomatizable logics are difficult to apply to other logics since they are highly dependent on the specific properties of given logics. So, it is preferable to find a general methods of completeness proof. We give some (...) results on this problem using canonical formulas of "propositional" logics 8,2ESS. (shrink)

For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=x(p(x)q)xp(x)q) is shown in some cases including:1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.

The logic CD is an intermediate logic which exactly corresponds to the Kripke models with constant domains. It is known that the logic CD has a Gentzen-type formulation called LD and rules are replaced by the corresponding intuitionistic rules) and that the cut-elimination theorem does not hold for LD. In this paper we present a modification of LD and prove the cut-elimination theorem for it. Moreover we prove a “weak” version of cut-elimination theorem for LD, saying that all “cuts” except (...) some special forms can be eliminated from a proof in LD. From these cut-elimination theorems we obtain some corollaries on syntactical properties of CD: fragments collapsing into intuitionistic logic. Harrop disjunction and existence properties, and a fact on the number of logical symbols in the axiom of CD. (shrink)

We generalize the incompleteness proof of the modal predicate logic Q-S4+ p p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.

地球環境問題など、文明社会がもたらしたさまざまな負の作用がクローズアップされているいま、必要なのは量の時代から質の時代への移行である。「人間」「科学」「技術」がどのように相互作用してきたかをふりかえり 、人間、自然、地球が豊かになるための道をさぐる。.

At the very beginning of L’Homme-Machine, La Mettrie claims that Leibnizians with their monads have “rather spiritualized matter than materialized the soul”; a few years later Pierre-Louis Moreau de Maupertuis, President of the Berlin Academy of Sciences and natural philosopher with a strong interest in the modes of transmission of ‘genetic’ information, conceived of living minima which he termed molecules, “endowed with desire, memory and intelligence,” in his Système de la nature ou Essai sur les corps organisés. This text first (...) appeared in Latin in 1751 under the title Dissertatio inauguralis metaphysica de universali naturae systemate, with the pseudonym Dr Baumann; it was translated by Maupertuis in 1754 as Essai sur la formation des corps organisés and was later included in his 1756 Œuvres under the title Système de la nature. Now, it is clear that Maupertuis was a kind of Leibnizian; and that his molecule possessed higher-level, ‘mental’ properties. In that sense he falls under the first category described by La Mettrie. But he was also involved in a debate on this issue with Diderot, who put forth a sustained critique of Maupertuis’ theory of the molecule in the additions to his 1753 Pensées sur l’interprétation de la nature. Where Maupertuis attributes higher-level properties to his living minima, Diderot argues that these properties are ‘organizational’, i.e., they can only be properties of the whole. At issue here is the degree of commitment to a form of materialism. (shrink)

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

In his Philosophical Inquiry concerning Human Liberty (1717), the English deist Anthony Collins proposed a complete determinist account of the human mind and action, partly inspired by his mentor Locke, but also by elements from Bayle, Leibniz and other Continental sources. It is a determinism which does not neglect the question of the specific status of the mind but rather seeks to provide a causal account of mental activity and volition in particular; it is a ‘volitional determinism’. Some decades later, (...) Diderot articulates a very similar determinism, which seeks to recognize the existence of “causes proper to man” (as he says in the Réfutation d’Helvétius). The difference with Collins is that now biological factors are being taken into account. Obviously both the ‘volitional’ and the ‘biological’ forms of determinism are noteworthy inasmuch as they change our picture of the nature of determinism itself, but my interest here is to compare these two determinist arguments, both of which are broadly Spinozist in nature – and as such belong to what Jonathan Israel called in his recent book “the radical Enlightenment,” i.e. a kind of underground Enlightenment constituted by Spinozism – and to see how Collins’ specifically psychological vision and Diderot’s specifically biological vision correspond to their two separate national contexts: determinism in France in the mid-1750s was a much more medico-biological affair than English determinism, which appears to be on a ‘path’ leading to Mill and associationist psychology. (shrink)

This volume emphasizes the diversity and fruitfulness of early modern mechanism as a program, as a concept, as a model. Mechanistic study of the living body but also of the mind and mental processes are examined in careful historical focus, dealing with figures ranging from the first-rank (Bacon, Descartes, Spinoza, Cudworth, Gassendi, Locke, Leibniz, Kant) to less well-known individuals (Scaliger, Martini) or prominent natural philosophers who have been neglected in recent years (Willis, Steno, etc.). The volume moves from early modern (...) medicine and physiology to late Enlightenment and even early 19th-century psychology, always maintaining a conceptual focus. It is a contribution to a newly active field in the history and philosophy of early modern life science. It is of interest to scholars studying the history of medicine and the development of mechanistic theories. (shrink)

Ce livre étudie, à travers une série d'épisodes allant de la philosophie des Lumières à notre époque, le problème du matérialisme dans l'histoire de la philosophie et l’histoire des sciences. Comment comprendre les spécificités de l’histoire du matérialisme, des Lumières à nos jours, au sein de la grande histoire de la philosophie et de l’histoire des sciences ? Quelle est l’actualité de l’opposition classique entre le corps et l’esprit ? Qu’est-ce que le rire ou le rêve peuvent nous apprendre du (...) matérialisme ? En traversant l’histoire de ce concept jusqu’à l’émergence d’un « nouveau matérialisme » contemporain, l’ouvrage vise à revitaliser le matérialisme et sa lecture. -/- . (shrink)

The living body appears like an endlessly renewable reservoir of authenticity, hope, and taboo. But, for the sake of conceptual clarity, we are often been told that the (mere) body should be distinguished from the flesh. That is, it’s undeniable that I have a body; that I notice yours; that we worry about their birth and death and upkeep. But the flesh is a more transcendentalized, loaded concept – not least given its frequently religious background (incarnation: the Word made Flesh). (...) It is the body ‘kicked upstairs’, ‘bumped up’ one ontological level. Flesh is like a mantra, an obsessive leitmotif. Is the difference just one of abstraction? Indeed, crucial to the narrative of phenomenology (most obviously in Merleau-Ponty but really, throughout, including in enactivism), to the story of ancestor worship and identity it tells itself and its acolytes around the campfire, is a basic distinction between the merely physical body and the flesh as something requiring ‘mineness’, namely, an understanding of it as uniquely ‘my own’, a feeling of ‘what it is like to be embodied’. This goes back to the Husserlian distinction between Körper, ‘body’ in the sense of one body among others in a vast mechanistic universe of bodies, and Leib, ‘flesh’ in the sense of a subjectivity which is the locus of experience. In this essay I reflect on this vision of the body’s authenticity and its costs, and contrast it with insights derived from Georges Canguilhem, whose critique of mechanism/mechanicism is not done in the name of a wholescale organicism and/or an unproblematized éloge of embodiment and privacy. (shrink)

How do we judge whether an action is morally right or wrong? If an action is wrong, what reason does that give us not to do it? Why should we give such reasons priority over our other concerns and values? In this book, T. M. Scanlon offers new answers to these questions, as they apply to the central part of morality that concerns what we owe to each other. According to his contractualist view, thinking about right and wrong is thinking (...) about what we do in terms that could be justified to others and that they could not reasonably reject. He shows how the special authority of conclusions about right and wrong arises from the value of being related to others in this way, and he shows how familiar moral ideas such as fairness and responsibility can be understood through their role in this process of mutual justification and criticism. Scanlon bases his contractualism on a broader account of reasons, value, and individual well-being that challenges standard views about these crucial notions. He argues that desires do not provide us with reasons, that states of affairs are not the primary bearers of value, and that well-being is not as important for rational decision-making as it is commonly held to be. Scanlon is a pluralist about both moral and non-moral values. He argues that, taking this plurality of values into account, contractualism allows for most of the variability in moral requirements that relativists have claimed, while still accounting for the full force of our judgments of right and wrong. (shrink)

Principlism aims to provide a framework to help those working in medicine both to identify moral problems and to make decisions about what to do. For it to meet this aim, the principles included within it must express values that all morally serious people share (or ought to share), and there must be no other values that all morally serious people share (or ought to share). This paper challenges the latter of these claims. I will argue that as a descriptive (...) claim about what values morally serious people do in fact share, principlism is inadequate; more principles would be needed to make this claim true. Furthermore, I will argue that while, taken as a claim about what principles we ought to share, principlism could turn out to be correct, it is either unsupported or unable to meet its aims. The only way in which principlists can avoid these problems is to add to the current four principles. (shrink)

In some places consumption of alcohol raises serious public health issues. One recent proposal for addressing these issues has been to set a minimum price at which a unit of alcohol can be sold. In this paper I argue that such a policy, while it may have substantial health benefits, is ethically problematic. This is primarily because it unfairly places considerable burdens on those already most disadvantaged in society. In addition, such policies are poorly targeted if our concern is with (...) preventing the harms drinkers pose to other people. (shrink)

The integration of normative analysis with empirical data often remains unclear despite the availability of many empirical bioethics methodologies. This paper sought bioethics scholars’ experiences and reflections of doing empirical bioethics research to feed these practical insights into the debate on methods. We interviewed twenty-six participants who revealed their process of integrating the normative and the empirical. From the analysis of the data, we first used the themes to identify the methodological content. That is, we show participants’ use of familiar (...) methods explained as “back-and-forth” methods (reflective equilibrium), followed by dialogical methods where collaboration was seen as a better way of doing integration. Thereafter, we highlight methods that were deemed as inherent integration approaches, where the normative and the empirical were intertwined from the start of the research project. Second, we used the themes to express not only how we interpreted what was said but also how things were said. In this, we describe an air of uncertainty and overall vagueness that surrounded the above methods. We conclude that the indeterminacy of integration methods is a double-edged sword. It allows for flexibility but also risks obscuring a lack of understanding of the theoretical-methodological underpinnings of empirical bioethics research methods. (shrink)