Representation and computation of negation is very important in problem solving in various application domains. The purpose of this paper is to propose a new approach to negation. While most theories for negation are based on the logic paradigm, this theory is constructed based on the equivalent transformation computation model, since the ET model provides us with “decomposability of programs,” i.e., a program in the ET model is a set of ET rules and can be synthesized by generating each (...) ET rule independently of other ET rules. To represent negation in the ET model, a constraint is introduced as a pair of an object and a domain. A constraint becomes true when the object is specialized to a ground object within the domain. A negative constraint has a domain that is the complement of the meaning of the corresponding declarative description. Computation of negation in the ET paradigm is realized by equivalent transformation of declarative descriptions including negative constraints. For each negative constraint in a definite clause, a new declarative description is produced and transformed equivalently. When it is transformed to a set of unit clauses, the negative constraint is solved. Each unit clause returns a simple constraint to the “caller” clause. This paper proves two theorems that provide a basis for such equivalent transformation of negative constraints. (shrink)

The book reconstructs the history of Western ethics. The approach chosen focuses the endless dialectic of moral codes, or different kinds of ethos, moral doctrines that are preached in order to bring about a reform of existing ethos, and ethical theories that have taken shape in the context of controversies about the ethos and moral doctrines as means of justifying or reforming moral doctrines. Such dialectic is what is meant here by the phrase ‘moral traditions’, taken as a name for (...) threads of moral discourse, made in turn of other interwoven threads, including transmission of shared codes, appeals to reform of prevailing custom, rational argument about the justification of some precept on the basis of some shared general teaching or principle, and rational argument about the ultimate basis for principles and justification of authoritative teaching. That is, the approach adopted to the reading of ethical texts depends on a firm belief in the fact that philosophers hardly created any ethical doctrine out of nothing. The main point this book tries to highlight is how different philosophical theories emerged and followed each other as a result of attempts at accounting for what was going on in the world of moral traditions. Changes were propelled by controversies between different schools, and highly abstract arguments were the unintended effects of moves made by controversialists forced to transform (and occasionally to turn upside down) their own doctrines in order to face the challenge posed by other arguments. This is the reason why the book examines not only texts that already enjoy pride of place in the history of philosophy (Aristotle, Kant, Hegel), but also other texts usually treated in the histories of religions (the Bible, the Talmud, the Quran), and others considered to be much less philosophical (Plutarchus, Pufendorf). -/- 1. Plato and a response to ethical scepticism. Two different traditions of morality in VI-V century Greece are described. The birth of philosophical questioning of traditional morality and temporal and spatial variation of custom is described within the context of the v century crisis, the demise of traditional aristocratic and tyrannical rule and the birth of democracy. Two conflicting answers to the challenge are reconstructed, namely conventionalist or immoralist theories formulated by the Sophists and the eudemonist and intellectualist Socratic theory. Plato’s own reformulation of Socrates answer to the Sophists is reconstructed. His psychological views, his classification of the four cardinal virtues and his political theory are described as parts of a unitary system, culminating in an extremely realist moral ontology identifying the idea of the good with the essence of the (moral and extra-moral) world itself. -/- 2. Aristotle and the invention of practical philosophy. Aristotle’s invention of practical philosophy as a field separated from first philosophy is shown to be an implication of his break with Plato moral ultra-realism. Aristotle’s agenda in his moral works is arguably dependent on a polemical intention, namely dismantling Socratic intellectualism. The semi-inductive or virtuously circular method of practical philosophy is illustrated, starting with the received opinions of the better and wiser individuals and trying dialectically to sift what is left of mistake and inconsistence in such opinions, finally trying to correct mistakes and make the overall practical science more consistent. The chapter illustrates then the relationship of individual ethics, or ‘monastics’, with the art and the science of the pater familias, or ‘economics’, and the science of the ruler and citizen, or politics. The nature of virtues, or better, excellences of character, is discussed, highlighting the basic role of hexis, or ‘disposition’. Prudence, or better practical wisdom, is the focus of the chapter. Its relationship with bouleusis or deliberation is examined, and its autonomous status vis-à-vis theoretical knowledge is stressed. -/- 3. Diogenes and philosophy as a way of life. The chapter provides an overview of Hellenistic ethics, which almost amounts to Hellenistic schools of philosophy, in so far as ‘philosophy’ became in these centuries primarily the name for a way of life. The typical character of the Cynical movement is highlighted, that of a school of life, not a school aimed at providing any kind of intellectual training was to be provided. -/- 4. Epicurus and ethics as self-care. The peculiar character of the Epicurean school is described, a combination of a science of well-being aiming, more than at pleasure as in the popular view, at reduction of useless suffering, of unnecessary needs, and at a balanced selection of pleasures of the best and most durable kind. -/- 5. Epictetus and ethics as therapy of the passions. The various phases of Stoicism are described, and the shifting place given to ethics in the Stoic system of idea, culminating in the paradoxical view of ethics, its impossibility in principle notwithstanding, as the only truly significant and necessary part of philosophy. Cicero is treated, showing how his own synthesis of various Hellenistic trends is as a truly philosophical enterprise, deserving serious consideration after one or two centuries when he was confined to the role of literate. Epictetus is chosen as the best example of what the Stoic tradition could yield, an art of living based on sophisticated introspection, in turn aimed at making a kind of cognitive therapy possible, dismantling obnoxious passions at their root by systematically correcting false representations. -/- 6. Philo and the reconciliation of Torah and Platonism. A reconstruction of basic ideas from a few books of the Hebrew Bible is provided, starting with the Prophetic tradition and the focus on God’s mercy as the source of motivation and standard for human behaviour. Then a comparative analysis is undertaken of a parallel tradition, namely the three codifications of the Torā (Law or, better, Instruction), highlighting how a core of moral ideas may be recognized as a basis and preamble of codification of civil law, cultural practice, and regulation of ritual purity. The importance of Leviticus is stressed as the turning point when emphasis mercy, typical of the Prophetic tradition, is combined with the legal tradition, yielding the change in sensibility of the Second Temple time. Philo of Alexandria is described as one of the three leading figures – together with Rabbi Hillel and Rabbi Yeshua – at the apex the emergence of the mentioned new sensibility, gradually including mercy as an essential part of justice and establishing the starting point of both the Rabbinic and the Christian tradition. This consists precisely in the precept of one’s neighbour’s love or of the golden rule, two eventually identical precepts whose meaning is arguably more sober and sensible than the long-lasting Christian tradition deriving from John and Augustine has made us believe and no novelty vis-à-vis so-called Ancient-Testament teachings. -/- 7. Augustine and Christianity as Neo-Platonism. The first section examines the moral doctrines of so-called 'ethical Treaties' from the Talmud, a group of treaties, among which the best known is Pirqé Avot, that were left out of the six "orders" of the canon as they did not fit in any of the six groups of issues ritual or legal on which the division was based. According to Maimonides, their peculiar theme is provided by the Deòt, 'opinions', i.e., mental dispositions, that is, the translation of the Greek term hexeis and Arab akhlak (in turn providing in this language the name for ethics as such). The three topics I reconstruct are: i) the notion of Torah: The Torah is understood as the world order itself, or as the ‘Wisdom’ that existed even before creation and was ‘the tool by which the world was built’; however, the Torah is an earthly and human entity, as it was "received" by humans, and from that very moment belongs to them; ii) the relationship between love of God and love of neighbour; the treaties require us to study and practice the Torah ‘for its own sake’, that is, require us to act out of love, not out of fear or hope of reward; iii) the idea of sanctification of daily life: having disappeared with the destruction of the Temple the possibility of any conflict between liturgical service and everyday life, the latter is assumed to be in itself divine service: to give food to the poor has the same value as sacrifices in the Temple, and as an implication, the insistence become recurrent on the goodness of created things in themselves along with a polemic against ascetic currents. The conclusions drawn are: i) the moral teachings of the Talmud and those of Yeshua are, rather than similar, virtually identical; one may safely say that the precept of love and the golden rule are central ones for all Talmudic rabbis, that mercy plays an indispensable role alongside with justice, and the latter is not a different thing from one’s neighbour’s love; ii) a peculiarity of Talmud rabbis facing Yeshua is the idea of study as worship, and knowledge as a source of justice; but this is an idea of Judaism after the Temple's destruction that cannot be attributed to the Pharisees of Yeshua’s time; iii) the relation of study and practice in the Talmud parallels that between faith and deeds in Paul's epistles, that is, respectively faith or learning are a necessary and sufficient condition to be recognized as righteous , but deeds are the inevitable effect of either faith or learning. The sayings ascribed to Yeshua are examined first, yielding the conclusion that a close equivalent may be found for every saying in Talmudic literature and yet the whole is ascribed to one rabbi, with rather consistent stress on God’s mercy and unconditional forgiving as the mark of true imitation of God. Thus, Yeshua’s teaching is pure Judaism. The third section describes briefly the galaxy of Gnostic currents and Manichaeism, trying to sketch the profile of moral teachings resulting from an encounter of Asian spiritual traditions, Hellenistic lore and sparks of teachings from apocalyptic Jewish currents. The last section summarizes the turbulent history of several encounters between Christian currents and Hellenistic philosophical schools. The first one was with late Cynicism. Recent, rather controversial, literature discovered the jargon and a few topics from the Stoic-Cynical popular philosophy in a few books from the New Testament itself. This, far from proving that Rabbi Yeshua had been influenced by cynic preachers, is a proof of the necessity felt by Christian preachers to translate the original ‘Christian’ teaching into a Greek lexicon deeply impregnated with cynic terminology. The second was with Platonism, yielding the mild and temperate moral teaching of Clemens of Alexandria, teaching the sanctity of nature and the human body, the joy of moderate fruition of ‘natural’ kinds of pleasures, and the beauty of the marital life – in short, the opposite of the standard picture of Medieval Christianity. Ambrose of Milan brings about a different kind of synthesis, namely with Middle Platonism, where Stoic themes prevail. The most shocking case is Augustine, where an early Manichean education is overcome in a former phase by a synthesis of Plotinian Neo-Platonism and Christian preaching, yielding a sustained polemic with the Manicheans and rather optimistic views on life and Creation, the body and sexuality, and Hebrew-Judaic tradition not far from Clemens of Alexandria. In a later phase, occasioned by controversy on the opposite front, with such Christian currents as the Pelagians and Donatists, Augustine comes back to heavily anti-Judaic and world-denying ascetic attitudes where is earlier Manichean upbringing seems to emerge again. The tragedy of medieval Christianity will be the later Augustine’s overwhelming influence. A final section is dedicated to the monastic tradition where a curious mixture of world-denying asceticism with an astonishingly penetrating ‘science’ of introspection emerges. -/- 8. Al Farabi and the reconciliation of Islam and Platonism. The Qurān and the qadit, that is, collections of sayings ascribed to the prophet Muhammad contain a wealth of precepts and catalogues of virtues mirroring moral contents from the Jewish and the Christian traditions, among them the basic notion of imitation of the Deity, where mercy is assumed to be its basic trait. An important tradition within Islam, namely Sufism, stressed to the utmost degree the role of mercy, turning Islam into a mystic doctrine centred on retreat from the world, abandonment to God’s will, and a peaceful and fraternal attitude to our fellow-beings. A secular literary tradition originating in the Sassanid Empire, the literature of advice to the Prince had for a time a widespread influence in the newly constituted Arabic-Islamic commonwealth. In a later phase, the legacy of Hellenic philosophy made its way into the intellectual elite of the Islamic world. The first important legacy was Platonic, and the Republic became the main text for Islamic Platonism. Al-Farabi wrote an enjoyable remake of the Platonic Republic, arguing that the citizen’s virtues were the basis on which the political building needs to rest. The secular lawgiver is enlightened by the light of reason in his everyday practice of governance, but room is made for the Prophet as the voice of revealed truth that confirms and completes the rational truth that philosophy may afford. In a second phase also Aristotelian and Stoic influence were assimilated. Miskawayh’s treatise was the masterwork at the time Arabic philosophy reached its Zenith. It is a treatment of the soul’s diseases and their remedies, combining the Aristotelian doctrine of the golden mean with the Stoic doctrine of the passions and elements of Galenic medicine. Towards the eleventh-twelve centuries a war raged among theologians and philosophers, finally won by the former with disappearance of philosophy as such. The newly established mainstream, yet, was no kind of intolerant fanaticism. It drew from the work of mystic theologian Al-Ghazālī, the best heir of Sufism, teaching a tolerant and peaceful attitude to our fellow-beings and a passive attitude to destiny as an expression of the Divine will. -/- 9. Moshe ben Maimon and the reconciliation of Torah and Aristotelian ethics. The encounter between the Talmudic tradition and Hellenic philosophy had taken place a first time in Alexandria at the time of Philo but the two traditions had parted way again. In fact, the kind of Platonic Judaism founded by Philo survived only within Christianity, in the fourth Gospel and then in writings by Clemens of Alexandria. The Talmudic literature had absorbed just less striking traits from the Hellenic Philosophy, namely an idea of ethics as care of the self and a role for the education of character as propaedeutic to theoretical knowledge. In the Arabic-Islamic world, a second round started when Jewish authors writing in Arabic undertook the task to prove the full compatibility of the tradition deriving from Torah and Platonic philosophy. The culmination of this attempt is provided by Moshe ben Maimon who tried to use Aristotelian ethics as a language into which the teaching from the Pirké Avot could be translated. -/- 10. Thomas Aquinas and the reconciliation of Christian morality and Aristotelian ethics. In the first section the fresh start is described of philosophical ethics in Latin Europe at the turn of the Millennium. In a first phase, Anselm and Peter Abelard built on a Platonic and Augustinian legacy. In this phase. remarkable innovations are introduced, including Abelard’s claim of the obliging character of erring consciousness. In a second phase, the rediscovery of Nicomachean Ethics thanks to Latin translation of Arabic versions gives birth to a new wave of ethical studies, recovering the very idea of Aristotelian practical philosophy, with the potential implication of full legitimization of natural morality, i.e. ethics without Revelation. Aquinas’s ethics is a theological ethics out of which it would be vain to try to extract a self-contained philosophical ethics. His treatment of topics in philosophical ethics, yet, does not boil down to repetition of Aristotelian arguments but is rather a creative reshaping of such arguments. For example, he introduces also in the practical philosophy a first principle parallel to the principle of non-contradiction; and he also carries out a synthesis of Aristotelianism, Stoicism, and neo-Platonism. Even though it is essentially moral theology, Aquinas’s doctrine - unlike Augustine – grants full citizenship to "natural" morality, firstly by rejecting the claim that the corruption of human nature due to the original sin is so radical as to leave "pure nature" incapable of moral goodness. The doctrine is presented in a more sophisticated formulation in a few of the Quaestiones, such as De Malo and De Veritate, in the Summa contra Gentes and in the commentaries to Aristotle than in the famous Summa Theologica, but the latter work includes the only or the largest exposition of some decisive part of the theory. Thus, the Summa Theologica should be read for what it is more than criticized for not being what it was not meant to be. It was not meant to be the brilliant synthesis of all that Reason he had been able to produce with what Revelation had added about which the Neo-Thomists used to dream, but rather a manual for the training of preachers and confessors, where theoretical claims are not too demanding and a few serious tensions are left. Besides a jump between the Prima Secundae and the Secunda Secundae, being the former an essay in virtue theory and the latter a handbook for confessors, the most serious tension is perhaps the one between the ethics of right reason presented in most of Ia-IIae and the eudemonistic ethics developed in quaestiones 1-5 of the same part; the alternative ethical theory which also may be found in Augustine, the Stoic view of a cosmic reason eventually coincident with the moral law, was believed by Anselm (followed by John Duns Scotus and William of Ockham) to be incompatible with eudemonism. It is questionable whether Thomas could reduce the tension proving that it is just an apparent tension, in so far as the right reason and bliss derived from knowledge of God tend to coincide, but this is just a conjecture. Thomas’s ethics is a virtue ethic, not a law-based one, and moral judgment focuses on the virtues, particularly charity, not on the commandments and even less on absolute prohibitions; Thomas, however, would not have considered a drastic alternative between law and the virtues such as the one which has been advanced in late twentieth-century philosophy to be justified. Nonetheless, when it discusses ‘special’ virtues, it ceases to be an ethics of virtue and becomes a disappointing and often contradictory discussion of legal and illegal acts. Such a discussion takes most of the time ‘reasonable’ middle positions on controversial issues but not the alternative approach that Aristotelianism would have made possible; even when some occasional Aristotelian claim shows up, such as money’s barrenness as a reason against usury, this seems to be made by an author who apparently ignores the Aristotelian Thomas of the Prima Secundae. It is an ethic of human autonomy which recognizes the binding character of the individual conscience and, potentially, even a duty to disobey unjust laws. It is true that what Thomas writes in his discussion of death penalty and persecution of heretics is simply disgusting, and yet we should blame Thomas the man, not Thomist ethical theory. Finally, Thomas’s ethics is not ethical ‘absolutism’, as both traditionalist Catholic theologians and secularist enemies of dogmatic morality tend to believe. It is instead an ethic of prudential judgment. Exceptions to this approach – or better results of logical fallacies – are such claims as the absolute character of negative precepts and of the existence of "intrinsically evil acts", claims that simply cease to make sense in the light of Thomas’s own distinction between human act and natural act, carrying consequences Thomas did not live long enough to draw or was not consistent enough to dare to draw. -/- 11. Francisco de Vitoria and casuistry. The first topic illustrated is the discussion about the notion of pura natura, namely the human condition after the original sin and before divine revelation. The core notion was already there in Aquinas but was later developed by Caietanus (Thomas de Vio) with a number of interesting implications: firstly a view of human nature as such much more positive than Augustine’s and his followers’ view, including both Calvinists and Jansenists; secondly, the implication that the philosopher’s morality, as opposed to the Christian’s morality, is a quite respectable kind of morality; thirdly, that theocracy and prosecution of the unfaithful lacked justification, with more far-fetching consequences than Aquinas himself had dared to draw. The second topic is casuistry, a new name for a comparatively older way of thinking, which was already there in late Stoicism and Cicero as well as in the Talmudic literature. This is an approach aimed at yielding probable enough solutions for doubtful cases even in absence of completely safe staring points. The genre developed from medieval reference books for confessors and became by the sixteenth-century a sophisticated tool-box for dealing with various fields of applied ethics. Francisco Vitoria, the main authority of Baroque Scholasticism, was a controversial figure, among the proponents of the new discipline of casuistry and a consistent proponent of more separation between the religious and the civil authority, stricter limits to the legitimacy of war, innate rights of non-Christian nations in the New World based on the notion of pura natura, providing a standard of ‘natural’ goodness, previous to revelation, on which the Indian nations were judged to live in a naturally good condition, provided with the institutions of family, justice, and religion had accordingly a right to full respect by Christian sovereigns. Bartolomé de Las Casas, arguing along similar lines, was the leader of a historical battle in defence of the rights of the Indios. -/- 12. Michel de Montaigne and the art of living. A short description of one of the Renaissance Phyrronism, one of the classical philosophies revived in the fifteenth and sixteenth century. Montaigne combines the sceptical epistemology with an understanding of ethics – indeed of philosophy as a whole – in terms of an art of living inspired by two basic ideas, sagesse, that is, practical wisdom as the only kind of rationality available after theology, science, and tradition have declared bankrupt, and an aesthetic ideal of self-transformation through the art of writing and introspection. -/- 13. Pierre Nicole and neo-Augustinianism. The chapter illustrates first the vicissitudes of Augustinianism newly born after the late medieval triumph of Thomist Aristotelianism in the alternative Protestant and Catholic versions processed by the Calvinists and the Jansenists. Then it illustrates the doctrines of Pierre Nicole, Blaise Pascal’s best disciple, on the impossibility of introspection, on the ubiquity of self-deception, on the incurably evil character of the passion of love, and on the two moralities, the one of the man of the world, the morality of honesty which is indispensable for granting peace and order but devoid of any true value for eternal salvation, since the same external behaviour may be prompted by opposite motivations, and the morality of charity, the only true one but also useless to society. The third topic is Pierre Malebranche’s view of self-deception as a ubiquitous phenomenon accounting for human action and responsibility and his reformulated theory of self-love, no less ubiquitous than for Nicole and yet not as incurably evil, given the distinction between morally indifferent and even necessary amour de soi and vicious amour proper, a distinction on which the whole of Rousseau’s moral and political theory rests. -/- 14. Samuel von Pufendorf and the new science of morality. The chapter is dedicated to the discovery of the idea of a ‘new moral science’. Hugo Grotius is discussed first highlighting the real character of his project, much closer to the Thomist idea of a natural law accessible to non-corrupted human reason when human beings are living in a state of pura natura. Then Hobbes’s combination of scepticism, voluntarism, and conventionalism is described and both the continuity with Grotius’s new science, in the search for non-revealed rational morality, and the break with him, in the adoption of voluntarism and refusal of an intellectualist view of natural law, are illustrated. Pufendorf’s work is illustrated as a synthesis of the two previous attempts and the – up to Schneewind underestimated – paradigmatic example of the new science of morality. -/- 15. Richard Cumberland and consequentialist voluntarism. The chapter gives an overview of eighteenth-century Anglican ethics, noticing how the Cambridge tradition gave special weight to natural theology as opposed to positive or revealed theology – and how two Cambridge fellows, John Gay and Thomas Brown, elaborated on Cumberland’s (and Malebranche’s, as well as Leibniz’s) strategy for finding a third way between intellectualist view and voluntarist view of the laws of nature. The result of their elaboration was a kind of a rational-choice account of the origins of natural laws, where a law-giver God chooses among a number possible sets of laws on a maximizing criterion, and God’s maximandum is happiness for his creatures. The chapter notices also how such a solution aimed at solving at once the problem of evil and that of the foundation of moral obligation by proving how God’s choice was justified as far as it was the one minimising the amount of suffering in the world. 16. Richard Price and intuitionism. The chapter describes first the doctrines of the Cambridge Platonists, an example of hyper-rationalist reaction to Calvinism. Secondly it describes the sophisticated and universally ignored – from Sidgwick to Anscombe –version of what was later labelled ‘ethical intuitionism’ – showing how it escapes familiar objections and misrepresentations of intuitionism – from Mill to Rawls – in grounding its argument on transcendental arguments while carefully avoiding recourse to introspection and psychological evidence, which has been taken as a too easy target by critics of intuitionism. Thirdly, the chapter discusses Whewell’s ‘philosophy of morality’, as opposed to ‘systematic morality’, not unlike Kant’s distinction between a pure and an empirical moral philosophy. Whewell worked out a systematization of traditional normative ethics as a first step before its rational justification; he believed that the point in the philosophy of morality is justifying a few rational truths about the structure of morality such as to rule hedonism, eudemonism, and consequentialism; yet a system of positive morality cannot be derived solely from such rational truths but requires consideration of the ongoing dialectics between idea and fact in historically given moralities. Whewell’s intuitionism turns out closer to Kantian ethics than commentators have made us believe until now, and quite different from what Sidgwick meant by intuitionism. -/- 17. Adam Smith and the morality of role-switch. The chapter describes first, Hutcheson’s attempt at basing the ‘new science’ of natural law on different bedrock than Pufendorf and the English Platonists, namely a moral sense, a faculty whose existence is assumed to be proved on an empirical basis. The second step is a reconstruction of Hume’s rejoinder in terms of a new science of man including morality on an ‘experimental’ basis, that is, a ‘Newtonian’ hypothetical-deductive approach, distinguished from Hutcheson’s allegedly uncritical descriptive approach to human nature. The third step is a reconstruction of Adam Smith theory of morality understood as emerging from a spontaneous interplay of exchanges of situations (the most basic meaning of the word ‘sympathy’ as construed by this author). -/- 18. Jeremy Bentham and utilitarianism. The bulk of the chapter is dedicated to the doctrines of Jeremy Bentham. The Enlightenment spirit that suggested the idea of a new morality, free from religion, is illustrated. The notion of utility is illustrated as well as the subsequent formulations of the principle of utility. The idea of felicific calculus is discussed, showing how its inner difficulties prompted several reformulations of the principle of utility in order to avoid undesirable implications of proposed formulations. The role of the thesis of spontaneous convergence between interest and duty is discussed, showing how it left numberless questions open, and the distinction between the virtues of prudence, justice and beneficence is described as a way out of the deadlocks of classical utilitarianism. After Bentham, Mill’s reformed utilitarianism is reconstructed, showing how it is a kind of mixed system – as closer to common sense as it gives up Bentham’s claims to consistency and simplicity – resulting as unintended consequences from the controversies in which Mill was too keen to engage. The hidden agenda of the controversy between Utilitarianism and Intuitionism, going beyond the image of the battle between Prejudice and Reason, is described, showing how both competing philosophical outlooks turn out to be more research programs than self-contained doctrinal bodies, and such programs appear to be implemented, and indeed radically transformed while in progress thanks to their enemies no less than to their supporters. -/- 19. Immanuel Kant, practical reason and judgment. The chapter argues that Kant took from Moses Mendelssohn the idea of a distinction between geometry of morals and a practical ethic. He was drastically misunderstood by his followers precisely on this point. He had learned from the sceptics and the Jansenists the lesson that men are prompted to act by deceptive ends, and he was aware that human actions are also empirical phenomena, where laws like the laws of Nature may be detected. His practical ethics made room for judgment as a holistic procedure for assessing the saliency of relevant moral qualities in one given situation; this procedure yields the same results as the geometry of morals does for abstract cases but does so immediately and without balancing conflicting duties with each other, since what makes for the salient quality of a situation is perceived from the very beginning. Kant's practical philosophy is richer than the received image, making room for an ‘empirical moral philosophy’ or moral anthropology including treatment of commerce, needs, value and price, happiness and well-being; the overall social theory and philosophy of history is less different from Adam Smith's than the received image makes believe; the paradox of happiness is central to Kant's philosophy; a distinction between happiness and well-being is clearly drawn; the distinction plays a basic role in establishing a link between the economic and the moral life. -/- 20. Georg Wilhelm Friedrich Hegel and the critique of abstract universalism. The chapter describes first the Romantic movement and the implications some of its concerns, rescuing passions, community, tradition, the individual as the bearer of a unique destiny, and the longing for organic unity between the individual, mankind and nature. Hegel’s contribution is discussed then, highlighting how, on the one hand, he shared a number of these concerns and on the other he had more rationalist leanings. The notion of morality is the pivotal point of the reconstruction, highlighting how Hegel construes this notion as a key to his own diagnosis of the malaise of modernity – the separation of individual and Gemeinschaft – and how his attack on Kant turns around this very idea. -/- 21. Friedrich Nietzsche against Christianity and the Enlightenment. The chapter illustrates first the idea of deconstruction of the back-world of values. Nietzsche claims to be legitimate heir of the French moralists, Leibniz, Kant and Hegel, in so far as he allegedly carries out to its deepest implications their discovery of what lies behind traditional naïve belief in the existence of an objective realm of values just waiting for description by the philosopher. The two exemplars form which genealogy draws inspiration are the classical philologist’s historical reconstructions of lost meanings and the chemist’s decomposition of elements. Then the genealogy of the notions of good and evil carried out in the first dissertation of Genealogy of morals is illustrated with its paradoxical conclusion that will to power is in fact the only ‘genuine’ kind of goodness. The third point illustrated is the dialectic of ascetism and self-realization with its ambiguous outcome. The suggested interpretation of such outcome is that Nietzsche’s normative ethics is a kind of virtue ethics taking an aesthetic ideal as a normative standard -/- 22. George Edward Moore and ideal utilitarianism. The chapter discusses the ideas of common sense and common-sense morality in Sidgwick. I argue that, far from aiming at overcoming common-sense morality, Sidgwick aimed purposely at grounding a consist code of morality by methods allegedly taken from the natural sciences to reach, also in ethics, the same kind of “mature” knowledge as in the natural sciences. His whole polemics with intuitionism was vitiated by the a priori assumption that the widespread ethos of the educated part of humankind, not the theories of the intuitionist philosophers, was what was worth considering as the expression of intuitionist ethics. In spite of a naïve positivist starting-point, Sidgwick was encouraged by his own approach in exploring the fruitfulness of coherentist methods for normative ethics. Thus, Sidgwick left an ambivalent legacy to twentieth-century ethics: the dogmatic idea of a “new” morality of a consequentialist kind, and the fruitful idea that we can argue rationally in normative ethics albeit without shared foundations. Then it reconstructs the background of ideas, concerns and intentions out of which Moore’s early essays, the preliminary version, and then the final version of Principia Ethica originated. I stress the role of religious concerns, as well as that of the Idealist legacy. I argue that PE is more a patchwork of rather diverging contributions than a unitary work, not to say the paradigm of a new school in Ethics. I add a comparison with Rashdall’s almost contemporary ethical work, suggesting that the latter defends the same general claims in a different way, one that manages to pave decisive objections in a more plausible way. I end by suggesting that the emergence of Analytic Ethics was a more ambiguous phenomenon than the received view would make us believe, and that the wheat (or some other gluten-free grain) of this tradition, that is, what logic can do for philosophy, should be separated from the chaff, that is, the confused and mutually incompatible legacies of Utilitarianism and Idealism. -/- 23. Edmund Husserl and the a-priori of action. The chapter illustrates first the idea of phenomenology and the Husserl’s project of a phenomenological ethic as illustrated in his 1908-1914 lectures. The key idea is dismissing psychology and trying to ground a new science of the a priori of action, within which a more restricted field of inquiry will be the science of right actions. Then the chapter illustrates the criticism of modern moral philosophy carried out in the 1920 lectures, where the main target is naturalism, understood in the Kantian meaning of primacy of common sense. The third point illustrate is Adolph Reinach’s theory of social acts as a key the grounding of norms, a view that basically sketches the very ideas ‘discovered’ later by Clarence I. Lewis, John Searle, Karl-Otto Apel and Jürgen Habermas. A final section is dedicated to Nicolai Hartman, who always refused to define himself a phenomenologist and yet developed a more articulated and detailed theory of ‘values’ – with surprising affinities with George E. Moore - than philosophers such as Max Scheler who claimed to Husserl’s legitimate heirs. -/- 24. Bertrand Russell and non-cognitivism. The chapter reconstructs first the discussion after Moore. The naturalistic-fallacy argument was widely accepted but twisted to prove instead that the intuitive character of the definition of ‘good’, its non-cognitive meaning, in a first phase identified with ‘emotive’ meaning. Alfred Julius Ayer is indicated as a typical proponent of such non-cognitivist meta-ethics. More detailed discussion is dedicated to Bertrand Russell’s ethics, a more nuanced and sophisticated doctrine, arguing that non-cognitivism does not condemn morality to arbitrariness and that the project of a rational normative ethics is still possible, heading finally to the justification of a kind of non-hedonist utilitarianism. Stevenson’s theory, another moderate version of emotivism is discussed at some length, showing how the author comes close to the discovery of the role of a pragmatic dimension of language as a basis for ethical argument. Last of all, the discussion from the Forties about Hume’s law is described, mentioning Karl Popper’s argument and Richard Hare’s early non-cognitivist but non-emotivist doctrine named prescriptivism. -/- 25. Elizabeth Anscombe and the revival of virtue ethics. The chapter discusses the three theses defended by Anscombe in 'Modern Moral Philosophy'. I argue that: a) her answer to the question "why should I be moral?" requires a solution of the problem of theodicy, and ignores any attempts to save the moral point of view without recourse to divine retribution; b) her notion of divine law is an odd one more neo-Augustinian than Biblical or Scholastic; c) her image of Kantian ethics and intuitionism is the impoverished image manufactured by consequentialist opponents for polemical purposes and that she seems strangely accept it; d) the difficulty of identifying the "relevant descriptions" of acts is not an argument in favour of an ethics of virtue and against consequentialism or Kantian ethics, and indeed the role of judgment in the latter is a response to the difficulties raised by the case of judgment concerning future action. A short look at further developments in the neo-naturalist current is given trough a reconstruction of Philippa Foot’s and Peter Geach’s critiques to the naturalist-fallacy argument and Alasdair MacIntyre’s grand reconstruction of the origins and allegedly unavoidable failure of the Enlightenment project of an autonomous ethic. -/- 26. Richard Hare and neo-Utilitarianism. The chapter addresses the issue of the complex process of self-transformation Utilitarianism underwent after Sidgwick’s and Moore’s fatal criticism and the unexpected Phoenix-like process of rebirth of a doctrine definitely refuted. A glimpse at this uproarious process is given through two examples. The first is Roy Harrod Wittgensteinian transformation of Utilitarianism in pure normative ethics depurated from hedonism as well as from whatsoever theory of the good. This results in preference utilitarianism combined with a ‘Kantian’ version of rule utilitarianism. The second is Richard Hare’s two-level preference utilitarianism where act utilitarianism plays the function of eventual rational justification of moral judgments and rule-utilitarianism that of action-guiding practical device. -/- 27. Hans-Georg Gadamer and rehabilitation of practical philosophy. The post-war rediscovery of ethics by many German thinkers and its culmination in the Sixties in the movement named ‘Rehabilitation of practical philosophy’ is described. Among the actors of such rehabilitation there were a few of Heidegger’s most brilliant disciples, and Hans-Georg Gadamer is chosen as a paradigmatic example. His reading of Aristotle’s lesson I reconstructed, starting with Heidegger’s lesson but then subtly subverting its outcome thanks to the recovery of the central role of the notion of phronesis. -/- 28. Karl-Otto Apel and the revival of Kantian ethics. Parallel to the neo-Aristotelian trend, there was in the Rehabilitation of practical philosophy a Kantian current. This started, instead than the rehabilitation of prudence, with the discovery of the pragmatic dimension of language carried out by Charles Peirce and the Oxford linguistic philosophy. On this basis, Karl-Otto Apel singled out as the decisive proponent of the linguistic and Kantian turn in German-speaking ethics, worked out the performative-contradiction argument while claiming that this was able to provide a new rational and universal basis for normative ethics. An examination of his argument is some detail is offered, followed by a more cursory reconstruction of Jürgen Habermas’s elaboration on Apel’s theory. -/- 29. John Rawls and public ethics as applied ethics. Rawls’s distinction between a “political” and a “metaphysical” approach to one central part of ethical theory, namely the theory of justice, is interpreted as a formulation of the same basic idea at the root of both the principles approach and neo-casuistry, both discussed in the following chapter, namely that it is possible to reach an agreement concerning positive moral judgments even though the discussion is still open – and in Rawls’ view never will be close – on the basic criteria for judgment. -/- 30. Beauchamp and Childress and bioethics as applied ethics. The chapter presents the revolution of applied ethics while stressing its methodological novelty, exemplified primarily by Beauchamp and Childress principles approach and then by Jonsen and Toulmin’s new casuistry. -/- . (shrink)

