The proof of the Second Incompleteness Theorem consists essentially of proving the uniqueness and explicit definability of the sentence asserting its own unprovability. This turns out to be a rather general phenomenon: Every instance of self-reference describable in the modal logic of the standard proof predicate obeys a similar uniqueness and explicit definability law. The efficient determination of the explicit definitions of formulae satisfying a given instance of self-reference reduces to a simple algebraic problem-that of solving the corresponding fixed-point equation (...) in the modal logic. We survey techniques for the efficient calculation of such fixed-points. (shrink)

I propose understanding CP-law statements as statements that assert the existence of vague statistical laws, not by fully specifying the contents of those laws, but by picking them out via a description that is both self-referential and self-locating. I argue that this proposal validates many common assumptions about CP-laws and correctly classifies many examples of putative CP-laws. It does this while avoiding the most serious worries that motivate some philosophers to be skeptical of CP-laws, namely the worry that they lack (...) non-trivial truth conditions and that it is impossible for empirical evidence to disconfirm them. (shrink)

In earlier work, I have argued that the self-referential assertion that “this assertion is improper” is paradoxical for the truth account of assertion, the view onwhich an assertion is proper if and only if it is true. In a recent paper in this journal, John Turri has suggested a response to the paradox: one might simply deny that in uttering “this assertion is improper” one makes a genuine assertion. In this paper, I argue that this ‘no assertion’ response does not (...) dissolve the paradox in the way Turri suggests. (shrink)

In earlier work, I have argued that self-referential assertions of the form ‘this assertion is improper’ are paradoxical for the truth account of assertion. In this paper, I argue that such assertions are also paradoxical, though in a different way, for the knowledge account of assertion.

A dialogue among statements that try to explain to each other the mechanisms and peculiarities of self-referential assertions and, particularly, of their context-dependence.

In his recent article, ``Self-Consciousness'’, George Bealer has set outa novel and interesting argument against functionalism in the philosophyof mind. I shall attempt to show, however, that Bealer's argument cannotbe sustained.In arguing for this conclusion, I shall be defending three main theses.The first is connected with the problem of defining theoreticalpredicates that occur in theories where the following two features arepresent: first, the theoretical predicate in question occurswithin both extensional and non-extensional contexts; secondly, thetheory in question asserts that the relevant (...) theoretical states enterinto causal relations. What I shall argue is that a Ramsey-styleapproach to the definition of such theoretical terms requires twodistinct quantifiers: one which ranges over concepts, and theother which ranges over properties in the world.My second thesis is a corollary: since the theories on whichBealer is focusing have both of the features just mentioned, and sincethe method that he employs to define theoretical terms in his argumentagainst functionalism does not involve both quantifiers that range overproperties and quantifiers that range over concepts, that method isunsound.My final thesis is that when a sound method is used, Bealer's argumentagainst functionalism no longer goes through.The structure of my discussion is as follows. I begin by setting out twoarguments – the one, a condensed version of Bealer's argument, andthe other, an argument that parallels Bealer's argument very closely.The parallel argument leads to a conclusion, however, that, rather thanbeing merely somewhat surprising, seems very implausible indeed. Forwhat the second argument establishes, if sound, is that there can betheoretical terms that apply to objects by virtue of their first-orderphysical properties, but whose meaning cannot be defined via aRamsey-style approach.Having set out the two parallel arguments, I then go on to focus uponthe second, to determine what is wrong with it. My diagnosis will bethat the problem with the argument arises from the fact that it involvesdefining a theoretical term that occurs both inside and outside ofopaque contexts, for the method employed fails to take into account thefact that the types of entities that are involved in the relevanttruthmakers are different when a sentence occurs within an extensionalcontext from those involved when a sentence occurs within anon-extensional context.I then go on to discuss how one should define a theoretical term thatoccurs within such theories, and I argue that in such a case one needstwo quantifiers, ranging over different types of entities – on theone hand, over properties and relations, and the other, over concepts. Ithen show that, when such an approach is followed, the argument inquestion collapses.I then turn to Bealer's argument against functionalism, and I show,first, that precisely the same method of defining theoretical terms canbe applied there, and, secondly, that, when this is done, it turns outthat that argument is also unsound.Next, I consider two responses that Bealer might make to my argument,and I argue that those responses would not succeed.Finally, I conclude by asking exactly where the problem lies in the caseof Bealer's argument. My answer will be that it is not simply the factthat one is dealing with a theoretical term that occurs in bothextensional and non-extensional contexts. It is rather the combinationof that feature together with the fact that the theory in questionasserts that the relevant type of theoretical state enters into causalrelations. For the first of these features means that the Ramseysentence for the theory must involve quantification over concepts, whilethe presence of the second feature means that the Ramsey sentence mustinvolve quantification over properties in the world, and so no attemptto offer a Ramsey-style account of the meaning of the relevanttheoretical term can succeed unless one employs both quantification overconcepts and quantification over properties. Bealer, however, in hisargument against functionalism, uses a method of defining theoreticalterms that does not involve both types of quantification, and it isprecisely because of this that his argument does not in the end succeed. (shrink)

