The standard interpretation of Avicenna's correspondence theory of truth posits that propositions either correspond to what exists extramentally or otherwise their truthmaker is mental existence. An influential post-Avicennian philosopher, Naṣīr al-Dīn Ṭūsī (d. 1274) points to the insufficiency of the above division of propositions and their respective truthmakers. He mentions the possibility of conceiving false propositions, such as ‘One is not half of two’ and postulates the necessity of the existence of another truthmaking domain for their true counterparts (...) which he calls nafs al-amr. It is where objective and timeless entities, such as mathematical propositions, are located. While some claim that Ṭūsī's identification of this domain with the first Separate Intellect is a testimony to his Avicennian convictions, Ṭūsī's solution is a conspicuous departure from Avicenna that not only helps him remedy the insufficiency of Avicenna's theory of truth but is consistent with his critique of Avicenna's theory of God’s knowledge. (shrink)

The standard interpretation of Avicenna's correspondence theory of truth posits that propositions either correspond to what exists extramentally or otherwise their truthmaker is mental existence. An influential post-Avicennian philosopher, Naṣīr al-Dīn Ṭūsī (d. 1274) points to the insufficiency of the above division of propositions and their respective truthmakers. He mentions the possibility of conceiving false propositions, such as ‘One is not half of two’ and postulates the necessity of the existence of another truthmaking domain for their true counterparts (...) which he calls nafs al-amr. It is where objective and timeless entities, such as mathematical propositions, are located. While some claim that Ṭūsī's identification of this domain with the first Separate Intellect is a testimony to his Avicennian convictions, Ṭūsī's solution is a conspicuous departure from Avicenna that not only helps him remedy the insufficiency of Avicenna's theory of truth but is consistent with his critique of Avicenna's theory of God’s knowledge. (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)

In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...) of the object language is specified exactly enough, and that the metatheory has a certain amount of set theoretic power,2 one can explicitly define truth in the object language. And what can be explicitly defined can be eliminated. It follows that the defined concept cannot give rise to any inconsistencies (that is, paradoxes). This gave new respectability to the concept of truth and related notions. Nevertheless, philosophers’ judgements on the nature and philosophical relevance of Tarski’s work have varied. It is my aim here to review and evaluate some threads in this debate. (shrink)

Book reviewed in this article: The Philosophical Assessment of Theology: Essays in Honour of Frederick C. Copleston. Edited by Gerard J. Hughes. Language, Meaning and God: Essays in Honour of Herbert McCabe OP. Edited by Brian Davies. God Matters. By Herbert McCabe. Philosophies of History: A Critical Essay. By Rolf Gruner. The ‘Phaedo’: A Platonic Labyrinth. By Ronna Burger. Lessing's ‘Ugly Ditch’: A Study of Theology and History. By Gordon E. Michalson, Jr. Peirce. By Christopher Hookway. Frege: Tradition and Influence. (...) Edited by Crispin Wright. The Private World. Selections from the Diario Íntimo and Selected Letters 1890–1936. By Miguel de Unamuno, translated by Anthony Kerrigan, Allen Lacy, Martin Nozick. A Third Collection: Papers by Bernard J.F. Lonergan, S.J. Edited by Frederick E. Crowe. Philosophical Papers. By Charles Taylor. 2 vols. Principles of Language and the Mind. By T.P. Waldron. The Principle of Double Effect: A Critical Appraisal of its Traditional Understanding and its Modern Reinterpretation. By L.I. Ugorji. Human Rights: Fact or Fancy By Henry B. Veatch. Enlightenment and Alienation: An Essay towards a Trinitarian Theology. By Colin Gunton. Only Human. By Don Cupitt. The Roots of the Modern Christian Tradition. Edited by E. Rpzanne Elder. ‘Africanische Theologie’: Darstellung und Dialog.. By Heribert Rücker. African Religions in Western Conceptual Schemes. By Emefie Ikenga Metuh. The Destiny of Man: Dagaare Beliefs in Dialogue with Christian Eschatology. By Edward Kuukure. The World in Between: Christian Healing and the Struggle for Spiritual Survival. By E. Milingo. Theology in Africa. By Kwesi A. Dickson. The Future of Anglican Theology. Edited by M. Darrol Bryant. Reconciling. By John Coventry. The Genesis of Faith: The Depth Theology of Abraham Joshua Heschel. By John C. Merkle. Anthropology in Theological Perspective. By Wolfhart Pannenberg. Contemporary Approaches to the Study of Religion. Volume II: The Social Sciences. Edited by Frank Whaling. American Sociology: Worldly Rejections of Religion and Their Directions. By Arthur J. Vidich and Stanford M. Lyman. A Critical Theory of Religion: The Frankfurt School. By Rudolf J. Siebert. The Anthropology of Evil. Edited by David Parkin. The Wealth of Christians. By Redmond Mullin. Biblical Interpretation in Ancient Israel. By Michael Fishbane. Reading the Old Testament: An Introduction. By Lawrence Boadt. Old Testament Theology: Its History and Development. By John H. Hayes and Frederick C. Prussner. God's Conflict with the Dragon and the Sea: Echoes of a Canaanite Myth in the Old Testament. By John Day. Law and Wisdom from Ben Sira to Paul. By Eckhard J. Schnabel. The Order of the Synoptics: Why Three Synoptic Gospels? By Bernard Orchard and Harold Riley. The Making of Mark. By J. Duncan M. Derrett. Argumentation bei Paulus. By Folker Siegert. Christians and the Military: The Early Experience. Edited by Robert J. Daly. Origienes' Eucharistielehre im Streit der Konfessionen; Die Auslegungsgeschichte seit der Reformation. By Lothar Lies. L'église de Cappadoce au IVe siècle d'après la correspondance de Basile de Césarée. By Benpit Gain Cave Monasteries of Byzantine Cappadocia. By Lyn Rodley. Augustine of Hippo, Selected Writings. Translated with an Introduction by Mary T. Clark. Wisdom from St Augustine. By Vernon J. Bourke. A History of Religious Ideas, Vol. 3: From Muhammad to the Age of Reforms. By Mircea Eliade. Les Lectionnaires Copies Annuels: Basse‐Egypte. By Ugo Zanetti. Humanism and Scholasticism in Late Medieval Germany. By James H. Overfield. Wyclif. By Anthony Kenny. The Lady and the Virgin: Image, Attitude and Experience in Twelfth Century France. By Penny Shine Gold. Unquiet Souls: Fourteenth‐Century Saints and Their Religious Milieu. By Richard Kieckhefer. Luther: Theologian for Catholics and Protestants. Edited by George Yule. La Réforme Catholique: Le Combat de Maldonat. By Paul Schmitt. Roman Catholicism in England: From the Elizabethan Settlement to the Second Vatican Council. By Edward Norman. The Life of David Brainerd. Edited by Norman Pettit. Nineteenth Century Religious Thought in the West. Edited by Ninian Smart, John Clayton, Patrick Sherry and Steven T. Katz The Significance of Jesus Christ in Asia. By Hans Staffner. Is the Virgin Mary Appearing at Medjugorje? By René Laurentin and Ljudevit Rupčić. Mary Queen of Peace: Is the Mother of God Appearing in Medjugorje? By Lucy Rooney and Robert Fancy. (shrink)

