Neil Tennant was the first to propose a proof-theoretic criterion for paradoxicality, a framework in which a paradox, formalized through natural deduction, is derived from an unacceptable conclusion that employs a certain form of id est inferences and generates an infinite reduction sequence. Tennant hypothesized that any derivation in natural deduction that formalizes a genuine paradox would meet this criterion, and he argued that while the liar paradox is genuine, Russell's paradox is (...) not. -/- The present paper delves into Tennant's conjecture for genuine paradoxes and suggests that to validate the conjecture, one of two issues must be addressed. The first issue is the need for a philosophical consensus on the identification of a genuine paradox in an informal sense. The second issue is the requirement for a uniform approach to formalize paradoxes in natural deduction. If either of these issues is addressed, the conjecture could be validated, or at the very least, it could hold philosophical importance in delineating the proof-theoretic features of paradoxicality. (shrink)

Berry’s Paradox, like Russell’s Paradox, is a ‘paradox’ in name only. It differs from genuine logico-semantic paradoxes such as the Liar Paradox, Grelling’s Paradox, the Postcard Paradox, Yablo’s Paradox, the Knower Paradox, Prior’s Intensional Paradoxes, and their ilk. These latter arise from semantic closure. Their genuine paradoxicality manifests itself as the non-normalizability of the formal proofs or disproofs associated with them. The Russell, the Berry, and the Burali-Forti ‘paradoxes’, by contrast, simply reveal the straightforward inconsistency of (...) their respective existential claims—that the Russell set exists; that the Berry number exists; and that the ordinal of the well-ordering of all ordinals exists. The disproofs of these existential claims are in free logic and are in normal form. They show that certain complex singular terms do not—indeed, cannot—denote. All this counsels reconsideration of Ramsey’s famous division of paradoxes and contradictions into his Group A and Group B. The proof-theoretic criterion of genuine paradoxicality formally explicates an informal and occasionally confused notion. The criterion should be allowed to reform our intuitions about what makes for genuine paradoxicality, as opposed to straightforward (albeit surprising) inconsistency. (shrink)

We begin with a brief explanation of our proof-theoretic criterion of paradoxicality—its motivation, its methods, and its results so far. It is a proof-theoretic account of paradoxicality that can be given in addition to, or alongside, the more familiar semantic account of Kripke. It is a question for further research whether the two accounts agree in general on what is to count as a paradox. It is also a question for further research whether and, if (...) so, how the so-called Ekman problem bears on the investigations here of the intensional paradoxes. Possible exceptions to the proof-theoretic criterion are Prior’s Theorem and Russell’s Paradox of Propositions—the two best-known ‘intensional’ paradoxes. We have not yet addressed them. We do so here. The results are encouraging. §1 studies Prior’s Theorem. In the literature on the paradoxes of intensionality, it does not enjoy rigorous formal proof of a Gentzenian kind—the kind that lends itself to proof-theoretic analysis of recondite features that might escape the attention of logicians using non-Gentzenian systems of logic. We make good that lack, both to render the criterion applicable to the formal proof, and to see whether the criterion gets it right. Prior’s Theorem is a theorem in an unfree, classical, quantified propositional logic. But if one were to insist that the logic employed be free, then Prior’s Theorem would not be a theorem at all. Its proof would have an undischarged assumption—the ‘existential presupposition’ that the proposition $$\forall p(Qp\!\rightarrow \!\lnot p)$$ ∀ p ( Q p → ¬ p ) exists. Call this proposition $$\vartheta$$ ϑ. §2 focuses on $$\vartheta$$ ϑ. We analyse a Priorean reductio of $$\vartheta$$ ϑ along with the possibilitate $$\Diamond \forall q(Qq\!\leftrightarrow \!(\vartheta \!\leftrightarrow \! q))$$ ◊ ∀ q ( Q q ↔ ( ϑ ↔ q ) ). The attempted reductio of this premise-pair, which is constructive, cannot be brought into normal form. The criterion says we have not straightforward inconsistency, but rather genuine paradoxicality. §3 turns to problems engendered by the proposition $$\exists p(Qp\wedge \lnot p)$$ ∃ p ( Q p ∧ ¬ p ) (call it $$\eta$$ η ) for the similar possibilitate $$\Diamond \forall q(Qq\!\leftrightarrow \!(\eta \!\leftrightarrow \! q))$$ ◊ ∀ q ( Q q ↔ ( η ↔ q ) ). The attempted disproof of this premise-pair—again, a constructive one—cannot succeed. It cannot be brought into normal form. The criterion says the premise-pair is a genuine paradox. In §4 we show how Russell’s Paradox of Propositions, like the Priorean intensional paradoxes, is to be classified as a genuine paradox by the proof-theoretic criterion of paradoxicality. (shrink)