PLEASE NOTE: This is the corrected 2nd eBook edition, 2021. ●●●●● _Critique of Impure Reason_ has now also been published in a printed edition. To reduce the otherwise high price of this scholarly, technical book of nearly 900 pages and make it more widely available beyond university libraries to individual readers, the non-profit publisher and the author have agreed to issue the printed edition at cost. ●●●●● The printed edition was released on September 1, 2021 and is now available through (...) all booksellers, including Barnes & Noble, Amazon, and brick-and-mortar bookstores under ISBN 978-0-578-88646-6. ●●●●● In light of the length of this book, readers who would like to have a more detailed description of the book's objectives and method may find it helpful to read the detailed and clearly written Wikipedia entry about this work: From the Wikipedia search page, use the search phrase "Critique of Impure Reason". At least at the time of this writing (11/29/2021), the Wikipedia entry is well-researched and accurate. ●●●●● In addition, a "Primer on Bartlett's CRITIQUE OF IMPURE REASON" has been made available by the author. It is available under its title through PhilPapers and other philosophy online archives. ●●●●● COMMENDATIONS OF THIS WORK, from the back cover of the published edition: ●●●●● “I admire its range of philosophical vision.” – Nicholas Rescher, Distinguished University Professor of Philosophy, University of Pittsburgh, author of more than 100 books. ●●●●● “Bartlett’s _Critique of Impure Reason_ is an impressive, bold, and ambitious work. Careful scholarship is balanced by original analyses that lead the reader to recognize the limits of meaning, knowledge, and conceptual possibility. The work addresses a host of traditional philosophical problems, among them the nature of space, time, causality, consciousness, the self, other minds, ontology, free will and determinism, and others. The book culminates in a fascinating and profound new understanding of relativity physics and quantum theory.” – Gerhard Preyer, Professor of Philosophy, Goethe-University, Frankfurt am Main, Germany, author of many books including _Concepts of Meaning_, _Beyond Semantics and Pragmatics_, _Intention and Practical Thought_, and _Contextualism in Philosophy_. ●●●●● “[This work’s] goal is of a unique and difficult species: Dr. Bartlett seeks to develop a formal logical calculus on the basis of transcendental philosophical arguments; in fact, he hopes that this calculus will be the formal expression of the transcendental foundation of knowledge.... I consider Dr. Bartlett’s work soundly conceived and executed with great skill.” – C. F. von Weizsäcker, philosopher and physicist, former Director, Max-Planck-Institute, Starnberg, Germany. ●●●●● “Bartlett has written an American “Prolegomena to All Future Metaphysics.” He aims rigorously to eliminate meaningless assertions, reach bedrock, and place philosophy on a firm foundation that will enable it, like science and mathematics, to produce lasting results that generations to come can build on. This is a great book, the fruit of a lifetime of research and reflection, and it deserves serious attention.” — Martin X. Moleski, former Professor, Canisius College, Buffalo, NY, studies of scientific method, the presuppositions of thought, and the self-referential nature of epistemology. ●●●●● “Bartlett has written a book on what might be called the underpinnings of philosophy. It has fascinating depth and breadth, and is all the more striking due to its unifying perspective based on the concepts of reference and self-reference.” – Don Perlis, Professor of Computer Science, University of Maryland, author of numerous publications on self-adjusting autonomous systems and philosophical issues concerning self-reference, mind, and consciousness. ●●●●● ●●●●● The _Critique of Impure Reason: Horizons of Possibility and Meaning_ comprises a major and important contribution to philosophy. Thanks to the generosity of its publisher, this massive 885-page volume has been published as a free open access eBook (3.75MB) as well as an open access printed edition. It inaugurates a revolutionary paradigm shift in philosophical thought by providing compelling and long-sought-for solutions to a wide range of philosophical problems. In the process, the work fundamentally transforms the way in which the concepts of reference, meaning, and possibility are understood. The book includes a Foreword by the celebrated German philosopher and physicist Carl Friedrich von Weizsäcker. ●●●●● In Kant’s _Critique of Pure Reason_ we find an analysis of the preconditions of experience and of knowledge. In contrast, but yet in parallel, the new _Critique_ focuses upon the ways—unfortunately very widespread and often unselfconsciously habitual—in which many of the concepts that we employ _conflict_ with the very preconditions of meaning and of knowledge. ●●●●● This is a book about the boundaries of frameworks and about the unrecognized conceptual confusions in which we become entangled when we attempt to transgress beyond the limits of the possible and meaningful. We tend either not to recognize or not to accept that we all-too-often attempt to trespass beyond the boundaries of the frameworks that make knowledge possible and the world meaningful. ●●●●● The _Critique of Impure Reason_ proposes a bold, ground-breaking, and startling thesis: that a great many of the major philosophical problems of the past can be solved through the recognition of a viciously deceptive form of thinking to which philosophers as well as non-philosophers commonly fall victim. For the first time, the book advances and justifies the criticism that a substantial number of the questions that have occupied philosophers fall into the category of “impure reason,” violating the very conditions of their possible meaningfulness. ●●●●● The purpose of the study is twofold: first, to enable us to recognize the boundaries of what is referentially forbidden—the limits beyond which reference becomes meaningless—and second, to avoid falling victims to a certain broad class of conceptual confusions that lie at the heart of many major philosophical problems. As a consequence, the boundaries of _possible meaning_ are determined. ●●●●● Bartlett, the author or editor of more than 20 books, is responsible for identifying this widespread and delusion-inducing variety of error, _metalogical projection_. It is a previously unrecognized and insidious form of erroneous thinking that undermines its own possibility of meaning. It comes about as a result of the pervasive human compulsion to seek to transcend the limits of possible reference and meaning. ●●●●● Based on original research and rigorous analysis combined with extensive scholarship, the _Critique of Impure Reason_ develops a self-validating method that makes it possible to recognize, correct, and eliminate this major and pervasive form of fallacious thinking. In so doing, the book provides at last provable and constructive solutions to a wide range of major philosophical problems. ●●●●● CONTENTS AT A GLANCE ▪▪▪▪▪ Preface ▪▪▪▪▪ Foreword by Carl Friedrich von Weizsäcker ▪▪▪▪▪ Acknowledgments ▪▪▪▪▪ Avant-propos: A philosopher’s rallying call ▪▪▪▪▪ Introduction ▪▪▪▪▪ A note to the reader ▪▪▪▪▪ A note on conventions ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART I ▪▪▪▪▪ ▪▪▪▪▪ WHY PHILOSOPHY HAS MADE NO PROGRESS AND HOW IT CAN ▪▪▪▪▪ 1 Philosophical-psychological prelude ▪▪▪▪▪ 2 Putting belief in its place: Its psychology and a needed polemic ▪▪▪▪▪ 3 Turning away from the linguistic turn: From theory of reference to metalogic of reference ▪▪▪▪▪ 4 The stepladder to maximum theoretical generality ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART II ▪▪▪▪▪ THE METALOGIC OF REFERENCE ▪▪▪▪▪ A New Approach to Deductive, Transcendental Philosophy ▪▪▪▪▪ 5 Reference, identity, and identification ▪▪▪▪▪ 6 Self-referential argument and the metalogic of reference ▪▪▪▪▪ 7 Possibility theory ▪▪▪▪▪ 8 Presupposition logic, reference, and identification ▪▪▪▪▪ 9 Transcendental argumentation and the metalogic of reference ▪▪▪▪▪ 10 Framework relativity ▪▪▪▪▪ 11 The metalogic of meaning ▪▪▪▪▪ 12 The problem of putative meaning and the logic of meaninglessness ▪▪▪▪▪ 13 Projection ▪▪▪▪▪ 14 Horizons ▪▪▪▪▪ 15 De-projection ▪▪▪▪▪ 16 Self-validation ▪▪▪▪▪ 17 Rationality: Rules of admissibility ▪▪▪▪▪ ▪▪▪▪▪ ▪▪▪▪▪ PART III ▪▪▪▪▪ PHILOSOPHICAL APPLICATIONS OF THE METALOGIC OF REFERENCE ▪▪▪▪▪ Major Problems and Questions of Philosophy and the Philosophy of Science ▪▪▪▪▪ 18 Ontology and the metalogic of reference ▪▪▪▪▪ 19 Discovery or invention in general problem-solving, mathematics, and physics ▪▪▪▪▪ 20 The conceptually unreachable: “The far side” ▪▪▪▪▪ 21 The projections of the external world, things-in-themselves, other minds, realism, and idealism ▪▪▪▪▪ 22 The projections of time, space, and space-time ▪▪▪▪▪ 23 The projections of causality, determinism, and free will ▪▪▪▪▪ 24 Projections of the self and of solipsism ▪▪▪▪▪ 25 Non-relational, agentless reference and referential fields ▪▪▪▪▪ 26 Relativity physics as seen through the lens of the metalogic of reference ▪▪▪▪▪ 27 Quantum theory as seen through the lens of the metalogic of reference ▪▪▪▪▪ 28 Epistemological lessons learned from and applicable to relativity physics and quantum theory ▪▪▪▪▪ ▪▪▪▪▪ PART IV ▪▪▪▪▪ HORIZONS ▪▪▪▪▪ 29 Beyond belief ▪▪▪▪▪ 30 _Critique of Impure Reason_: Its results in retrospect ▪▪▪▪▪ ▪▪▪▪▪ SUPPLEMENT ▪▪▪▪▪ The Formal Structure of the Metalogic of Reference ▪▪▪▪▪ APPENDIX I ▪▪▪▪▪ The Concept of Horizon in the Work of Other Philosophers ▪▪▪▪▪ APPENDIX II ▪▪▪▪▪ Epistemological Intelligence ▪▪▪▪▪ References ▪▪▪▪▪ Index ▪▪▪▪▪ About the author. (shrink)