The author, who received his doctorate from Syracuse University and is head of the department of philosophy at Western Kentucky University, offers in this study "an interpretation of Augustine's doctrine of illumination that is significantly different from the ones proposed by scholars who belong to the Thomist tradition." Before addressing himself to the doctrine of illumination, he devotes more than half of the book to an overview of Augustine's epistemology. In these preliminary chapters he discusses the structure of St. Augustine's (...) theory of knowledge, and then Augustine's ideas on skepticism and truth, faith, sensation, and cogitation. The doctrine and texts covered in these chapters will be familiar to anyone who has devoted much time to the study of Augustine's thought. However, the author's treatment is noteworthy for its clear and succinct style. The sixth chapter broaches the question of man's knowledge of the rationes aeternae. Negatively, Augustine explicitly rejected some explanations of how man's mind can know the forms in the divine mind. Positively, "Augustine's theory of illumination includes at least three major points: God is light and illumines all men to different degrees; There are intelligible truths, the rationes aeternae, which God illumines; and the mind of man can know the divine truths only as God illumines him." The final two chapters are devoted to four interpretative theories of Augustine's notion of illumination. Three of these theories Dr. Nash rejects: that of St. Thomas which identifies the divine light and the agent intellect; the Franciscan theory which attributes the function of the agent intellect to God; the Formal approach, ascribed to Gilson and Copleston among others, which maintains that "the function of illumination... is not to give the human mind some definite content but simply to convey the quality of certainty and necessity to certain ideas." Arguing that all these theories are inadequate, the author then presents his own interpretation, a modified ontologism, which he feels provides a solution to the key paradoxes in Augustine's theory of illumination. Although one wishes that the author had discussed more fully man's knowledge of God, and although there may be need for a more careful scrutiny of Augustine's use of cogitatio, this book is to be recommended as a lucid discussion of a difficult subject. The index and notes are helpful, and the book well made.--H. F. (shrink)

Michael Lynch’s Truth as One and Many is a contribution to the large body of philosophical literature on the nature of truth. Within that genre, advocates of truth-as-correspondence, advocates of truth-as-coherence, and the like, all hold that truth has a single underlying metaphysical nature, but they sharply disagree as to what this nature is. Lynch argues that many of these views make good sense of truth attributions for a limited stretch of discourse, but (...) he adds that each of the contenders also faces a ‘scope problem’, in that none of them makes sense of all legitimate truth attributions. Some deflationists make similar observations – usually less concessive – and conclude that truth simply has no substantial, underlying nature. There is nothing for the philosopher to articulate and defend. Lynch agrees with deflationists that the realm of discourse is too diverse for any single ‘first-level’ property, such as correspondence or coherence, to fully characterize it, but against deflationism, he holds that truth does have a nature. He presents a functionalist theory. The definition is this: x is true if, and only if, x has a property that plays the truth-role. According to Lynch, the truth-role is given in terms of what he calls the ‘core truisms’ of the folk concept of truth. These are platitudes that hold of the everyday notion, and are such that anyone who denies all of them can be accused of changing the subject – of not talking about truth. A given property T plays the truth-role for a batch of propositions, just in case, for any proposition P in the batch: P is T if, and only if, where P is believed, things are as they are believed to be; other things being equal, it is a worthy goal …. (shrink)

Not-I/Thou: The Other Subject of Art & Architecture is to be a highly focused exhibition/folio of works by perhaps 12 artists (preferably little-known or obscure), with precise commentaries denoting the discord between the autonomous object (the artwork or architectural object per se) and the larger field of reference (worlds); inference (associative magic), and insurrection (against power and privilege) – or, the Immemorial. Engaging the age-old “theological apparatuses” of the artwork, the folio is intended to upend the current fascination with personality, (...) celebrity, and fashion to reach the timeless horizon of the subject of Art and Architecture as the subject other than the subject of Art and Architecture proper. Word as image, and image as word, is the central paradox given to this discord – an elective, yet universal condition that also makes certain art and architectural works heedlessly existential-metaphysical (and, therefore, “theological”). This paper, as part of the essay “White Paper: Gray Areas and Black Zones,” is a preliminary investigation of the conceptual architecture for the overall, ongoing exhibition/book project. (shrink)

The correspondence theory of truth is a precise and innovative account of how the truth of a proposition depends upon that proposition's connection to a piece of reality. Joshua Rasmussen refines and defends the correspondence theory of truth, proposing new accounts of facts, propositions, and the correspondence between them. With these theories in hand, he then offers original solutions to the toughest objections facing correspondence theorists. Addressing the Problem of Funny Facts, Liar Paradoxes, (...) and traditional epistemological questions concerning how our minds can access reality, he challenges recent objections, and defends what has traditionally been the most popular theory of truth. Written with clarity, precision, and sensitivity to a range of philosophical backgrounds, his book will appeal to advanced students and scholars seeking a deeper understanding of the relationship between truth and reality. (shrink)

I defend a novel pragmatist account of truth that I call ‘truth from the agent point of view’ or ‘agential truth’, drawing on insights from Hilary Putnam. According to the agential view, as inquirers, when we take something to be truth-apt, we are taking ourselves and all other thinkers to be accountable to getting right a shared target that is independent of any individual's or community's view of that target. That we have this relationship to (...) truth is what enables our practices of disagreement and agreement, even when subject to the glare of self-conscious reflection, and represents a crucial ingredient in our capacity for rational thought. The resulting account shares elements with Huw Price's and Cheryl Misak's views, but also has important advantages over both. It also yields a surprising conclusion—that our best pragmatist account of truth may well be a version of the correspondence theory of truth. (shrink)

This paper aims to explore the relationship between the necessity predicate and the truth predicate by comparing two possible-world interpretations. The first interpretation, proposed by Halbach et al. (J Philos Log 32(2):179–223, 2003), is for the necessity predicate, and the second, proposed by Hsiung (Stud Log 91(2):239–271, 2009), is for the truth predicate. To achieve this goal, we examine the connections and differences between paradoxical sentences that involve either the necessity predicate or the truth predicate. A primary (...) connection is established through two translations that change only one of the predicates to the other while keeping everything else unchanged. We prove that in bijective frames, a set of sentences that contains one of the two semantic predicates has the same paradoxicality as the corresponding set of sentences that contains the other predicate obtained through translation. However, there are substantial differences as well. First, the necessity predicate and the truth predicate, under the two interpretations, cannot be defined by each other. Moreover, for sentences that involve only the truth predicate, their paradoxicality is preserved under the homomorphisms of frames. For sentences containing the necessity predicate, their paradoxicality is preserved under bounded morphisms, but none of these sentences can have their paradoxicality preserved under the extension of frames. Finally, we also show that paradoxical sentences involving the necessity predicate and those involving the truth predicate differ significantly in terms of mirror symmetry, circularity dependence, and frame compactness. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories (...) meets the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural (...) deduction system for LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. (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 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 accessibly written book surveys all of the major competing theories of truth before formulating the new defence of the correspondence theory and then exploring the consequences of the theory for issues in epistemology and ontology. The book concludes by showing how the idea of 'propositional depth' can be used to dissolve the Liar paradoxes."--BOOK JACKET.

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 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)