In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical (...) derivation paradoxical. Chapter 2 deals with the problem of undergeneration and Chapter 3 concerns the problem of overgeneration. Chapter 2 discusses that Tenant’s diagnosis of the counterexample which applies CR−rule and causes the undergeneration problem is not correct and presents a solution to the problem of undergeneration. Chapter 3 argues that Tennant’s diagnosis of the counterexample raising the overgeneration problem is wrong and provides a solution to the problem. Finally, Chapter 4 addresses what should be explicated in order for RND to be a proof-theoretic solution to the paradoxes. (shrink)

For the past 40 years, Neil Tennant has defended a proof-theoretic criterion of self-referential paradoxicality. According to this criterion, the defining characteristic of paradoxes is that, when formulated within a natural deduction system, they produce derivations that cannot be normalized. This paper raises doubts about Tennant’s approach. Recently, Tennant has suggested that Russell’s paradox might not truly fit his criterion. I will argue that the reasoning that rules out Russell’s paradox can similarly (...) be applied to some semantic paradoxes. Therefore, if Tennant’s assessment of Russell’s paradox holds, few cases may genuinely qualify as paradoxes by his standards. (shrink)

This is a reply to the considerations advanced by Schroeder-Heister and Tranchini as prima facie problematic for the proof-theoretic criterion of paradoxicality, as originally presented in Tennant and subsequently amended in Tennant. Countering these considerations lends new importance to the parallelized forms of elimination rules in natural deduction.

In this note, we review paradoxes like Russell’s, the Liar, and Curry’s in the context of intuitionistic logic. One may observe that one cannot blame the underlying logic for the paradoxes, but has to take into account the particular concept formations. For proof-theoretic semantics, however, this comes with the challenge to block some forms of direct axiomatizations of the Liar. A proper answer to this challenge might be given by Schroeder-Heister’s definitional freedom.

The paradoxes of self-reference are genuinely paradoxical. The liar paradox, Russell’s paradox and their cousins pose enormous difficulties to anyone who seeks to give a comprehensive theory of semantics, or of sets, or of any other domain which allows a modicum of self-reference and a modest number of logical principles. One approach to the paradoxes of self-reference takes these paradoxes as motivating a non-classical theory of logical consequence. Similar logical principles are used in each of the paradoxical inferences. (...) If one or other of these problematic inferences are rejected, we may arrive at a consistent (or at least, a coherent) theory. In this paper I will show that such approaches come at a serious cost. The general approach of using the paradoxes to restrict the class of allowable inferences places severe constraints on the domain of possible propositional logics, and on the kind of metatheory that is appropriate in the study of logic itself. Proof-theoretic and model-theoretic analyses of logical consequence make provide different ways for non-classical responses to the paradoxes to be defeated by revenge problems: the redefinition of logical connectives thought to be ruled out on logical grounds. Non-classical solutions are not the “easy way out” of the paradoxes. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the (...) syllogistic is a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the (...) rules of Disquotation and of Semantic Ascent cannot be derived for sentences with tonk dominant. These considerations deprive Boghossian's scepticism of its support. (shrink)

