In this paper I will give an analysis of what I call ‘generalizing detached self-reference’ within a general account of reference to the first person. With generalizing detached self-reference an agent attributes properties to a range of individuals by putting himself into their shoes, or simulating them. I will show that generalizing detached self-reference plays an important role in the semantics of natural language, in particular in the English generic one and in what (...) syntacticians call arbitrary PRO. (shrink)

Self-reference in semantics, which leads to well-known paradoxes, is a thoroughly researched subject. The phenomenon can appear also in decision theoretic situations. There is a structural analogy between the two and, more interestingly, an analogy between principles concerning truth and those concerning rationality. The former can serve as a guide for clarifying the latter. Both the analogies and the disanalogies are illuminating.

From the Editor’s Introduction: -/- THE INTERNAL LIMITATIONS OF HUMAN UNDERSTANDING -/- We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- (...) The limitations in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

Martin Le Maistre’s Tractatus consequentiarum presents an analysis of self-reference based upon the principle that sentential meaning is closed under entailment. A semantics based on such principle off ers a conservative treatment of self-referential sentences compatible with the principle of bivalence and classical rules of inference. Le Maistre’s crucial arguments are formally reconstructed in the framework recently defended by Stephen Read and Catarina Dutilh Novaes as part of an analysis of Bradwardinian semantics.

Stephen Read has advanced a solution of certain semantic paradoxes recently, based on the work of Thomas Bradwardine. One consequence of this approach, however, is that if Socrates utters only ‘Socrates utters a falsehood’ (a), while Plato says ‘Socrates utters a falsehood’ (b), then, for Bradwardine two different propositions are involved on account of (a) being self-referential, while (b) is not. Problems with this consequence are first discussed before a closely related analysis is provided that escapes it. Moreover, this (...) alternative analysis merely relies on quantification theory at the propositional level, so there is very little to question about it. The paper is the third in a series explaining the superior virtues of a referential form of propositional quantification. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also (...) moves on from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (shrink)

This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence's meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

Reflection on the self's way of being "in" consciousness yields two arguments for a theory of self-reference not based in any way all all on self-cognition. First, I show that one theory of self-reference predicts an experience of the self because the theory inadequately analyzes the semantical facts about indexicality. I construct a dilemma for this cognitivism, which it cannot get out of, for it requires even solitary self-reference to be (...) based on some original self-knowledge, which is not available. I describe my "kinetic model" of unspoken self-reference, and I show how it fits the facts of four forms of consciousness, all of which presuppose self-reference, rather than yield it. Second, a speaker uses the first person pronoun in sentences because she is aware of the unmediated role in agency of the beliefs she would express, and not because she is aware of herself in their content. The cognitive model, in contrast, succumbs to a vicious regress and is exposed as an obstacle to an understanding of consciousness. (shrink)

We provide a systematic recipe for eliminating self-reference from a simple language in which semantic paradoxes (whether purely logical or empirical) can be expressed. We start from a non-quantificational language L which contains a truth predicate and sentence names, and we associate to each sentence F of L an infinite series of translations h 0(F), h 1(F), ..., stated in a quantificational language L *. Under certain conditions, we show that none of the translations is self-referential, but (...) that any one of them perfectly mirrors the semantic behavior of the original. The result, which can be seen as a generalization of recent work by Yablo (1993, Analysis, 53, 251–252; 2004, Self-reference, CSLI) and Cook (2004, Journal of Symbolic Logic, 69(3), 767–774), shows that under certain conditions self-reference is not essential to any of the semantic phenomena that can be obtained in a simple language. (shrink)

An anthology of previously unpublished essays from some of the most outstanding scholars working in philosophy, mathematics, and computer science today, _Self-Reference_ reexamines the latest theories of self-reference, including those that attempt to explain and resolve the semantic and set-theoretic paradoxes. With a thorough introduction that contextualizes the subject for students, this book will be important reading for anyone interested in the general area of self-reference and philosophy.

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo's paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). (...) We generalize Yablo's results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo's results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo's paradox and the translations we offer do not involve self-reference. (shrink)