My main aim in my thesis is to show that, contrary to the commonly held belief according to which Aristotle was the first to conceive and develop intellectual virtues, there are strong indications that Plato had already conceived and had begun developing the concept of intellectual virtues. Nevertheless, one should not underestimate the importance of Aristotle’s work on intellectual virtues. Aristotle developed a much fuller (in detail and argument) account of both, the concept of ‘virtue’ and the concept of ‘ (...) class='Hi'>intellect’, metaphysically, epistemologically and psychologically. Still, the first conception of intellectual virtues is to be found in the Platonic corpus. Such a realization is not only of historic interest, but most importantly, as I am going to show, the Platonic conception of intellectual virtues could prove promising in contemporary debates on virtue epistemology theories and in virtue-based approaches to education. Plato’s discussion of rational desires is the strongest indication of the presence of the concept of intellectual virtues in Platonic dialogues. Rational desires are constitutive of intellectual virtues: desires are dispositional; rational desires are dispositions to pursue rational goods. Intellectual virtues are such dispositions. Additionally, there is further evidence that Plato had conceived of intellectual virtues. His rigorous educational program in the Republic aims at the development of rational desires, while in the Symposium he discusses the intense rational desire to know the Good. Nevertheless, in order to be intellectually virtuous, one must not only have a desire for knowledge; one must also be systematically and reliably successful in achieving the end of their rational desires. I will show that the success component of Plato’s intellectual virtues can be found in his dialectic method. Plato’s dialectic is both a virtue developer and a reliable method used by philosophers in order to reach the objects of their rational desires. I will argue that episteme is one of Plato’s primary intellectual virtues. Towards this end, I will invoke Pritchard’s recent argument according to which understanding, which is distinct from knowledge, is a form of cognitive achievement and therefore what is finally valuable. I will argue, based on textual evidence from the middle Platonic dialogues and recent discussions in the exegetical literature, that Plato’s episteme, although commonly translated as knowledge, is closer to Pritchard’s conception of understanding. I will also show that Plato’s episteme, similarly to Pritchard’s conception of understanding, is a cognitive achievement that cannot be attained by luck or testimony. The Platonic conception of intellectual virtues has something unique to offer to contemporary virtue epistemology. Plato, unlike Aristotle, does not differentiate between theoretical and practical wisdom. A wise agent, according to Plato, is wise in both practical and theoretical matters. Moreover, Plato, unlike Aristotle does not make a sharp distinction between moral and intellectual virtues. Therefore, the Platonic conception of intellectual virtues, in comparison to the Aristotelian, offers a more suitable starting point for scholars who want to argue that intellectual virtues are but a subpart of moral. Furthermore, I will argue that the Platonic conception of intellectual virtues is also of significant merit for virtue-based approaches to education. Plato questioned whether we can attain knowledge but nevertheless went on to develop his Socratically inspired theory of education according to which we can teach learning without knowing. Socrates proclaimed his ignorance numerous times; nevertheless, he went on to educate the youth of Athens. This is what I will suggest that Plato’s notion of intellectual virtues can contribute to theories of education: we should teach children not by transferring knowledge to them directly but by building dispositions into them to seek and acquire the truth. I will argue that although somewhat ignored by contemporary scholars, Plato’s theory of education has much to teach us about epistemic character education today. The Platonic educational program does not advocate the direct transmission of knowledge from the teacher to the student but rather focuses on building the learners’ epistemic dispositions. Building upon the Socratic method, Plato’s educational program does not “spoon-feed” knowledge to the learners but rather fosters the growth of intellectual virtues through problem-solving. The Platonic decades long educational regime aims at training Philosopher-Kings in three types of virtue: (i) Moral Virtue; (ii) the Cognitive Virtue of Abstraction; (iii) the Cognitive Virtue of Debate. I will explain ways in which fostering intellectual virtues through problem-solving could be applied in classrooms today and I will argue that Plato’s rigorous education program is of definite merit for contemporary theories of education, especially given the fact that scholars in the field are looking for alternatives to the traditional methods of teaching. I will also dedicate a section to showing that Socrates was not a moral philosopher but rather an epistemic character builder. Socrates trained his students/interlocutors in desiring the truth without offering them any knowledge-education. I will also briefly highlight some of the most significant differences between the Platonic educational program, as described in the Republic, and the Socratic educational method. I will also discuss, before concluding my thesis, two different accounts of educational failure as presented by Plato in the Republic. The first one is the individuals employing the eristic method (as a result of failure in dialectic education) and the second is the individuals who correspond to the four imperfect societies (brought about again by the lack of proper education). I will argue that these two accounts can inform our understanding of what should be avoided when educating for epistemic (and moral) virtue nowadays. (shrink)

