Al-Taftāzānī introduces the Liar Paradox, in a commentary on al-Rāzī, in a short passage that is part of a polemic against the ethical rationalism of the Muʿtazila. In this essay, we consider his remarks and their place in the history of the Liar Paradox in Arabic Logic. In the passage, al-Taftāzānī introduces Liar Cycles into the tradition, gives the paradox a puzzling name—the fallacy of the “irrational root” —which became standard, and suggests a connection between (...) the paradox and what it tells us about truth and falsehood, and arguments for divine voluntarism and what they tell us about the nature of goodness and badness. On this last point, we also discuss a passage from al-Rāzī, which suggests similar connections. (shrink)

ABSTRACTTwo rival scholars from Shiraz in Persia, Dawānī and Dashtakī engaged in a bitter and extended dispute over a range of metaphysical and logical issues. One of these was the liar paradox. Their debate on this point marked the most extensive scrutiny of the paradox in Arabic until that time. Dashtakī’s solution was to deny that the statement ‘What I say is false’ is true or false, on the ground that there is one statement and one application of (...) the falsity predicate. Given that – ex hypothesi – there is no other statement, there is no basis for a reiteration of the truth or falsity predicate and describing the statement itself as true or false. Dawānī’s solution was to deny that ‘What I say is false’ is a statement at all, and he argued that it is instead akin to a performative utterance such as ‘I hereby sell you this’. (shrink)

AbstractṢadr al-Dīn al-Dashtakī (d. 1498) has proposed a solution to the liar paradox according to which the liar sentence is a self-referential sentence in which the predicate ‘false’ is iterated. Discussing the conditions for the truth-aptness of the sentences with nested and iterated instances of the predicates ‘true’ and/or ‘false’, Dashtakī argued that the liar sentence is not truth-apt at all. In the tradition of Arabic logic, the central elements of Dashtakī's solution—the self-referentiality of the (...) class='Hi'>liar sentence and the implicit iteration of the predicate ‘false’—were initially highlighted in two earlier solutions proposed by Naṣīr al-Dīn al-Ṭūsī (d. 1274) and Shams al-Dīn al-Samarqandī (d. 1322), respectively. Here I investigate all three solutions and show that Dashtakī's solution can be taken as a synthesis of the other two. None of these solutions seems to be convincing at the end of the day. Nevertheless, all of them include significant logical and philosophical insights. In particular, although Dashtakī's solution is not itself compelling, it is only a few steps away from a promising solution. The appendix to this paper includes translations of the relevant passages. (shrink)

AbstractṢadr al-Dīn al-Dashtakī (d. 1498) has proposed a solution to the liar paradox according to which the liar sentence is a self-referential sentence in which the predicate ‘false’ is iterated. Discussing the conditions for the truth-aptness of the sentences with nested and iterated instances of the predicates ‘true’ and/or ‘false’, Dashtakī argued that the liar sentence is not truth-apt at all. In the tradition of Arabic logic, the central elements of Dashtakī's solution—the self-referentiality of the (...) class='Hi'>liar sentence and the implicit iteration of the predicate ‘false’—were initially highlighted in two earlier solutions proposed by Naṣīr al-Dīn al-Ṭūsī (d. 1274) and Shams al-Dīn al-Samarqandī (d. 1322), respectively. Here I investigate all three solutions and show that Dashtakī's solution can be taken as a synthesis of the other two. None of these solutions seems to be convincing at the end of the day. Nevertheless, all of them include significant logical and philosophical insights. In particular, although Dashtakī's solution is not itself compelling, it is only a few steps away from a promising solution. The appendix to this paper includes translations of the relevant passages. (shrink)

This article tries to show that Fakhr al-Dīn al-Rāzī, one of Ash‘arī theologians of the contracting period, showed a Mu‘tazila tendency regarding the ontic value of divine attributes and his successors followed him in this regard. The problem of divine attributes, a heated discussion area of theology, has been interpreted differently by the theological sects over centuries. Mu‘tazila scholars before Abu Hāshim al-Jubbāī regarded those attributes as nominally attributed to God. For the first time, with Abu Hāshim, (...) this relation was approached with a realistic attitude: Although divine attributes are not accepted as particular realities, they are viewed as states/ahwāl, the universal model of kalam atomism. The pre-Gazzālī Ash‘arī theologians, on the other hand, ascribed real existence to divine attributes as particular properties, whether they adopted this universal model or not. According to Abū al-Ḥasan al-Ashʿarī, the founder of Ashʿarism, which does not include the universal category in any way, the attributes carried by God’s essence consist of particular qualities. al-Bāqillānī and al-Juwaynī, who, like Abu Hāshim, made room for universals under the name of states, accepted particular qualities that led to universal attributes in a system compatible with Ashʿarism. Muta’akhkhirūn Ash‘arī theologians, building their thought system within the framework of the particular-universal dichotomy, felt the need to apply the theories of universals and predication to overcome the paradox caused by the famous motto “Attributes are neither Him nor other than Him”. On the basis of universal properties that have a lower degree of existence compared to particular properties, Abū al-Ḥasan al-Ashʿarī’s theory of particular attributes is intended to be associated with Abu Hāshim’s theory of universal (state). In this context, the value of divine attributes discussed on the ontic ground by the mutaqaddimūn theologians was drawn to the epistemic ground in the muta’akhkhirūn period. From the first kalām works of Fakhr al-Dīn al-Rāzī to the last kalām works, he was distant from the ontic value of divine attributes. The statement that the derived word “knower”, which is appropriate for being a predicate in the propositional structure, and the infinitive “knowledge”, which is not appropriate for being a predicate, meet the same purpose, and that divine attributes are considered divine essence are the most important indications of this distance. Reviewing the works of prominent theologians, scholars of the time such as Fakhr al- Dīn al-Rāzī, Aḍud al-Dīn al-Ījī, Sa‘d al-dīn al-Taftāzānī, al-Jurjānī, and al-Dawānī, this article aims to demonstrate that Abu Hāshim’s view of the divine attributes in the ontic context was welcomed and that the evaluation of divine attributes shifted from particular realities to universal ones in the ontic context. The meaning of “God is knower” proposition according to the pre-Mu‘tazila in the ontic context will be analyzed. Then, its meaning according to Ash‘arite theologians from their framework of universals, will be investigated. (shrink)

Arabic logicians in the thirteenth century discussed a set of arguments raised by the theologian Fakhr al-Dīn al-Rāzī (d. 1210) that in some respects closely resembles Carroll’s paradox. Roughly, the paradox states that we can never reach a conclusion from a set of premises without incurring an infinite regress. The present article presents and discusses Rāzī’s formulation of the problem with syllogistic deduction, his own solutions to the problem, and the contributions of Afḍal al-Dīn al-Khūnajī (d. 1248) (...) and Najm al-Dīn al-Kātibī (d. 1276). It is argued that the proposed solutions developed by these authors are best understood as tending in the direction of Gilbert Ryle’s distinction between knowing-that and knowing-how. (shrink)