A star-free relational semantics for relevant logic is presented together with a sound and complete sequent proof theory. It is an extension of the dualist approach to negation regarded as modality, according to which de Morgan negation in relevant logic is better understood as the confusion of two negative modalities. The present work shows a way to define them in terms of implication and a new connective, co-implication, which is modeled by respective ternary relations. The defined negations are confused (...) by a special constraint on ternary relation, called the generalized star postulate, which implies definability of the Routley star in the frame. The resultant logic is shown to be equivalent to the well-known relevant logic R. Thus it can be seen as a reconstruction of R in the dualist framework. (shrink)

In this paper I argue for the Atlas-Kempson Thesis that sentences of the form The A is not B are not ambiguous but rather semantically general (Quine), non-specific (Zwicky and Sadock), or vague (G. Lakoff). This observation refutes the 1970 Davidson-Harman hypothesis that underlying structures, as full semantic representations, are logical forms. It undermines the conception of semantical presupposition, removes a support for the existence of truth-value gaps for presuppositional sentences (the remaining arguments for which are viciously circular), and lifts (...) the Russell-Strawson dispute of 1950–1964 from stalemate to a formulation in which a resolution is possible for the first time. Suggestions of Davidson, Montague, Stalnaker, Kaplan and H. P. Grice are shown to be inadequate semantic descriptions of negative, presuppositional sentences. I briefly discuss the radical Pragmatics view of my 1975 publications and suggest that it too fails to do justice to the linguistic data. I speculate that Semantic Representations should be given the form (more or less) of computer programs, describable in Dana Scott's mathematical semantics for programming languages. (shrink)