The article examines main competing conceptions of the cor­respondence theory of truth. First, the author investigates pos­sible candidates for the role of truth-bearers. Among those he examines following entities: instances of sentences as concrete sequences of symbols (sounds or letters), which should satisfy wide scope of requirements, such as to be grammatical, mean­ingful, affirmative and so on; abstract propositions, which are ex­pressed by concrete sentences; utterances (either explicit or in lingua mentalis); beliefs of agents as their special mental (...) states. Then he turns to the study of possible candidates for the role of truth-makers, i.e. of those entities to which truth-bearers should correspond to be true. He observes states of affairs, situations, facts and mereological sums of individuals. Then he shows that a notion of correspondence is a functional relationship of interpre­tation of linguistic expressions, where certain fragment of real­ity is taken as a model, i.e. as a finite set of elements on which some functions and relations can be operationally defined. He shows how in some simple cases such interpretation function can be built in operationalist’s manner. After that, he considers some natural objections to this approach, which point that he has no direct cognitive access to the actual world, so it is not possible to take its fragments as a model for any theory. Such objections lead us to the coherentist’s approach, but he shows that the question about origin and status of so-called “specified set” implicitly either leads to infinite regress or requires certain correspondence on some level of investigation and reasoning. Finally, the authore presents some reflections on the meaning of correspondence approach for scientific realism and all other versions of realistic philosophy and metaphysics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 27.1 (2003) 134-150 [Access article in PDF] Deception and Intentional Transparency:The Case of Writing Jeff Karon Intention never to deceive lays us open to many a deception. —La Rochefoucauld, MaximsWE LIVE IN DECEPTIVE TIMES. We anticipate the latest exposé of corporate greed, personal aggrandizement, or government cover-up, and yearn for yesterday's supposed truthfulness and integrity. Lies and other forms of deceptive behavior degrade our characters, unravel (...) the fabric of civil society, and threaten our progress toward the good life.We also fear the loss of public civility and etiquette, wishing instead that others still treated us with the respect we deserve. Deception is bad enough; now we must bear rude neighbors, supervisors, colleagues, merchants, and all manner of strangers. Yet deception and rudeness together generate a paradox: the lost standards we lament—ones that direct people to treat others as valuable ends rather than means—include specific forms of conduct that avoid inflicting unnecessary pain or creating unnecessary conflict. Whether in the personal or professional sphere, the written and unwritten rules of etiquette often bid us to employ euphemisms and other misdirections so that our listeners or readers will not be offended, thus maintaining the social fabric by means of benign deceit. How, then, can we possibly hope to live ethical lives without necessarily employing deception?The answer is that we cannot. By expanding the category of acts usually analyzed in ethics to include the extended writing act, we can appreciate how deception is wound tightly into the moral life, a result that is not widely accepted in moral philosophy. Sissela Bok's seminal [End Page 134] books Secrets and Lying, for example, advocate deception in extraordinary circumstances of personal or national security, but do not allow for its constant deployment to navigate life's daily vicissitudes. 1 The complex, everyday act of writing helps us see past this simplification.Recent books by David Nyberg, Jeremy Campbell, John Vignauz Smyth, Dariusz Galasinski, and Charles V. Ford attest to our fascination with social deception, providing philosophical, literary, linguistic, and psychological insights into real-life examples. 2 As instances pile up, we begin to appreciate how deception is woven closely into our lives. This point receives a brash formulation in Arnold Ludwig's 1965 The Importance of Lying: "[W]hen we find the lie, hypocrisy and deception used so widely by man, we are forced to wonder whether this behavior represents some moral failure or weakness or whether, in fact it plays some more important biological or survival role for man. Perhaps, without resorting to lying or self-deception, man would find life intolerable and existence impossible." 3 More recent authors have tried to rehabilitate deception by choosing familiar cases that seem benign in both intention and effect, thus avoiding a justification built solely on survival needs. The next step, however, should move us beyond the empirical question of just how common deception is to a different one: are there widely shared features that make these cases candidates for moral approval, even if subsequent events require that we ultimately withhold that approval? Writing, by its very nature, demonstrates that moral reasoning always must take account of deception by triangulating between an author's supposed intentions, supposed character, and the eventual reception in the world by a real audience. And as writing pervades our lives, so do the possibilities for justified deception. I Those who study deception rarely agree on any universal characteristic except one: lying, a particularly direct form of deception, always is intentional. A corresponding minimal assumption for writing would be the following: Writing, in the absence of some very peculiar story-telling, is intentional. This minimal assumption ought to be admitted, though one fashionable current in literary studies runs against it. Language works by itself, "deconstructs itself," for example, without the direct intervention of an agent. Language "speaks us," and so on, in lyrical, mystifying formulations that offer inspiration for the critic as an [End Page 135] explorer of a far, exotic land, but little solid geography for those who wonder at what point in the... (shrink)

In a recent no-go theorem [Bong et al., Nature Physics (2020)], we proved that the predictions of unitary quantum mechanics for an extended Wigner’s friend scenario are incompatible with any theory satisfying three metaphysical assumptions, the conjunction of which we call “Local Friendliness”: Absoluteness of Observed Events, Locality and No-Superdeterminism. In this paper (based on an invited talk for the QBism jubilee at the 2019 Växjö conference) I discuss the implications of this theorem for QBism, as seen from the point (...) of view of experimental metaphysics. I argue that the key distinction between QBism and realist interpretations of quantum mechanics is best understood in terms of their adherence to different theories of truth: the pragmatist versus the correspondence theories. I argue that a productive pathway to resolve the measurement problem within a pragmatist view involves taking seriously the perspective of quantum betting agents, even those in what I call a “Wigner bubble”. The notion of reality afforded by QBism, I propose, will correspond to the invariant elements of any theory that has pragmatic value to all rational agents—that is, the elements that are invariant upon changes of agent perspectives. The classical notion of ‘event’ is not among those invariants, even when those events are observed by some agent. Neither are quantum states. Nevertheless, I argue that far from solipsism, a personalist view of quantum states is an expression of its precise opposite: Copernicanism. (shrink)

This chapter contains sections titled: Plato's Theory Convention T Tarski's Theory of Truth The Liar Paradox Disquotation and Correspondence.

Aristotle holds that rational agents can think true thoughts about their practical ends. Specifically, we can think true thoughts about whether our ends are good and able to be brought about in action. But what makes these thoughts true? What sort of thing is a practical end, such that it both is good, and also may be brought about in the future? These questions are difficult to answer. They are metaphysical questions about Aristotle’s practical philosophy: they ask what practical ends (...) are, such that they can make true certain parts of our practical thinking. What is more, key claims in Aristotle’s account of rational agency seem to make it impossible for thoughts about our practical ends to ever, in fact, be true. Given the ways in which we think about our ends, there seems to be nothing in the world to which these thoughts truthfully correspond. In this paper, I identify and solve two puzzles for Aristotle’s claim that we can think true thoughts about our practical ends. These puzzles have not been discussed in recent literature, but they have potentially wide-reaching consequences for Aristotle’s account of rational agency and motivation. My solution offers a novel account of the metaphysics of practical ends, which explains how these ends can be truth-makers for our thoughts about them. I argue that we should understand practical ends on the model of first actualities, which are also second potentialities. The idea that some actualities are also potentialities is a complicated one, but as I hope to show, it yields a straightforward and illuminating conception of practical ends. It also adds a crucial metaphysical component to Aristotle’s account of rational agency, one which shows how this account is internally consistent. (shrink)

This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...) the case or not. The motivating interpretation of probability as an agent's degrees of belief will be focused on throughout the thesis. -/- This thesis aims to answer two questions relevant to such frameworks, which correspond to the two parts of the thesis: “How can one develop a formal semantics for this framework?” and “What rational constraints are there on an agent once such expressive frameworks are considered?”. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose (...) an account of logic and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

We show that various paradoxes can arise in a natural class of social networks. They demonstrate that more services or products may have adverse consequences for all members of the network and conversely that restricting the number of choices may be beneficial for every member of the network. These phenomena have been confirmed by a number of empirical studies. In our analysis we use a simple threshold model of social networks introduced in Apt and Markakis, and more fully in Apt (...) and Markakis. In this model the agents, influenced by their neighbours, can adopt one out of several alternatives. We identify and analyze here four types of paradoxes that can arise in these networks. These paradoxes shed light on possible inefficiencies arising when one modifies the sets of products available to the agents forming a social network or the network structure. One of the paradoxes corresponds to the well-known Braess paradox in congestion games and shows that by adding more choices to a node, the network may end up in a situation that is worse for everybody. We exhibit a dual version of this, according to which removing a product available to an agent can eventually make everybody better off. The other paradoxes that we identify show that by adding or removing a product from the choice set of an agent may lead to permanent instability. Finally, we also identify conditions under which some of these paradoxes cannot arise. (shrink)

Philosophers are interested in a constellation of issues involving the concept of truth. A preliminary issue, although somewhat subsidiary, is to decide what sorts of things can be true. Is truth a property of sentences (which are linguistic entities in some language or other), or is truth a property of propositions (nonlinguistic, abstract and timeless entities)? The principal issue is: What is truth? It is the problem of being clear about what you are saying when you (...) say some claim or other is true. The most important theories of truth are the Correspondence Theory, the Semantic Theory, the Deflationary Theory, the Coherence Theory, and the Pragmatic Theory. They are explained and compared here. Whichever theory of truth is advanced to settle the principal issue, there are a number of additional issues to be addressed: i. Can claims about the future be true now? ii. Can there be some algorithm for finding truth – some recipe or procedure for deciding, for any claim in the system of, say, arithmetic, whether the claim is true? iii. Can the predicate “is true” be completely defined in other terms so that it can be eliminated, without loss of meaning, from any context in which it occurs? iv. To what extent do theories of truth avoid paradox? v. Is the goal of scientific research to achieve truth? Table of Contents.. (shrink)