I favour an analysis of selfhood which ties it to the possession of certain kinds of first-person knowledge, in particular de re knowledge of the identity of one's own conscious thoughts and experiences. My defence of this analysis will lead me to explore the nature of demonstrative reference to one's own conscious thoughts and experiences. Such reference is typically ‘direct’, in contrast to demonstrative reference to all physical objects, apart from those that are parts of one's own (...) body in which one can localize sensations or which are directly subject to one's will. My conclusion will be that the semantic distinction between ‘direct’ and ‘indirect’ demonstrative reference helps to delineate the metaphysical boundary between oneself and the rest of the world. But I do not contend that one is to be identified with one's own body: indeed, I shall try to show that one can know a priori that no such identity can obtain. (shrink)

If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument exploits a self-referential function symbol where the expressed function ends up being intensional in virtue of self-reference. The prohibition on intensional functions thus entails that self-reference cannot be unconstrained, even in a language that is free of semantic terms. However, since intensional functions are already excluded in classical logic, there are no drastic revisionary implications here. Still, (...) the argument reveals a new sort of intensional context, one which does not depend on a propositional attitude verb, a modal operator, an idiom like 'so called', etc. Moreover, since classical logicians do not seem aware of the potential danger with self-reference, a word of warning is in order. (shrink)

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

This note argues against Barwise and Etchemendy's claim that their semantics for self-reference requires use of Aczel's anti-foundational set theory, AFA, semantics for self-reference requires use of Aczel's anti-foundational set theory, AFA, ones irrelevant to the task at hand" (The Liar, p. 35). Switching from ZF to AFA neither adds nor precludes any isomorphism types of sets. So it makes no difference to ordinary mathematics. I argue against the author's claim that a certain kind of 'naturalness' (...) nevertheless makes AFA preferable to ZF for their purposes. I cast their semantics in a natural, isomorphism invariant form with self-reference as a fixed point property for propositional operators. Independent of the particulars of any set theory, this form is somewhat simpler than theirs and easier to adapt to other theories of self-reference. (shrink)

This article focuses on theoretical reflections on sovereignty and constitutionalism in the context of the globalization and Europeanisation of the nation states, their politics, and legal systems. Starting from a critical assessment of the Kelsen-Schmitt polemic, the author claims that sovereignty needs to be analysed by the sociological method in order to disclose its current structural differentiation. The constitution of society may be imagined as the multitude of self-constituted and functionally differentiated social subsystems. The constitutional pluralism argument subsequently reconceptualizes (...) sovereignty as socially differentiated and divided between specific subsystems. The EU's differentiated constitutional domain and the paradox of divided sovereignty are used as examples of profound structural and semantic changes in contemporary national and transnational societies. While the sovereign nation-state institutions have become marginalized in political structures of European societies, the self-constitutionalization of the functionally differentiated EU legal system proceeds by internalizing the concept of divided sovereignty and using it semantically as its mode of self-reference. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also (...) moves on from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (shrink)

From the Editor’s Introduction: "The Internal Limitations of Human Understanding." We carry, unavoidably, the limits of our understanding with us. We are perpetually confined within the horizons of our conceptual structure. When this structure grows or expands, the breadth of our comprehensions enlarges, but we are forever barred from the wished-for glimpse beyond its boundaries, no matter how hard we try, no matter how much credence we invest in the substance of our learning and mist of speculation. -/- The limitations (...) in view here are not due to the mere finitude of our understanding of ourselves and of the world in which we live. They are limitations that come automatically and necessarily with any form of understanding. They are, as we shall see, part and parcel of any organization or ordering of data that we call information. -/- The consequences of these limitations are varied: As a result of them, hermeneutics cannot help but be hermetic; scientific theories of necessity are circumscribed by the boundaries of the ideas that define them; formal systems must choose between consistency and comprehensiveness; philosophical study, because it includes itself within its own proper subject matter, is forced to be reflexive in its self-enclosure. The fundamental dynamic shared by all forms of understanding testifies to an internal limitative keystone. (shrink)

This paper is an addendum to [Tsohatzidis, 2013].

This paper critically evaluates Jonathan Lowe's arguments for his non-Cartesian substance dualism. Sections 1 and 2 set out the principal claims of NCSD. The unity argument proposed in Lowe is discussed in Section 3. Throughout his career Lowe offered spirited attacks on reductionism about the self. Section 4 evaluates the anti-reductionist argument that Lowe offers in Subjects of Experience, an argument based on the individuation of mental events. Lowe offers an inventive proposal that the semantic distinction between direct and (...) indirect reference delineates the metaphysical boundary between self and world, and uses this as a further argument against reductionism about the self. This proposal is discussed in Sections 5 and 6. (shrink)