The argument of this book moves through four issues: the logic of determinate negation, the possibility of philosophical criticism, the description of philosophical experience, and the priority of a philosophical intuition. If a system of thought claims, as Hegel's does, to be internally complete and self-justifying, it can reach conclusions only by analysing what is already present in it. So if such a system is to avoid terminating with an empty starting-point, it must consist of an explication of an undetermined (...) origin-point which both provides a justification for denying the adequacy of that starting-point and also provides the content of the first and subsequent advances. However,, negation does not in itself provide advance, just as dispelling an illusion does not necessarily result in knowing any truth. Only a "thing-like" or at least mind-like object is such that to negate it in some respect will leave it a subsisting entity with new properties; but when the objects of pure science are the very thoughts by which the science is proceeding, the negation of one of them would bring the science to a halt. Although a logic of determinate negation cannot be argued for in general, it might still find a special sort of validation within the system in which it is used. And after all to understand any philosophical system is to learn how to work with its concepts to develop a pattern of discourse, and is not in general to translate that system into, and evaluate it by means of, some other system. Of course, even if we attempt an "immanent critique" of Hegel's philosophy, we will still be faced with the problem of whether the justification will appear at the end of the system or at the beginning. But even this problem is avoided if in some sense the beginning is also the end, if philosophical progress is not the deduction of certain propositions from others, but instead the self-explication of a single philosophical experience. Now this philosophical experience whose articulation is science differs from "common" experience by accepting no passively received presuppositions, and this means that philosophy neither describes the world as given nor transforms the given world into something else, but rather recreates the world in its necessity in the realm of pure thought precisely by creating that realm ex nihilo To engage in movements within the philosophical system, then, is not to take up exigencies either from pre-philosophical experience or from pre-Hegelian philosophy, since the ground for this movement is created only by the necessity with which the experience of pure thought is present to the person who engages in it. For this reason, Hegel's notion of dialectical method is non-inferential and "intuitionistic." This controversial claim is argued for in four ways. First, common intuition is normally valued as low-level cognition because of its subjective relativity, and its lack of criteria for verification and of specifically appropriate content, but the "purified" intuition in question would be universally valid, verified by its internal necessity, and content-producing. Second, Hegel approves of Descartes' movement without propositional inferences to an intuition of the cogito. Third, Hegel emphasizes the way in which scientific thought is "observing Reason." Fourth, since subject and object are ultimately equivalent, it cannot be that the knowing subject has to bring rules of inference to its subject-matter; the subject-matter does the developing, the science just moves through it, and the agent who carries out the science is not an individual agent, but in some sense is "beyond [sic] the empirical self". Finally, only if the motivation for dialectical movement is originally intuited can Hegel claim that the first move of Thought is both simple and determinate, both immanent and critical, both negative and progressive. (shrink)

"Why are there 'transsexuals' but not 'transracials'?" "Why is there an accepted way to change sex, but not to change race?" I have repeatedly heard these questions from theorists puzzled by the phenomenon of transsexuality. Feminist thinkers, in particular, often seem taken aback that in the case of category switching the possibilities appear to be so different. Behind the question is sometimes an implicit concern: Does not the (hypothetical or real) example of individual “transracialism” seem politically troubling? And, if it (...) is, does not the case of transsexuality merit equivalent critique? Or, conversely, if one accepts transsexuals as people with legitimate demands (e.g., on medical resources or single-sex spaces), then would one not also be committed to accepting the putative transracial in analogous ways? Understanding the ontological constraints and possibilities with regard to transforming one’s identity is, I suggest, a project that should accompany ethical evaluation of those transformations. Under what circumstances is it (un)ethical to leave behind a gender or racial group with which one has once been affiliated? This question is, again, especially pressing for radical thinkers who endorse the claims that race and gender taxonomies are internally hierarchical and constituted through relations of oppression, domination, and normalization. Changing one’s identity under these circumstances will surely always be linked, however tenuously, to consideration of the larger political and cultural milieu in which such changes are advantageous or disadvantageous, complicit with oppressive norms and/or resistant to them. To illuminate these larger questions, in this paper, I first provide three examples of the analogy thesis in feminist thinking about race and sex change, each of which draws ethical conclusions about individual motivation, political strategy, or public policy, premised on the assumption that race and sex change are equivalent phenomena. None of these accounts consider the genealogy of each category as significant to contemporary possibilities. I next offer a descriptive analysis that highlights different norms at play in contemporary North American understandings: Sex–gender, I argue, is essentialized as a property of the individual’s body, while race is essentialized with reference to both the body and ancestry. This analysis, I conclude, shows politically significant disanalogies between the categories, and reveals the importance of genealogical accounts of race and sex in thinking ethically about changing ourselves. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests (...) on nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

The resolution of ambiguities is one of the central problems for Machine Translation. In this paper we propose a knowledge-based approach to disambiguation which uses Description Logics (dl) as representation formalism. We present the process of anaphora resolution implemented in the Machine Translation systemfast and show how thedl systemback is used to support disambiguation.The disambiguation strategy uses factors representing syntactic, semantic, and conceptual constraints with different weights to choose the most adequate antecedent candidate. We show how these factors (...) can be declaratively represented as defaults inback. Disambiguation is then achieved by determining the interpretation that yields a qualitatively minimal number of exceptions to the defaults, and can thus be formalized as exception minimization. (shrink)

Two logics L1 and L2 are negatively equivalent if for any set of formulas X and any negated formula ¬, ¬ can be deduced from the set of hypotheses X in L1 if and only if it can be done in L2. This article is devoted to the investigation of negative equivalence relation in the class of extensions of minimal logic.

Recently two pairs of authors have aimed to vindicate the longstanding "orthodox" or conventional claim that a first-class constraint generates a gauge transformation in typical gauge theories such as electromagnetism, Yang-Mills and General Relativity, in response to the Lagrangian-equivalent reforming tradition, in particular Pitts, _Annals of Physics_ 2014. Both pairs emphasize the coherence of the extended Hamiltonian formalism against what they take to be core ideas in Pitts 2014, but both overlook Pitts 2014's sensitivity to ways that one might (...) rescue the claim in question, including an additive redefinition of the electrostatic potential. Hence the bulk of the paper is best interpreted as arguing that the longstanding claim about separate first-class constraints is _either false or trivial_---de-Ockhamization (using more when less suffices by splitting one quantity into the sum of two) being trivial. Unfortunately section 9 of Pitts 2014, a primarily verbal argument that plays no role in other works, is refuted. Pooley and Wallace's inverse Legendre transformation to de-Ockhamized electromagnetism with an additively redefined electrostatic potential, however, opens the door to a precisely analogous calculation introducing a photon mass, which shows that a _second-class primary_ constraint generates a 'gauge transformation' in the exactly same sense---a _reductio ad absurdum_ of the orthodox claim that a first-class constraint generates a gauge transformation _and a second-class constraint does not_. A _reductio_ using massive electromagnetism was presaged in Pitts 2014. Gauge freedom by de-Ockhamization does not require any constraints at all, first-class or second-class, because any dynamical variable in any Lagrangian can be de-Ockhamized into exhibiting trivial additive artificial gauge freedom by splitting one quantity into the sum of two. Physically interesting gauge freedom, however, is typically generated by a tuned sum of first-class constraints, not each first-class constraint alone. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...) in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