This study continues the anti-realist’s quest for a principled way to avoid Fitch’s paradox. It is proposed that the Cartesian restriction on the anti-realist’s knowability principle ‘ϕ, therefore 3Kϕ’ should be formulated as a consistency requirement not on the premise ϕ of an application of the rule, but rather on the set of assumptions on which the relevant occurrence of ϕ depends. It is stressed, by reference to illustrative proofs, how important it is to have proofs in normal form before (...) applying the proposed restriction. A similar restriction is proposed for the converse inference, the so-called Rule of Factiveness ‘3Kϕ therefore ϕ’. The proposed restriction appears to block another Fitch-style derivation that uses the KK -thesis in order to get around.. (shrink)

This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set (...) is Provably inconsistent. Every logical consequence of a satisfiable set is Provable therefrom. Thus our system is adequate for ordinary mathematical practice. Moreover, transitivity of Proof fails upon accumulation of Proofs only when the newly combined premisses are inconsistent anyway, or the conclusion is a logical truth. In either case Proofs that show this can be effectively determined from the Proofs given. Thus transitivity fails where it least matters — arguably, where it ought to fail! We show also that entailments hold by virtue of logical form insufficient either to render the premisses inconsistent or to render the conclusion logically true. The Lewis paradoxes are not Provable. Our system is distinct from Anderson and Belnap''s system of first degree entailments, and Johansson''s minimal logic. Although the Curry set paradox is still Provable within naive set theory, our system offers the prospect of a more sensitive paraconsistent reconstruction of mathematics. It may also find applications within the logic of knowledge and belief. (shrink)

I examine Paul Boghossian's recent attempt to argue for scepticism about logical rules. I argue that certain rule- and proof-theoretic considerations can avert such scepticism. Boghossian's 'Tonk Argument' seeks to justify the rule of tonk-introduction by using the rule itself. The argument is subjected here to more detailed proof-theoretic scrutiny than Boghossian undertook. Its sole axiom, the so-called Meaning Postulate for tonk, is shown to be false or devoid of content. It is also shown that the (...) rules of Disquotation and of Semantic Ascent cannot be derived for sentences with tonk dominant. These considerations deprive Boghossian's scepticism of its support. (shrink)

We furnish a core-logical development of the Gödel numbering framework that allows metamathematicians to attain limitative results about arithmetical truth without incorporating a genuine truth predicate into the language in a way that would lead to semantic closure. We show how Tarski’s celebrated theorem on the arithmetical undefinability of arithmetical truth can be established using only core logic in both the object language and the metalanguage. We do so at a high level of abstraction, by augmenting the usual first-order (...) language of arithmetic with a primitive predicate Tr and then showing how it cannot be a truth predicate for the augmented language. McGee established an important result about consistent theories that are in the language of arithmetic augmented by such a “truth predicate” Tr and that use Gödel numbering to refer to expressions of the augmented language. Given the nature of his sought result, he was forced to use classical reasoning at the meta level. He did so, however, on the additional and tacit presupposition that the arithmetical theories in question (in the object language) would be closed under classical logic. That left open the dialectical possibility that a constructivist (or intuitionist) could claim not to be discomfited by the results, even if they were to “give a pass” on the unavoidably classical reasoning at the meta level. In this study we “constructivize” McGee’s result, by presuming only core logic for the object language. This shows that the perplexity induced by McGee’s result will confront the constructivist (or intuitionist) as well. (shrink)

We compare Fregean theorizing about sets with the theorizing of an ontologically non-committal, natural-deduction based, inferentialist. The latter uses free Core logic, and confers meanings on logico-mathematical expressions by means of rules for introducing them in conclusions and eliminating them from major premises. Those expressions (such as the set-abstraction operator) that form singular terms have their rules framed so as to deal with canonical identity statements as their conclusions or major premises. We extend this treatment to pasigraphs as well, in (...) the case of set theory. These are defined expressions (such as ‘subset of’, or ‘power set of’) that are treated as basic in the lingua franca of informal set theory. Employing pasigraphs in accordance with their own natural-deduction rules enables one to ‘atomicize’ rigorous mathematical reasoning. (shrink)