John Buridan was a fourteenth-century philosopher who enjoyed an enormous reputation for about two hundred years, was then totally neglected, and is now being 'rediscovered' through his relevance to contemporary work in philosophical logic. The final chapter of Buridan's Sophismata deals with problems about self-reference, and in particular with the semantic paradoxes. He offers his own distinctive solution to the well-known 'Liar Paradox' and introduces a number of other paradoxes that will be unfamiliar to most logicians. Buridan also (...) moves on from these problems to more general questions about the nature of propositions, the criteria of their truth and falsity and the concepts of validity and knowledge. This edition of that chapter is intended to make Buridan's ideas and arguments accessible to a wider range of readers. The volume should interest many philosophers, linguists and logicians, who are increasingly finding in medieval work striking anticipations of their own concerns. (shrink)

This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

emantic pathologies of self-reference include the Liar (‘this sentence is false’), the Truth-Teller (‘this sentence is true’) and the Open Pair (‘the neighbouring sentence is false’ ‘the neighbouring sentence is false’). Although they seem like perfectly meaningful declarative sentences, truth value assignment to their uses seems either inconsistent (the Liar) or arbitrary (the Truth-Teller and the Open-Pair). These pathologies thus call for a resolution. I propose such a resolution in terms of relative-truth: the truth value of a pathological (...) sentence use varies with the context of its assessment. It always has a determinate truth value, but this truth value is relative to the context of its assessment. I start by considering a fairly esoteric pathology: the Truth-Teller, that is, sentences which assert nothing but their own truth. I make the case that truth value of a given truth-teller use must in general depend on the context of its assessment, and that one can indeed change its truth value at will. I then show how the notion of assessment-sensitive truth can help us provide solutions to other semantic paradoxes such as the Liar and the Open Pair and that those solutions are immune to revenge problems. I conclude by situating my proposal among the main approaches to the semantic paradoxes, and by drawing a very broad moral about pathological self-reference and intentionality. (shrink)

The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (Analysis 53(4):251–252, 1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the (...) semantic hypodoxes. We develop a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (J Symb Log 69(3):767–774, 2004) and Yablo (2006) with respect to more restricted sentences systems, which we call $\mathcal{F}$ -systems. (shrink)

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that (...) certain computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

: Radical sceptical possibilities challenge the anti-realist view that truth consists in ideal rational acceptability. Putnam, as part of his defence of an anti-realist view, subjected the case of the brain in a vat to a semantic externalist treatment, which aimed to maintain the desired connection between truth and ideal rational acceptability. It is argued here that self-consciousness poses special problems for this externalist strategy. It is shown how, on a standard model of first-person reference, Putnam's brain in (...) a vat will be mistaken in its rational self-ascription of externalist predicates. The natural response, which employs an alternative model of first-person reference, is shown to have the equally realist consequence that there are enquiry-transcendent truths about the self. (shrink)

Culturally different connotations of basic concepts challenge the comparative study of religion. Do persons in Germany or in the United States refer to the same concepts when talking about ‘spirituality’ and ‘religion’? Does it make a difference how they identify themselves? The Bielefeld-Chattanooga Cross-Cultural Study on ‘Spirituality’ includes a semantic differential approach for the comparison of self-identified “neither religious nor spiritual”, “religious”, and “spiritual” persons regarding semantic attributes attached to the concepts ‘religion’ and ‘spirituality’ in each research context. Results (...) show that ‘spirituality’ is used as a broader concept than ‘religion’. Regarding religion, semantics attributed by self-identified religious persons differ significantly from those of the spiritual persons. The ‘spiritual’ and the ‘religious’ groups agree on semantics attributed to spirituality but differ from the ‘neither spiritual nor religious’ group. Qualifications of differences and agreements become visible from the comparison between the United States and Germany. It is argued for the semantically sensitive study of culturally situated ‘spiritualities’. (shrink)

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly repetitive. A (...) check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)