The religious transnationalism evident in the 21st century has heralded a new paradigm of religion ‘made to travel’ as adherents of religions navigate various cultural frontiers within Africa, Europe and North America. The role of Africa in shaping the global religious landscape, particularly the Christian tradition, designates the continent as one of the major actors of the Christian faith in the 21st century. The inability of European Christianity to address most of the existential realities of Africans and the stigmatisation of (...) African Traditional Religion mainly contributed to the emergence of African Independent Churches in the 19th century in Africa. The emergence and proliferation of African Independent Churches in Africa was Africa’s response to Europeanised Christianity with its imperialistic doctrines and practices that negated expectation of its new context – Africa. Despite the declining fortunes of Christianity in the West, African Christianity, which includes the African Independent Churches and African Pentecostal traditions, is now a major non-commodity export within Africa and North America. Apart from their rituals and peculiarities, African Independent Churches like other faith organisations are development actors. Although notions about the role of religion in development amongst some social scientists are mainly negative, African Independent Churches over the years are actively involved in various human and community transformation initiatives. This study argues that the transnational status of African Independent Churches has led to the emergence of developmental ideals that defy territorialisation. The collaboration with some Western development agencies by some of the African Independent Churches in Diaspora further blurs the concept of diaspora as the members of this Christian movement are active development actors in the receiving nations and their former home countries. This study argues that the role of religion in development in any context cannot be overemphasised. As a result of the globalisation of African Independent Churches, the United Kingdom and Nigeria will serve as our case study using historical survey and descriptive analyses to highlight African Independent Churches as development actors. (shrink)

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...) be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 26.2 (2002) 312-333 [Access article in PDF] Consilient Literary Interpretation Marcus Nordlund I THIS IS AN EXCITING TIME in the history of human self-knowledge. Like the two souls in Plato's Symposium, the life sciences and the human sciences are slowly coming to terms with their painful divorce and are increasingly on speaking terms. Thanks to important developments across a broad range of academic disciplines from biology (...) and neuroscience to anthropology and psychology, we are starting to glean the possibility of a new conceptual integration that may have important consequences for our understanding of human nature. After hundreds of years of virtuoso variations on the theme of philosophical and scientific dualism, we have come some way towards bridging the gap between mind and matter, biology and culture, science and the arts.From the perspective of literary studies, two recent developments have been especially valuable. The previous decade saw a growing recognition among social scientists of the explanatory force of evolutionary theory, and of the ultimate bankruptcy of the nature-nurture opposition that forces biology and culture into different compartments. Since the social sciences have always supplied literary studies with food for thought, it would be strange if such developments did not reflect on literature, too. Equally important has been the increasing impatience among scholars in the humanities with the radical skepticism, antiscientism, and dogmatic agnosticism that turns both science and literature into mere self-validating narratives and sees no significant difference between descriptive and normative statements. Together, these theoretical shifts have slowly begun to pave the way for a new dialogue between those who study biology, psychology, and cultural artifacts like literature. Since the mid-1990s, a number of literary [End Page 312] scholars have taken the first steps towards merging evolutionary and cultural explanation in the study of literature. 1One striking defense of such a conceptual integration between science and literature was delivered a few years ago in Edward O. Wilson's Consilience. 2 According to Wilson, there is "only one way to unite the great branches of learning and end the culture wars. It is to view the boundary between the scientific and literary cultures not as a territorial line but as a broad and mostly unexplored terrain awaiting cooperative entry from both sides" (p. 138). While he concedes that the two cultures can and should be characterized by "radically different goals and methods," he also stresses that interpretation provides a "logical channel of consilient explanation between science and the arts" (p. 234).While we have good reason to be optimistic about the potential of this joint endeavor, it is nevertheless fraught with massive problems. The current track record in interdisciplinary literary studies is uneven, to say the least. Strange confusions about the nature and status of theory abound, and these often take the shape of spontaneous raids into foreign conceptual frameworks that are bound to baffle the practitioners of the host discipline. As Richard Levin importantly points out, 3 there are numerous reasons why current interdisciplinary literary theories tend to become self-validating. There are no negative tests; critics tend to choose theories on the basis of ideological preferences rather than the criterion of truth; and there is a widespread assumption that theories can simply be transformed willfully whenever they do not meet the requirements of the interpreter.Many of the problems Levin points to can, I think, be remedied by something as trivial as a change in attitude within the discipline of literature itself. For example, something has obviously gone seriously wrong when the automatic spouting of political ad hominem arguments and genetic fallacies has become second nature to so many critics. But there are other and more fundamental problems that seem intrinsic to the whole question of interdisciplinarity. One of these, according to Wilson, is that as we move forward in the hierarchy of sciences, from physics to biology to literature, we encounter a rapidly accelerating complexity: "It is far easier to go backward through the branching corridors than to go forward.... Biology is almost unimaginably more complex than physics, and the arts equivalently more complex than... (shrink)

The present essay includes six thematically connected papers on negation in the areas of the philosophy of logic, philosophical logic and metaphysics. Each of the chapters besides the first, which puts each the chapters to follow into context, highlights a central problem negation poses to a certain area of philosophy. Chapter 2 discusses the problem of logical revisionism and whether there is any room for genuine disagreement, and hence shared meaning, between the classicist and deviant's respective uses of 'not'. If (...) there is not, revision is impossible. I argue that revision is indeed possible and provide an account of negation as contradictoriness according to which a number of alleged negations are declared genuine. Among them are the negations of FDE and a wide family of other relevant logics, LP, Kleene weak and strong 3-valued logics with either "exclusion" or "choice" negation, and intuitionistic logic. Chapter 3 discusses the problem of furnishing intuitionistic logic with an empirical negation for adequately expressing claims of the form 'A is undecided at present' or 'A may never be decided' the latter of which has been argued to be intuitionistically inconsistent. Chapter 4 highlights the importance of various notions of consequence-as-s-preservation where s may be falsity, indeterminacy or some other semantic value, in formulating rationality constraints on speech acts and propositional attitudes such as rejection, denial and dubitability. Chapter 5 provides an account of the nature of truth values regarded as objects. It is argued that only truth exists as the maximal truthmaker. The consequences this has for semantics representationally construed are considered and it is argued that every logic, from classical to non-classical, is gappy. Moreover, a truthmaker theory is developed whereby only positive truths, an account of which is also developed therein, have truthmakers. Chapter 6 investigates the definability of negation as "absolute" impossibility, i.e. where the notion of necessity or possibility in question corresponds to the global modality. The modality is not readily definable in the usual Kripkean languages and so neither is impossibility taken in the broadest sense. The languages considered here include one with counterfactual operators and propositional quantification and another bimodal language with a modality and its complementary. Among the definability results we give some preservation and translation results as well. (shrink)