A dialogue among statements that try to explain to each other the mechanisms and peculiarities of self-referential assertions and, particularly, of their context-dependence.

In his Paradoxes (1995: Cambridge University Press: 149) Mark Sainsbury presents the following pair of sentences: Line 1: The sentence written on Line 1 is nonsense. Line 2: The sentence written on Line 1 is nonsense. Sainsbury (1995: 149, 154) here makes three assertions: (1) The sentence in Line 1 is so viciously self-referential that it falls into the truth-value gap. The sentence is really nonsense. (2) The sentence in Line 2 is by contrast true. For it states precisely (...) that the sentence in Line 1 is nonsense. (3) The two sentences in Lines 1 and 2 are an example of the principle that two sentence tokens of the same sentence-type can have different truth-values, although they have the same reference and state the same property of the object of reference. In this paper, I argue that Sainsbury’s assumptions are false in all three cases. (shrink)

In the literature on self-referential paradoxes one of the hardest and most challenging problems is that of revenge. This problem can take many shapes, but, typically, it besets non-classical accounts of some semantic notion, such as truth, that depend on a set of classically defined meta-theoretic concepts, like validity, consistency, and so on. A particularly troubling form of revenge that has received a lot of attention lately involves the concept of validity. The difficulty lies in that the non-classical logician cannot (...) accept her own definition of validity because it is given in a classical meta-theory. It is often suggested that this mismatch between the consequence relation of the account being espoused and the consequence relation of the meta-theory is a serious embarrassment. The main goal of the paper is to explore whether certain substructural accounts of the paradoxes can avoid this sort of embarrassment. Typically, these accounts are expressively incomplete, since they cannot assert in the object language that certain invalid arguments are in fact invalid. To overcome this difficulty I develop a novel type of hybrid proof-procedure, one that takes invalidities to be just as fundamental as validities. I prove that this proof-procedure enjoys a number of interesting properties and I analyze the prospects of applying it to languages capable of expressing self-referential statements. (shrink)

Research ethics regulation in parts of the Global North has sometimes been initiated in the face of biomedical scandal. More recently, developing and recently developed countries have had additional reasons to regulate, doing so to attract international clinical trials and American research funding, publish in international journals, or to respond to broader social changes. In Taiwan, biomedical research ethics policy based on ‘principlism’ and committee- based review were imported from the United States. Professionalisation of research ethics displaced other longer-standing ways (...) of conceiving ethics connected with Taiwanese cultural traditions. Subsequently, the model and its discursive practices were extended to other disciplines. Regulation was also shaped by decolonizing dis- courses associated with asserting Indigenous peoples’ rights. Locating research ethics regulation within the language and practices of public policy formation and transfer as well as decolonization, allows analysis to move be- yond the self-referential and attend to the social, economic and political context within which regulation operates. 研究倫理規範甚至法制化的濫觴,過去在有些北美國家是為了回應其國內發生的醫學研究倫 理醜聞。但近年來,無論是發展中或已開發國家,往往是為了爭取國際醫學臨床試驗計畫能在 其國內執行、爭取美國相關研究經費、能在英語的國際期刊發表文章、或是因應國內相關社會變化。 以台灣來說,基於「原則主義」的醫學領域之研究倫理政策及規範,以及在研究機構內成立 委員會專責倫理審查的運作模式,可說完全移植自美國。這種運作模式及研究倫理的專業化, 不但逐漸取代過去已融合台灣文化的研究倫理觀쳀,且在這種運作模式下的倫理論述及實作, 更從醫學領域擴展至其他研究領域。在此同時,台灣的研究倫理規範之發展,也受到台灣原住 民族的去殖民化及群體權主張等影響。. (shrink)