Semantic externalism is the view that the meanings of referring terms, and the contents of beliefs that are expressed by those terms, are not fully determined by factors internal to the speaker but are instead bound up with the environment. The debate about semantic externalism is one of the most important but difficult topics in philosophy of mind and language, and has consequences for our understanding of the role of social institutions and the physical environment in constituting language and the (...) mind. In this long-needed book, Jesper Kallestrup provides an invaluable map of the problem. Beginning with a thorough introduction to the theories of descriptivism and referentialism and the work of Frege and Kripke, Kallestrup moves on to analyse Putnam’s Twin Earth argument, Burge’s arthritis argument and Davidson’s Swampman argument. He also discusses how semantic externalism is at the heart of important topics such as indexical thoughts, epistemological skepticism, self-knowledge, and mental causation. Including chapter summaries, a glossary of terms, and an annotated guide to further reading, _Semantic Externalism_ an ideal guide for students studying philosophy of language and philosophy of mind. (shrink)

What factors are involved in the resolution of scientific disputes? What factors make the resolution of such disputes rational? The traditional view confers an important role on observation statements that are shared by proponents of competing theories. Rival theories make incompatible (sometimes contradictory) observational predictions about a particular situation, and the prediction made by one theory is borne out while the prediction made by the other is not. Paul Feyerabend, Thomas Kuhn, and Paul Churchland have called into question this account (...) of theory-resolution. According to these philosophers, substantially different and competing scientific theories are semantically incommensurable: those theories do not share a common observation language. Two charges have been leveled against the semantic incommensurability theories. The first is that it ignores that some semantic features of observational terms (e.g., their reference) can be expressed by proponents of competing theories. The second is that the semantic incommensurability thesis is self-defeating. In this paper I will argue that both of these charges are true but not for the reasons usually given. (shrink)

Here we give a semantical account of propositional quantification that is intended to formally represent Russell’s view that one cannot express a proposition about "all" propositions. According to the account the authors give, Russell’s view bears an interesting relation to the view that there are no sets which are members of themselves.

Yehoshua Bar-Hillel and Rudolph Carnap’s classical theory of semantic information entails the counterintuitive feature that inconsistent statements convey maximal information. Theories preserving Bar-Hillel and Carnap’s modal intuitions while imposing a veridicality requirement on which statements convey information—such as the theories of Fred Dretske or Luciano Floridi—avoid this commitment, as inconsistent statements are deemed not information-conveying by fiat. This paper produces a pair of paradoxical statements that such “veridical-modal” theories must evaluate as both conveying and not conveying information, although Bar-Hillel and (...) Carnap’s theory accommodates these statements without inconsistency. Moreover, the paradoxes are independently interesting as the mode in which they self-refer bears on their evaluation. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a (...) sound and complete three-sided sequent calculus for this expressively rich theory. (shrink)

The scope of my considerations here is defined along two lines, which seem to me of essential relevance for a theory of dialectic. On the one hand, the form of negation that – as self-referring antinomical negation – gains a quasi-semantic expulsory force [Sprengkraft] and therewith a forwarding [weiterverweisenden] character; on the other hand, the notion that every logical category is defective insofar as the explicit meaning of a category does not express everything that is already implicitly presupposed for (...) its meaning. Both lines are tightly interwoven. This I would like to demonstrate with the example of the dialectic of Being and Non-Being at the beginning of the Hegelian Logic. I will first make visible the basic structures of dialectical argumentation (sections II and III) – whereby certain revisions will turn out to be necessary in comparison with Hegel’s actual argument. Thereby it proves essential that the whole apparatus of logical categories and principles must be always already available and utilized for the dialectical explication: proving dialectic as a self-explication of logic by logical means: dialectic, as it were, as the self-fulfillment of logic (sections IV–VI). (shrink)

I put forward precise and appealing notions of reference, self-reference, and well-foundedness for sentences of the language of first-order Peano arithmetic extended with a truth predicate. These notions are intended to play a central role in the study of the reference patterns that underlie expressions leading to semantic paradox and, thus, in the construction of philosophically well-motivated semantic theories of truth.