continent. 2.3 (2012): 218–223 Vijay Prashad. Arab Spring, Libyan Winter . Oakland: AK Press. 2012. 271pp, pbk. $14.95 ISBN-13: 978-1849351126. Nearly a decade ago, I sat in a class entitled, quite simply, “Corporations,” taught by Vijay Prashad at Trinity College. Over the course of the semester, I was amazed at the extent of Prashad’s knowledge, and the complexity and erudition of his style. He has since authored a number of classic books that have gained recognition throughout the world. The Darker (...) Nations , a peoples’ history of the Third World, sent defibrillating shockwaves through an academic world that had almost forgotten the epic scope and historic dignity of the non-aligned movement and post-colonial struggles. In his recent, award-winning work, Arab Spring, Libyan Winter , Prashad delves into his capacious knowledge of the Third World to excavate the discourses and narratives surrounding the upheavals of 2011. “Revolutions have no specific timetable,” states Prashad in the opening line of this exciting and provocative look at contemporary events. Instantly, an atmosphere of suspense emerges. The reader is alerted to the problem of history. Does the making of history then involve a suspension of historical time, or is it a continuous narrative structure into which events must eventually be integrated? Arab Spring, Libyan Winter shows that the answer to the question, “How is history made?” lies just as easily in the asking. The first half of the book works through the events that transpired to bring about the explosive popular uprisings of Arab Spring: Tunisia and Egypt, Yemen and Bahrain. But the events are not put together in a cohesive, chronological fashion. Using an uncommonly gripping style more akin to the folk-story motif of the djeli than to traditionally Orientalist academia, Prashad suspends a given situation, points out its components, and traces back the characters and genealogies that define each link before resuming a narrative. Every moment is an end to itself, and an origin of something different. Thus, the making of history becomes the suspension of its own progress, it’s catastrophic 'stability,' in a process of differentiation through inclusion. Empirically, one might suggest that history is a condition of time, and by extension, of the subject, but history is also an eminent producer of the Subject and her concept of time through memory and narrative. Hence, history is often overdetermined by a dominant narrative of the sovereign. The apparently chaotic composition of Prashad’s historicity is, then, an interstitial morphology of resistance. It illustrates that the time to act for the revolutionary lies in the gaps within the dominant historical realities. It points out the sorties of signifiers constituting nothing in the obliterated ruins of history. Through such illuminations, Arab Spring, Libyan Winter breaks through “the surface of history” to elaborate revolution’s snapping synapses, exploding interruptions and breaches, connecting flows. Messianic Politics It is tempting to think, 'History is either singular, or it is diffuse. It is either one coherent factual narrative, or it is comprised of the aletheia of the multitude.' Yet the reader finds Prashad examining the structure of history on multiple levels. For Prashad, world history is shaped by geographically defined political movements, such as communism or national liberation, with historical agents like the working class for the former and the nationalist militant for the latter. Religion, however, is another matter: “Religion has an unshakable eschatology which a post-utopian secular politics lacks.” Within the telos of religion, there appears on the horizon the image of Benjamin’s thoughts on messianic time—time as “a small fissure in the continuous catastrophe,” a break with history, may contain an ultimate redemption of the human beyond the political power struggle. Succoring the split between geo-political and utopian-religious (messianic) time in the context of Arab Spring, Prashad indicates that the base of “the deep desire and commitment to some form of democracy” is forged by the affinity between eschatological Islamist politics with the People. To think about the Subject of messianic time in the context of the lack of a “coherent timetable” for emancipatory politics, it is perhaps best to return to the modern tradition of Martin Luther King, Jr., whose prefigurative blending of liberation theology and emancipatory politics became most important during his works of 1963, the climactic year of “The Letter from a Birmingham Jail,” the March on Washington, and the bombing of the 16th Street Baptist Church. In “The Letter,” King states the point bluntly: Frankly, I have yet to engage in a direct-action campaign that was “well timed” in view of those who have not suffered unduly from the disease of segregation. For years now I have heard the word “wait!” It rings in the ear of every Negro with piercing familiarity. This “Wait” has almost always meant ‘Never.” We must come to see, with one of our distinguished jurists, that “justice too long delayed is justice denied.” The timing of rebellious action must not be a part of history. It must change history. The kairos appears spontaneous and untimely in its convulsive, shocking presence, yet it is, deeper still, a path, a longue durée , forged through diligent and rigorous praxis. King put a finer point on the path of historic liberation in his declaration in his 1963 speech at Western Michigan University: “[T]ime is neutral.... Somewhere along the way we must see that time will never solve the problem alone but that we must help time. Somewhere we must see that human progress never rolls in on the wheels on inevitability. It comes through the tireless efforts and the persistent work of dedicated individuals who are willing to be co-workers with God. Without this hard work, time itself becomes an ally of the insurgent and primitive forces of irrational emotionalism and social stagnation. We must always help time and realize that the time is always right to do right.” Time, then, exists in “the neutral,” while action must turn to the kairos , not only of taking time, but taking the right time. By turning our relation to time into kairos , we move time from its context within history to a duration between histories—the longue dure?e of Messianic time. The implementation of neutrality in this context suggests a broad space of time to extend through the valley of positive and negative. In Roland Barthes’s lectures from 1978, the neutral takes place in this minimal distance of non-conflict that exists outside of two extremes. It is, in the words of Maurice Blanchot, “the non-general, the non-generic, as well as the non-specific.” For Blanchot, the neutrality of time permeates life as death, impassive and beyond control; such is the neutrality of messianic time, which permeates the charge of history, changing the "I" into the "one." The neutrality of time therefore implicates history in a case against extremism, showing that the work of the radical is not to tend to any particular side, but to have the time to navigate through the terrible terrain of history by altering its course, its patterns and rhythms of movement, connection, sociality. Hence, one does not simply “make history,” one alters the course of history in accordance to “the right time.” The historical path toward emerging power is transmitted as a gesture to the outside of history, against history; a gesture as simple as reaching out. Thus a counterhistory, to use Foucault’s term, is brought forward as the guide of time past a point of no return, a Rubicon, the point where the normal path of history falls to the past. The subject, who must be the only true agent of history, facilitates time through helpfulness, and both the Subject and her history become decentered in relation to one another. Yet history negates the neutrality of time. As Barthes discloses, although the neutral is the “thought and practice of the nonconflictual, it is nevertheless bound to assertion, to conflict, in order to make itself heard.” Engaged with history, time is charged with a destiny, and becomes an opposition. As Prashad insists, “For Arab lands, the events of early 2011 were not the inauguration of a new history, but the continuation of an unfinished struggle that is a hundred years old.” The emergence of the Subject during Arab Spring did not conceive of a new history, but changed the path of history toward a different destiny. “Historical grievances combined with inflationary pressures now met with the subjective sense that victory might be at hand—this was not simply a protest to scream into the wind, but a protest to actually remove autocrats from their positions of authority. The facts of resistance had given way to the expectation of revolutionary change.” The negativity of this charge toward “revolutionary destiny” rendered control, as a positive force, seriously lacking. The lack of control lies in the problem that the Subject is not totally detemporalized or timeless, but untimely in her presence. The Subject is untimely, because her work is visionary, and it is only through such visionary work that the Rubicon can be crossed. Still, the crossing of this border is haunted by anxiety over an impending disaster that lays in wait. It is only through the form of what Benjamin calls divine violence, captivated not with the justice of the means, but the ends—the transformation of history—that a revelation of history’s traumatic foundations can be liberated, and patterns and rhythms of time developed throughout obscured traditions awakened. In this situation, the Subject appears to be outside of right, but setting the state to rights. Because her position is correct, in-so-far as the rebelling subject rebels due to a lack of recognition, her representation appears outside of the norm, which is mistaken as right. Therefore, such visionary work must be carried out through obscured traditions, underground, away from the surveillance of empire. Explaining his method from the start along the lines of Marx’s metaphor of the mole, Prashad insists, “It is the burrowing that is essential, not simply the emergence onto the surface of history.” Arab Spring, Libyan Winter is a book on uncharted networks of time, spread out over the 252 pages like an elaborate spider’s web of passages intertwining with and overwhelming the machinery of the state. Although untimely, Arab Spring was not a flash in the pan, or a Facebook or Twitter revolution. Prashad notes that the government’s suspension of these tools led to further radicalism by furthering communications through face-to-face encounters. In existential terms, Arab Spring might be thought of as a revolution of Being over techne , an uprising of the unchartable, infinite potential of the Other. The name of this Other is found in Chance. The faith of the revolution lies in the proper decentering of the subject, its giving to the Other of time, for only with respect to time does history actually appear on the horizon of the subject, rather than as an imposition. This time of historical agency appears as a moment when anything can happen—a revolutionary truth event where everything comes into question while being realized in its Otherness as a community of the people begins anew in the streets amidst discourse, friendship, reconfigurations of hegemony, and a becoming of a constituent power. Throwing a wrench into the gears of the “cobwebbed tradition” of Orientalism, the decentering of history in Arab Spring, Libyan Winter is a defining quality of its impassioned revolutionary cry. But perhaps the most paradigmatic points of the book emerge from the unexpected voices. To make the connection between the particular manifestations of revolutionary demands to the general historic terms of revolution, Prashad quotes an anonymous young Egyptian in Tahrir Square, who reminds us, “[T]he French Revolution took a very long time so the people could eventually get their rights.” Far from timelessness, the historicization of Arab Spring must exist precisely within the most uncanny appearance of time, as something that does not appear to come from the natural state of time as we know it, but in arriving has completely transformed the way that we understand time. Strange Monsters Revolution is never as simple as a revolt from below against a rusting structure of elites trying to remain in power. As with the French Revolution, Arab Spring consisted of complex familial ties, outside interests, and religious factions fighting alongside, often in awkward juxtaposition to, liberals, working class parties, farmers, and students. It is perhaps because of this historically difficult and incongruous composition that the Arabic word for revolution is thawra , referring to the image of the bull, or thawr , which has religious significance as a pagan deity for the Ancient Semitic tribes and Cartheginians. If Daniel Guérin was correct in saying, “Anarchism and Marxism drink from the same spring,” then it is quite a different oasis that drove the thirsty beast of revolution through what Prashad calls, “the Libyan labyrinth.” Recalling Bataille’s Acéphale, the intestinal labyrinth gains significance as the mode of metabolism and rumination in which, “(the Acephale) has lost himself, loses me with him, and in which I discover myself as him, in other words, as a monster.” Unraveling the discourse of the revolution, the flows of power and hegemony—from Qaddafi’s nationalist coup in 1969 to the wars with Chad from 1978 to 1987, the neoliberal reforms of the 1990s to, finally, the War on Terror—we find that the metabolic process of Libyan Winter ends in the production of oil. In a process of what Prashad calls “involution,” Qaddafi’s bellicose policies, along with his attempts to nationalize Islam together with oil, mutated the source of his power, turning his house against itself. Already a divided nation, with its two major cities on opposite geographic sides of the country, Libya became split between two opposed political powers—liberal reformists and staunch nationalists—as Qaddafi’s political disengagement manifested through what can only be described in psychoanalytic terms as a recursive passage a l’act (mysteriously calling Wikipedia “Kleenex,” declaring that opponents drank hallucinogens with their instant coffee, and so on). Prashad declares, “The mercurial style that Qaddafi adopted was not about his personality alone, but also a leader’s natural response to a system that relied upon power brokers whose own loyalty… did not have any ideological commitment to the system.” As in the case of other nations during Arab Spring, the true expression of revolt was an outward exposition of what had inwardly been happening in microcosmic societies throughout the realm—from indigenous tribes to political parties, for a century, the people, partly motivated by (and in resistance to) economic impositions of development, had been changing the traditional social compositions and participating in what Ruth Wilson Gilmore calls, “the relative autonomy of the movement from the leaders.” It was this empowerment of political reconfigurations taking place under the context of new democratic assemblages that shocked the elites and evoked such a powerful response. Unlike Qaddafi’s awkward policy choices and rants, real acts of power from the West were clear and decisive. Prashad sets the stages of war and diplomacy, far removed from the deserts, mountains, and cities that forged the backdrop of popular politics. Taking place under the now-classic architecture of the “four pillars” of US interests—oil, the War on Terror, Israel, and the circumvention of Iranian hegemony—we find elites rubbing elbows in “Heliopolist cocktail parties and hushed conferences in Kasr al-Ittihadiya” as well as the Concorde-Lafayette hotel in Paris, which provides the setting for a meeting of anti-Qaddafi figures consolidating their power. These scenes are buttressed with the careful portraiture of key historical actors. As Prashad brings the stage of history to life, we find the diplomats and liberals like Frank Wisner, whose career has brought him from Enron in the late 1990s to the Obama Administration, under the aegis of which he was meeting with Mubarak about military support during Arab Spring. We spy the provocateurs, for instance, gauche cavalier , Bernard Henri-Levy, who telephones Sarkozy from Benghazi about the need for more NATO air strikes. We follow the rebel military establishment as it suffers mysterious deaths and even more mysterious assents (like that of apparent CIA cohort, Khalifa Hifter). In each of these intriguing characters, we find different representations of the security state biopolitique: an oil-injected reification that drives Arab Spring from the resentment of rising food prices to the brink of implosion in Libyan Winter. Reminiscent of the scenes of Cold War soirées represented in old Bond films, the aristocratic fight for oil against democracy that was Libyan Winter presents a harsh truth that the new global crisis is simply the continuation of the old history: the global exploitation of capitalism waged against the imagination of the people. As Benjamin laments, “The labyrinth is the right path for the person who always arrives early enough at his destination. This destination is the marketplace.” Yet, “(t)he labyrinth is the habitat of… a humanity (a class) which does not want to know where its destiny is taking it.” Thus, the labyrinth leads, like the desert, only further into itself. As Blanchot explains, “The desert is even less certain than the world; it is never anything but the approach to the desert.” Only the visionary can take time out of the involution toward oblivion. It is here, in this approach to and escape from history, that we find ourselves within Benjamin’s Golgotha, Blanchot’s desert: A space of indeterminate uncertainty where we become familiar only with our own exile. Blanchot writes, “For the moderated and moderate man, the room, the desert, and the world are strictly determined places. For the man of the desert and the labyrinth, devoted to the error of a journey necessarily a little longer than his life, the same space will be truly infinite, even if he knows that it is not, all the more so since he knows it.” The desert, as allegory, provides an eschatology, a mortality in the destiny of Arab Spring. But any allegory of nature might lead to a labyrinthine eschatology (for example, in Bachelard, the forest presents "a limitless world"); the prescience of the untimely is always an uncanny acceptance of the infinite within the finite—the outside of what is understood. Transgenerational and occupied with the image of the future, the untimely makes otherness its home as it proceeds toward liberation. In the work of helping time navigate this dangerous passage of history, Prashad illustrates that the more violent break with history may have occurred in the peaceable struggles of Tahrir Square, and not in the military clashes of Qaddafi with his former Generals who defected to the CIA and NATO countries. It might be possible to suggest, then, that in the case of Tunisia and Egypt, the historical subject of the people was drawn together in a Dionysian dance of different rhythms in the marvelous realm of the ancients, while we fear that the case of Libya suggests an Apollonian future where time, itself, may lay dying under the machinic hand of history. The properly Nietzschean inversion would follow: time is dead, for history has killed it. Yet, if time is dead, struck down in Golgotha, exposed in the desert, mauled by the thawra , it is only in the present sense that it is rendered impossible outside of the context into which the untimely has thrown us. Thus, if history becomes an art of revolution, life as being-towards-death (death as the provocation of the neutrality of time) becomes what Benjamin calls “the allegory of resurrection” through the glorious ruins of history. Prashad ends his work with a rousing finale: “The time of the impossible has presented itself. In Egypt, where the appetite for the possibilities of the future are greatest, the people continue to assert themselves into Tahrir Square and other places, pushing to reinvigorate a Revolution that must not die… For them the slogan is simple: Down with the Present. Long live the Future. May it be so.&rdquo. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Prophecy and Authority in the TrachiniaiLaurel Bowman(Tr. 1278)When deianeira goes silently offstage to her death at line 812 of Trachiniai, she removes herself from her husband's story. Her mistake was in thinking it was hers. Despite her emotionally riveting presence at center stage for well over half the play, her focus (and thus that of her audience) is always on Herakles, absent or present. Her only concern, throughout the (...) play, is Herakles' whereabouts, his welfare, and his relationship to her. But the prediction1 which Deianeira thinks she understands, and on which she acts so fatally, concerns his fate and not her own. Even though the prophecies concerning Herakles depend on Deianeira's actions for their resolution, none mention her; their focus is the end of Herakles' labors, and once she has performed her function in their fulfillment her further actions are irrelevant. Her death, like Klytemnestra's in Sophocles' Elektra, is not significant enough to warrant a prophecy of its own. The prophecies of Trachiniai concern only the fates of males.2 [End Page 335]My focus in this essay is the use of predictive speech in Trachiniai. I will show that the speech of Nessos to Deianeira functions as a parallel to the prophecies in the play. A prediction is authorized as a "prophecy" by the same social mechanism which defines a child as "legitimate." Relying on an unauthorized prediction is thus, in Trachiniai, represented as analogous to stepping outside authorized marital bonds. Deianeira's attempt at independent action, in that it relies on the speech of Nessos, is equivalent to infidelity and is therefore destructive, a definition which is strengthened by the description of her behavior as destructive in specifically feminine ways. The final prophecy of the play negates Deianeira's role in previous events. Prophecy in Trachiniai is thus used both to define independent action in women as destructive, and ultimately, to exclude them from it.There are two sources of predictive speech in the play, but only one, Zeus, is said to produce "prophecy" (, 77, 1165). The predictive speech of the other, Nessos, is simply called instructions, or laws (, 568–69;, 682). are a particular kind of predictive speech–act; the term is used in Sophocles and elsewhere to refer specifically to those predictions which come from a source with the appropriate authority for making. In Homer the term is used once (Od. 12.272), of a prophecy made by Tiresias, who is elsewhere (e.g., OT 410) described as inspired by Apollo. In Herodotus and Thucydides only responses from oracular shrines (usually Delphi) are termed (e.g., Hdt. 1.46–1.53, 1.91; Thuc. 1.25, 1.28, and elsewhere). In the tragedians are likewise either responses from oracular shrines (e.g., Aesch. Eum. 716, Eur. Hipp. 236, IT 1255), or, more rarely, speeches of seers inspired by Apollo (Aesch. Ag. 1215, of Kassandra). Sophocles outside the Trachiniai follows the same usage: are most frequently responses from an oracular shrine, usually Delphi (e.g., OT 21, 149, 407, 481, 857; OC 453), or, more rarely, are predictive speeches of an Apollo–inspired seer (OT 394, of Tiresias). To be [End Page 336] termed, in short, it is not enough that predictive speeches come true; they must also have a divine or explicitly divinely inspired source. Just as a child is defined as "legitimate" by reason of his relationship to a father who is authorized3 to produce legitimate children, and who acknowledges the children as his, so predictive speeches become through their relationship to an authorized and acknowledging source. are predictive speeches to which a constructed legitimacy has been attached.Zeus is constructed in the Trachiniai as an authorized source of legitimate predictions,. He occupies the position at the pinnacle of the hierarchical structure in the play, both as ruler of the gods and as Herakles' father. As ruler of the gods in general, and more specifically as the god most nearly concerned with the events represented in Trachiniai, he is called upon more often than any other divinity in the play.4 Zeus is called "father of all" (, 275). He is the god most often invoked in prayer... (shrink)

In this paper the Centering model of anaphoraresolution and discourse coherence(Grosz et al. 1983, 1995)is reformulated in terms of Optimality Theory (OT)(Prince and Smolensky 1993). One version of the reformulated modelis proven to be descriptively equivalent to an earlier algorithmicstatement of Centering due to Brennan, Friedman and Pollard(1987). However, the new model is stated declaratively, and makesclearer the status of the various constraints used in the theory. Inthe second part of the paper, the model is extended, demonstratingthe advantages of (...) the OT reformulation, and capturing formallyideas originally described by Grosz, Joshi and Weinstein. Three newapplications of the extended OT Centering model are described:generation of linguistic forms from meanings, the evaluation andoptimization of extended texts, and the interpretation of accentedpronouns. (shrink)

Nowadays, new directions for the development of artificial intelligence (AI) have emerged, the task has been set to develop artificial general intelligence (AGI), which is able to go beyond the narrow AI, gain a high degree of autonomy, independently solve problems in different environmental conditions and thus have the ability to perform the functions of natural intelligence. In this regard, important philosophical, theoretical, and methodological questions arise concerning the definition and evaluation of the social significance of new AI achievements, especially (...) regarding the correlation of their socio-humanitarian and technological aspects. It is necessary to overcome a purely technocratic approach, which usually ignores the negative consequences of digitalization, the possible risks and threats of AI development. These difficulties are conditioned by the paradigm gap between the system of concepts used to describe technologies and the systems of concepts specific to socio-humanitarian descriptions and explanations. The so-called ontological paradox arises during digital transformation and the introduction of AI into social systems. An ontological paradox is also an epistemological paradox, since any statement of an ontological type presupposes its epistemological justification. To overcome this gap, V.E. Lepskiy proposes the conception of self-developing polysubjective environments – cybernetics of the third order. This conception allows to create a conceptual “bridge” between two systems of definitions that do not have direct logical connections between them. A productive tool for this can be the information approach, which is widely used to solve such interdisciplinary problems. This makes possible to theoretically correctly connect technological and socio-humanitarian descriptions in a single conceptual structure and to analyze main socio-humanitarian criteria for evaluating digital innovations. The article discusses in detail the main provisions of the information approach and its application for the development of AGI systems, the socio-humanitarian assessment of AI autonomous development, and the resolution of security issues. (shrink)