Dâwûd al-Qarisî (Dâvûd al-Karsî) was a versatile and prolific 18th century Ottoman scholar who studied in İstanbul and Egypt and then taught for long years in various centers of learning like Egypt, Cyprus, Karaman, and İstanbul. He held high esteem for Mehmed Efendi of Birgi (Imâm Birgivî/Birgili, d.1573), out of respect for whom, towards the end of his life, Karsî, like Birgivî, occupied himself with teaching in the town of Birgi, where he died in 1756 and was buried next to (...) Birgivî. Better known for his following works on Arabic language and rhetoric and on the prophetic traditions (hadith): Sharḥu uṣûli’l-ḥadîth li’l-Birgivî; Sharḥu’l-Ḳaṣîdati’n-nûniyya (two commentaries, in Arabic and Turkish); Şarḥu’l-Emsileti’l-mukhtalifa fi’ṣ-ṣarf (two commentaries, in Arabic and Turkish); Sharḥu’l-Binâʾ; Sharḥu’l-ʿAvâmil; and Sharḥu İzhâri’l-asrâr, Karsî has actually composed textbooks in quite different fields. Hence the hundreds of manuscript copies of his works in world libraries. Many of his works were also recurrently printed in the Ottoman period. One of the neglected aspects of Karsî is his identity as a logician. Although he authored ambitious and potent works in the field of logic, this aspect of him has not been subject to modern studies. Even his bibliography has not been established so far (with scattered manuscript copies of his works and incomplete catalogue entries). This article primarily and in a long research based on manuscript copies and bibliographic sources, identifies twelve works on logic that Karsî has authored. We have clarified the works that are frequently mistaken for each other, and, especially, have definitively established his authorship of a voluminous commentary on al-Kâtibî’s al-Shamsiyya, of which commentary a second manuscript copy has been identified and described together with the other copy. Next is handled his most famous work of logic, the Sharhu Îsâghûcî, which constitutes an important and assertive ring in the tradition of commentaries on Îsâghûcî. We describe in detail the nine manuscript copies of this work that have been identified in various libraries. The critical text of Karsî’s Sharhu Îsâghûcî, whose composition was finished on 5 March 1745, has been prepared based on the following four manuscripts: (1) MS Kayseri Raşid Efendi Kütüphanesi, No. 857, ff.1v-3v, dated 1746, that is, only one year after the composition of the work; (2) MS Bursa İnebey Yazma Eser Kütüphanesi, Genel, No.794B, ff.96v-114v, dated 1755; (3) MS Millet Kütüphanesi, Ali Emiri Efendi Arapça, No. 1752, ff.48v-58r, dated 1760; (4) MS Beyazıt Yazma Eser Kütüphanesi, Beyazıt, No. 3129, ff.41v-55v, dated 8 March 1772. While preparing the critical text, we have applied the Center for Islamic Studies (İslam Araştırmaları Merkezi, İSAM)’s method of optional text choice. The critical text is preceded by a content analysis. Karsî is well aware of the preceding tradition of commentary on Îsâghûcî, and has composed his own commentary as a ‘simile’ or alternative to the commentary by Mollâ Fanârî which was famous and current in his own day. Karsî’s statement “the commentary in one day and one night” is a reference to Mollâ Fanârî who had stated that he started writing his commentary in the morning and finished it by the evening. Karsî, who spent long years in the Egyptian scholarly and cultural basin, adopted the religious-sciences-centered ‘instrumentalist’ understanding of logic that was dominant in the Egypt-Maghrib region. Therefore, no matter how famous they were, he criticized those theoretical, long, and detailed works of logic which mingled with philosophy; and defended and favored authoring functional and cogent logic texts that were beneficial, in terms of religious sciences, to the seekers of knowledge and the scholars. Therefore, in a manner not frequently encountered in other texts of its kind, he refers to the writings and views of Muhammad b. Yûsuf al-Sanûsî (d.1490), the great representative of this logical school in the Egyptian-Maghrib region. Where there is divergence between the views of the ‘earlier scholars’ (mutaqaddimûn) like Ibn Sînâ and his followers and the ‘later scholars’ (muta’akhkhirûn), i.e., post-Fakhr al-dîn al-Râzî logicians, Karsî is careful to distance himself from partisanship, preferring sometimes the views of the earliers, other times those of the laters. For instance, on the eight conditions proposed for the realization of contradiction, he finds truth to be with al-Fârâbî, who proposed “unity in the predicative attribution” as the single condition for the realization of contradiction. Similarly, on the subject matter of Logic, he tried to reconcile the mutaqaddimûn’s notion of ‘second intelligibles’ with the muta’akhkhirûn’s notion of ‘apprehensional and declarational knowledge,’ suggesting that not much difference exists between the two, on the grounds that both notions are limited to the aspect of ‘known things that lead to the knowledge of unknown things.’ Karsî asserts that established and commonly used metaphors have, according to the verifying scholars, signification by correspondence (dalâlat al-mutâbaqah), adding also that it should not be ignored that such metaphors may change from society to society and from time to time. Karsî also endorses the earlier scholars’ position concerning the impossibility of quiddity (mâhiyya) being composed of two co-extensive parts, and emphasizes that credit should not be given to later scholars’ position who see it possible. According to the verifying scholars (muhaqqîqûn), it is possible to make definition (hadd) by mentioning only difference (fasl), in which case it becomes an imperfect definition (hadd nâqis). He is of the opinion that the definition of the proposition (qadiyya) in al-Taftâzânî’s Tahdhîb is clearer and more complete: “a proposition is an expression that bears the possibility of being true or false”. He states that in the division of proposition according to quantity what is taken into consideration is the subject (mawdû‘) in categorical propositions, and the temporal aspect of the antecedent (muqaddam) in hypothetical propositions. As for the unquantified, indefinite proposition (qadiyya muhmalah), Karsî assumes that if it is not about the problems of the sciences, then it is virtually/potentially a particular proposition (qadiyya juz’iyyah); but if it is about the problems of the sciences, then it is virtually/potentially a universal proposition (qadiyya kulliyyah). This being the general rule about the ambiguous (muhmal) propositions, he nevertheless contends that, because its subject (mawdû‘) is negated, it is preferable to consider a negative ambiguous (sâliba muhmalah) proposition like “human (insân) is not standing” to be a virtually/potentially universal negative (sâliba kulliyyâh) proposition. He states that a disjunctive hypothetical proposition (shartiyya al-munfasila) that is composed of more than two parts/units is only seemingly so, and that in reality it cannot be composed of more than two units. Syllogism (qiyâs), according to Karsî, is the ultimate purpose (al-maqsad al-aqsâ) and the most valuable subject-matter of the science of Logic. For him, the entire range of topics that are handled before this one are only prolegomena to it. This approach of Karsî clearly reveals how much the ‘demonstration (burhân)-centered’ approach of the founding figures of the Muslim tradition of logic like al-Fârâbî and Ibn Sînâ has changed. al-Abharî, in his Îsâghûjî makes no mention of ‘conversion by contradiction’ (‘aks al-naqîd). Therefore, Karsî, too, in his commentary, does not touch upon the issue. However, in his Îsâghûjî al-jadîd Karsî does handle the conversion by contradiction and its rules. Following the method of Îsâghûjî, in his commentary Karsî shortly touches on the four figures (shakl) of conjuctive syllogism (qiyâs iqtirânî) and their conditions, after which he passes to the first figure (shakl), which is considered ‘the balance of the sciences’ (mi‘yâr al-‘ulûm), explaining the four moods (darb) of it. In his Îsâghûjî al-jadîd, however, Karsî handles all the four figures (shakl) with all their related moods (darb), where he speaks of fife moods (darb) of the fourth figure (shakl). The topic of ‘modal propositions’ (al-muwajjahât) and of ‘modal syllogism’ (al-mukhtalitât), both of which do not take place in the Îsâghûjî, are not mentioned by Karsî as well, either in his commentary on Îsâghûjî or in his Îsâghûjî al-jadîd. Karsî proposes that the certainties (yaqîniyyât), of which demonstration (burhân) is made, have seven, not six, divisions. After mentioning (1) axioms/first principles (awwaliyyât), (2) observata/sensuals (mushâhadât), (3) experta/empiricals (mujarrabât), (4) acumenalia (hadthiyyât), (5) testata (mutawâtirât), and (6) instictives (fitriyyât), that is, all the ‘propositions accompanied by their demonstrations,’ Karsî states that these six divisions, which do not need research and reflection (nazar), are called badîhiyyât (self-evidents), and constitute the foundations (usûl) of certainties (yaqîniyyât). As the seventh division he mentions (7) the nazariyyât (theoreticals), which are known via the badîhiyyât, end up in them, and therefore convey certainty (yaqîn). For Karsî, the nazariyyât/theoreticals, which constitute the seventh division of yaqîniyyât/certainties, are too numerous, and constitute the branches (far‘) of yaqîniyyât. Every time the concept of ‘Mughâlata’ (sophistry) comes forth in the traditional sections on the five arts usually appended to logic works, Karsî often gives examples from what he sees as extreme sûfî sayings, lamenting that these expressions are so widespread and held in esteem. He sometimes criticizes these expressions. However, it is observed that he does not reject tasawwuf in toto, but excludes from his criticism the mystical views and approaches of the truth-abiding (ahl al-haqq), shârî‘â-observant (mutasharri‘) leading sufis who have reached to the highest level of karâmah. (shrink)