The author considers following question: is a consistent semantically closed language possible? The negative answer is the orthodox answer in the logic of the 20th century. It was presented in Russell's theory of types and Tarski's semantic theory of metalanguages. Nevertheless, contemporary logicians and philosophers of language return to this problem time and again, pointing to its relevance in various aspects. In particular, it is asserted that semantically closed language is a very important tool for expressing logical and philosophical ideas. (...) In logic of the 20th century, the problem of semantically closed language was discussed in connection with the problem of logical paradoxes. Russell and Tarski saw a fundamental cause of paradoxes in the phenomenon of self-reference that arises in semantically closed language. Accordingly, a solution for paradoxes was seen in eliminating the cause, that is, in prohibiting semantically closed language by means of a hierarchy of logical types of classes (Russell) or a hierarchy of metalanguages (Tarski). However, some contemporary logicians criticize the hierarchical approach, whose main argument consists in asserting that the approach was wrong in its diagnosis of the cause of paradoxes. This author does not try to correct the diagnostics of the hierarchical approach by identifying another cause of paradoxes. Instead, the author recognizes that a general solution of the problem of paradoxes cannot be given, a priori, by eliminating what fundamentally generates them. In this article, a new “ad hoc solution" of the problem is offered that rests upon an empirical method of identifying and eliminating paradoxes. A specific characteristic of the method is admitting the existence of consistent semantically closed language. (shrink)

Vague References to Quantities as a Face-Saving Strategy in Teacher-Student Interaction The main focus of the present paper is to show how vague language categories can function as a face-saving strategy. The observations made in this article are based on the analysis of one category of vague language, that is, quantifiers in British and American spoken academic discourse. The data used for the present investigation have been obtained from two corpora: the sub-corpus of educational events of the British National Corpus (...) and the Michigan Corpus of Academic Spoken Discourse. The results suggest that quantifiers as a face-saving strategy are used when self-criticism or criticism towards others is expressed. They are often employed in apologies, promises, self-justifications, when giving advice and in cases of uncertainty. Both students and teachers use quantifiers in these situations, but in teachers' speech they are of special importance, since teachers, if they want to maintain their authority, are especially conscious of their positive face. Paucal quantifiers especially frequently function as a face-saving device since they have a mitigating effect. The use of quantifiers as mitigators is especially evident in those instances where they occur in negative contexts. Such instances demonstrate that the main difference between the two varieties under investigation is that in BE quantifiers significantly more frequently function as mitigators. Finally, it has been observed that quantifiers frequently occur alongside other means of self-distancing and face-saving in both varieties. (shrink)

In a recent Opinion article, Sui and Humphreys [1] argue that experimental findings suggest self is ‘special’, in that self-reference serves a binding function within human cognitive economy. Contrasting their view with other functionalist positions, chiefly Dennett's [2], they deny that self is a convenient fiction and adduce findings to show that a ‘core self representation’ serves as an ‘integrative glue’ helping to bind distinct types of information as well as distinct stages of psycho- logical (...) processing. In other words, where Dennett regards self as analogous to a center of gravity, a simplification posited by observers, Sui and Humphreys regard self as a function that modulates mental processes. In practice, however, the concept of ‘self’ they employ is not unlike Dennett's. We side with Sui and Humphreys in hold- ing that self-reference modulates mental processes: reference to self during a task can bind memory to source, increase perceptual integration, and link attention to decision making, among other things. What is more, these functions are not reducible to other factors such as semantic coding, familiarity, or reward [3]. But whereas Sui and Humphreys contribute important empirical detail, the binding functions they describe are compatible with Dennett's version of functionalism, which treats self as an artifact of social process. (shrink)

Self‐explaining is an effective metacognitive strategy that can help learners develop deeper understanding of the material they study. This experiment explored if the format of material (i.e., text or diagrams) influences the self‐explanation effect. Twenty subjects were presented with information about the human circulatory system and prompted to self‐explain; 10 received this information in text and 10 in diagrams. Results showed that students given diagrams performed significantly better on post‐tests than students given text. Diagrams students also generated (...) significantly more self‐explanations that text students. Furthermore, the benefits of self‐explaining were much greater in the diagrams condition. To discover why diagrams can promote the self‐explanation effect, results are interpreted with reference to the multiple differences in the semantic, cognitive and affective properties of the texts and diagrams studied. (shrink)

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)

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language – and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of “building” objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism (...) is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell’s paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches. (shrink)