This article investigates the topic of “violence” determined by technical ideology, dwelling on Jacques Ellul’s reflection on schools and universities. Ellul’s condemnation seems to foreshadow the knowledge crisis and the perversion requiring that educational systems be permeated by the assertion of the logic of efficiency, which results in sacrificing content and the ability to select, to verify sources, to elaborate divergent visions, asserting a self-referential reasoning that swallows differences and cancels “multiplicity” for the benefit of dogmatic interpretations. It may be (...) that Simone Weil’s ethics of attention could help counter this shift. (shrink)

This chapter contains sections titled: Beliefs Access to truth Cogito ergo sum Mathematical certainty Classical logic C. I. Lewis' empiricism Access as a metaphor J. F. Fries and K. Popper Voluntarism and linearity One‐way justification Beginning in the middle Justification, contextual and comparative Justification in the empirical sciences Circularity versus linearity Democratic controls Interactionism.

We introduce a variant of pointer structures with denotational semantics and show its equivalence to systems of boolean equations: both have the same solutions. Taking paradoxes to be statements represented by systems of equations (or pointer structures) having no solutions, we thus obtain two alternative means of deciding paradoxical character of statements, one of which is the standard theory of solving boolean equations. To analyze more adequately statements involving semantic predicates, we extend propositional logic with the assertion operator and give (...) its complete axiomatization. This logic is a sub-logic of statements in which the semantic predicates become internalized (for instance, counterparts of Tarski’s definitions and T-schemata become tautologies). Examples of analysis of self-referential paradoxes are given and the approach is compared to the alternative ones. (shrink)

The aim of this paper is to provide a model that allows the representation and analysis of circularity in ethotic structures, i.e. in communication structures related to the speaker’s character and in particular, his credibility. The paper studies three types of cycles: in self-referential sentences, embedded testimony and ethotic begging the question. It is shown that standard models allow the reconstruction of the circularities only if those circular utterances are interpreted as ethotic arguments. Their alternative, assertive interpretation requires enriching the (...) existing models with a purely ethotic component related to the credibility of the performer of any (not necessarily argumentative) speech act. (shrink)

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

The metaphysical ethics of Levinas appeals to many philosophers of education because it seems to promise ethics and social justice without recourse to moral norms, ‘totalising’ political systems or religious belief. However, the notion that the subject can be detached from its worldly being—that one can posit a primordial metaphysical pre-conscious pre-phenomenal self which stands in ethical relation to a primordial metaphysical pre-conscious pre-phenomenal Other—is highly questionable. From an empirical perspective, our experience of the world and of ourselves can only (...) be conceived in social, cultural and linguistic terms; the self-referential lexicon Levinas employs to depict the relation between the transcendental subject and the Other ‘in his alterity’ renders his metaphysical assertions impossible to evaluate or give determinate form. From a transcendental perspective, Levinas's metaphysical abstractions simply do not have the power to motivate people to behave ethically. Instead of contributing toward the transformation of education and society envisaged by many philosophers of education, the ‘ethics of the Other’ merely generates an esoteric discourse. (shrink)

Episodic memory has been analyzed in a number of different ways in both philosophy and psychology, and most controversy has centered on its self-referential, autonoetic character. Here, we offer a comprehensive characterization of episodic memory in representational terms and propose a novel functional account on this basis. We argue that episodic memory should be understood as a distinctive epistemic attitude taken toward an event simulation. In this view, episodic memory has a metarepresentational format and should not be equated with beliefs (...) about the past. Instead, empirical findings suggest that the contents of human episodic memory are often constructed in the service of the explicit justification of such beliefs. Existing accounts of episodic memory function that have focused on explaining its constructive character through its role in future-oriented mental time travel do justice neither to its capacity to ground veridical beliefs about the past nor to its representational format. We provide an account of the metarepresentational structure of episodic memory in terms of its role in communicative interaction. The generative nature of recollection allows us to represent and communicate the reasons why we hold certain beliefs about the past. In this process, autonoesis corresponds to the capacity to determine when and how to assert epistemic authority in making claims about the past. A domain where such claims are indispensable are human social engagements. Such engagements commonly require the justification of entitlements and obligations, which is often possible only by explicit reference to specific past events. (shrink)

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

Recent work on mood choice considers fine-grained semantic differences among desire predicates (notably, ‘want’ and ‘hope’) and their consequences for the distribution of indicative and subjunctive complement clauses. In that vein, this paper takes a close look at ‘intend’. I show that cross-linguistically, ‘intend’ accepts nonfinite and subjunctive complements and rejects indicative complements. This fact poses difficulties for recent approaches to mood choice. Toward a solution, a broad aim of this paper is to argue that—while ‘intend’ is loosely in the (...) family of desire predicates—it differs from ‘want’ and ‘hope’ in that it has a causative component, and this is relevant to its mood choice behavior, given that causative predicates also systematically reject indicative complements. More concretely, my analysis has three ingredients: (i) following related proposals in philosophy, intention reports have causally self-referential content; (ii) encoding causal self-reference requires abstraction over the complement clause’s eventuality argument; and (iii) nonfinite and subjunctive clauses enable such abstraction but indicative clauses do not. Aside from causative predicates, independent support for the proposal comes from the syntax of belief-/intention-hybrid attitude predicates like ‘decide’ and ‘convince’, anankastic conditional antecedents, aspectual predicates, and memory and perception reports. Synthesizing this result with that of previous literature, the emergent generalization is that subjunctive mood occurs in attitude reports that involve either comparison or eventuality abstraction. Toward a unified theory of mood choice, I suggest that both comparison and eventuality abstraction represent departures from the clausal semantics of unembedded assertions and consequently that subjunctive mood signals such a departure. (shrink)