The medieval Islamic solutions to the liar paradox can be categorized into three different families. According to the solutions of the first family, the liar sentences are not well-formed truth-apt sentences. The solutions of the second family are based on a violation of the classical principles of logic (e.g. the principle of non-contradiction). Finally, the solutions of the third family render the liar sentences as simply false without any contradiction. In the Islamic tradition, almost all the well-known (...) solutions of the third family are inspired by the solution proposed by At_īr al-Dīn al-Abharī (d. 1265). Providing a logical analysis of his discussion of the liar paradox, I show that his solution is based on a conception of truth according to which every sentence signifies, usually among other things, its own truth. This makes Abharī’s solution of the same spirit as certain solutions that were later developed in the Latin tradition, in particular by John Buridan (d. 1358) and Albert of Saxony (d. 1390). (shrink)

The Liar Paradox is a classic argument that creates a contradiction by reflection on a sentence that attributes falsity to itself: ‘this sentence is false’. In our paper we will discuss the ways in which the Liar sentence (and its paradoxical argument) can be represented in first-order logic. The key to the representation is to use first-order logic to model a self-referential language. We will also discuss several related sentences, like the Liar cycles, the empirical versions of (...) the Liar and the Truth teller sentences. (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)

The Liar paradox arises when we consider a sentence that says of itself that it is not true. If such self-referential sentences exist? and examples like?This sentence is not true? certainly suggest this?, then our logic and standard notion of truth allow to infer a contradiction: The Liar sentence is true and not true. What has gone wrong? Must we revise our notion of truth and our logic? Or can we dispel the common conviction that there are such (...) self-referential sentences? The present study explores the second path.0After comparing the Liar reasoning in formal and informal logic and showing that there are no Gödelian Liar sentences, the study moves on from the semantics of self-reference to the metaphysics of expressions and proposes a novel solution to the Liar paradox: Meaningful expressions are distinct from their syntactic bases and exist only relative to contexts. Detailed semantico-metaphysical arguments show that in this dynamic setting, an object can be referred to only after it has started to exist. Hence the circular reference needed in the Liar paradox cannot occur, after all. As this solution is contextualist, it evades the expressibility problems of other proposals. (shrink)