This chapter contains sections titled: Nature: Two Conceptions of Truth Background on Logic and Paradox Nature and Logic And Now Revenge References.

This thesis develops a deeper understanding of and provides an answer to the paradox of deontology. Traditional deontological views include deontic constraints that prohibit us from harming innocent people even to prevent greater harms of the same type. Although constraints correspond to widely shared moral intuitions, they seem to make traditional deontology unavoidably paradoxical: for how can it ever be morally wrong to minimise morally objectionable harm? The thesis argues that previous attempts to solve this paradox have been (...) insufficient because they have failed to distinguish clearly between two distinct puzzles that together constitute the paradox. The first puzzle—the rationality paradox—says that if we think that we should not harm others in a certain way, it is rational by default to think that we should minimise the occurrences of that kind of harm overall. Thus, to answer the rationality paradox the deontologist must justify constraints by reference to some value that cannot be furthered by minimising the occurrences of harm. However, this will make her vulnerable to a second puzzle—the value paradox—which says that in the face of the severe harm that awaits the greater number of individuals, it seems morally inappropriate to be concerned with anything other than the minimisation of the occurrences of that kind of harm overall. The thesis develops a comprehensive approach that can address both these paradoxes. The hyperinviolability account developed in this thesis shows that traditional deontology ceases to appear paradoxical once we understand it as an agent-neutral moral theory that gives priority to our moral standing over the moral significance of what might happen to us. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual (...) semantic connection of sentences, above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Multi-agent scenarios, like Wigner’s friend and Frauchiger–Renner scenarios, can show contradictory results when a non-classical formalism must deal with the knowledge between agents. Such paradoxes are described with multi-modal logic as violations of the structure in classical logic. Even if knowledge is treated in a relational way with the concept of trust, contradictory results can still be found in multi-agent scenarios. Contextuality deals with global inconsistencies in empirical models defined on measurement scenarios even when there is local consistency. (...) In the present work, we take a step further to treat the scenarios in full relational language by using knowledge operators, thus showing that trust is equivalent to the Truth Axiom in these cases. A translation of measurement scenarios into multi-agent scenarios by using the topological semantics of multi-modal logic is constructed, demonstrating that logical contextuality can be understood as the violation of soundness by supposing mutual knowledge. To address the contradictions, assuming distributed knowledge is considered, which eliminates such violations but at the cost of lambda-dependence. We conclude by translating the main examples of multi-agent scenarios to their empirical model representation, contextuality is identified as the cause of their contradictory results. (shrink)

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding of one (...) of philosophy's thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

The concept of truth is now a major research subject in analytic philosophy. At the same time, working in different areas, mathematical logicians have developed sophisticated theories of truth and its formal paradoxes. Recent developments of semantical paradoxes in logical theories are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, this volume intends to reflect (...) and promote deeper interaction and collaboration between philosophers and logicians investigating the concept of truth than has existed so far. In addition to an extended introductory overview of recent work in the theory of truth, the volume includes articles by leading philosophers and logicians on subjects and debates that interface logical and philosophical theories of truth. The volume is intended for graduate students in philosophy and in logic who want an introduction to contemporary research in this area, as well as for professional philosophers and logicians. Topics covered include a defense of minimalism, metaworlds, the role of correspondence theory, and truth, provability and its criteria. The volume includes contributions by John P. Burgess, Paul Horwich, and Michael Sheard. The contributors are united in their belief that at present the connections between truth and intentional notions are poorly understood, and the entire area is in an unsatisfactory state. Controversy abounds: Is truth a logical-mathematic concept or a properly philosophical one? Does truth pertain to temporal events or possible worlds? Axiomatic theories do not seem to possess the naturalness and elegance intentional notions of truth. The editors intend this volume to offer semantical guidance to those who would construct interesting axiomatic systems concerning intentional notions. Volker Halbach is on the faculty of philosophy of the Universitt Konstanz in Germany. He has contributed articles for Mind, Notre Dame Journal of Formal Logic, Journal of Symbolic Logic, Synthese, and other leading publications in philosophy. Leon Horsten is in the Department of Philosophy, University of Leuven. His work on the subject of this book has appeared in the Journal of Philosophical Logic. (shrink)

Anti-realist epistemic conceptions of truth imply what is called the knowability principle: All truths are possibly known. The principle can be formalized in a bimodal propositional logic, with an alethic modality ${\diamondsuit}$ and an epistemic modality ${\mathcal{K}}$, by the axiom scheme ${A \supset \diamondsuit \mathcal{K} A}$. The use of classical logic and minimal assumptions about the two modalities lead to the paradoxical conclusion that all truths are known, ${A \supset \mathcal{K} A}$. A Gentzen-style reconstruction of the Church–Fitch paradox (...) is presented following a labelled approach to sequent calculi. First, a cut-free system for classical bimodal logic is introduced as the logical basis for the Church–Fitch paradox and the relationships between ${\mathcal {K}}$ and ${\diamondsuit}$ are taken into account. Afterwards, by exploiting the structural properties of the system, in particular cut elimination, the semantic frame conditions that correspond to KP are determined and added in the form of a block of nonlogical inference rules. Within this new system for classical and intuitionistic “knowability logic”, it is possible to give a satisfactory cut-free reconstruction of the Church–Fitch derivation and to confirm that OP is only classically derivable, but neither intuitionistically derivable nor intuitionistically admissible. Finally, it is shown that in classical knowability logic, the Church–Fitch derivation is nothing else but a fallacy and does not represent a real threat for anti-realism. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:uippraisals from the 'Past THE CLEAREST INTELLECT OF OUR AGEl H UGH MACLENNAN 19°7-199° R cently I have been rereading Bertrand Russell, and in so doing I suddenly realized that lowe to this man a good deal of such happiness as I enjoy. Over the years I had forgotten how great my debt was, but when I reread one of his books which I first read as a (...) student, I understood the extent to which he had liberated me from the psychological sadism of Calvin and Knox, to whom I had been unduly exposed when young. It is probably impossible for anyone entirely to escape once these two have got their hands around his throat, but Russell enabled me to escape a litde. 1 [This essay was recently discovered during the cataloguing for BRACERS of an obscure class of correspondence. Mr. Joseph w. Devine had sent Russell a clipping of the essay's appearance in' the Philadelphia Sunday But/etin, of 15 July 1962. I had long thought, from reading Elspeth Cameron's Hugh MacLennan: a Writers Life (1981), that he showed signs not only of having been influenced by Russell but of being the sOrt of person who is attracted to Russell's way of thinking. A promising tide in the same scholar's bibliography ofMacLennan turned out to be a fuller version of the clipping. "The Clearest Intellect of Our Age" is reprinted from The Montreal Star, 14 July 1962, "Entertainments" sec., p. 5. Russell did influence MacLennan. Neither the Russell Archives nor the inventory of the Maclennan papers at the Universiry of Calgary reveals personal contact berween the rwo. I wish I had asked MacLennan about contacts and influence seventeen years ago, when I sent him an early issue of Russell He commented: ''1 found your journal fascinating and never before had read that beautiful thing Russell wrote in his early days with Whitehead:" He is referring to the essay on the status of women in No.6, now in Papers 12.-Ed.] russell: the Journal ofthe Benrand Russell Archives McMaster Unive..ity Libraty Press noS. 11 (summer 1991): 83-5 ISSN 00,6-01631 84 HUGH MACLENNAN I suppose he really is the greatest man alive, in the sense that his teaching grows and his teaching is good, but it is pointless to argue the point between him and Churchill. It is wonderful, however, that many think he is our greatest man and that he has become an international hero to millions of the thoughtful youth. He must be the first pure logician who ever was that. Until he took his stand against nuclear war, he never appealed to the passions. He lacked the aggressions which youth admires. He never said: "Come live with me and I will be your master"; or, "Follow me and I will purge you of your sins." He had no use for self-sacrifice as such. He simply said, in effect: "Happiness is good. If you desire it, you must be reasonable." As he was intelligent enough to know that anyone who teaches that happiness is good, and teaches how to achieve it, is sute to be considered subversive to a Christian-commercial society, he bore no personal resentment when society persecuted him. The young know, of course, that Russell is now assumed by the experts to be the most important philosopher since Hume, but that is not why they love him. They love him for the sublime civilization of his courage, for his refusal to let an intensely kind nature blunt his respect for truth. They love him because he loves life even in the twentieth century; and they love him most of all because he is engage. And of course they also love the wit which refuses to be made tongue-tied by those who insist that whenever one speaks of sex or religion one must be solemn. Russell's wit is worth the study of any writer. It is based on mathematics, and Russell would agree, I think, with the remark Camillien Houde once made to me when I asked the famous mayor of Montreal how he was always able to make people laugh. Houde replied... (shrink)