This title was first published in 2000. Philosophers have been greatly concerned with the nature of explanation, but no account has been fully satisfactory within science or plausible in the wider world. The author asserts that this is due to a misplaced focus and that instead of focusing on explanation, philosophers should consider understanding. This work outlines his theory and defends it against some objections. Attempts to understand understanding can become self-referential, but the book is intended to enable readers to (...) build a good mental model of the author's theory. (shrink)

The paper explores Wittgenstein’s notion of grammar in the sense of a discipline or an activity, as opposed to the object sense of the term (grammar as a body of rules for the use of a language). I argue that the Wittgensteinian activity of grammar consists in giving expression to rules of our language use. It differs from the traditional grammarian’s activity not only in focusing on a different type of rules, but also in that it does not aim at (...) an explicit and exhaustive treatment of a specific domain of language. Instead, Wittgenstein conceives its goal as therapeutic: the dissolution of particular philosophical problems. Further, I attempt to reconcile his seemingly contradictory remarks on the character of grammatical statements, defining the senses in which they respectively can, and cannot, be considered descriptive assertions. I confront G. P. Baker’s and P. M. S. Hacker’s conceptions of the Wittgensteinian grammatical activity and I argue in favour of the former. Finally, I critically examine N. Garver’s claim that Wittgenstein, in his later conception of philosophy as grammar, succeeded in formulating a successfully self-referential criterion of philosophical critique. I also argue that grammatical activity, despite Wittgenstein’s overt commitment, is in fact not the only method of his later philosophy. (shrink)

Resolution of Frege's Puzzle by denying that synonym substitution in logical truths preserves sentence sense and explaining how logical form has semantic import. Intensional context substitutions needn't preserve truth, because intercepting doesn't preserve sentence meaning. Intercepting is nonuniformly substituting a pivotal term in syntactically secured truth. Logical sentences and their synonym interceptions share factual content. Semantic content is factual content in synthetic predications, but not logical sentences and interceptions. Putnam's Postulate entails interception nonsynonymy. Syntax and vocabulary explain only the factual (...) content of synthetic predications; extrasentential reality explains their truth. Construction of logical factual content explains logical necessity. Terms retain objectual reference, but logical syntax preempts their function in explaining truth. Grasping the facts GG/gg assert entails understanding this. Understanding what GH states requires some recognition that GH must be true just because GmH, and GmH state an empirical fact. GH is standardly used to express that fact. Church's Test exposes puzzles. QMi sentences, and QTi sentences are metalogical necessities, true by syntax. Intercepting QMi creates empirical QM contingencies. Synonymy turns semantic contingencies into metalogical and lexical necessities. That transformation is syntactic, via the syntactic duality of definite descriptions. GmH is a contingent copredication, and a lexically necessary referential identity with rigidly codesignating indexicals. Metalogical sentences may be about expressional matter or what it expresses. GG has GG's semantic content, but the referent expression switches. Metalogical syntax secures truth by self-referential quotational indexing. Metalogically, referents are identified with intrasentential replica. Extrasentential identifications are metalogically irrelevant. (shrink)

If Milton is the grand expositor of human culture as a middle realm, Williams can be seen as in many respects his secular heir, an heir careful to work out how the poetic imagination serves to make man's expulsion from Edenic origins bearable and even invigorating. Williams' poetics begins, as Riddel makes clear, in the awareness that there is no inherent or even recoverable correspondence between words and facts in the world, but Williams then devotes most of his energies to (...) denying the metaphysical alternative to that position—the claim that all language can do is reflect on and play with the emptiness or fictiveness of its signifiers. If words do not copy but produce meanings, then they can be used significantly to focus our attention on the activities of the artist and his constructed characters as they engage in that process of production. The act of producing meanings can be the process by which to achieve another kind of reference, for the act of expression can itself become the focus generating a poem's significance by calling attention to the various ways authors and characters station themselves in relation to specific situations. Fiction then is not so much a term describing the ontological status of certain kinds of language but a term characterizing a particular way of using language to reflect upon forms of behavior in which we are not fully conscious of the quality of our activities. Williams' position on the artist's language is clearest in his frequent metaphor of the artist as farmer. The initial activity of both men is a kind of violence, an assertion of the difference between human desires and indifferent "blank fields." But what begins as antagonism does not result in the creation of self-referential fictive structures or the gay wisdom of maintaining and disseminating differences. Rather antagonism is the precondition for what Williams richly labels "composition": the farmer-poet organizes the blank field into a fertile, life-sustaining set of relationships which are not simply linguistic.1 · 1. Williams, Imaginations, ed. Webster Schott , pp. 98-99. Williams' image of arts as antagonistic composing has important parallels with the Russian Formalist concept of "defamiliarization," but for Williams it is not simply a scene but a total human act that is revealed by this process. Charles Altieri teaches modern literature and literary theory in the English department at the University of Washington. The author of Enlarging the Temple: New Directions in American Poetry of the 1960s, he has just completed a study of literary meaning. "Culture and Skepticism: A Response to Michael Fischer" was contributed to Critical Inquiry in the Winter 1979 issue. (shrink)