Abū Ishāq al-Ṣaffār was one of scholars of the Western Qarakhānids’ period who followed the Kalām thought of al-Māturīdī (d. 333/944). His theological works Talkhīs al-adilla and Risāla fī al-kalām, his method in kalām, and frequent reference to his works by Ottoman and Arab scholars indicate that al-Ṣaffār is a respected and authorative Māturīdī theologian. The article focuses on his defense of the kalām. By adding a long introduction to Talkhīs about the naming, importance, and religious legitimacy of the science (...) of kalām, Saffār asserted that the kalām should be learned. When systematical vindication of the science of kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the kalām among Ḥanafī-Māturīdīs. Even though he does not state its systematic, it can be understood that vindication of kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation. Al-Ṣaffār’s defending the science of kalām shows that there were opposite thoughts against kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania. In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists. His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- SUMMARY: Abū Ishāq Ibrahīm b. Ismāil Zāhid al-Ṣaffār al-Bukhārī is a scholar belonging to the Ḥanafī theological tradition which was improved by the contribution of Ḥanafī theologians who used thinking system of Abū Ḥanīfa (d. 150/767) as base and adopted Abū Manṣūr al-Māturīdī (d. 333/944) and his thoughts in historical process. The contents of his theological works Talkhīs al-adilla li-qawāʿid al-tawḥīd and Risāla fī al-Kalām, the method that he used, and references to his works made by Ottoman and Arab scholars indicate that he is an important Māturīdī theologian. The article focuses on his defense of the science of Kalām. -/- In Talkhīs al-adilla, there are two sections including the subject of naming, and importance and necessity of Kalām discipline. Here, the necessity of learning Kalām and its value are defended in detail. -/- Besides, rumors “Abū Ḥanīfa turned away from the science of Kalām in his doomsdays” and that “He prohibited to make occupation with Kalām completely” are evaluated. -/- When systematical vindication of the science of Kalām is examined, it is understood that al-Ṣaffār is the first theologian who reserved a private and voluminous part for defensing the Kalām among Ḥanafī Māturīdīs. Even if Abū Manṣūr al-Māturīdī, Abū al-Yusr al-Bazdawī (d. 493/1100) and Abū Muʿīn al-Nasafī (d. 508/1115) defend that the science of Kalām is not wrong for religion; yet, the vindication of Kalām does not take a place under a separate title and in a detailed manner in any of Māturīdī theologians works. -/- The method that al-Ṣaffār used when he is defending the science of Kalām, differs from strategy of Abū Ḥanīfa. While Abū Ḥanīfa has mentioned that there is a need for the science of Kalām under these new circumstances, al-Ṣaffār has defended theologians who were charged with being Ahl al-Bidaʿ, by trying to prove that the prophets especially the Prophet Ibrāhīm, even the Companions of the Prophet Muḥammad (Ṣaḥāba) and the Successors of the Companions (Tābiʿūn) scholars use their minds and make arguments in religious matters. In this respect, he emphasizes that the Qurʾān orders to think and discuss gently, not to be stay in silence: “And dispute with them, using what is best” (16.125-126). Therefore, he states that this discipline which took a mission to explain and defend the creed of Islam (ʿaqīda), cannot be characterized as an innovation (bidʿah) or illicit. -/- His vindication method can be defined as a more developed type of method that Abu’l-Ḥasan al-Ash’arī’s (d. 324/935) used in Risāla fī istiḥsān al-khawḍ fī ʿilm al-kalām. Even though he does not state its systematic, it can be understood that vindication of Kalām in al-Ṣaffār divides into three parts as of explanation, demonstration and refutation: -/- a) Explanation: Explaining the necessity and importance of the science of Kalām by giving information about its definition, names, value and place among other principles. -/- b) Demonstration: Revealing the religious basics of the science of Kalām from the Qurʾān, the Sunna of the Prophet Muḥammad, the Companions of the Prophet, and the Successors of the Companions thus specifying that it is legitimate for religion. -/- c) Refutation: Replying the claims having aim to weaken the value of Kalām principle and its religious legality. -/- Al-Ṣaffār describes ‘the science of Kalām’ as ‘Knowing the Real with the evidences which help to reach the absolute information’. By allocating the concept of 'Ḥaqq', he repeats the definition of Kalām as “it is to know God with certain evidences” in a part of his work, and “it is to know the principles of religion (uṣūl al-dīn) with certain evidences” in another part. He describes Kalām as “Knowing ḥaqq / God / uṣūl al-dīn by depending on evidence”, and tries to prove that it is wrong to consider a science which performs the stated duty, as illicit and abominable and thus turn away from it. -/- Al-Ṣaffār thinks that it is right to call this principle as ‘Kalām’ because of the certain evidences leading to the truth that this science has used. This thought was defended by other theologians as well. -/- For example, according to Saʿd al-Dīn Masʿūd al-Taftazānī (d. 792/1310) it seems like to say “This is the word (kalām), not the other knowings” by the way of the power of evidences used in Kalām.Thus, it is appropriate to give name Kalām for this science which based on certain evidences. -/- Al-Ṣaffār’s explanations revealed in scope of vindication of the Kalām are adopted by some of following scholars. Ḥusām al-Dīn al-Sighnāqī (d. 714/1314) in his book called al-Tasdīd sharḥ al-Tamhīd fī qawāʿid al-tawḥīd quotes Saffâr’s explanations as the same. -/- Al-Ṣaffār indicates that the method told in the Qurʾān is to reply questions about religion, beliefs and rejection instead of remaining in silence. The duty taken on by Kalām is this vindication activity performed by the prophets whose examples are described in the Qurʾān and which is legal and demanded. His way of thinking and vindication of the Kalām resembles that of Abū Manṣūr al-Māturīdī. Al-Māturīdī says, “Prophets and we were ordered to invite infidels to Islam. When this invitation happens, the respondents will ask for evidence and explanation, and discussion will be inevitable. Therefore, discussing and talking about subjects of Kalām is not objectionable”. -/- Thoughts of al-Māturīdī and al-Ṣaffār regarding the vindication of the Kalām were repeated by Nūr al-Dīn al-Ṣābūnī (d. 580/1184), and Fakhr al-Dīn al-Rāzī (d. 606/1210) later. According to al-Ṣābūnī, the evidences put against deniers and especially the discussion made by the Prophet Ibrāhīm to defend his own belief, prove the legality of Kalām discipline. Likewise, according to al-Rāzī, the duty of Kalām is just an activity performed already in the Qurʾān and ordered to the prophets. At this point of view, since the prophets were leading to Kalām, banning this activity is nonsense. -/- According to al-Ṣaffār, the reason for why Abu Hanifa avoids his son Hammād from these discussions is that Abu Hanifa does not like discussions based on obstinate. Otherwise, it cannot be that Abū Ḥanīfa prohibits to learn Kalām and make discussion about Kalām. According to him, this behavior of Abū Ḥanīfa results from that people discussing with him are ignorant about the subject of Kalām, discussion turns to an obstinate, and coming to an end of discussion seems impossible. This comment of al-Ṣaffār is quoted in Miftāḥ al-saʿāda wa-miṣbāḥ al-siyāda by ʿIṣām al-Dīn Aḥmed b. Muṣṭafā Tashköprüzāde (d. 968/1561) and in Minaḥ al-rawḍ al-azhar fī sharḥ al-Fiqh al-akbar by ʿAlī b. Sulṭān Muḥammad al-Qārī (d. 1014/1606) as same as his words. -/- Al-Ṣaffār’s defending the science of Kalām shows that there were opposite thoughts against Kalām in the 4th/10th and 5th/11th centuries throughout in Transoxania.In this period Aṣḥāb al-Ḥadīth and Ikhwān al-Ṣafāʾ were the opposite fronts of Kalām. In addition, he was trying to go beyond the oppositions of Ḥanafī jurists (fuqahāʾ). Because some of the Ḥanafī jurists thought that Abū Ḥanīfa forsook occupation with the science of Kalām and even he prohibited his son to have interest in this discipline. But some of Ḥanafī theologians such as al-Māturīdī, al-Nasafī and al-Ṣaffār protested this thought which describes Abū Ḥanīfa as a banner for Kalām. -/- His vindication is consistent and has scholarly depth because it is able to be against a strong opposition. -/- His book Talkhīs al-adilla li-qawāʿid al-tawḥīd is a unique source in terms of containing vindication of the Kalām in detail and also influencing the approaches of the next period scholars. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

Systems of paraconsistent logics violate the law of explosion: from contradictory premises not every formula follows. One of the philosophical options for interpreting the contradictions allowed as premises in these cases was put forward recently by Carnielli and Rodrigues, with their epistemic approach to paraconsistent logics. In a nutshell, the plan consists in interpreting the contradictions in epistemic terms, as indicating the presence of non-conclusive evidence for both a proposition and its negation. Truth, in this approach, is consistent and is (...) dealt with by classical logic. In this paper we discuss the fate of the Liar paradox in this picture. While this is a paradox about truth, it cannot be accommodated by the classical part of the approach, due to trivialization problems. On the other hand, the paraconsistent part does not seem fit as well, due to the fact that its intended reading is in terms of non-conclusive evidence, not truth. We discuss the difficulties involved in each case and argue that none of the options seems to accommodate the paradox in a satisfactory manner. (shrink)

There are many versions of the Liar Paradox. J. Agassi names 13 of them. But the most important one is related to Tarski’s theorem that the truth predicate is non-definable for systems that are sufficient for the formalisation of elementary arithmetic of natural numbers. Let S be such a system. We assume that S is consistent and that the syntax of S has been arithmetized as understood by G¨odel. Let E be any sentence of S. E ∗ is the (...) symbol of the G¨odel number of E. If formula A belongs to the language of system S, then formula E is a constant point for formula A if and only if S ⊢ E → A. It can be proved that every formula A ∈ S has a constant point in S. (shrink)