Curry's paradox, sometimes described as a general version of the better known Russell's paradox, has intrigued logicians for some time. This paper examines the paradox in a natural deduction setting and critically examines some proposed restrictions to the logic by Fitch and Prawitz. We then offer a tentative counterexample to a conjecture by Tennant proposing a criterion for what is to count as a genuine paradox.

Copi, Quine and van Heijenoort have each claimed that there are two fundamentally different kinds of logical paradox; namely, genuine paradoxes like Russell's and pseudo-paradoxes like the Barber of Seville. I want to contest this claim and will present my case in three stages. Firstly, I will characterize the logical paradoxes; state standard versions of three of them; and demonstrate that a symbolic formulation of each leads to a formal contradiction. Secondly, I will discuss the reasons Copi, Quine and (...) van Heijenoort have given for the distinction between genuine and pseudo-paradoxes. Thirdly, I will attempt to explain why there is no such class as the class of all and only those classes which are not members of themselves. (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)

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of (...) the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes. The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospects of turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic. (shrink)

I propose an anti-realist account of truth and paradox according to which the logico-semantic paradoxes are not genuine inconsistencies. The ‘global’ proofs of absurdity associated with these paradoxes cannot be brought into normal form. The account combines epistemicism about truth with a proof-theoretic diagnosis of paradoxicality. The aim is to combine a substantive philosophical account of truth with a more rigorous and technical diagnosis of the source of paradox for further consideration by logicians. Core Logic plays a (...) central role in the account on offer. It is shown that the account is not prey to the problem of revenge paradox. (shrink)

According to inferentialists the meaning of logical vocabulary is given by the rules of inference governing its use. In response to a challenge posed by Arthur Prior, inferentialists have typically argued that not all sets of rules can define a connective. The project of determining which sets of rules are acceptable definitions has come to be known as the project of finding a criterion of proof-theoretic harmony. One of the best-known proposals is Neil Tennant’s. His (...) class='Hi'>criterion of harmony relies on the notions of the strength of a proposition and the strength of a rule. In this note, I argue that Tennant’s appeal to the notion of the strength of a rule gives rise to problems that make his account unsustainable. I also argue that the sort of consideration that gets Tennant into trouble applies, more generally, to other so-called ‘local’ accounts of harmony, and casts doubts on the idea that we can uniquely determine the harmonious counterpart of a given set of rules. (shrink)

In his paper, “On paradox without self-reference”, Neil Tennant proposed the conjecture for self-referential paradoxes that any derivation formalizing self-referential paradoxes only generates a looping reduction sequence. According to him, the derivation of the Liar paradox in natural deduction initiates a looping reduction sequence and the derivation of the Yablo's paradox generates a spiral reduction. The present paper proposes the counterexample to Tennant's conjecture for self-referential paradoxes. We shall show that there is a derivation of the Liar (...) paradox which generates a spiraling reduction procedure. Since the Liar paradox is a self-referential paradox, the result is a counterexample to his conjecture. Tennant has believed that classical reductio has no essential role to formalize paradoxes. As our counterexample applies the rule of classical reductio, he may reject the counterexample. In this sense, it will be briefly argued that classical reductio and his rules for the liar sentence share some inferential role. If classical reductio should not be used in paradoxical reasoning, neither should be his rules for the liar sentence. (shrink)