Philosophy is the making of theories, badly or occasionally better, with sets of concepts.It resembles fiction, poetry and literature and theology in certain ways in so far as the author uses his imagination and intuition to produce a set of ideas that may or may not attempt to refer to and/or represent or reflect and create a certain reality or life-world.It differs from fiction and is relatively unique in so far as it employs reasoning, argumentation and other philosophical tools.It seems (...) as if philosophy is self-incestuous, conceptual games with and about concepts using propositions, reasoning and argumentation to make assertions about other concepts, and thereby produce insular, enclosed, self-referential, circular systems of ideas. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Gorgon’s Severed Head: Studies of Alcestis, Electra and PhoenissaeJustina GregoryC. A. E. Luschnig. The Gorgon’s Severed Head: Studies of Alcestis, Electra and Phoenissae Leiden, New York, and Cologne: E. J. Brill, 1995. xvi 1 255 pp. Cloth; Gld. 121, $78 (US). (Mnemosyne Supplement 153)Luschnig offers three self-contained essays, framed by an introduction and an epilogue. She derives her title from the circumstance that each of the plays (...) chosen for study contains a reference (in the case of Electra, two references) to the Gorgon’s head. Although she suggests (xiv) that the tragedies represent “different stages of Euripides’ career, one from each volume of the OCT,” she is not proposing to trace development, whether formal or thematic, from play to play. Her concern is with a constant: the plays’ mirroring of the redemptive power of art. On Luschnig’s account tragedy is fundamentally self- referential, urgently and repeatedly directing attention to “the human spirit at its most creative, creating a life and a story” (xv).The approach is not unfamiliar. Zeitlin (Ramus 1980) has described Orestes as the most extreme example of a theatrical self-consciousness that permeates all of Euripides, while Goldhill in Reading Greek Tragedy (1986) and Segal in Euripides and the Poetics of Sorrow (1993) have explored metatheatricality in Electra and Alcestis respectively—two of the very plays chosen for discussion by Luschnig. Where Luschnig differs from Zeitlin is in viewing Euripidean self-reflexivity not as a symptom of the genre’s moribund condition, but as a way to “examine the traditional stories and to test them and to keep them alive” (243). She differs from Goldhill and Segal, who concentrate on the poet’s manipulations of mythical tradition and generic practice, in emphasizing how the characters within each play replicate the creative process as they vary well-established stories, conjure up imaginary scenarios, and try on roles, costumes and masks. For Luschnig, “not only the author and audience, but the characters are taking part in the debate with the tradition” (132). She maintains that this debate is pursued with especial vigor by female characters, whose social and theatrical roles tend to be more circumscribed.Luschnig begins her chapter on Alcestis by reviewing the generic problems presented by the play and then embarks on a scene-by-scene commentary which focuses on the “aesthetic choices” made by the principals. There are occasional lapses over details; at Alc. 1148, for example, Heracles does not tell Admetus “to treat strangers better,” as Luschnig translates (241), but to continue to treat strangers well in the future. Nevertheless her distinctive perspective on the action leads to some intriguing conclusions. Alcestis, she asserts, is not a helpless victim but a determined woman who selects her own role and “play[s it] to the hilt” (33). As for Admetus, he starts “as a shell” (74) but grows in self-awareness in the course of the play. He searches throughout for “other, grander story patterns” (72); thus he briefly contemplates, only to reject, the possibility of playing Orpheus to Alcestis’ Eurydice. That role is reserved for Heracles, who succeeds in rescuing Alcestis from Hades. But Admetus, Luschnig asserts, [End Page 126] has laid the groundwork for Heracles’ intervention; when he proposes to commission a statue of Alcestis, and even when he equivocates to Heracles over whether she is alive or dead, he is doing his part to keep his wife alive in memory and story. Admetus thus emerges as a more decent and sympathetic character than is generally held to be the case.The chapter on Electra appeared previously in article form, and it struck me as the most polished of the three. Organized thematically rather than by scene, it focuses initially on Electra’s water jug as emblematic of Electra’s separation at once from her natal home and from her normal role in myth. The homely jug is contrasted to the “fine ware” (89) employed in the other Electra plays: the libation vessels that characterize the members of the chorus at the opening of Aeschylus’ Choephoroe, and the libation vessel and funerary urn that figure prominently in Sophocles’ Electra. The rest of the chapter... (shrink)

Aristotle and Plotinus both demonstrate the existence of a first principle as cause of the existence of all things. Aristotle puts forward that this first principle is a divine intellect which thinks on itself, and in being the highest being in complete actuality and without potentiality, it is also absolutely simple. Plotinus, on the other hand, sees reason to assert that the divine intellect can not be absolutely simple but a duality of some sort, and thus the first principle, as (...) a cause of unity for all things, must be beyond the divine intellect and thus beyond being in being, itself, absolutely simple. Comparing Plotinus to Aristotle, Plotinus’ position appears odd at the outset given that he also holds to the divine intellect being completely in act and that it thinks on itself. Why thinking should be dual even when it is self-referential and unified in its activity is not apparent, and so Aristotle’s position seems the more coherent one. Yet, through an analysis of both positions, this dissertation proposes that Plotinus better accounts for the problem of self-intellection as requiring some form of distinction in thought while maintaining an identity between the subject and object of thought. If absolute simplicity is an essential attribute to being the first principle, Plotinus’ position is ultimately more consistent in positing a first principle beyond the divine intellect while also holding to a more coherent understanding of thinking with his understanding of divine intellect as a duality instead of an absolute simplicity. (shrink)