In terms of classical tafsir literature, it is possible that the speeches made to a person or group in the Qurʾān carry messages for other individuals or groups. According to some approaches that emerged in the modern period, when the speech was made and to whom it was directed not only determine the meaning, but also limits it. This dilemma has to be based on the theoretical dimension. The most obvious example of the transition of the speech from direct counterpart (...) to the other is the transition of the speeches made to the unbelievers to the believers. Therefore, in this study, the possibility of the transcendence of the speech in the Qurʾān will be handled in the context of the messages for believers in the speeches directed to the unbelievers. One aspect of the issue of the transcendence of the speech in the Qurʾān can be explained by the style that the Qurʾān follows. However, the subject should also be based on linguistic aspects. As a matter of fact, the expansion of the speech can sometimes be related to the meanings of words and sometimes with the possibilities and literary aspects of language, and sometimes with an analytical effort. In this study, the related examples will be analyzed and it will be revealed that the transition between the speeches in the Qurʾān is possible in terms of the style of the Qurʾān. In the study, the methodological findings related to the linguistic aspects of the issue will also be studied.Summary: The discourse that the Qurʾān is an address by God makes different associations in terms of classical literature and some modern methods of understanding. In the works of classical method and rhetoric, a theoretical framework is drawn around the nature, arbitrariness, conditions and types of the book. In this context, the varieties, indications and scopes of the addresses in the Qurʾān are discussed. While it is emphasized that the Qurʾān is an address in modernist contextualist approaches, it is stated that understanding the address requires having contextual information, therefore reading the address as a book evaporates meaning. Because, according to these approaches, the meaning is sought in the text with the transformation of address to book (verbal culture to written culture), thus the Qurʾān is converted from a literal meaning into a system. Knowing what the Qurʾān tells and why it tells that, depends on the comprehension of all the contextual elements of the Qurʾān, which was sent as an address. In fact, knowledge of when, where and when the Qurʾān was sent about what events and to whom it is addressed, is the data that is primarily considered in the comprehension of the verses, as emphasized by the classical interpretation literature. However, the perception of the classical interpretation evaluates these data in different categories in terms of the integrity of religion, judgment and experience. For example, the narrations on the reason of sending and the Makki-Madani information are only examples of the meanings of the verses. They sometimes serve as elements that contribute to the comprehension of the verses, while sometimes with the help of other chapters they can narrow the meanings of the verses. The realist-methodological basis of the method science provides the emergence of this holistic-categorical perspective.It is difficult to justify the claim that there is an absolute relationship between the address and the addressee in terms of the classical literature. In the classical literature, the expressions, which come in the form of an address and have a mandatory relationship with addressees, are dealt with the concept of direct address. Direct addresses are binding for the first addressees. Because when an address is mentioned, it is mandatory to have an addressee. It can be assumed that this discourse has the same position with the context theories considering its premises. However, it is not possible to compare these theories with each other in terms of the scope of the address. Classical theories of reasoning consider that direct addresses cover indirect addressees by methods, such as shar’i (legal) necessity or analogy (qiyas), while contextualists and historians can convert the text beyond the virtual level by identifying what a command means within the context of the address-addressee relationship. When the Qurʾān is completely considered as an address, or when direct addresses are taken into consideration, it is very difficult for the modern period's comprehension methods that the verses, which mention or address the disbelievers-polytheists, can also address Muslims. In fact, the dialectic of the address-addressee requires this. Moreover, the addressees (polytheists-Muslims) who are spoken within the context of the verses have two different beliefs that cannot be dealt with at the same time and mentioned in the same verse. Therefore, it is not possible to direct the messages given to the polytheists to the believers and to attribute the qualities in these verses to Muslims.However, the classical literature did not even consider as a problem to address Muslims with the verses that directly addressing unbelievers-polytheists. It is because both linguistics and facts requires this. The method practitioners and interpreters discussed this issue in a very wide range. They examined the transitivity of the book between parties, such as people of the book-Muslims, Muslims-unbelievers, Prophet-ummah. In the context of the interpretation literature and the perception of modern-day interpretation, the possibility of the transitivity of the book can be clarified in the context of the inclusiveness of a verse that speaks of polytheists-disbelievers to include Muslims, or the conversion of an address to polytheists-unbelievers to Muslims. Classical literature explains this point sometimes with the literal indication (circularization) and the circumstance of literary use of language (rhetoric) and sometimes with the possibility of the address (stylistic features).In verses and hadiths, belief bases categorical classes, such as believers, unbelievers, polytheists, hypocrites, people of the book are mentioned, as well as descriptions of the characteristic-practical dimensions of these classes. In this context, commands sometimes refer to the practices that need to be performed in order to be a believer, sometimes works that must not be performed by the believer, and sometimes matters that might put the believer's faith-practice integrity at risk when it is done. In the Qurʾān, in some of the addresses to the believers, it is apparent that they are prohibited from being like unbelievers or having unbeliever-like qualities. Moreover, sometimes negative results that may arise for Muslims when they act like unbelievers are cited in the verses. Sometimes at the end of the verses that address and mention Muslims, information is included on situations involving unbelievers and the torment they will encounter. In addition, in cases where adjectives belonging to opposing belief profiles are mentioned, the address to non-Muslims expresses warning, evaluation, gratitude and perseverance in faith for Muslims, while the address to Muslims contains elements of incentive and opportunity for non-Muslim groups. It is possible to justify this matter with the style of the Qurʾān. However, it can be said that the transitivity of the address in the Qurʾān takes place in two theoretical aspects. The first of these is related to linguistic-rhetoric premises and it is used in antithesis, allusion, metaphor etc. The second one is the similitude-comparison. Here, the comparison is a phenomenon that occurs in the mind without the need for propositions. Because when the mind hears these statements, it can instantly reach a stronger meaning than the literal wording. In this study, it is discussed whether it is possible to transition from direct addresses to indirect addressees, with reference to the problems of the modern period. In this context, the study primarily focuses on the fact that the Qurʾān sometimes transmits its messages and teachings to addressees through opposing belief systems. Thus, the manner adopted by the Qurʾān while directing certain commands and negations, not directly but through the opposing side, has been presented. In this study, the possibility of the verses that only mentions polytheists-unbelievers to also addressing Muslims was analyzed and these verses were compared with addresses to Muslims on the same matters. In the last part of the study, a theoretical framework was drawn on the subject and the method of interdisciplinary transitivity was determined. (shrink)

This paper develops the model theory of normal modal logics based on partial “possibilities” instead of total “worlds,” following Humberstone [1981] instead of Kripke [1963]. Possibility semantics can be seen as extending to modal logic the semantics for classical logic used in weak forcing in set theory, or as semanticizing a negative translation of classical modal logic into intuitionistic modal logic. Thus, possibility frames are based on posets with accessibility relations, like intuitionistic modal frames, but with the constraint that (...) the interpretation of every formula is a regular open set in the Alexandrov topology on the poset. The standard world frames for modal logic are the special case of possibility frames wherein the poset is discrete. The analogues of classical Kripke frames, i.e., full world frames, are full possibility frames, in which propositional variables may be interpreted as any regular open sets. We develop the beginnings of duality theory, definability/correspondence theory, and completeness theory for possibility frames. The duality theory, relating possibility frames to Boolean algebras with operators (BAOs), shows the way in which full possibility frames are a generalization of Kripke frames. Whereas Thomason [1975a] established a duality between the category of Kripke frames with p-morphisms and the category of complete (C), atomic (A), and completely additive (V) BAOs with complete BAO-homomorphisms (these categories being dually equivalent), we establish a duality between the category of full possibility frames with possibility morphisms and the category of CV-BAOs, i.e., allowing non-atomic BAOs, with complete BAO-homomorphisms (the latter category being dually equivalent to a reflective subcategory of the former). This parallels the connection between forcing posets and Boolean-valued models in set theory, but now with accessibility relations and modal operators involved. Generalizing further, we introduce a class of principal possibility frames that capture the generality of V-BAOs. If we do not require a full or principal frame, then every BAO has an equivalent possibility frame, whose possibilities are proper filters in the BAO. With this filter representation, which does not require the ultrafilter axiom, we are lead to a notion of filter-descriptive possibility frames. Whereas Goldblatt [1974] showed that the category of BAOs with BAO-homomorphisms is dually equivalent to the category of descriptive world frames with p-morphisms, we show that the category of BAOs with BAO-homomorphisms is dually equivalent to the category of filter-descriptive possibility frames with p-morphisms. Applying our duality theory to definability theory, we prove analogues for possibility semantics of theorems of Goldblatt [1974] and Goldblatt and Thomason [1975] characterizing modally definable classes of frames. In addition, we discuss analogues for possibility semantics of first-order correspondence results in the style of Lemmon and Scott [1977], Sahlqvist [1975], and van Benthem [1976a]. Finally, applying our duality theory to completeness theory, we show that there are continuum many normal modal logics that can be characterized by full possibility frames but not by Kripke frames, that all Sahlqvist logics can be characterized by full possibility frames that contain no worlds, and that all normal modal logics can be characterized by filter-descriptive possibility frames. (shrink)

In Dirac-Bergmann constrained dynamics, a first-class constraint typically does not _alone_ generate a gauge transformation. By direct calculation it is found that each first-class constraint in Maxwell's theory generates a change in the electric field E by an arbitrary gradient, spoiling Gauss's law. The secondary first-class constraint p^i,_i=0 still holds, but being a function of derivatives of momenta, it is not directly about E. Only a special combination of the two first-class constraints, the Anderson-Bergmann -Castellani gauge generator G, leaves E (...) unchanged. This problem is avoided if one uses a first-class constraint as the generator of a _canonical transformation_; but that partly strips the canonical coordinates of physical meaning as electromagnetic potentials and makes the electric field depend on the smearing function, bad behavior illustrating the wisdom of the Anderson-Bergmann Lagrangian orientation of interesting canonical transformations. The need to keep gauge-invariant the relation dot{q}- dH/dp= -E_i -p^i=0 supports using the primary Hamiltonian rather than the extended Hamiltonian. The results extend the Lagrangian-oriented reforms of Castellani, Sugano, Pons, Salisbury, Shepley, _etc._ by showing the inequivalence of the extended Hamiltonian to the primary Hamiltonian even for _observables_, properly construed in the sense implying empirical equivalence. Dirac and others have noticed the arbitrary velocities multiplying the primary constraints outside the canonical Hamiltonian while apparently overlooking the corresponding arbitrary coordinates multiplying the secondary constraints _inside_ the canonical Hamiltonian, and so wrongly ascribed the gauge quality to the primaries alone, not the primary-secondary team G. Hence the Dirac conjecture about secondary first-class constraints rests upon a false presupposition. The usual concept of Dirac observables should also be modified to employ the gauge generator G, not the first-class constraints separately, so that the Hamiltonian observables become equivalent to the Lagrangian ones such as the electromagnetic field F. (shrink)

This paper explores how transformative experience generates decision-making problems of particular seriousness in medical settings. Potentially transformative experiences are especially likely to be encountered in medicine, and the associated decisions are confronted jointly by patients and clinicians in the context of an imbalance of power and expertise. However in such scenarios the principle of informed consent, which plays a central role in guiding clinicians, is unequal to the task. We detail how the principle’s assumptions about autonomy, rationality and information handle (...) transformative experiences poorly, appealing to several difficult cases for medical decision-making to illustrate the resulting problem, and we consider how the existing literature on complications with consent fails to offer a resolution. We argue that recognition of the problem has a role to play in achieving a more effective response to transformative decisions. In Sect. 1 we introduce several representative cases of challenging patient decision-making that clinicians might face. In Sect. 2 we detail how transformative experience has been analysed in the recent literature, before outlining in Sect. 3 the theoretical basis of the principle of informed consent, which plays a central role in how clinicians are expected to support decision-making. In Sect. 4, having laid the groundwork for a clear description, we return to the cases given in Sect. 1 to confirm how their transformative nature presents a problem: either clinicians treat the decisions faced by these patients as ‘normal’, encouraging them to focus on information provision that patients may be unable to act on, or they treat them as transformative, in which case they lack the resources to recognise whether they are helping patients make (subjectively) good decisions. In Sect. 5 we argue that the existing literature does not offer any escape from this problem. We close in Sect. 6 by noting the significant impact that appreciating the problem of transformative experience could have on supporting transformative decisions in medicine and briefly suggesting how we might aim to develop new approaches to dealing with these. (shrink)

Introduction Conatus is a specific concept within Descartes’s physics. In particular, it assumes a crucial importance in the purely mechanistic description of the nature of light – an issue that Des- cartes considered one of the most crucial challenges, and major achievements, of his natural phil- osophy. According to Descartes’s cosmology, the universe – understood as a material continuum in which there is no vacuum – is composed of a number of separate yet interconnected vortices. Each of these vortices consists (...) in a set of bands rotating around their centres. The bands are com- posed of corpuscles of the three elements, each distinguished on the basis of their different shapes and sizes. The small globules of the second element, although impeded by the other parts of heaven, strive to move away from the centre of the vortex around which they revolve, thus exerting a certain force against the surrounding bodies. This striving or conatus, though a mere force rather than a genuine motion, is transmitted instan- taneously and along straight lines from body to body. According to Descartes, then, the nature of light consists in this striving alone. This account must be understood as strictly connected to the fundamental laws that regulate the Cartesian world. It is particularly important to recall that for Descartes the centrifugal force exerted by a rotating body is understood to be a consequence of the intrinsic rectilinearity of every motion. As the second of the three Laws of Nature set forth in Book II of the Principles of Philosophy establishes, “all motion is in itself rectilinear; and hence any body moving in a circle tends to move away from the centre of the circle which it describes as proved by the fact that a stone rotating in a sling tends to move centrifugally along the tangent of each point described by a circle.1 Similarly, each of the globules of the second element “strives to recede with a great force from the centre of the vortex in which it rotates; it is in fact prevented by the other globules placed all around, not differently than a stone in a sling”. Within this framework, as I show later, conatus occurs when a body’s intrinsic tendency to rectilinear motion is impeded by an external constraint. As Stephen Gaukroger notes, the use of the term conatus in the Principles – like “vis” and “ action ” – shows that Descartes “cannot avoid dynamic terminology”, despite his declared intent “to construe motion in a purely kinematic way”. Indeed, Gaukroger observes that the notions of force action and striving are systematically employed in the Principles – appearing 290, 59 and 8 times, respectively. Also noteworthy, conatus was – together with the more familiar concepts of actio and vis – a significant element of the conceptual apparatus of Scholastic natural philosophy. As will be seen later – and this is the first goal of this paper – here the concept of conatus had a very specific function. Indeed, it was a central part of the Aristotelian- Scholastic account of gravitation. Conatus was used to refer to the striving of a body to move towards its natural place – especially in cases where its natural motion was hindered or impeded by an external mover. This specific use of the concept of conatus can be found in texts on natural philosophy from the end of the sixteenth through the late seventeenth century. Notably, it occurs in some of the late -Scho- lastic texts which held special significance for Descartes’s thought. Therefore, Descartes introduces conatus in a context in which this concept already had a very specific meaning, and one of which he was very probably aware. The possible relations between these two apparently very different con- cepts have therefore to be scrutinized. I thereby propose to undertake a comparison between the Scho- lastic and the Cartesian conceptions of conatus. I hope to show that certain traits of the former are indeed echoed by the latter, although adapted to the much changed physical paradigm of Cartesian physics. In fact, Descartes’s conatus, though sharing some important similarities with the old one, underwent significant transformations in terms of both its meaning and its application. However, I hope to show that these concepts are both used to describe the behaviour of bodies in relation to their intrinsic motive tendency, and in particular when this tendency is impeded or prevented. Such a reconstruction offers two main areas of interest. On an immediate level, it furthers the general efforts of scholars over the past decades to reconstruct the full extent of the relations between Descartes’s thought and Scholastic philosophy. However, there is another significant reason for taking an interest in the ties between the Scholastic and the Cartesian conceptions of conatus. Indeed, the Cartesian conatus must be seen as crucial to a proper understanding of the broader, diverse conceptualization that this idea enjoyed in the thought of many of the most important philosophers of the early modern period, namely Spinoza, Hobbes and Leibniz. In particular, Spinoza, were directly influenced by Descartes in their unique formulations of conatus. Thus a reconstruction of the context in which Descartes formulated his conatus and of its relations to a pre-existing Scholastic conception will enable us to better reconstruct the history of this idea in the early modern period. The paper is structured as follows: in the first part, I provide a thorough review of the Scho- lastic employment of the concept conatus – both its meaning and the extent of its usage. I then show that it occurs in some of the most prominent Cartesian sources. Finally, I shall provide an account of Descartes’s theory of circular motion and conatus with the specific aim of empha- sizing the elements of both continuity and discontinuity that justify the claim that Descartes’s con- ception of conatus is reminiscent of the Scholastic one. (shrink)