Is the set of all self-membered sets, S, a member of itself? In naive set theory, this is Russell’s hypodox. By the Laws of Excluded Middle and Non-contradiction, S is a member of itself xor it is not, but no principle of classical logic or naive set theory determines which. (Herein, ‘xor’ extends English with a specifically exclusive disjunction.) As a hypodox, the Truth-teller is a sentence that says of itself simply that it is true; by the above mentioned (...) principles, the Truth-teller is true xor not true, but no principle of classical logic or naive truth determines which. Many concepts that have paradoxes have related hypodoxes, although the focus here is on these two. I argue that the Truth-teller does not rely on a principle of truth, in particular it does not rely on the T-schema. I also argue that Russell’s hypodox does not rely on Comprehension. Yet I relate Russell’s paradox and hypodox based on involution functions. The Liar and the Truth-teller are also related by means of involutions. Relations based on these involution functions can be represented in duality squares. Although hypodoxes are not paradoxes, these involution functions and duality relations warrant some commonality in a correct solution to a paradox and its dual hypodox. Using this and some other premises, I provide novel arguments supporting non-classical solutions for the Liar paradox and the significance of Russell’s hypodox for solutions to Russell’s paradox. (shrink)

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning.

This book states, illustrates, and evaluates the main points of Russell's Introduction to Mathematical Philosophy. This book also contains a thorough exposition of the fundamentals of set theory, including Cantor's groundbreaking investigations into the theory of transfinite numbers. Topics covered include: *Cardinal number (Frege's analysis) *Cardinal number (von Neumann's analysis) *Ordinal number *Isomorphism *Mathematical induction *Limits and continuity *The arithmetic of transfinites *Set-theoretic definitions of "point" and "instant" *An analysis of cardinal n, for arbitrary n, that, unlike the analyses (...) put forth by Russell and von *Neumann, is not merely adequate but de rigueur. *Cogent analyses of hitherto unsolved paradoxes of set-theory and logic, e.g. the Liar Paradox and Russell's Paradox. (shrink)

It seems that the Truth-teller is either true or false, but there is no accepted principle determining which it is. From this point of view, the Truth-teller is a hypodox. A hypodox is a conundrum like a paradox, but consistent. Sometimes, accepting an additional principle will convert a hypodox into a paradox. Conversely, in some cases, retracting or restricting a principle will convert a paradox to a hypodox. This last point suggests a new method of avoiding inconsistency. This article provides (...) a significant example. The Liar paradox can be defused to a hypodox by relatively minimally restricting three principles: the T-schema, substitution of identicals and universal instantiation. These restrictions are not arbitrary. For each, I identify the source of a contradiction given some presumptions. Then I propose each restriction as a reasonable way to deal with that source of contradiction. (shrink)

Any consistent and sufficiently strong system of first-order formal arithmetic fails to decide some independent Gödel sentence. We examine consistent first-order extensions of such systems. Our purpose is to discover what is minimally required by way of such extension in order to be able to prove the Gödel sentence in a non-trivial fashion. The extended methods of formal proof must capture the essentials of the so-called 'semantical argument' for the truth of the Gödel sentence. We are concerned to show (...) that the deflationist has at his disposal such extended methods-methods which make no use or mention of a truth-predicate. This consideration leads us to reassess arguments recently advanced-one by Shapiro and another by Ketland-against the deflationist's account of truth. Their main point of agreement is this: they both adduce the Gödel phenomena as motivating a 'thick' notion of truth, rather than the deflationist's 'thin' notion. But the so-called 'semantical argument', which appears to involve a 'thick' notion of truth, does not really have to be semantical at all. It is, rather, a reflective argument. And the reflections upon a system that are contained therein are deflationarily licit, expressible without explicit use or mention of a truth-predicate. Thus it would appear that this anti-deflationist objection fails to establish that there has to be more to truth than mere conformity to the disquotational T-schema. (shrink)

Williamson argues for the contention that substructural logics are ‘ill-suited to acting as background logics for science’. That contention, if true, would be very important, but it is refutable, given what is already known about certain substructural logics. Classical Core Logic is a substructural logic, for it eschews the structural rules of Thinning and Cut and has Reflexivity as its only structural rule. Yet it suffices for classical mathematics, and it furnishes all the proofs and disproofs one needs for the (...) hypothetico-deductive method in science. We explain exactly what Classical Core Logic is, why it is a substructural logic par excellence, and what the basic requirements would be for a logic to be ‘suited to acting as [a] background logic for science’. We also explain how Classical Core Logic meets all these requirements. We end by examining Williamson’s argument in order to expose where its error lies. (shrink)