SummaryP. Vardy asserts the thesis that the vicious circle principle has the same structure as Russell's paradox. But structure is not the thing itself. It is the thing objectivated from the wiewpoint of a mathematician. So this structure can be expressed in a mathematical formalism, e. g. the Λ‐calculus. Russell's paradox is understood as a result of the error of taking purely logical concepts, like negation, as lkiewise formalisable without change of meaning. The illusion of meaning in the liar's proposition: (...) Yl'am telling a lie can also be explained be the formalisable self‐referential structure of this proposition. Yet it remains an illusion because the logical intention cannot follow the structure.ResumeLe « Principe du cercle vicieux » a la même structure que le paradoxe de Russel: c'est une thèse de P. Várdy. Mais la structure n'est pas la chose même. Elle est la chose objectivée du point de vue du mathématicien et peut done être exprimée dans un formalisme mathématique, p. ex. le Λ‐calcul. L'erreur qui conduit au paradoxe de Russel, c'est de juger des concepts purement logique, p. ex. la négation, comme étant également exprimable dans un formalisme sans que leur sens ne change.L'illusion de sens que donne l'énoncé«je mens» dans le paradoxe du menteur peut aussi être expliquée par la structure formalisable d'autoréférence de cette proposition. Mais l'illusion persiste, parce que l'intention logique ne peut pas suivre la structure.ZusammenfassungRussells «Vicious circle principle» hat dieselbe Struktur wie die Russellsche Antinamie. So lautet die These P. Várdys. Aber die Struktur ist nicht die Sache selbst, sondern nur die vom mathematischen Standpunkte aus objektivierte Sache, die in einem Formalis‐onus ausgedrückt werden kann. Die Antinomie Russells wird Als Folge der irrigen Auffassung verstanden, rein logische Begriffe, wie z. B. die Negation, konnten formalisiert werden, ohne dass dabei ihr Sinn verwandelt würde. Die Sinnillusion des Satzes «Ich lüge» kann dann auch aus der selbstbezüglichen formalen Struktur des Satzes erklärt werden. Doch bleibt dies blosse Illusion, weil die logische Intention der Struktur nicht gerecht werden kann. (shrink)

It may seem to their opponents that they are trying to have their cake and eat it too. Postmodernists admit that their own paradigm must be and will be placed into question by future thinkers. But if they can anticipate an eventual reaffirmation of their paradoxical stand in an ongoing oscillating debate, then cannot it be said that they have arrived at a truth that transcends their time and place in history? And, if so, is not their fallibilist stance in (...) fact self-referentially inconsistent? The response of postmodernists is the claim that each reaffirmation of a fallibilist epistemology and ethics throughout history is in fact sui generis. And this is the case because each reaffirmation has its own unique context within which it is made. Modernists will of course argue that these contextual differences are nonessential and irrelevant. And the debate over the problem of the One and the Many is once again launched in a new context. Thus far from running away from the paradoxical position that what they assert is both true and false, postmodernists revel in such inconsistencies.But does not such an ethical stance resemble the Sisyphean nightmare of being condemned to roll a heavy stone up a cliff only to have it keep falling back to the bottom ad infinitum? If no decision is innocent of doing some harm in the world, why should we bother to play the moral game at all? Indeed, what possible help is a postmodernist ethics when it comes to making some of the complex and crucial decisions we face today if it refuses to say anything substantial beyond the recommendations that we be cautious and balanced?And the postmodernist can only reply that we are letting our neurotic need for solid foundations frighten us. For ethics is an art not a science. There are no absolute rules. If we do not like the way the game is set up, then we are simply revealing our ultimate hubris in the face of a mystery requiring deep humility. (shrink)

The aim of this paper is to examine a special subgroup of emotion: self-referential emo- tions such as shame, pride and guilt. Self-referential emotions are usually conceptualized as (i) essentially involving the subject herself and as (ii) having complex conditions such as the capacity to represent others’ thoughts. I will show that rather than depending on a fully fledged ‘theory of mind’ and an explicit language-based self-representation, (i) pre-forms of self-referential emotions appear at early developmental stages already exhib- iting their (...) characteristic structure of the intentional object of the emotion being identical with or intricately related to the subject experiencing the emotional state and that (ii) they precede and substantially contribute to the development of more complex representations and to the development of a self-concept, to social interaction and to ways of understand- ing of other minds. (shrink)

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will befall (...) principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

Theoretical interest in Perelman's thought is linked, for the main part, to the place he accords to the notion of argumentation, defined in his work in reference to the Greek philosophy, as represented by Plato and Aristotle, in contrast to the assertions of the sophists and rhetors. He separates the notion of demonstration and that of argumentation and supports his position on an analysis of the debates which were common in the sophistic and rhetoric period.It is in different ways (...) that the notion of argumentation comes into the work of Perelman. By taking up again the analysis of justice with the aim of removing the various strata of meaning which had accumulated on it as a result of the reductions of Plato and the dialectical analyses of Aristotle, Perelman showed that the theory of argumentation transcends the domain of right in which it is rooted and ought not be abandoned to lawyers only. Thus, he follows a train of thought to which he accords a certain nobilty in the name of the new rhetoric. This manner of considering the relationship of the moderns to the Greeks leads him to set up the notion of argumentation in his own texts, where it demonstrates a logical retreat which enables him to work back from Aristotle to Plato and from him to the rhetors and sophists, whose discourse is defined on the level of the self-referential.The exemplary character of Perelman's work is on account of this rehabilitation of argumentation in the old rhetoric which will be examined here. (shrink)

only the observer, ently theory-laden and self-referential; and conbut the very consequently, that the discourse of the scientific comcept of geometry, munity, for all its undeniable value, cannot assert becomes relational and contextual.” a privileged epistemological status with respect to The article might have passed unnoticed in the counter-hegemonic narratives emanating from dis-.

Following the phenomenology that is revealed by the emergent structure of consciousness, the path will lead to the acknowledgement of consciousness having a self-referential aspect. By following phenomenological clues, properties of self-reference will be revealed. The two most prominent properties of self-reference will be shown to be inclusion and transcendence that will be shown to be found everywhere in the phenomenology of consciousness. Also, self-reference will turn out to be unformalizable, this imposing limits on what a theory of consciousness can (...) ever achieve. The unformalizability of self-reference would be shown to be because self-reference: is itself, includes itself, and transcendes itself, all at the same time. Nevertheless, unformalizability will be shown to be an essential feature needed to bring essences into existence. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