We consider Borel equivalence relations E induced by actions of the infinite symmetric group, or equivalently the isomorphism relation on classes of countable models of bounded Scott rank. We relate the descriptive complexity of the equivalence relation to the nature of its complete invariants. A typical theorem is that E is potentially Π03 iff the invariants are countable sets of reals, it is potentially Π04 iff the invariants are countable sets of countable sets of reals, and so on. The proofs (...) use various techniques, including Vaught transforms, changing topologies, and the Scott analysis of countable models. (shrink)

It has long been recognized that negation in Aristotle’s term logic differs syntactically from negation in classical logic: modern external negation attaches to propositions fully formed, whereas Aristotelian internal negation forms propositions from sentential constituents. Still, modern external negation is used to render Aristotelian internal negation, as may be seen in formalizations of Aristotle’s semantic principles of non-contradiction and of excluded middle. These principles govern the distribution of truth values among pairs of contradictory propositions, and Aristotelian contradictories always consist of (...) an affirmation and a denial. So how should we formalize a false denial? In the literature, we find that a false denial is formalized by means of two negation signs attached to a one-place predicate. However, it can be shown that this rendering leads to an incorrect picture of Aristotle’s principles. In this paper, I propose a solution to this technical problem by devising a formal notation especially for Aristotelian propositions in which internal negation is differentiated from external negation. I will also analyze both principles, each of which has two logically equivalent forms, a positive and a negative one. The fact that Aristotle’s principles are distinct and complementary is reflected in my new formalizations. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 535 the consequent thinness and incompleteness which invest the author's discussion in this area. In fact, the omission leads Trinkaus to some misinterpretation regarding the nature and development of poetic theology and the relationships between the studia humanitatis and studia divinitatis. Thus he claims that Petrarch made the classic statement of the theologia poetica ("Poetic is not at all opposed to theology"), thereby inferring that he revived (...) this insight for the Renaissance. But this interrelationship had already been fully and substantively developed by Dante (as Colish convincingly shows in her concluding chapter). Dante's own poetic epistemology grew out of medieval poetics and was explicitly linked to Augustine's (by Dante in the Convivio). In his letter on the Divine Comedy, furthermore, Dante shows that he has appropriated for himself as poet all the tasks, methods, and powers of theology. The Divine Comedy is to be read like Scripture; its purpose is to remove men from misery and bring them to beatitude. That it can do so, moreover, derives from the fact that, as he wrote in the Convivio, "words... are like the seeds of action." Speech, e.g., prayers, poems, confessions of faith, etc., can transform the behavior of the hearer. That is why Dante called himself a poet of rectitude, and why his epitaph described him as a theologian (Theologus Dantes). Yet Trinkaus asserts that Petrarch and especially Boccaccio revived this Augustinian theory of the relationship between the prisci poetae and the prisci theologi. If Boccaccio contributed to this process (and he did), it was less because of his interest in poetic legends about the gods, than because of his admiration for Dante, the subject of his public lectures and his biography. As he declared in his Li[e o[ Dante, it is perfectly clear "that not only is poetry theology but also that theology is poetry." And were it permitted, he allowed, "I should say he [Dante] would have become a god on earth." One misses the presence of Dante in Trinkaus' book; for he belongs--as Boccaccio and Bruni, and (much later) Burcldaardt made plain--at the heart of all Renaissance discussions of poetry and theology, of epistemology, of the employment of learning to civic, public, and moral purposes, and of human and humanistic attempts to reintegrate the soul and reconcile logic to life. He, too, possessed Fanstian dimensions, and like Petrarch, he inspired the humanistic enterprise that came after. Jo~ H. GEEatmN Scripps College and Claremont Graduate School Rhetoric and Truth in France. Descartes to Diderot. By Peter France. (Oxford: The Clarendon Press, 1972. Pp. viii + 282. $16.25) Can a writer express the truth without relying upon rhetorical devices? A negative answer to this question provides the recurrent theme in a "series of linked essays" in which Peter France examines classical French rhetoric as represented in the writings of Descartes, Montesquieu, d'Alembert, Bossuet, Boileau, Racine, Diderot, and Rousseau. He begins with Descartes, who is symbolic of the traditional philosophical revulsion against rhetoric, and then examines the remaining authors who fall on a spectrum between Rousseau, who engages in the "desperate quest for the mirage of genuine, unmediated communication," and Boileau, who was the self-conscious designer of a new style of rhetoric. While the focus is philosophical, the background of this book is largely historical in its illustration of the intellectual tools of a major part of French society over an extended period of time. Professor France is successful in having focus and background reinforce one another. In Part I, he begins with a description of rhetoric in the ancien r~gime. He reviews the classical and medieval roots of rhetoric; the influential Renaissance view of rhetoric as mere ornament, a view perpetuated by the work of Peter Ramus; and the role of rhetoric 536 HISTORY OF PHILOSOPHY in the ancien rJgime as it was taught in the schools and as a mark of social ascension. The conclusion of this review is that "all systems of verbal communication appear to contain an element of distortion." In interpreting Descartes, France relies heavily and admittedly upon the work of Goubier. One surprising comment is the assertion that Descartes refrained from publishing Le... (shrink)

Ātman (soul) and Nairātmya (no soul) are, for the Brahmanical schools and the Buddhists respectively, equally fundamental tenets which neither side can concede to the other. Among the 16 formulations presented by Uddyotakara, the fifteenth, which is a proof of Ātman and is originally an indirect proof ( avīta/āvīta ), is presented in a prasaṅga -style, and contains double negation ( na nairātmyam ) in the thesis. However, it is perhaps Dharmakīrti who first transformed it into a normal style ( (...) sātmakam ). He is well aware of the law of excluded middle, and insisits that the negation is paryudāsa . On the Nyāya side, Uddyotakara at least seems to be unaware of the law of the logical equivalence of contraposition concerning pervasion ( vyāpti ). After Uddyotakara, however, Vyoman (Vyomaśiva), Bhāsarvajña and Vācaspatimiśra, all seem to be well aware of it. Dharmakīrti, in his conter-argument against the proof of ātman , discusses the negative expressions ‘‘ nairātmya ” and ‘‘ a-nairātmya ” Dharmakīrti here uses two logical arguments skillfully and tactically. As a critic of both the authenticity of the Veda and the existence of ātman , he insists on the theory of dichotomy and the equivalence of anvaya and vyatireka , whereas as an apologist he denies the application of these theories to the relation between the existence of ātman and the concept of nairātmya , because for him as a Buddhist the latter is not a negative but essentially positive state of affairs. (shrink)

The foundational hypothesis to this study is that congregations which have a healthy perception and a greater understanding of conflict will develop more effective responses to conflict that will translate into more effective conflict resolution and reconciliation. The process and sustainability of the development of a missional church, the context of the study, is pregnant with potential conflict. Untamed conflict has the propensity to retard, jeopardise or even destroy the development of a missional church. When conflict arises, it must (...) be understood and dealt with theologically. The inherent problem is that conflict appears to be neither understood nor appreciated sociologically and theologically. This knowledge and praxis vacuum has the potential for conflict to translate into inappropriate or ineffective responses that do not always make for effective resolution and reconciliation. The research focuses mainly on an empirical study based on the four practical theological questions of Osmer (2008). Participants for this study were randomly selected from specific sectors of Methodist congregations in the wider Pretoria area. The research explores congregants’ perceptions, understanding and views of conflict; their responses to conflict; and some felt and observed outcomes of conflict. The presupposition is that the development of the local missional church would be more effective and efficient when the management and process of conflict resolution and reconciliation are well led and well managed. This study confirmed that conflict, despite its normalcy and necessity, carries a negative undertone and is mostly avoided in congregations. This is compounded by the evidence that there is little, if any, theological or scriptural understanding of conflict. There is also no indication that churches intentionally and purposefully educate their members to appreciate and understand conflict. In so doing, churches are harming their innate calling as the glory and manifestation of God’s divine grace through faith communities for the transformation of all peoples. Yet, the church understands the dangers of unhealthy conflict, and on occasion even expects conflict to arise, although deeming it inappropriate. Practical theological discernment is sought as to why this may be so and remedial action is proposed to address the problem of conflict within congregations. (shrink)

The daseinisation is a mapping from an orthomodular lattice in ordinary quantum theory into a Heyting algebra in topos quantum theory. While distributivity does not always hold in orthomodular lattices, it does in Heyting algebras. We investigate the conditions under which negations and meets are preserved by daseinisation, and the condition that any element in the Heyting algebra transformed through daseinisation corresponds to an element in the original orthomodular lattice. We show that these conditions are equivalent, and that, not (...) only in the case of non-distributive orthomodular lattices but also in the case of Boolean algebras containing more than four elements, the Heyting algebra transformed from the orthomodular lattice through daseinisation will contain an element that does not correspond to any element of the original orthomodular lattice. (shrink)

It is important to increase computation efficiency of a system at a low cost while holding the system correct. For this realization, addition of new and efficient equivalent transformation rules, whose correctness is assured, is useful. As long as correct ET rules are added to a correct system, the computation result of the system is always correct. Improvement of rules is promoted further by improvement of data structure.In this paper, we improve data structure by introducing interval variables into the (...) usual term domain and add two correct and efficient ET rules, which are promoted by introduction of interval variables, for member constraints on interval variables. These rules are the candidate elimination rule and the common pattern specialization rule. We show by an experiment that computation efficiency is increased by using these rules. (shrink)

In this paper I discuss the consistency and accuracy of Husserl’s sketch of a theory about non-declarative sentences in the last chapter of Logical Investigations. Whereas the consistency is acknowledged, the accuracy is denied, because Husserl’s treatment of non-declarative phrases such as questions or orders implies that those phrases contain, in some way, a declarative sentence and an objectifying act. To construct a question like »is A B?« as being equivalent to a declarative sentence such (...) as »I ask whether A is B« is, indeed, a false phenomenological analysis, because to ask or to order or to beg is not to assert. I turn, then, to John Austin’s theory of performative utterances and illocutionary acts in order to find a more accurate approach to the logical-semantic content of non-declarative sentences. Eventually, I show how this Husserlian theory of non-declarative sentences has a negative impact on the phenomenological theory of social acts and communication. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. (...) The purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Besides concepts such as ‘being’ (有 [you]) and ‘non-being’ (无 [wu]), nature and the One to reveal the relationship between Dao and the phenomenal world from a positive perspective, Laozi used negative words, forming a speech system comprising ‘opposite words’ (反言 [fanyan]), ‘forcible words’ (强言 [qiangyan]) and ‘non-words’ (不言 [buyan]). Opposite words contradict common sense to indicate that Dao should be understood in an intuitive way. Forcible words, by analogy with natural experience, describe the perceptive factors upon seeing Dao, (...) trying to restore the corresponding experience. Non-words declare the contradiction that Dao cannot be expressed by language and urge a leap beyond reason and speculation to encounter Dao. Early religious Daoist scholars understood the spiritual realm identified with Dao advocated by Laozi and combined the experience of seeing Dao with the belief in immortality (神仙 [shenxian]) and the alchemical arts (方术 [fangshu]) to enable the religious interpretation of Laozi’s Dao theory, thus constructing the theoretical correlation between the basic principles of religious Daoism and Laozi’s thought. Contribution: This article analyses Laozi’s negative words on Dao and the relationship thereof with the experience of seeing Dao, which is based on the interaction between an individual and Dao. Finally, it illustrates that the early Daoist classics studying Laozi understood the spiritual realm of Dao as underlined by negative words and combined the belief in immortality and the alchemical arts to transform Laozi’s thoughts to reveal the religious philosophy in Laozi’s Dao theory. (shrink)

Brian Pitts has recently claimed to show via straightforward calculation that, at least in the case of Hamiltonian electromagnetism, an arbitrary first-class constraint ``generates not a gauge transformation, but a bad physical change'' (Annals of Physics 351 (2014) pp.382-406; arXiv:1310.2756). We show, via a straightforward calculation, that a transformation generated by an arbitrary first-class constraint relates gauge-equivalent phase space points, vindicating orthodoxy. Pitts, however, is primarily concerned with transformations of entire histories, rather than of instantaneous states. We show that, (...) even in this context, a transformation generated by an arbitrary first-class constraint is also a gauge transformation, once the empirically observed electric field is correctly identified via its dynamical interactions with charge, and not simply given stipulatively as a certain combination of the potential and its derivatives. (shrink)

A way of reading the Tractatus has been proposed which, according to its advocates, is importantly novel and essentially distinct from anything to be found in the work of such previously influential students of the book as Anscombe, Stenius, Hacker or Pears. The point of difference is differently described, but the currently most used description seems to be Goldfarb’s term ‘resolution’ – hence one speaks of ‘the resolute reading’. I’ll shortly ask what resolution is. For now, it is (...) enough that it aims to give full weight to the penultimate section of the Tractatus in which Wittgenstein declares his propositions to be nonsense, where giving full weight to that declaration involves not hearing it as allowing that those ‘nonsensical’ propositions might have another kind of ‘sense’. In that same section Wittgenstein explains that these nonsense propositions, while devoid of meaning, have a use: to make the kind of use of them that their author intends – and so to understand him – requires recognizing that they are nonsense; and through that recognition one ‘surmounts’ these propositions, and is led ‘to see the world aright’. So there is a point to all this nonsense. What point? (shrink)

