The capability of logical systems to express their own satisfaction relation is a key issue in mathematical logic. Our notion of self definability is based on encodings of pairs of the type (structure, formula) into single structures wherein the two components can be clearly distinguished. Hence, the ambiguity between structures and formulas, forming the basis for many classical results, is avoided. We restrict ourselves to countable, regular, logics over finite vocabularies. Our main theorem states that self definability, in this framework, (...) is equivalent to the existence of complete problems under quantifier free reductions. Whereas this holds true for arbitrary structures, we focus on examples from Finite Model Theory. Here, the theorem sheds a new light on nesting hierarchies for certain generalized quantifiers. They can be interpreted as failure of self definability in the according extensions of first order logic. As a further application we study the possibility of the existence of recursive logics for PTIME. We restate a result of Dawar concluding from recursive logics to complete problems. We show that for the model checking Turing machines associated with a recursive logic, it makes no difference whether or not they may use built in clocks. (shrink)

In the face of the moral pluralism that results from the death of God and the abandonment of a God's eye perspective in secular philosophy, bioethics arose in a context that renders it essentially incapable of giving answers to substantive moral questions, such as concerning the permissibility of abortion, human embryonic stem cell research, euthanasia, etc. Indeed, it is only when bioethics understands its own limitations and those of secular moral philosophy in general can it better appreciate those tasks that (...) it can actually usefully perform in both the clinical and academic setting. It is the task of this paper to understand and reevaluate bioethics by understanding these limits. Academic bioethicists can analyze ideas, concepts, and claims necessary to understanding the moral questions raised in health care, assessing the arguments related to these issues, and provide an understanding of the different moral perspectives on bioethical issues. In the clinical setting, bioethicists can provide legal advice, serve as experts on IRBs, mediating disputes, facilitating decision-making and risk management, and clarifying normative issues. However, understanding this is only possible when one understands the history, genesis, and foundations of bioethics and its inability to provide a resolution to postmodern moral pluralism. (shrink)

This paper studies general numerical networks with support and attack. Our starting point is argumentation networks with the Caminada labelling of three values 1=in, 0=out and ½=undecided. This is generalised to arbitrary values in [01], which enables us to compare with other numerical networks such as predator?prey ecological networks, flow networks, logical modal networks and more. This new point of view allows us to see the place of argumentation networks in the overall landscape of networks and import and export ideas (...) to and from argumentation networks. We make a special effort to make clear how general concepts in general networks relate to the special case of argumentation networks. We pay special attention to the handling of loops and to the special features of numerical support. We find surprising connections with the Dempster?Shafer rule and with the cross-ratio in projective geometry. This paper is an expansion of our 2005 paper and so we also consider higher level features such as numerical attacks on attacks, and propagation of numerical values.We conclude with a brief view of temporal numerical argumentation and with a detailed comparison with related papers published since 2005. (shrink)

The cortical visual mechanisms involved in processing spatial relationships remain subject to debate. According to one current view, the ''dorsal stream'' of visual areas, emanating from primary visual cortex and culminating in the posterior parietal cortex, mediates this aspect of visual processing. More recently, others have argued that while the dorsal stream provides egocentric coding of visual location for motor control, the separate ''ventral'' stream is needed for allocentric spatial coding. We have assessed the visual form agnosic patient DF, whose (...) lesion mainly affects the ventral stream, on a prehension task requiring allocentric spatial coding. She was presented with transparent circular disks. Each disk had circular holes cut in it. DF was asked to reach out and grasp the disk by placing her fingers through the holes. The disks either had three holes (for forefinger, middle finger, and thumb) or two holes (for forefinger and thumb). The distance between the forefinger and thumb holes, and the orientation of the line formed by them, were independently varied. DF was quite unable to adjust her grip aperture or her hand orientation in the three-hole task. Although she was able to orient her hand appropriately for the two-hole disks, she still remained unable to adjust her grip aperture to the distance between the holes. These findings are consistent with the idea that allocentric processing of spatial information requires a functioning ventral stream, even when the information is being used to guide a motor response. (shrink)