This is a collection of eighteen solicited papers on the topics of the title: circularity, definition, and truth. The papers are loosely connected in subject matter, but present a great variety of issues, theories, and approaches. Amongst the many subjects discussed are: the revision theory of truth and applications of revision rules, partiality and fixed point constructions, substitutional quantification, fuzzy logic, negation, belief revision, context dependence, hierarchies, Tarski on truth, deflationism, correspondence theories of truth, and (...) normative aspects of truth. The Liar paradox figures prominently in this collection, but is not alone. Other familiar paradoxes are also discussed, including paradoxes of definability, the Sorites paradox, and the Surprise Exam paradox. So-called paradoxes of rationality, such as the Prisoner’s Dilemma, receive attention as well. (shrink)

In line with the Principle of Uniform Solution, Graham Priest has challenged advocates like myself of the “multiple-meanings” solution to the paradoxes of truth and knowledge, due to the medieval logician Thomas Bradwardine, to extend this account to a similar solution to the paradoxes of denotation, such as Berry’s, König’s and Richard’s. I here rise to this challenge by showing how to adapt Bradwardine’s principles of truth and signification for propositions to corresponding principles of denotation and signification for (...) descriptive phrases, applying them to give a “multiple-meanings” solution to the denotational paradoxes. (shrink)

The aim of the present paper is to introduce a system, where the epistemic state of an agent is represented truth-functionally. In order to obtain this system, we propose a four-valued logic, that we call the logic of rational agent, where the fact of knowing something is formalized at the level of valuations, without the explicit use of epistemic knowledge operator. On the basis of this semantics, a sound and complete system with two distinct truth-functional negations (...) is provided. These negations allow us to express the statements about knowing or not knowing something at the syntactic level. Moreover, such a system is applied to the analysis of knowability paradox. In particular, we show that the paradox is not derivable in terms of the logic of rational agent. (shrink)

In the first chapter, we discuss Dummett’s idea that the notion of truth arises from the one of the correctness of an assertion. We argue that, in a first-order language, the need of defining truth in terms of the notion of satisfaction, which is yielded by the presence of quantifiers, is structurally analogous to the need of a notion of truth as distinct from the one of correctness of an assertion. In the light of the analogy between (...) predicates in Frege and open formulas in Tarksi, we concentrate on the semantic status of predicates. We register a dual attitude of Dummett towards Frege’s ascription of reference to predicates. On the one it is needed to endow quantifiers with their appropriate meaning. On the other hand, the introduction of concepts, as semantic correlate of predicates, smuggles a realist flavor in the overall semantic picture. In concluding the excursus (and with it the chapter), we stress Dummett’s will of developing a semantic picture free from this realist trait. In the second chapter, we present the idea of a proof-theoretic semantics. As for Frege true sentences denotes the truth-value True, so here closed' (i.e. categorical) valid argumentations denotes proofs. If a language contains implication-like operators, in order to characterize the condition of validity of a closed argumentation one has to introduce a notion of validity applying to ‘open’ (i.e. hypothetical) argumentations. We argue that this problem is analogous to the one posed by quantifiers in Frege-Tarksi’s style semantics. That is, implication forces one to introduce notion of validity for argumentations, which is more substantial than the correctness of the assertion of their conclusions. As we saw, the corresponding claim in the truth-based approach—that quantifiers require one to introduce a notion of truth, which is more substantial than the one of an assertion being correct—was the source of realism. Hence, Dummett proposes to reduce the semantic contribution of open argumentations to the one of their ‘closed instances’. In the truth-based perspective, this would correspond to the denial of the need of introducing concepts as the semantic correlates of predicates. We argue that Dummett’s fear, that an irreducible notion of function (represented by the need of ascribing validity to open argumentations) would lead to realism, turns out to be ill-founded. In the third chapter, we discuss the role played by the notion of truth in the anti-realist account. The notion of truth is what the anti-realist needs to cope with the so-called paradox of deduction. The analysis of the paradox yields to distinguishing between the truth of a sentence and the truth of a sentence being recognized. In terms of these conceptual couple, we reconsider the relationship between truth and assertion in an anti-realist perspective. Grounds are provided for a thesis (which was already advanced in chapter two), according to which the notion of the assertion of a sentence being correct is primarily connected only with the canonical means of establishing a sentence. The possibility of establishing a sentence by indirect means is conceptually dependent on the practice of establishing logical relationship of dependence among sentences. That is, the notion of a closed valid non-canonical argumentation is of any theoretical relevance only in presence of a notion of validity applying to open argumentations. In the fourth chapter, we discuss the possibility of characterizing in the proof-theoretic-semantics a notion of refutation. We develop an original characterization of refutations starting from an informal inductive specification of the condition of refutations of logically complex sentences. A sub-structural logic, called dual-intuitionistic logic, stands to this notion in the same relationship in which intuitionistic logic stands to the notion of proof so far consdered. All notions developed in chapter 2 have their corresponding (dual) ones in the framework developed. In particular, the distinctions canonical/non-canonical and closed/open argumentations. In the refutation based perspective, elimination rules have priority over introductions and the (only) assumption over the (many) conclusions. In the conclusions, we indicate the ingredients that an anti-realist approach to meaning should incorporate, in order to avoid the difficulties we registered. The core of an alternative view is a different conception of the relationship between categorical and hypothetical notions, in which the validity of open argumentations is not reduced to that of their instances, but rather it is directly defined. As a limit case, one would get a notion of validity applying to closed argumentations. (shrink)