The liar paradox results from a line of reasoning that starts with the liar sentence, ‘This sentence is false’ and ends with a contradictory conclusion, ‘The liar sentence is both true and false’. There have been solutions to the paradox that preserve the standard conception of truth and the classical notion of logical validity. In this paper, I explore nonstandard solutions to it. In particular, I focus on two non-classical solutions to the liar paradox; viz., the (...) gappy and the glutty solutions. According to the gappy solution, the liar sentence is neither true nor false, and the reasoning that leads to the paradoxical conclusion is unsound. On the other hand, according to the glutty solution, the paradoxical conclusion is correct, but any subsequent reasoning from it is invalid. I show some ways of motivating each of these solutions. Next, I show what each implies about the notions of truth and validity, and how each solves the paradox. Finally, I highlight some of the more recent problems that could be pitted against each of these solutions. (shrink)

In this paper, we discuss a family of arguments that show the inconsistency of the concept of omniscience, which is one of the central attributes of the theistic God. We introduce three member of this family: Grim’s Divine Liar Paradox, Milne’s Paradox and our own Divine Curry. They can be seen as theological counterparts of well-known semantic paradoxes. We argue that the very simple dialetheist response to these paradoxes doesn’t work well and then introduce our own response (...) based on a framework that we call Logic of Impossible Truths. LIT is a non-dialetheist paraconsistent logic designed to represent divine ominiscience and to preserve the transparency of the truth predicate and which semantics rests on the concept of situation. Since some rules of classical logic are not valid in LIT, we are in a position to block the derivation of the paradoxes. Thus, LIT offers a way out of the dilemma of accepting that there are true contradictions or giving up the idea that there is an all-powerful, omniscient and perfectly good being. (shrink)

All the known non-self-referential paradoxes share a reference pattern of Yablo’s paradox in that they all necessarily contain infinitely many sentences, each of which refers to infinitely many sentences. This raises a question: Does the reference pattern of Yablo’s paradox underlie all non-self-referential paradoxes, just as the reference pattern of the liar paradox underlies all finite paradoxes? In this regard, Rabern et al. [J Philos Logic 42(5): 727–765, 2013] prove that every dangerous acyclic digraph contains infinitely many points with (...) an infinite out-degree. Building upon their work, this paper extends Rabern et al.’s result to the first-order arithmetic language with a primitive truth predicate, proving that all reference digraphs for non-self-referential paradoxes contain infinitely many sentences of infinite out-degree (called “social sentences”). We then strengthen this result in two respects. First, among these social sentences, infinitely many appear in one ray. Second, among these social sentences, infinitely many have infinitely many out-neighbors, none of which will eventually get to a sink. These observations provide helpful information towards the following conjecture proposed by Beringer and Schindler [Bull. of Symb. Logic 23(4): 442–492, 2017]: every dangerous acyclic digraph contains the Yablo digraph as a finitary minor. (shrink)

Nine manuscripts preserving Avicenna's Kitāb al-Šifāʾ share a set of identical marginal glosses to the section of Logic. One of these manuscripts reports, at the end of each of the glosses, a certificate of transmission ascribing them to the theologian and philosopher Faḫr al-Dīn al-Rāzī (d. 606H/1210), which provides some material evidence of the existence of a flourishing exegetical activity on the Kitāb al-Šifāʾ during the twelfth-thirteenth century, in spite of the apparent lack of commentaries on the text in (...) that period. The present paper provides an edition of the so far unknown ḥāšiyāt to Avicenna's Kitāb al-Šifāʾ by al-Rāzī, with an attempt at reconstructing their tradition and contextualizing them within al-Rāzī’s exegetical and teaching activity. (shrink)

A relativized version of Tarski's T-scheme is introduced as a new principle of the truth predicate. Under the relativized T-scheme, the paradoxical objects, such as the Liar sentence and Jourdain's card sequence, are found to have certain relative contradictoriness. That is, they are contradictory only in some frames in the sense that any valuation admissible for them in these frames will lead to a contradiction. It is proved that for any positive integer n, the n-jump liar sentence is (...) contradictory in and only in those frames containing at least an n-jump odd cycle. In particular, the Liar sentence is contradictory in and only in those frames containing at least an odd cycle. The Liar sentence is also proved to be less contradictory than Jourdain's card sequence: the latter must be contradictory in those frames where the former is so, but not vice versa. Generally, the relative contradictoriness is the common characteristic of the paradoxical objects, but different paradoxical objects may have different relative contradictoriness. (shrink)

We describe the earliest occurrences of the Liar Paradox in the Arabic tradition. e early Mutakallimūn claim the Liar Sentence is both true and false; they also associate the Liar with problems concerning plural subjects, which is somewhat puzzling. Abharī (1200-1265) ascribes an unsatisfiable truth condition to the Liar Sentence—as he puts it, its being true is the conjunction of its being true and false—and so concludes that the sentence is not true. Tūsī (1201-1274) argues (...) that self-referential sentences, like the Liar, are not truth-apt, and defends this claim by appealing to a correspondence theory of truth. Translations of the texts are provided as an appendix. (shrink)

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context dependent. Once this context dependence is properly understood, it is argued, a hierarchical structure emerges which is (...) neither ad hoc nor unnatural. (shrink)

Bringing together powerful new tools from set theory and the philosophy of language, this book proposes a solution to one of the few unresolved paradoxes from antiquity, the Paradox of the Liar. Treating truth as a property of propositions, not sentences, the authors model two distinct conceptions of propositions: one based on the standard notion used by Bertrand Russell, among others, and the other based on J.L. Austin's work on truth. Comparing these two accounts, the authors show that while (...) the Russellian conception of the relation between sentences, propositions, and truth is crucially flawed in limiting cases, the Austinian perspective has fruitful applications to the analysis of semantic paradox. In the course of their study of a language admitting circular reference and containing its own truth predicate, Barwise and Etchemendy also develop a wide range of model-theoretic techniques--based on a new set-theoretic tool, Peter Aczel's theory of hypersets--that open up new avenues in logical and formal semantics. (shrink)