In lieu of an abstract, here is a brief excerpt of the content:"'Twas Nature Gnaw'd Them to This Resolution":Byron's Poetry and Mimetic DesireIan Dennis (bio)1. IntroductionWe all know Lord Byron, I presume. Know him as a paradigmatic object of cultural desire, as the quintessentially romantic individualist whose haughtily transgressive rejection of his society turned him into one of its most compelling models and objects, the endlessly provocative rival of a multitude of young men to follow—and they are still following—all (...) to differing degrees blind to or writhing in the anxieties of his influence. I myself belong to that somewhat smaller group that actually reads his poetry.Having passed through the little deification of celebrity, Byron was on something of a downslope of fame, and knew it, before he put the matter past all doubt by dying almost-young for liberty in Greece in 1824. Perhaps not surprisingly, given all this, he developed into something of an expert on desire. Almost alone among the major Romantics, he came to understand this most basic force in human experience not only as mediated and mimetic but as increasingly a function of a new kind of market whose commanding value was apparent autonomy from the market. It is not too hard to see how he figured this out. Those whom Byron defied adored him; those whose petty gratifications he evaded in spectacular suffering emulated him; those to whose desires he declared himself indifferent desired him—as few have ever been desired. For all his very real faults he was an intelligent man and an observant one. He reflected on what had happened to him.2. Reading Byron's Poetry for Nature and DesireIn his earlier poetry the natural scene, at least in Byron's privileged experiences of it, acts as an ally against other people. It is a source of his difference from and thus his indifference to the rest of us—an apparent replacement for, rather than object of, mediated desire. [End Page 115]Almost the first words of the preface to his fame-making Childe Harold's Pilgrimage (1812) tell us that the poem was "written, for the most part, amidst the scenes which it attempts to describe" and a coy disquisition on the identity of the Childe—who is and is not Byron—follows close on the heels of a spate of place-name dropping. They are sexy places, too, hard to get to, exotic, naturally beautiful, and dangerous. Soon the note of human pollution is of course sounded—man "mars" the beauties of Cintra that the hero is experiencing (1980–1993, 1.15)1—reminding us of the prototypical alliance between the alienated Romantic solitary and the unspoiled, or spoiled natural world, alike menaced by sociality, by the Other. This alliance is powerfully reinforced by an identification with the bovine victim of the Cadiz bull-ring, vivid sacrifice at the center of—in the young poet's chilling phrase—"the silent circle's peopled walls" (1.75). Does man scapegoat nature? There could hardly be a handier metaphor. And the Childe makes common cause.Mainly, though, "Dear Nature" is the particular solace of her "never-wean'd" favorite son, the one who never "pollutes her path," he who, as he rather complacently notes, "mark'd her when none other hath" (2.27). Byron does at least make good on such a claim by going to Albania, a wild, inaccessible place which he, with some justification, boasts "all admire, but many dread to view" (2.43). He writes some stirring descriptive poetry, leavened with occasional homilies on the smallness and nastiness of man and the grandeur and beauty of nature, sentiments that would not sound out of character on the lips of young backpacking, development-deploring kindred spirits of a later age. Again, it is to be remembered that the first besmirchment of the natural world to be complained of is not material, but social, in particular by the Romantic rebel's own society—not chemicals and chainsaws but the poisonous presence of overly familiar people and practices. The language of protest remains much the same after the products of industrial economic activity are added to the score, and indeed a good part of... (shrink)

The aim of this work is to develop a declarative semantics for N-Prolog with negation as failure. N-Prolog is an extension of Prolog proposed by Gabbay and Reyle, which allows for occurrences of nested implications in both goals and clauses. Our starting point is an operational semantics of the language defined by means of top-down derivation trees. Negation as finite failure can be naturally introduced in this context. A goal-G may be inferred from a database if every top-down derivation (...) of G from the database finitely fails, i.e., contains a failure node at finite height.Our purpose is to give a logical interpretation of the underlying operational semantics. In the present work we take into consideration only the basic problems of determining such an interpretation, so that our analysis will concentrate on the propositional case. Nevertheless we give an intuitive account of how to extend our results to a first order language. A full treatment of N-Prolog with quantifiers will be deferred to the second part of this work. (shrink)

This paper uses classical logic for a simultaneous description of the syntax and semantics of a fragment of English and it is argued that such an approach to natural language allows procedural aspects of linguistic theory to get a purely declarative formulation. In particular, it will be shown how certain construction rules in Discourse Representation Theory, such as the rule that indefinites create new discourse referents and definites pick up an existing referent, can be formulated declaratively if logic is (...) used as a metalanguage for English. In this case the declarative aspects of a rule are highlighted when we focus on the model theory of the description language while a procedural perspective is obtained when its proof theory is concentrated on. Themes of interest are Discourse Representation Theory, resolution of anaphora, resolution of presuppositions, and underspecification. (shrink)

From antiquity through the twentieth century, philosophers have hypothesized that, intuitively, it is harder to know negations than to know affirmations. This paper provides direct evidence for that hypothesis. In a series of studies, I found that people naturally view negations as harder to know than affirmations. Participants read simple scenarios and made judgments about truth, probability, belief, and knowledge. Participants were more likely to attribute knowledge of an outcome when framed affirmatively than when framed negatively. Participants did this even (...) though the affirmative and negative framings were logically equivalent. The asymmetry was unique to knowledge attributions: it did not occur when participants rated truth, probability, or belief. These findings show new consequences of negation on people’s judgments and reasoning and can inform philosophical theorizing about the ordinary concept of knowledge. (shrink)

A methodological model of origin and settlement of theory-choice situations (previously tried on the theories of Einstein and Lorentz in electrodynamics) is applied to modern Theory of Gravity. The process of origin and growth of empirically-equivalent relativistic theories of gravitation is theoretically reproduced. It is argued that all of them are proposed within the two rival research programmes – (1) metric (A. Einstein et al.) and (2) nonmetric (H. Poincare et al.). Each programme aims at elimination of the cross-contradiction (...) between the special theory of relativity and Newton’s theory of gravitation. New arguments in favor of Einstein’s programme are given. Nevertheless, this does not imply the necessity to rule out all the nonmetric theories, since Einstein’s and Poincare’s programmes are alternative only as different tools of the cross-contradiction elimination. In the other respects these programmes are complementary: description, explanation and prediction of gravitational experimental data entails the usage of the languages of nonmetric theories as well as of metric ones. The part of the present investigation elucidating the necessity of nonmetric theories is an implementation of the ideas of A.Z. Petrov, the founder of Kazan University Relativity Department. Late Alexei Zinovievich had frequently punctuated that the notion of Riemann space-time continuum common for all metric theories obfuscates all the gravitational notions considerably and hampers the analogies with other physical theories at hand. Since the ambiguity is a hallmark of all the general relativism notions, approach to their definitions “should be determined not by analogies and contingent facts, but by general considerations linked the physical measurements theory… No matter how far the events lie out of the frames of classical physical explanations, all the experimental data should be described by classical notions” (Petrov, 1965,pp. 59,66). Key words: Kip S. Thorne, A.P. Lightman, Stepin, theory of gravity . (shrink)

Recent theories of negative freedom see it as a value-neutral concept; the definition of freedom should not be in terms of specific moral values. Specifically, preferences or desires do not enter into the definition of freedom. If preferences should so enter then Berlin's problem that a person may enhance their freedom by changing their preferences emerges. This paper demonstrates that such a preference-free conception brings its own counter-intuitive problems. It concludes that these problems might be avoided if the description (...) of the constraints which specify an agent's lack of freedom include the intentions of those who constrain the agents. (Published Online July 31 2007) Footnotes1 Versions of this paper have been read to a diverse set of academics in Bayreuth, Germany; Groningen, Netherlands; LSE, UK; and in Dublin, Ireland. We would like to thank participants at those sessions for their comments. We also thank anonymous referees, Ian Carter and Luc Bovens for their help in improving the paper. (shrink)

I argue that in Julia Kristeva’s concept of negativity, conceived of as the recuperation, through transformation, of a traumatic remnant of the past, we can find a parallel to what Theodor Adorno, following Walter Benjamin, calls a mimesis that in its emphasis on non-identity is able to remain faithful to the ban on graven images interpreted materialistically rather than theologically. A connection between negativity and the theological ban on images is suggested in Adorno’s claim that a ban on positive representations (...) of utopia leads to a practice of negating the negative, that is, of exposing the injustices of modern life. Both Adorno and Kristeva discern in contemporary art a capacity to critique modernity and envision a better world, but insist that this art must not represent what it indicates. I also examine Benjamin’s writings on photography in order to argue that a mimesis that respects the ban on graven images moves us beyond the systematic optimism of the Hegelian dialectic, and extends the philosophy of history into the unknown of the unconscious. (shrink)

Two ideal standard clocks, effectively isolated from interaction with other physical systems, and in a region of the universe free of gravitational fields, are assumed to move in any arbitrary manner so that they coincide on at least two occasions. In general, the reading of one of them will become retarded relative to the other in the interval between successive coincidences. This relative retardation is predicted by the restricted theory of relativity, taken together with the assumption that the 'rate' of (...) a clock depends only on its velocity and not on its acceleration. The recognized procedure for calculating the retardation in terms of clock 'rates' is set out, and is illustrated by its application to a simple hypothetical experiment in which one clock remains at rest and the other travels away from and back to it with constant speed in a straight line. There is nothing paradoxical in the predicted retardation as such. The so-called 'clock paradox' arises because an alternative, and apparently valid, calculation procedure, also based on clock 'rates', leads to a contradictory result. The term 'paradox' is something of a euphemism since the two predictions are contradictories. It is shown that the paradox does not arise when direct use is made of the Lorentz transformation without introducing the additional, and non-essential, step in reasoning involved in utilizing the clock 'rates'. It is then shown that the paradox arises only through using these clock 'rates' without due regard to the exact significance of the quantities so described; once this is recognized the paradox is resolved completely within the framework of the restricted theory, which then provides a unique and unambiguous prediction of the relative retardation. Once the paradox is thus resolved, the general theory of relativity can add nothing significant to the analysis. It is shown that the application of the principle of equivalence is essentially trivial; in effect, Einstein and Tolman evaded the real logical issue raised by the contradictory predictions by denying the applicability of the restricted theory and then utilizing, by means of the principle of equivalence, results obtained from it. This tortuous procedure succeeded in evading the paradox rather than in resolving it; it would obviously be quite invalid were the restricted theory indeed inapplicable to the problem. (shrink)

A unitary transformation replaces the given description of a quantum system by an equivalent one. It is observed, however, that not all members of a set of unitarily equivalent Hamilton operators are equally well suited for identifying the corresponding classical systems. A criterion is proposed for recognizing the privileged representatives of the set. A few explicit examples are reported that show the criterion at work.

Chs. 9 convert the two basic forms of slingshot argument—one used by Alonzo Church, W. V. Quine, and Donald Davidson, the other by Kurt Gödel—into knock‐down deductive proofs that Donald Davidson's and Richard Rorty's cases against facts and the representation of facts are unfounded, and their slingshot arguments for discrediting the existence of facts unsatisfactory. The proofs are agnostic on key semantic issues; in particular, they assume no particular account of reference and do not even assume that sentences have references. (...) Using the same procedure as in Chs. 8 and 9 shows that a slingshot argument engendered by Gödel's suggestions can be converted into a proof that delivers an exacting constraint on non‐extensional discourse—the Descriptive Constraint—and that is more general than anything Gödel appears to have had in mind. The proof of this constraint is constructed without appeal to logical equivalences, without assuming that a semantic theory must treat sentences as having references, without presupposing anything contentious about the semantics of singular terms, and without commitment to any particular semantics for definite descriptions. A constraint on facts, situations, states of affairs, and propositions—indeed on anything that is expressed or represented sententially—drops out as a trivial consequence of a constraint on non‐extensional discourse. The three sections of the chapter are: Principles of Conversion for Descriptions; Gödel's Proof in Quinean Format; and A Stronger Slingshot? (shrink)

This paper attempts to account for the contrastive discourse connective (tam) tersine (‘on the contrary’) in Turkish discourse. We suggest that this connective evokes a discourse structure which has at least three parts: the material in the prior linguistic context, its refutation, and then rectification in the clause where the connective is hosted. Since negation is obligatory in the discourse context for refutation, we include a discussion of negation and we conclude that the obligatory negative clauses are instances of (...) descriptive negation rather than metalinguistic negation. We show that linguistic and cognitive contexts interact in producing and interpreting the discourse adverbial connective under discussion and the discourse structure in which it is used. It is claimed that (tam) tersine serves to bring closer the cognitive context of the intended audience to that of the writer’s while minimizing any potential discrepancies in the audience’s and the writer’s cognitive context. We argue that this discourse connective and the discourse it evokes are used in the argumentative mode. (shrink)

In this article I attempt to show conclusively that the apparent intrinsic difference between causing collateral damage and directly attacking innocents is an illusion. I show how eleven morally irrelevant alterations can transform an apparently permissible case of harming as a side-effect into an apparently impermissible case of harming as a means. The alterations are as obviously irrelevant as the victims’ skin colour, and consistently treating them as relevant would have unacceptable implications for choices between more and less harmful ways (...) of securing greater goods. This shows not only how the principles philosophers have proposed for distinguishing between these cases cannot withstand scrutiny, but how we can be sure that there are no relevant differences yet to be discovered. I conclude by considering reasons to think that there are deontological constraints against harming, but that they apply just as forcefully against collateral harms as they do against intended harms. (shrink)

To describe simultaneous knowledge updates for different subgroups we propose anepistemic language with dynamic operators for actions. The language is interpreted onequivalence states (S5 states). The actions are interpreted as state transformers. Two crucial action constructors are learning and local choice. Learning isthe dynamic equivalent of common knowledge. Local choice aids in constraining theinterpretation of an action to a functional interpretation (state transformer).Bisimilarity is preserved under execution of actions. The language is applied todescribe various actions in card games.

Expressivists have a problem with negation. The problem is that they have not, to date, been able to explain why ‘murdering is wrong’ and ‘murdering is not wrong’ are inconsistent sentences. In this paper, I explain the nature of the problem, and why the best efforts of Gibbard, Dreier, and Horgan and Timmons don’t solve it. Then I show how to diagnose where the problem comes from, and consequently how it is possible for expressivists to solve it. Expressivists should accept (...) this solution, I argue, because it is demonstrably the only way of avoiding the problem, and because it generalizes. Once we see how to solve the negation problem, I show, it becomes easy to state a constructive, compositional expressivist semantics for a purely normative language with the expressive power of propositional logic, in which we can for the first time give explanatory, formally adequate expressivist accounts of logical inconsistency, logical entailment, and logical validity. As a corollary, I give what I take to be the first real expressivist explanation of why Geach’s original moral modus ponens argument is genuinely logically valid. This proves that the problem with expressivism cannot be that it can’t account for the logical properties of complex normative sentences. But it does not show that the same solution can work for a language with both normative and descriptive predicates, let alone that expressivists are able to deal with more complex linguistic constructions like tense, modals, or even quantifiers. In the final section, I show what kind of constraints the solution offered here would place expressivists under, in answering these further questions. (shrink)