The object of this article is to examine, with the work of Jeremy Bentham as the principal example, one strand in the complex pattern of European social theory during the second half of the eighteenth century. This was of course the period not only of the American and French revolutions, but of the culmination of the movements of thought constituting what we know as the Enlightenment. Like all great historical episodes, the Enlightenment was both the fulfilment of long-established processes and (...) the inauguration of new processes of which the fulfilment lay in the future. Thus the seminal ideas of seventeenth-century rationalism realized and perhaps exhausted their potentialities in the eighteenth-century Enlightenment. The ideas with which this article is concerned, however—conveniently grouped and labelled as the ideas of utilitarianism—only began to achieve systematic development in these later decades of the eighteenth century. Within that period—during the first half and more of Bentham's long life—attempts to apply those ideas to the solution of social problems met largely with failure and frustration. Yet unrealized potentialities remained, the realization of which was reserved for a time when the world of the philosophes no longer existed. The movements for social and political reform which have played so large a part in modern history since the French Revolution may be judged in widely differing ways; but whatever the verdict, these movements surely cannot be understood without due consideration of that part of their origins which lies in eighteenth-century utilitarianism. (shrink)

We start this issue of Journal of Military Ethics with a recent address on military ethics given by one of the US ARMY's leading officers.Brigadier General H. R. McMaster graduated from the United...

The act of exchanging one thing for another seems to involve a promise. The confidence needed to relinquish something one has on the understanding that one will receive what another has in exchange can be expressed in terms of resolve. In binding oneself, one thinks that if the other binds himself or herself to perform a given action, then he or she will do that action. In cases in which one person's action does not precede the other's, one's promise involves (...) thinking that if the other binds himself or herself, then he or she will carry out the promised action. (shrink)

By the death, last summer, of Jack Robson, the world of utilitarian studies and a wider world of scholarship on both sides of the Atlantic lost one of their most distinguished figures. It would not be appropriate here, even if it were possible now, to attempt a full and measured assessment of his work. Writing only a few months after the news of his death, while the sense of loss is still so sharp for all his many friends, two things (...) are possible. Something can and should be said to acknowledge and celebrate Robson's achievement as a scholar; and to this can be added some personal recollections of one whose human qualities were as outstanding as his scholarship. (shrink)

The author re-Examines the evidence (including the manuscript evidence) relevant to an understanding of the historico-Philosophical relationship of john locke to rene descartes and, Consequently, Of the relationship of "the empirical school" to "rationalism." arguing against a standardly accepted view (that of, Among others, Richard aaron), He suggests that, Both early and late, In the drafts of 1671 and in the "mature" "essay", Locke rejected descartes' science and philosophy of science precisely because he rejected his epistemology; furthermore, He rejected descartes' (...) epistemology precisely because he rejected his method and logic. (shrink)

Collected lectures of the author on Sufism and Islamic philosophy.

Das mythologische Handbuch Die uns uberlieferte Endfassung von Apollodors Sagensammlung stammt vermutlich aus dem 1. Jahrhundert n. Chr. Die Wurzeln dieses mythologischen Handbuchs reichen aber, wie Paul Drager nachweist, wesentlich weiter zuruck. Wir finden hier - unbeeinflusst von Pindar, Apollonios Rhodios oder den grossen Tragodiendichtern - die Urfassung der antiken Gotter- und Heldensagen: von Uranos und Gaia bis zur Heimkehr des Odysseus nach Ithaka.".