Recently, it has been observed that the usual type-theoretic restrictions are not enough to block certain paradoxes involving two or more predicates. In particular, when we have a self-referential language containing modal predicates, new paradoxes might appear even if there are type restrictions for the principles governing those predicates. In this article we consider two type-theoretic solutions to multimodal paradoxes. The first one adds types for each of the modal predicates. We argue that there are a number of problems with (...) most versions of this approach. The second one, which we favour, represents modal notions by using the truth predicate together with the corresponding modal operator. This way of doing things is not only useful because it avoids multimodal paradoxes, but also because it preserves the expressive capacity of the language. As an example of the sort of theory we have in mind, we provide a type-theoretic axiomatization that combines truth with necessity and knowledge. (shrink)

The question of truth is perhaps a perennial question of philosophy. Is truth “merely” epistemological, a function of contingent human practices and conventions, or should we adopt a stonger, metaphysical conception of truth along realist lines, understood as correspondence with objectively existing reality? In this paper I examine a famous debate in the analytic philosophy of language that hinges on the status of truth – specifically, the challenge to traditional or metaphysical realism posed by Hilary (...) Putnam’s model-theoretic argument and the “paradox” that David Lewis derived from it. In the end, I will argue that metaphysical realism is a theoretically excessive position with regards to truth, and that a pragmatic or epistemological understanding of realism is, in Putnam’s words, “all the realism we want or need.”. (shrink)

On the basis of elementary thinking about language functioning, a solution of truth paradoxes is given and a corresponding semantics of a truth predicate is founded. It is shown that it is precisely the two-valued description of the maximal intrinsic fixed point of the strong Kleene three-valued semantics.

The so-called knowability paradox results from Fitch's argument that if there are any unknown truths, then there are unknowable truths. This threatens recent versions of semantical antirealism, the central thesis of which is that truth is epistemic. When this is taken to mean that all truths are knowable, antirealism is thus committed to the conclusion that no truths are unknown. The correct antirealistic response to the paradox should be to deny that the fundamental thesis of the epistemic (...) nature of truth entails the knowability of all truths. Correctly understood, the antirealistic conditions on a proposition's truth do not require that the proposition possess a verification-procedure which, when executed under the given conditions, issues in an agent's recognition of truth, but merely that there be a verification-procedure which, under these conditions, takes the value true . The knowability paradox and the related idealism problem (that antirealism seems, but is not, committed to the necessary existence of an epistemic agent) draw attention to the fact that certain propositions, those that are about verification-procedures themselves, may under certain conditions take the value true despite their unperformability under these circumstances. Thus these propositions' procedures can only be performed when the propositions are false, and they gain the appearance of antirealistic impossibility (e.g., that there is an unknown truth). This differs from the unperformability that antirealists object to, pertaining merely to matters of execution rather than to the logical structure of the procedures themselves. The force of antirealism's notion of epistemic truth is piecemeal, rather than consisting in a blanket characterization of truth as knowable. (shrink)

This paper provides a new solution to the epistemic paradox of belief-instability, a problem of rational choice which has recently received considerable attention (versions of the problem have been discussed by — among others — Tyler Burge, Earl Conee, and Roy Sorensen). The problem involves an ideally rational agent who has good reason to believe the truth of something of the form:[Ap] p if and only if it is not the case that I accept or believe p.

In lieu of an abstract, here is a brief excerpt of the content:EMBODIED HUMAN AGENTS INHABITING A MATERIAL WORLD? CHARLES T. HUGHES Chapman University Orange, California I. /n;troduction HE CONCEPT of a "logically possible world" has roven useful in the investigation of issues within many ranches of philosophy, including the philosophy of religion.1 Since this paper includes an analysis of one "possible worlds" objection to Christian theism, based upon the problem of evil, it will prove useful to preface my discussion (...) with a paragraph which summarizes some of the ideas important to the logic of possible worlds. Each logically possible world contains a complete set of compossible facts, which includes the past, present, and future of its objects, properties, and relations. Those complete sets of compossible facts, each of which describes the way the actual world could have been, have in common the truth of all logically necessary propositions (for example, 2 +2 = 4, "Circles cannot be squared "), and the falsity of all logically impossible propositions (for example, 2 +6 = 7, " Circles can be squared"), but differ in their truth values with respect to at least some logically contingent propositions (for example, "Elephants exist" is true in one or more possible worlds but false in all others, and "Unicorns exist " is true in one or more possible worlds but false in all others). An impossible world includes an affirmation of the falsity of at least one necessary proposition (for example,,.._,(2 +2 = 4)), and/or affirms the truth of at least one logical1 See Alvin Plantinga, The Nature of Necessity (Oxford: Clarendon Press, 1974), chapters IX and X. 389 390 CHARLES T. HUGHES ly impossible proposition (for example, " Logically necessary propositions are false in all possible worlds ").2 The actual world, which is our world, is that complete set of compossible propositions which describe the way things actually are. The actual world, therefore, differs from other possible worlds in that all of its contingent propositions correspond to the past, present, and future of all of the objects, properties, and relations which actually obtain. There is an on-going debate about the nature and ontological status of possible worlds and their objects.3 The purpose of this paper is to analyze and reject a particular "possible worlds" objection to Christian theism, based upon the problem of evil, which is not frequently discussed in philosophical literature. The problem is this : If God must actualize a possible world in order to provide human agents with the initial stage of existence they require to develop freely as rational, moral, and religious beings, who choose their own destinies, why did God not create them as incorporeal agents within an immaterial world which would, by its very nature, eliminate the physical dimension of evil and suffering which plagues the actual world? For it seems, prima facie, that God could have realized his purposes by actualizing an immaterial world, populated with human-like incorporeal agents, thereby avoiding all of the terrible evil and suffering made possible by physicality. Therefore, the existence of the actual physical world, with all its evil and suffering, is evidence against the existence of God.4 In order to show that the previously stated objection from evil could pose a genuine threat to theism, I will first identify some of my important assumptions in this paper, and then outline particular Christian ideas to determine how the " possible worlds " 2 For an argument that some impossible propositions are not self-contradictory, see Linda Zagzebski, " What If the Impossible Had Been Actual," in Michael D. Beatty, ed., Christian Theism aml the Problems of Philosophy (Notre Dame: University of Notre Dame Press, 1990), pp. 165-183. a Compare, for example, the positions of D. M. Armstrong, A Combinatorial Theory of Possibility (Cambridge: Cambridge University Press, 1989) and D. Lewis, On the Plurality of Worlds (Oxford: Blackwell, 1986). 4 Some interesting discussion of this type of problem can be found in Austin Farrer, Love Almighty and Ills Unlimited (London: Collins, 1962), pp. 69-76. EMBODIED HUMAN AGENTS 391 objection to Christian theism could arise in the first place. After that, I will discuss the nature of the " possible worlds " objection and how, in principle, it might be rebutted by theists who possess a great amount of... (shrink)