The Theory of theory change has contraction and revision as its central notions. Of these, contraction is the more fundamental. The best-known theory, due to Alchourrón, Gärdenfors, and Makinson, is based on a few central postulates. The most fundamental of these is the principle of recovery: if one contracts a theory with respect to a sentence, and then adds that sentence back again, one recovers the whole theory. Recovery is demonstrably false. This paper shows why, and investigates how one can (...) nevertheless characterize contraction in a theoretically fruitful way. The theory proposed lends itself to implementation, which in turn could yield new theoretical insights. The Main proposal is a ‘staining algorithm’ which identifies which sentences to reject when contracting a theory. The algorithm requires one to be clear about the structure of reasons one has for including sentences within one's theory. (shrink)

This study takes a careful inferentialist look at Graham Priest’s Logic of Paradox. I conclude that it is sorely in need of a proof-system that could furnish formal proofs that would regiment faithfully the “naïve logical” reasoning that could be undertaken by a rational thinker within LP.

Our regimentation of Goodman and Myhill’s proof of Excluded Middle revealed among its premises a form of Choice and an instance of Separation.Here we revisit Zermelo’s requirement that the separating property be definite. The instance that Goodman and Myhill used is not constructively warranted. It is that principle, and not Choice alone, that precipitates Excluded Middle.Separation in various axiomatizations of constructive set theory is examined. We conclude that insufficient critical attention has been paid to how those forms of Separation (...) fail, in light of the Goodman–Myhill result, to capture a genuinely constructive notion of set. (shrink)

In ‘The Mind's I is Illiterate’, G. S. Miller discusses several paradoxes and paradoxical sentences which Miller claims are related by a common abuse of language. The Whiteley sentence ‘Lucas cannot consistently believe this sentence’ fails to be meaningful for want of a referent outside of the sentence for the phrase ‘this sentence’; the Liar Paradox when formulated as ‘I am lying’ is similarly disposed of when it is seen that the verb is defective and the sentence fails to (...) refer to anything outside of itself. The same point is made concerning the Russell Paradox of the set of all sets that do not belong to themselves. The moral made is that philosophers are simply to be more careful about the laneuaee that thev are usine and then the paradoxes will go away. (shrink)

Given the harmony principle for logical operators, compositionality ought to ensure that harmony should obtain at the level of whole contents. That is, the role of a content qua premise ought to be balanced exactly by its role as a conclusion. Frege's contextual definition of propositional content happens to exploit this balance, and one appeals to the Cut rule to show that the definition is adequate. We show here that Frege's definition remains adequate even when one relevantizes logic by abandoning (...) an unrestricted Cut rule. The proof exploits the fact that in the relevantized logic, which abandons the unrestricted rule of Cut, any failure of the transitivity of deduction is offset by the epistemic gain involved in learning that a stronger-than-expected result holds. (shrink)

The system of natural deduction that originated with Gentzen , and for which Prawitz proved a normalization theorem, is re-cast so that all elimination rules are in parallel form. This enables one to prove a very exigent normalization theorem. The normal forms that it provides have all disjunction-eliminations as low as possible, and have no major premisses for eliminations standing as conclusions of any rules. Normal natural deductions are isomorphic to cut-free, weakening-free sequent proofs. This form of normalization theorem renders (...) unnecessary Gentzen's resort to sequent calculi in order to establish the desired metalogical properties of his logical system.Ultimate normal forms are well-adapted to the needs of the computational logician, affording valuable constraints on proof-search. They also provide an analysis of deductive relevance. There is a deep isomorphism between natural deductions and sequent proofs in the relevantized system. (shrink)