At least as important as a particular item of medical knowledge itself is to know something about the relationships of that knowledge to the experiential world it is talking about. The reason is that the patients the physician is concerned with are parts of that experiential world. So, when using any knowledge in her practice, e.g., some knowledge on infectious diseases, a morally conscientious doctor will be interested in whether, and in what way, this knowledge relates to the ‘world out (...) there’. Does the medical knowledge she employs bear any relevance to the bodies and souls of her patients? Does it enable her to understand the patient’s suffering, illness experience, and illness narrative? Will it help her find useful diagnoses and treatments? Are there in fact any indicators of such qualities of medical knowledge? Why not use astrology, Ayurveda, or exorcism instead of the theory of infectious diseases? A prerequisite for dealing with such questions is the awareness of the relationships between medical knowledge and its referent, i.e., of the semantics of medical knowledge, on the one hand; and of the pragmatic factors beyond this semantics, which influence the role medical knowledge plays in health care, on the other, e.g., social and economic processes. In the present chapter, we shall look at these issues with an eye toward understanding why some particular information is allowed to enter the medical world as knowledge, whereas other information is considered unacceptable or quackery. Is there a clear line of demarcation between medical knowledge and self-deception? To begin with, we will discuss the issues of truth and justification because, as pointed out in Section 10.1 on page 402, knowledge is traditionally defined as justified true belief . These two defining features of knowledge, truth and justifiedness, are due to the classical conception of knowledge as the representation of some ‘reality’. This ancient, representational postulate brings with it that the predominant view on the semantics of medical knowledge is realism, i.e., the view that medical knowledge is concerned with and represents ‘the real world out there’. We shall therefore need to inquire into the philosophy and medical relevance of this doctrine before we proceed to alternative views. Our discussion thus divides into the following five parts: 12.1 Justified True Belief; 12.2 Realism; 12.3 Anti-Realism; 12.4 Beyond Realism and Anti-Realism in Medicine; 12.5 Social Epistemology. (shrink)

Reading the significance of place as mediated through digital knowledge systems, this article expands recent debates around digital Bildung to include the semanticization of culture. The latter term refers to how data infrastructures correlate entities in their factuality in lived contexts, making them retrievable by digital devices and amenable to predictive inference by machines. Building on the analysis of others who characterize digital Bildung as the production of a semantic self-consciousness in learners, the article seeks to address the role (...) of information systems technique in this production. It locates certain core intellectual justifications for the semantic mediation of culture in the philosophy of Charles Sanders Peirce. Ultimately diagnosing digital Bildung as enculturation to Peircean metaphysics, the article goes on to thematize certain conceptual limitations of our epistemic emplacement via digital systems. Relying on other philosophers to surface these limitations—Jürgen Habermas, James Williams, and Jean-Hugues Barthélémy—the article concludes more polemically by suggesting that defining digital Bildung on the basis of semantic self-consciousness as it is currently understood may exacerbate a crisis of sense in datafied societies. (shrink)

The blame for the semantic and set-theoretic paradoxes is often placed on self-reference and circularity. Some years ago, Yablo [1985; 1993] challenged this diagnosis, by producing a paradox that's liar-like but does not seem to involve circularity. But is Yablo's paradox really non-circular? In a recent paper, Beall [2001] has suggested that there are no means available to refer to Yablo's paradox without invoking descriptions, and since Priest [1997] has shown that any such description is circular, Beall concludes (...) that Yablo's paradox itself is circular. In this paper, we argue that Beall's conclusion is unwarranted, given that (1) descriptions are not the only way to refer to Yablo's paradox, and (ii) we have no reason to believe that because the description involves self-reference, the denotation of the description is also circular. As a result, for all that's been said so far, we have no reason to believe that Yablo's paradox is circular. (shrink)

-/- Human beings are conscious not only of the world around them but also of themselves: their activities, their bodies, and their mental lives. They are, that is, self-conscious (or, equivalently, self-aware). Self-consciousness can be understood as an awareness of oneself. But a self-conscious subject is not just aware of something that merely happens to be themselves, as one is if one sees an old photograph without realising that it is of oneself. Rather a self-conscious (...) subject is aware of themselves as themselves; it is manifest to them that they themselves are the object of awareness. Self-consciousness is a form of consciousness that is paradigmatically expressed in English by the words “I”, “me”, and “my”, terms that each of us uses to refer to ourselves as such. -/- A central topic throughout the history of philosophy—and increasingly so since the seventeenth century—the phenomena surrounding self-consciousness prompt a variety of fundamental philosophical and scientific questions, including its relation to consciousness; its semantic and epistemic features; its realisation in both conceptual and non-conceptual representation; and its connection to our conception of an objective world populated with others like ourselves. (shrink)