In lieu of an abstract, here is a brief excerpt of the content:86 HISTORY OF PHILOSOPHY lamblichi Chalcidensis ex Coele-Syria de vita Pythagorica liber, lamblichos, Pythagoras. Legende--Lehre---Lebensgestaltung. Griechisch und Deutsch, herausgegeben, iibersetzt und eingeleitet von Michael yon Albrecht. (Ziirich & Stuttgart: Artemis, 1963. Pp. 280. = Die Bibliothek der Alten Welt, Reihe Antike und Christentum.) The present edition and translation again makes available one of the texts most valuable for the understanding of the world of late antiquity. The earlier editions, (...) especially that of L. Deubner (1937), are out of print. The fact that this document has been translated into German for the first time is also very helpful, since Iamblichos is sometimes difficult to understand. A brief but nevertheless informative introduction rightly emphasizes that Iamblichos intended to present an introduction and initiation into the Pythagorean way of life rather than a biography of Pythagoras based upon historically trustworthy materials. Although the biography of Pythagoras is certainly a part of the book, it serves only as the ideal example of the Pythagorean way of life, as Iaznblichos sees it. However, more than merely a work of Iamblichos, it ought to be recognized as a "fundamental document of the image of man in later antiquity" (p. 11). The text is based upon L. Deubner's edition, but occasionally it takes up older conjectures or returns to the tradition (for a more detailed discussion cf. W. Burkert, Gnomon 37, 1965, 24ff.). The index and the explanatory notes are also helpful, although the latter prove to be too brief and do not adequately call the reader's attention to the problems of sources, tradition, and composition. One can only agree with von Albrecht that we still need a modem commentary (p. I1). H. D. BETZ Claremont, CaliIornia Agrippa and the Crisis o] Renaissance Thought. By Charles G. Nauert, Jr. (Urbana: University of Illinois Press, 1965. Pp. vi W 374. $8.00.) One of the most influential and widely read thinkers of the early sixteenth century was the German Heinrich Cornelius Agrippa von Nettisheim (1486-1535). His many works were reprinted often, as well as being translated into several vernacular languages. The De incertitudine et vanitate omnium scientiarum et atrium of 1526, for example, went through at least 16 printings before 1700 and appeared in Italian (1547), English (1569), French (1582), and Dutch (1651) translations, which were themselves often reprinted. Although interest in Agrippa has waned somewhat since the seventeenth century, there is still a significant amount of scholarly debate regarding his importance and the meaning of his writings. Professor Nauert's monograph is the fruit of many years' study of Agrippa's life, thought, and milieu. In it he clearly places Agrippa in his historical context, accurately sketching his background and influence. After a brief introduction (pp. 1-7), the study is essentially divided into two parts: The first (pp. 8-115) traces Agrippa's life and intellectual development, the second (pp. 116-334) discusses in some detail a number of the key themes developed in his writings. There is also a substantial bibliography (pp. 335-,355) and a quite complete and accurate index (pp. 357-374). Although the mass of material which Nanert brings to our attention indicates the opposite, one sometimes gets the impression that the author tends to underestimate the importance of his subject. For example, he says, "Agrippa von Nettisheim is now a forgotten figure in the intellectual history of the West" (p. 322), but this does not seem to be the case. Although much work remains to be done, at least five books have been devoted to Agrippa in the past half century and, indeed, at least seven articles have appeared in the past ten years on one or another aspect of his life and thought. The very fact that Nanert can argue with so much vigor against the views of contemporary scholars like Lynn Thomdike and Paola Zambelli indicates that it is anything but a dead issue. As it is, Nauert's book clearly and accurately describes Agrippa's place in the intellectual ambiance of the sixteenth century. It gives the first detailed analysis of Agrippa's life and thought in English in recent BOOK REVIEWS 87 times and is the first full*scale attempt to exhaustively treat... (shrink)

Theories of linguistic meaning have been a major influence in twentieth century philosophy. This is due, in part, to the assumption that meaning is the crucial and interesting thing about language. To know the meaning of an expression is to understand it, and since understanding is central to philosophy in many different ways, it should be no surprise that the notion of meaning has often taken center stage. The aim of this paper is to briefly explore some influential views concerning (...) linguistic meaning. The final objective will be to demonstrate some alternatives which are open to theory with respect to this notion,for there are those who have wanted to ban talk of meaning from serious scientific discourse. The point is that many of the disadvantages of traditional notions of meaning are avoidable¾in particular, they are avoidable along a path which starts from Frege and moves on via Tarski and Davidson. (shrink)

One area of language research that has received a great deal of attention, both theoretical and empirical, is the use of anaphoric expressions. Such expressions can be thought of as serving two functions: the primary function is to refer back to a referent from previous discourse, and the secondary, but no less important, function is to help provide discourse coherence and structure. Third person pronouns such as he or she are anaphoric expressions par excellence, but fuller anaphoric expressions, including demonstrative (...) and definite noun phrases (NPs) such as that woman and the woman are also used in natural discourse. In this chapter we shall focus primarily on issues concerning definite NP anaphor resolution, and in particular we shall examine the interaction of two factors that are related to the identification of antecedents: the focus status of the antecedent and the semantic relationship between the antecedent and the anaphor (including semantic overlap). After presenting these factors, we will discuss one particular approach to anaphor resolution, Almor's (1999) Informational Load Hypothesis (ILH), and present three experiments that examined the findings presented in Almor (1999). The results of these experiments will lead us to consider in more detail the secondary, discourse-structuring function of anaphoric expressions. (shrink)

En el presente artículo se estudia la crítica que Charles Taylor ha formulado al modelo del liberalismo procedimental y a la concepción de racionalidad práctica moderna. El punto de partida es que la crítica de Taylor se sustenta en los aportes de la tradición filosófica sustantiva, la cual posibili..