The author argues that the primary lesson of the so-Called logical and semantical paradoxes is that certain entities do not exist, Entities of which we mistakenly but firmly believe that they must exist. In particular, Russell's paradox teaches us that there is no such thing as the property which every property has if and only if it does not have itself. Why should anyone think that such a property must exist and, Hence, Conceive of russell's argument as a paradox rather (...) than a proof for the nonexistence of this property? the author traces this conviction to an uncritical acceptance of the so-Called principle of property abstraction and claims that this principle is false. It is simply not true, As one widely assumes, That propositional forms represent (complex) properties. Then it is argued, On independent grounds, That there are no complex properties, But only complex states of affairs. (shrink)

This paper rebuts criticisms by Hintikka of the author's account of game-theoretic semantics for classical logic. At issue are (i) the role of the axiom of choice in proving the equivalence of the game-theoretic account with the standard truth-theoretic account; (ii) the alleged need for quantification over strategies when providing a game-theoretic semantics; and (iii) the role of Tarski's Convention T. As a result of the ideas marshalled in response to Hintikka, the author puts forward a (...) new conjecture concerning the relationship among truth, meaning and translation. (shrink)

The one-page 1978 informal proof of Goodman and Myhill is regimented in a weak constructive set theory in free logic. The decidability of identities in general (⁠|$a\!=\!b\vee\neg a\!=\!b$|⁠) is derived; then, of sentences in general (⁠|$\psi\vee\neg\psi$|⁠). Martin-Löf’s and Bell’s receptions of the latter result are discussed. Regimentation reveals the form of Choice used in deriving Excluded Middle. It also reveals an abstraction principle that the proof employs. It will be argued that the Goodman–Myhill result does not provide the (...) constructive set theorist with a dispositive reason for not adopting (full) Choice. (shrink)

It is shown how Tarski’s 1929 axiomatization of mereology secures the reflexivity of the ‘part of’ relation. This is done with a fusion-abstraction principle that is constructively weaker than that of Tarski; and by means of constructive and relevant reasoning throughout. We place a premium on complete formal rigor of proof. Every step of reasoning is an application of a primitive rule; and the natural deductions themselves can be checked effectively for formal correctness.