The paper discusses the strengths and weaknesses of arguments of proper self-reference, arguments of self-application and arguments of iterative application. A formalization of the underlying logical structure of these arguments helps to identify the implicit premises on which these arguments rest. If the premises are plausible, the conclusions reached by these arguments must be taken seriously. In particular, all the types of argument discussed, when sound, show that certain theories that purport to be universally applicable are not tenable. The argumentative (...) power of such arguments then depends on how devastating it is for the theories in question to give up their claim of universal applicability. (shrink)

I suggest two valid and sound arguments refuting physicalism, whether it is reductive or supervenience physicalism. The first argument is a self-referential one that is not involved with any self-referential inconsistency. The second argument demonstrates that physicalism is inescapably involved with self-referential inconsistency. Both arguments show that arguments and propositions (to be distinguished from sentences) are not physical existents. They are rather mental existents that are not reducible to any physical existent and do not supervene on anything physical. From these (...) two arguments, it clearly follows that any physicalist argument or proposition, as a mental existent, is self-refuting. (AN PHL2326365) Subjects: EXISTENTS; INCONSISTENCY; METAPHYSICS; MIND; PHYSICALISM; SELF-REFERENCE. (shrink)

베르그손이 『의식에 직접 주어진 것들에 관한 시론』에서 발견하고 규정한 변화로서의 지속은 『물질과 기억』을 거치면서 과거의 보존으로 그리고 『창조적 진화』로 가면서 자기에 의한 자기 창조로 계속적으로 재규정되는 과정을 볼 수 있다. 이 세 가지 특징은 이미 첫 저서에서 그 맹아를 볼 수 있고 상당히 일관된 논리로 서술되고 있다. 우리는 이를 ‘자기지시성’(autoréférentialité)이라는 개념으로부터 재구성해 보고 이를 통해 지속의 개념이 점차 명료화되는 동시에 확장되는 과정을 살펴보고자 한다. 이를 위해 우리는 변화에 대한 『시론』의 분석에서 자기지시적 운동의 세 측면을 구분하고 이것이 새로운 규정으로 이어지는 실마리를 (...) 드러낸 후에 『물질과 기억』의 분석에서 물질적 현재로의 열림이라는 계기와 더불어 자기지시성이 창조적 의미로 확장되는 실마리를 살펴본다. (shrink)

Glas's rich article makes several useful points about both anxiety and enactivism, and about how enactivism can help to conceptualize anxiety in a suitably complex way. I agree that we need to characterize anxiety as an embedded, context-sensitive and temporally evolving phenomenon with layered symptoms. As Glas points out, the enactive approach has useful conceptual tools for doing so, because of its incorporation of the theoretical apparatus of dynamical systems theory. I am sympathetic with most of what Glas says about (...) this point, so I shall not dwell on it any further.I want to focus instead on Glas's discussion of self-referentiality, which I found interesting and valuable but also in need of further... (shrink)

One way speakers can refer to themselves in conversation is with a stressed first-person pronoun accompanied by a movement of the hand to or toward the chest. This can be produced alone or in tandem with a reference and gesture to another person. Close analysis of several instances of self-referential gesture demonstrates that this form of self-reference is designed to achieve interactional work beyond simple reference, specifically relational disaggregation and self-referential extraction.

The Gödel–Artemov framework offered a formalization of the Brouwer–Heyting–Kolmogorov semantics of intuitionistic logic via classical proofs. In this framework, the intuitionistic propositional logic IPC is embedded in the modal logic S4, S4 is realized in the Logic of Proofs LP, and LP has a provability interpretation in Peano Arithmetic. Self-referential LP-formulas of the type ‘t is a proof of a formula ϕ containing t itself’ are permitted in the realization of S4 in LP, and if such formulas are indeed involved, (...) it is then necessary to use fixed-point arithmetical methods to explain intuitionistic logic via provability. The natural question of whether self-referentiality can be avoided in realization of S4 was answered negatively by Kuznets who provided an S4-theorem that cannot be realized without using directly self-referential LP-formulas. This paper studies the question of whether IPC can be embedded in S4 and then realized in LP without using self-referential formulas. We consider a general class of Gödel-style modal embeddings of IPC in S4 and by extending Kuznetsʼ method, show that there are IPC-theorems such that, under each such embedding, are mapped to S4-theorems that cannot be realized in LP without using directly self-referential formulas. Interestingly, all double-negations of tautologies that are not IPC-theorems, like ¬¬, are shown to require direct self-referentiality. Another example is found in IPC→, the purely implicational fragment of IPC. This suggests that the BHK semantics of intuitionistic logic is intrinsically self-referential. (shrink)

Episodic memory has a distinctive phenomenology. One way to capture what is distinctive about it is by using the notion of mental time travel: When we remember some fact episodically, we mentally travel to the moment at which we experienced it in the past. This way of distinguishing episodic memory from semantic memory calls for an explanation of what the experience of mental time travel is. In this paper, I suggest that a certain view about the content of memories can (...) shed some light on the experience of mental time travel. This is the view that, when a subject remembers some fact episodically, their memory represents itself as coming from a perception of that fact. I propose that the experience of mental time travel in memory is the experience of representing one of the elements in this complex content, namely, the past perceptual experience of the remembered fact. In defence of this proposal, I offer two considerations. Firstly, the proposal is consistent with the idea that memories enjoy a temporal phenomenology (specifically, a feeling of pastness). Secondly, the proposal is consistent with the possibility that some of our other cognitive capacities might yield an experience of mental time travel which can be oriented towards the future. I argue that the received conception of mental time travel is in tension with those two ideas. (shrink)

Contrary to the early media semioticians' claim that semiotics is a metalanguage of the media and the media are a metalanguage of reality, the present paper gives evidence of how the media represent a world that is itself highly mediated. It is argued that media representations involve self-referential loops in which communication turns out to be communication about communication, reports are reports about reports, and mediations are mediations of mediations. Self-reference in the media is interpreted as a symptom of postmodernity (...) with its tendency towards historical self-reflection in scenarios in which even catastrophic current events are being interpreted as mere media events or even déjà-vu scenarios in a culture in which everything seems to have been said and shown before. (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)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...) do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (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)