The purpose of this note is to present a strong form of the liar paradox. It is strong because the logical resources needed to generate the paradox are weak, in each of two senses. First, few expressive resources required: conjunction, negation, and identity. In particular, this form of the liar does not need to make any use of the conditional. Second, few inferential resources are required. These are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: (...) From ¬(p ∧ p), infer ¬ p. It is, interestingly enough, also essential to the argument that the ‘strong’ form of the diagonal lemma be used: the one that delivers a term λ such that we can prove: λ = ¬ T(⌈λ⌉); rather than just a sentence Λ for which we can prove: Λ ≡ ¬T(⌈Λ⌉). The truth-theoretic principles used to generate the paradox are these: ¬(S ∧ T(⌈¬S⌉); and ¬(¬S ∧ ¬T(⌈¬S⌉). These are classically equivalent to the two directions of the T-scheme, but they are intuitively weaker. The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. (shrink)

We employ topos quantum theory as a mathematical framework for quantum logic, combining the strengths of two distinct intuitionistic quantum logics proposed by Döring and Coecke respectively. This results in a novel intuitionistic quantum logic that can capture contextuality, express the physical meaning of superposition phenomenon in quantum systems, and handle both measurement and evolution as dynamic operations. We emphasize that superposition is a relative concept dependent on contextuality. Our intention is to find a model from the perspective of quantum (...) theory that accommodates semantic paradoxes. We refine Aerts et al.’s interpretation of the liar paradox using models from quantum mechanics and present a model based on quantum theory, incorporating contextuality and superposition to interpret semantic paradoxes. We associate the truth values of statements in semantic paradoxes with quantum states in a given context, interpreting statements with unclear truth value assignments as superposition states within the current context. Dynamic operations are employed to distinguish the truth value assignments of statements among different times. Unlike the classic interpretation of paradoxes, we accept the reasonable existence of semantic paradoxes and point out the difference between paradoxes and contradictions. (shrink)

Jay Newhard (2021) proposes a novel solution to the Liar Paradox, which he calls the alethic indeterminacy solution to the Liar Paradox. Bradley Armour-Garb (2021) raises a pair of objections to the alethic indeterminacy solution. Both objections are based upon the alethic indeterminacy solution’s alleged commitment that the truth conditions for a Liar Sentence are indeterminate, and therefore not true. In this paper, this alleged commitment is shown to be mistaken. The alethic indeterminacy solution is compatible with (...) maintaining that the truth conditions for a Liar Sentence are a non-truth-functional biconditional which is true, and not indeterminate. Logically complex sentences are typically and standardly treated as truth-functional, and the philosophical literature on non-truth-functionality is diffuse. Two independent accounts of non-truth-functional biconditionals are defended. The first account is based on the claim that indicative conditionals express a non-truth-functional dependency relation between consequent and antecedent. The second account is based upon connected sentences having interdependent truth conditions, which can occur with any polyadic connective. These accounts are fully general, not ad hoc measures. Each account solves both of Armour-Garb’s objections. With both objections met, the alethic indeterminacy solution is shown to be a viable solution to the Liar Paradox worth further development. (shrink)

Do logical paradoxes, like Eubulides’s Liar Paradox (the claim that the sentence “I am now lying” is true if and only if it is false), have any “existential” significance or are they mere brain puzzles for the mathematically minded? The paper argues that Randall Jarrell’s poem, “Eighth Air Force”, contains a poetic use of Eubulides’ Liar Paradox, spoken by Pontius Pilate’s wife in her statements about the “murder” of Jesus, in order to capture, symbolically, the inherent universal duplicity (...) (inauthenticity) of human life, specifically, the fact that human life, even in its true statements about fundamental moral-existential issues, is an inseparable blend of “truth” and “lies.”. (shrink)

This essay attempts to give substance to the claim that the liar''sparadox shows the truth predicate to be context sensitive. The aim ismodest: to provide an account of the truth predicate''s contextsensitivity (1) that derives from a more general understanding ofcontext sensitivity, (2) that does not depend upon a hierarchy ofpredicates and (3) that is able to address the liar''s paradox. Theconsequences of achieving this goal are not modest, though. Perhapssurprisingly, for reasons that will be discussed in the (...) last section ofthis essay, a natural account of the truth predicate''s contextsensitivity appears to lead naturally to a version of the correspondencetheory of truth according to which the truth predicate can be understoodas a relation holding between a sentence and a salient set of contexts.The plan of this essay is as follows. Section 1 contains a generalaccount of context sensitivity. The purpose of this section is toisolate certain features of context sensitivity and formal methods oftreating them, which we will then apply to the truth predicate. Section 2then outlines two minimal conditions to be satisfied by a truthpredicate. In Section 3, I present a version of the liar paradoxthat results from these conditions and the assumption that the truthpredicate is not context sensitive in the sense described in sectionone. Finally, in section four, I provide what appear to be naturalconsequences of a truth predicate''s context sensitivity. Section 4 isadmittedly speculative and points in the direction for future research. (shrink)

At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use (...) of substitution of identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

In 1993, the American logic S. Yablo was proposed an original infinitive formulation of the classical ≪Liar≫ paradox. It questioned the traditional notion of self-reference as the basic structure for semantic paradoxes. The article considers the arguments underlying two different approaches to analysis of proposals of the ≪Infinite Liar≫ and understanding of the genuine sources for semantic paradoxes. The first approach (V. Valpola, G.-H. von Wright, T. Bolander, etc.) imposes responsibility for the emergence of semantic paradoxes on the (...) negation of the truth predicate. It deprives the ≪Infinite Liar≫ sentences of consistent truth values. The second approach is based on a modified version of anaphoric prosententialism (D. Grover, R. Brandom, etc.). The concepts of truth and falsehood are treated as special anaphoric operators. Logical constructs similar to the ≪Infinite Liar≫ do not attribute any definite truth values to sentences from which they are composed, but only state certain types of relations between the semantic content of such sentences. (shrink)

In the thirteenth century, the influential logician Afḍal al-Dīn al-Khūnajī departed from the Avicennan view that the subject matter of logic is “second intentions”. For al-Khūnajī, the subject matter of logic is “the objects of conception and assent”. His departure elicited intense and sometimes abstruse discussions in the course of subsequent centuries. Prominent supporters of Khūnajī's view on the subject matter of logic included Kātibī, Ibn Wāṣil and Taftāzānī. Defenders of Avicenna's view included Ṭūsī, Samarqandī and Quṭb al-Dīn al-Rāzī. (...) This article presents the outline of the development of this discussion down to the end of the fourteenth century and attempts to reconstruct the major arguments of both sides.Au xiiie siècle, l'influent logicien, Afḍal al-Dīn al-Khūnajī, se démarque du point de vue avicennien d'après lequel ce sont les “intentions secondes” qui forment le sujet de la logique. Pour al-Khūnajī, le sujet de la logique, ce sont “les objets des conceptions et des assentiments”. Cet écart par rapport à la formulation avicennienne va susciter, au cours des siècles suivants, d'intenses et parfois abstruses discussions. Dans le camp de ceux qui adhèrent au point de vue d'al-Khūnajī, on trouve des auteurs tels que Kātibī, Ibn Wāṣil et Taftāzānī. En revanche, Ṭūsī, Samarqandī et Quṭb al-Dīn al-Rāzī se rangent dans le camp des défenseurs du point de vue d'Avicenne. Cet article présente les grandes lignes qui marquent le développement de cette discussion jusqu'à la fin du xive siècle et tente de reconstruire les arguments des deux partis.Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.POST-AVICENNAN LOGICIANS ON THE SUBJECT MATTER OF LOGIC: SOME THIRTEENTH- AND FOURTEENTH-CENTURY DISCUSSIONSVolume 22, Issue 1Khaled El-Rouayheb DOI: https://doi.org/10.1017/S0957423911000105Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. POST-AVICENNAN LOGICIANS ON THE SUBJECT MATTER OF LOGIC: SOME THIRTEENTH- AND FOURTEENTH-CENTURY DISCUSSIONSVolume 22, Issue 1Khaled El-Rouayheb DOI: https://doi.org/10.1017/S0957423911000105Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. POST-AVICENNAN LOGICIANS ON THE SUBJECT MATTER OF LOGIC: SOME THIRTEENTH- AND FOURTEENTH-CENTURY DISCUSSIONSVolume 22, Issue 1Khaled El-Rouayheb DOI: https://doi.org/10.1017/S0957423911000105Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

It is quite common among historians of Arabic logic to attribute MS Aḥmad iii, no. 3401, entitled Al-manṭiq al-kabīr, to Fakhr al-Dīn Rāzī. This view is expressed explicitly...

This article presents an empirical examination of the consequences of the virtual entailment principle proposed by Jean Buridan to resolve the Liar paradox. This principle states that every sentence in natural language implicitly asserts its own truth. Adopting this principle means that the Liar sentence is not paradoxical but false, because its content is contradictory to what is virtually implied. As a result, humans should perceive the Liar sentence the same way as any other false sentence. This (...) solution to the Liar paradox received criticism for making ad hoc claims about the natural language. However, thanks to modern advancements in psychophysiology, it became possible to empirically investigate if the human brain really perceives the Liar sentence like a false sentence. We designed and conducted an experiment to examine brain activity in response to true sentences, false sentences and self-referential sentences. Our results provide support for the Buridan’s hypothesis and show that the Liar sentence is processed by the human brain identically to false sentences, while the Truthteller sentence is perceived identically to true sentences. This agrees with predictions derived from the virtual entailment principle and supports the idea that humans think with the logic of truth—a logic for which the truth is a designated value of its adequate semantics. (shrink)

Jean Buridan has offered a solution to the Liar Paradox, i.e. to the problem of assigning a truth-value to the sentence ‘What I am saying is false’. It has been argued that either this solution is ad hoc since it would only apply to self-referencing sentences [Read, S. 2002. ‘The Liar Paradox from John Buridan back to Thomas Bradwardine’, Vivarium, 40 , 189–218] or else it weakens his theory of truth, making his ‘a logic without truth’ [Klima, G. (...) 2008. ‘Logic without truth: Buridan on the Liar’, in S. Rahman, T. Tulenheimo and E. Genot, Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox, Berlin: Springer, 87–112 ; Dutilh Novaes, C. 2011. ‘Lessons on truth from mediaeval solutions to the Liar Paradox’, The Philosophical Quarterly, 61 , 58–78]. Against , I will argue that Buridan's solution by means of truth by supposition does not involve new principles. Self-referential sentences force us to handle supposition more carefully, which does not warrant the accusation of adhoccery. I will also argue, against (2), that it is exaggerated to assert that this solution leads to a ‘weakened’ theory of truth, since it is consistent with other passages of the Sophismata, which only gives necessary conditions for the truth of affirmative propositions, but sufficient conditions for falsity. (shrink)

ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use (...) of that notion. The chapter argues that, by using a truth operator rather than truth predicate, it is possible to provide a coherent, model-theoretic representation of truth with various desirable features. After investigating what features of liar sentences are responsible for their paradoxicality, the chapter identifies the logic as the normal modal logic KT4M (= S4M). Drawing on the structure of KT4M (=S4M), the author proposes that, pace deflationism, truth has content, that the content of truth is bivalence, and that the notions of both truth and bivalence are semideterminable. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an unusual (...) solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

This chapter contains sections titled: Tarski's Theory of Truth Tarski's Solution to the Liar Paradox Tarski's Method of Defining Truth for Formalized Languages Tarskian Semantics Three Criticisms of Tarski's Theory Kripke's Solution to the Liar Paradox A Reinterpretation of Tarski's Theory Truth Beyond Logic.

There have been recent arguments against the idea that substructural solutions are uniform. The claim is that even if the substructuralist solves the common semantic paradoxes uniformly by targeting Cut or Contraction, with additional machinery, we can construct higher-level paradoxes (e.g., a higher-level Liar, a higher-level Curry, and a meta-validity Curry). These higher-level paradoxes do not use metainferential Cut or Contraction, but rather, higher-level Cuts and higher-level Contractions. These kinds of paradoxes suggest that targeting Cut or Contraction is not (...) enough for solving semantic paradoxes; the substructuralist must target Cut of every level or Contraction of every level to solve the paradoxes. Hence, the substructuralists do not provide as uniform of a solution as they hoped they did. In response, we argue that the substructuralists need not admit these additional machineries. In fact, they are redundant in light of the validity predicate (i.e., there is no gain in terms of expressive power). The validity predicate is powerful enough to creep these paradoxes in the object level. The substructuralist does not need to ascend to metainferences to construct higher-level paradoxes. Moreover, there is a reading available to the substructuralist such that all the higher-level structural rules would collapse to instances of the object-level structural rules (e.g., meta \(_n\) Cut and meta \(_n\) Contraction would become instances of Cut and Contraction). We then address Barrio et al.’s worry that the validity predicate has its shortcomings; the substructuralist cannot internalize some of its metarules. We claim that the validity of metarules can be internalized without the need to strengthen the validity predicate. However, a problem raised by Barrio et al. is still present—the problem of internalizing unwanted instances of Cut in Cut-free approaches. We argue that this internalization problem is not unique to the validity predicate; the same problem is present with other problematic predicates, such as the truth predicate and the provability predicate. (shrink)

The formalism of abstracted quantum mechanics is applied in a model of the generalized Liar Paradox. Here, the Liar Paradox, a consistently testable configuration of logical truth properties, is considered a dynamic conceptual entity in the cognitive sphere (Aerts, Broekaert, & Smets, [Foundations of Science 1999, 4, 115–132; International Journal of Theoretical Physics, 2000, 38, 3231–3239]; Aerts and colleagues[Dialogue in Psychology, 1999, 10; Proceedings of Fundamental Approachs to Consciousness, Tokyo ’99; Mind in Interaction]. Basically, the intrinsic contextuality of (...) the truth-value of the Liar Paradox is appropriately covered by the abstracted quantum mechanical approach. The formal details of the model are explicited here for the generalized case. We prove the possibility of constructing a quantum model of the m-sentence generalizations of the Liar Paradox. This includes (i) the truth–falsehood state of the m-Liar Paradox can be represented by an embedded 2m-dimensional quantum vector in a (2m) m -dimensional complex Hilbert space, with cognitive interactions corresponding to projections, (ii) the construction of a continuous ‘time’ dynamics is possible: typical truth and falsehood value oscillations are described by Schrödinger evolution, (iii) Kirchoff and von Neumann axioms are satisfied by introduction of ‘truth-value by inference’ projectors, (iv) time invariance of unmeasured state. (shrink)

A.1. Some philosophers, including Tarski and Russell, have concluded from a study of various versions of the Liar Paradox ‘that there must be a hierarchy of languages, and that the words “true” and “false”, as applied to statements in any given language, are themselves words belonging to a language of higher order’. In his famous essay on truth Tarski claimed that ‘colloquial’ language is inconsistent as a result of its property of ‘universality’: that is, whatever can be said at (...) all can in principle be said in it, with an extended vocabularly if necessary. Thus, in English we can talk about English expressions, what they denote, what they say, whether what they say is true or false, and so on: English contains its own metalanguage. This universality enables us to construct sentences which say of themselves that they are false, and by applying the law of excluded middle to them we easily derive a contradiction. Tarski concludes that ‘these antinomies seem to provide a proof that every language which is universal in the above sense, and for which the normal laws of logic hold, must be inconsistent’ . He then proposes to avoid such contradictions by the use of a hierarchy of languages such that statements about any one language can be made only in a different language at a higher level. (shrink)

Frege famously claimed that logic is the science of truth: “To discover truths is the task of all science; it falls to logic to discern the laws of truth”. But just like the other foundational concept of set, truth at that time was intimately associated with paradox; in the case of truth, the Liar paradox. The set-theoretical paradoxes had their teeth drawn by being recognised as reductio proofs of assumptions that had seemed too obvious to warrant stating explicitly, but (...) were now seen to be substantive, and more importantly inconsistent. Tarski includes the Liar paradox in his classic discussion of the concept of truth, and developed it, in the form of his famous theorem on the undefinability of truth, as a reductio of the assumption that a language could be semantically closed, in the sense of being able to contain its own truth-predicate. Frege famously claimed that logic is the science of truth: “To discover truths is the task of all science; it falls to logic to discern the laws of truth”. But just like the other foundational concept of set, truth at that time was intimately associated with paradox; in the case of truth, the Liar paradox. The set-theoretical paradoxes had their teeth drawn by being recognised as reductio proofs of assumptions that had seemed too obvious to warrant stating explicitly, but were now seen to be substantive, and more importantly inconsistent. Tarski includes the Liar paradox in his classic discussion of the concept of truth, and developed it, in the form of his famous theorem on the undefinability of truth, as a reductio of the assumption that a language could be semantically closed, in the sense of being able to contain its own truth-predicate. (shrink)

In recent years, speech-act theory has mooted the possibility that one utterance can signify a number of different things. This pluralist conception of signification lies at the heart of Thomas Bradwardine’s solution to the insolubles, logical puzzles such as the semantic paradoxes, presented in Oxford in the early 1320s. His leading assumption was that signification is closed under consequence, that is, that a proposition signifies everything which follows from what it signifies. Then any proposition signifying its own falsity, he showed, (...) also signifies its own truth and so, since it signifies things which cannot both obtain, it is simply false. Bradwardine himself, and his contemporaries, did not elaborate this pluralist theory, or say much in its defence. It can be shown to accord closely, however, with the prevailing conception of logical consequence in England in the fourteenth century. Recent pluralist theories of signification, such as Grice’s, also endorse Bradwardine’s closure postulate as a plausible constraint on signification, and so his analysis of the semantic paradoxes is seen to be both well-grounded and plausible. (shrink)

One well known approach to the soritical paradoxes is epistemicism, the view that propositions involving vague notions have definite truth values, though it is impossible in principle to know what they are. Recently, Paul Horwich has extended this approach to the liar paradox, arguing that the liar proposition has a truth value, though it is impossible to know which one it is. The main virtue of the epistemicist approach is that it need not reject classical logic, and in (...) particular the unrestricted acceptance of the principle of bivalence and law of excluded middle. Regardless of its success in solving the soritical paradoxes, the epistemicist approach faces a number of independent objections when it is applied to the liar paradox. I argue that the approach does not offer a satisfying, stable response to the paradoxes—not in general, and not for a minimalist about truth like Horwich. (shrink)

The post-classical genre of the “protocols for dialectical inquiry and disputation” has its more proximate origins in the famed Risāla of Shams al-Dīn al-Samarqandī. The greater part of his conceptions and methodology, however, consists in a streamlining and universalizing of the more strictly juristic dialectic of his teacher Burhān al-Dīn al-Nasafī ; and this in turn draws on the highly logicized dialectic of Rukn al-Dīn al-ʿAmīdī and his teacher Raḍī al-Dīn al-Nīsābūrī. At the heart of methods in this lineage, and (...) carried forward by al-Samarqandī into the universal ādāb al-baḥth, are three truth-preserving logical relationships critical to the truth-seeking enterprise of dialectic: entailment, mutual negation or exclusion, and causal concomitance. The practical elaboration of these relations reveals a logic in action—a premodern dialogical logic for living disputation praxis. In fact, so critical were these to the dialectical enterprise that al-Samarqandī devoted a specialized treatise entirely to summarizing their defining features and rules, aptly naming it the ʿAyn al-Naẓar, or “Wellspring of Rational Investigation.” In this article, and drawing upon a recently published digital critical edition, I will present an analytical outline of these core logical relations as presented in the ʿAyn al-Naẓar. Then I will address a number of points of interest in this text, grouped under six themes: the potential for cross-disciplinary advancement; notions in discursive development; significant or uniquely contributive formulations; peculiarities of content; signs of an evolving, universalist agenda; and evidence that the ʿAyn al-Naẓar was designed as an aide-mémoire for the active disputant. (shrink)

The Embracing Revenge account of semantic paradox avoids the expressive limitations of previous approaches based on the Kripkean fixed point construction by replacing a single language with an indefinitely extensible sequence of languages, each of which contains the resources to fully characterize the semantics of the previous languages. In this paper we extend the account developed in Cook (2008), Cook (2009), Schlenker (2010), and Tourville and Cook (2016) via the addition of intensional operators such as ``is paradoxical''. In this extended (...) framework we are able to characterize the difference between sentences, such as the Liar and the Truth-teller, that receive the same semantic value in minimal fixed points yet seem to involve distinct semantic phenomena. (shrink)

RésuméCet article traite d’une solution au tristement célèbre paradoxe du menteur, généralement connu dans la littérature arabe sous le nom de Maġlaṭat al-ǧaḏr al-aṣamm. La solution est donnée dans un traité ottoman du XVe siècle attribué, entre autres, à Ḫaṭībzāde Muḥyiddīn Efendī. L’article la compare également à la solution du philosophe persan contemporain, Ǧalāl al-Dīn al-Dawānī. Le court traité consacré au paradoxe est l’un des rares ouvrages des Ottomans sur le sujet et il aborde de manière exhaustive le paradoxe sous (...) ses deux formes. En tant qu’analyse de la solution offerte par le traité au paradoxe, l’article fait connaître à l’érudition contemporaine les discussions ottomanes sur le menteur, et il contribue à combler le vide évident dans la littérature sur le paradoxe dans la pensée islamique. (shrink)

In this manuscript, we define and discuss a new type of logical puzzles. These puzzles are based on the simplest truth-teller and liar puzzles. Graphs are used to represent graphically the puzzles. these logical puzzles contain three types of people. Strong Truth-tellers who can say only true statements, Strong Liars who can make only false statements and Weak Crazy people who must make at least one self-contradicting statement if he/she says anything. Self-contradicting statements are related to the Liar (...) paradox, such that, there is no Truth-teller or a Liar could say “I am a Liar”. In any good puzzle there is a unique solution, while the puzzle is clear if only the people of the puzzle and their statements are given to solve the puzzle. It is well-known that there is no good and clear SS-puzzle. However, in this paper, we show that there are clear and good SSW-puzzles. Characteristics of the newly investigated type of people, the ‘Weak Crazy’ people, has also been studied. Some statistical results about the new type of puzzles and a comparison with other types of puzzles are also shown: the number of solvable and also the number of good puzzles is much larger than in the previously known SS-puzzles. (shrink)