Peacocke argues for a ‘generalized rationalism’, holding that ‘all entitlement has a fundamentally a priori component.’ (2) But his rationalism ‘differs from those of Frege and Gödel, just as theirs differ from that of Leibniz.’ He requires both substantive theories of intentional content and of understanding, and systematic formal theories of referential semantics and truth. We need an externalist theory of content: ‘Only mental states with externally individuated contents can make judgements about the external, mind-independent world rational.’ (123) Purely evidential (...) conceptions of meaning and content are inadequate. (34-49) They cannot account for the following: a thinker often has to work out what would be evidence for a content; contents cannot depend, for their identity, on all of the infinitely ramifying evidential connections among them; and thinkers conceive, however tacitly, of (at least some) observed properties as categorical. By contrast with an evidential theory, a truthconditional theory of content can account for all these problematic facts. Peacocke states, develops and defends three principles of rationalism which collectively ‘relate entitlement to truth, to the identity of states and their intentional contents, and to the a priori.’ (3-4) He does not thoroughly explain his central notion of entitlement, but this much is clear: any thinker is entitled to various transitions in, or into, thought. An example of a transition into thought would be that from one’s perceptual experience to an observational judgment. An example of a transition in thought would be a logical inference from certain premises to a conclusion. A transition is rational just in case the thinker is entitled to it. (Note that this aims to explain rationality in terms of entitlement, not the other way round.) It is clear from 28 that Peacocke needs an abstract ontology of entitlements (such as proofs, in the case of mathematics). Yet he does not endorse ‘Gödel’s obscure quasi-perceptual and quasi-causal epistemology of mathematics and the abstract sciences.’ (54.. (shrink)

This paper explores the relationship borne by the traditional paradoxes of set theory and semantics to formal incompleteness phenomena. A central tool is the application of the Arithmetized Completeness Theorem to systems of second-order arithmetic and set theory in which various “paradoxical notions” for first-order languages can be formalized. I will first discuss the setting in which this result was originally presented by Hilbert & Bernays (1939) and also how it was later adapted by Kreisel (1950) and Wang (1955) in (...) order to obtain formal undecidability results. A generalization of this method will then be presented whereby Russell’s paradox, a variant of Mirimanoff’s paradox, the Liar, and the Grelling–Nelson paradox may be uniformly transformed into incompleteness theorems. Some additional observations are then framed relating these results to the unification of the set theoretic and semantic paradoxes, the intensionality of arithmetization (in the sense of Feferman, 1960), and axiomatic theories of truth. (shrink)

Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms of (...) each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback. (shrink)

This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant. Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.

This volume is a tribute by his peers, and by younger scholars of the next generation, to Harvey M. Friedman, perhaps the most profound foundationalist since Kurt Godel. Friedman's researches, beginning precociously in his mid-teens, have fundamentally shaped our contemporary understanding of set theory, recursion theory, model theory, proof theory and metamathematics. His achievements in concept formation and theory formulation have also renewed the standard set by Godel and Alfred Tarski for the general intellectual interest and importance of technical (...) work in foundations. Friedman pioneered the now well-established and flourishing field of Reverse Mathematics, whose aim is to calibrate the intrinsic logico-mathematical consistency-strength of all the important theorems of mathematics. He has relentlessly pursued the full extent of the incompleteness phenomena into which Godel provided the first revealing glimpse. The Godel--Friedman program, as it is now deservingly called, seeks to find simple, natural and elegant mathematical statements of a combinatorial nature, that can be proved to be independent of set theory even when extended by powerful large-cardinal existence axioms. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be (...) used to manufacture paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (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)

This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church’s intensional logic. A predicative response places restrictions on the full comprehension schema, which asserts that every formula determines a higher-order entity. In addition to motivating the restriction on the comprehension schema from intuitions about the stability of reference, this paper contains a consistency proof for the predicative response to the Russell-Myhill paradox. The models used to establish this consistency also model other (...) axioms of Church’s intensional logic that have been criticized by Parsons and Klement: this, it turns out, is due to resources which also permit an interpretation of a fragment of Gallin’s intensional logic. Finally, the relation between the predicative response to the Russell-Myhill paradox of propositions and the Russell paradox of sets is discussed, and it is shown that the predicative conception of set induced by this predicative intensional logic allows one to respond to the Wehmeier problem of many non-extensions. (shrink)

The paradox of mass voting is not, generally speaking, matched by a paradoxical mass attempt to be politically well informed. As Converse underscored, most people are grossly politically ignorant—just as they would be if, as rational‐ignorance theory holds, they realized that their votes don't matter. Yet many millions of them contradict the theory by voting. This contradiction, and the illogical reasons people offer for voting, suggest that the logic of collective action does not come naturally to people. To equate public (...) ignorance with “rational ignorance,” then, attributes too much theoretical self‐consciousness to people. Even if their ignorance is not based on a grasp of the collective‐action problem, however, people's political ignorance is “rational”: but it is less a matter of calculating the low benefit likely to flow from one vote in a sea of millions, than of encountering the much higher cost of being well informed as compared to voting. As the high cost of becoming well informed appears likely to grow, it may be advisable to move off of the political agenda issues that have no clear continuum toward which a mostly ignorant median voter may gravitate. (shrink)

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by (...) recent work in formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory. (shrink)

One recently proposed solution to the Liar paradox is the contextual theory of truth. Tyler Burge (1979) argues that truth is an indexical notion and that the extension of the truth predicate shifts during Liar reasoning. A Liar sentence might be true in one context and false in another. To many, contextualism seems to capture our pre-theoretic intuitions about the semantic paradoxes; this is especially due to its reliance on the so-called Revenge phenomenon. I, however, show (...) that Super-Liar sentences (where a Super-Liar sentence is a sentence which says of itself that it is not true in any context) generate a significant problem for Burge’s contextual theory of truth. (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)