Poe’s influence on the Symbolists has been traced on many occasions, though not in detail. The classical study in English is Eliot’s “From Poe to Valéry,” a Library of Congress lecture delivered three years after Valéry’s death.2 Eliot defines Poe as irresponsible and immature—irresponsible in style, immature in vision. He had, Eliot comments, “the intellect of a highly gifted young person before puberty”; “all of his ideas seem to be entertained rather than believed” . How, then, we ask, did (...) he hoax the sophisticated French? Although Eliot raises the issue of their relative ignorance of English, he prudently does not make much of it: after all, we know that Baudelaire spent seventeen years on the tales, Mallarmé still longer on the poems—thirty years for the definitive text; while Valéry, to whom Baudelaire and Mallarmé left little to translate, managed a version of the Marginalia. Each might have said, as Mallarmé did in 1885, that he had learned English for one sole reason: “to read Poe better.”3 In the matter of linguistic competence, then, Eliot is content to remark that the French poets “were not disturbed by weaknesses of which we are very much aware” . He underlines, however, that Poe showed different facets of himself to each of his readers who adopted him in various ways: Baudelaire focused on the Poète maudit, Mallarmé on the prosodist, and Valéry on the theoretician in whom he discovered “a method and an occupation—that of observing himself write” . So Poe had a diverse effect, which Eliot accepts more readily in respect of Baudelaire and Mallarmé than he does of Valéry. To explain this last case which intrigues him especially, he introduces a paradox: “with Poe and Valéry, extremes meet,” he writes, “the immature mind playing with ideas because it had not developed to the point of convictions, and the very adult mind playing with ideas because it was too skeptical to hold convictions” .Thus Eliot damns Poe with faint praise. The distance between cause and effect, master and disciples is so vast that it can only be thought the product of monstrous error. And yet “from Poet to Valéry” and the complementary studies in English or French of the past thirty-five years neglect some deeper factors that drew the Symbolists. Misreadings there were no doubt since such are in the nature of things, but these authors were sensitive to currents that others overlooked. They attempted to go to first principles, not only because Poe was “ce poète incomparable, ce philosophe non refute” 4 and, therefore, worthy of scrutiny, but because they held him to be vital to their future thought. In a period of great social and aesthetic change they found a figure of radical independence—classicist, visionary, logician supreme—whom they explained by convergent tropes of daemonic power. In this regard the newly published correspondence of Mallarmé and the massive Valéry notebooks have added to our knowledge. I would like, then, to consider the nature of Poe’s action, this submerged dialogue in time and successive rewriting by which—“à l’égal de nos maître les plus chers ou vénérés,” as Mallarmé put it5—he entered the mainstream of French poetry. 2. The lecture was later published in Hudson Review 2 : 335; all further references to this work, abbreviated “FPV,” will be included in the text.3. Mallarmé, “Autobiographie,” Oeuvres completes, p. 662.4. Baudelaire, “Le Poème du hachisch,” Oeuvres complètes, 1:427.5. Mallarmé, “Scolies,” Oeuvres completes, p. 223. James Lawler, Edward arson Waller Distinguished Service Professor of French at the University of Chicago, has written extensively on nineteenth- and twentieth-century French poetry. Among his books are Lecture de Valéry, The Language of French Symbolism, The Poet as Analyst, and René Char: The Myth and the Poem. He is currently completing a study of Buadelaire’s Les Fleurs du mal. (shrink)

I offer an account of truth that combines elements of deflationism and traditional correspondence theories. We need such an intermediary account, I argue, in order to adequately answer two kinds of questions: "Why do we find it obvious that 'p' is true iff p?" and "Why is it contingent that 'p' is true iff p?" If what it is for 'p' to be true is explained by simply saying that p, as the deflationist claims, it is hard to (...) see how it could be contingent that 'p' is true iff p. But if it is claimed instead that what it is for a sentence to be true is for it to correspond to a fact, we still need some explanation of why 'p's correspondence with reality insure that p, and vice versa. What we need, I claim, is to recognize a structure to truth: truth for sentences, utterances, and other non-propositional entities depends on, and is analyzable in terms of, the expression of true propositions. Propositional truth can then be treated as insubstantial, as deflationary, and truth for other entities as substantial, consisting of correspondence to a fact . ;This account of truth, which I call Weak Deflationism, anchors the dissertation. In an introductory chapter, I give a partial defense of realism about propositions and properties, later defending Platonism against attacks by David Lewis. After formulating Weak Deflationism, I examine its implications for such matters as the "absurd comparison" objection, the truthmaker project in ontology, and non-factualist theories in metaethics. In a final chapter, I provide a Kripke-inspired modification of Weak Deflationism aimed to avoid liar-like paradox. Premised on a distinction between propositions that predicatively involve truth, i.e., truth-dependent propositions, and those that do not, truth-independent propositions, I argue that truth for the latter is deflationary and that truth for the former consists in being determined by the totality of truth-independent fact. Falsity is understood as truth of the negation. Liars are then counted neither true nor false, and paradox is averted. (shrink)

This paper aims to shed light upon an understanding of the concept of truth in Gorgias, a 5th century BC sophist or rhetorician. Traditionally it has been suggested that Gorgias weighs on a type of logical validity on the grounds of endoxa in order to achieve persuasion in his speeches. It is doubtless that Gorgias, for instance in Encomium of Helen, emphasising the role of truth in a speech, indeed admits that an active agent must be blamed (...) if the agent really yields an blamable event, and constructs his argument on the basis of such a common endoxa. However, for the success of persuasion by truth, Gorgias do not only rely on an endoxa for the logical validity, but also on appeal to the nature of things or events. Gorgias in the speech articulates that a naturally stronger thing must rule and a naturally weaker thing must be ruled, and also emphasises that the lineage of Helen and her physical beauty by nature surpass those of ordinary people. These points in his argumentation are the validating factors to rescue Helen from the traditional blame and to praise her as well; yet, they are not what can be proven by logical validity but justified only by their nature. In this respect, concerning the concept of truth for the success of persuasion does Gorgias utilise not only logical validity but also justification by correspondence to the nature of things. (shrink)

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the truth predicate (...) and asserts that “it is true” is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the “nature of truth” as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. (shrink)

We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating to each possible distribution a plausibility ranking. Beliefs are defined as in Belief Revision Theory, in terms of truth in the most plausible worlds. We consider two forms of conditioning or belief update, corresponding to the acquisition of two types of information: learning observable evidence (...) obtained by repeated sampling from the unknown distribution; and learning higher-order information about the distribution. The first changes only the plausibility map, but leaves the given set of possible distributions essentially unchanged; the second rules out some distributions, thus shrinking the set of possibilities, without changing their plausibility ordering.. We look at stability of beliefs under either of these types of learning, defining two related notions, as well as a measure of the verisimilitude of a given plausibility model. We prove a number of convergence results, showing how our agent’s beliefs track the true probability after repeated sampling, and how she eventually gains in a sense knowledge of that true probability. Finally, we sketch the contours of a dynamic doxastic logic for statistical learning. (shrink)