In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..

The Revision Theory of Truth has been challenged in A. M. Yaqūb's recent book The Liar Speaks the Truth. Yaqūb suggests some non-trivial changes in the original theory - changing the limit rule - to avoid certain artifacts. In this paper it is shown that the proposed changes are not sufficient, i.e., Yaqūb's system also produces artifacts. An alternative solution is proposed and the relation between it and Yaqūb's solution is explored.

Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.

In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting theories of truth, and establishes the resulting relationships among these theories. The point is to get (...) a sense of the lay of the land amid a variety of options. Our results will also provide technical fodder for the methodological remarks of the companion paper to this one. (shrink)

We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional constraints that lead to desirable properties of the (...) resulting probability function. One such property is Leitgeb’s Probabilistic Convention T, which says that the probability of φ equals the probability that φ is true. (shrink)

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified account of varied revision sequences-as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception paints a metaphysical picture of truth as a property whose applicability is given by (...) a revision process rather than by a fixed extension. The main advantage of this revision process is its ability to explain why truth seems in many cases almost redundant, in others substantial, and yet in others paradoxical. Yaub offers a comprehensive defense of the revision theory of truth by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences can be constructed. Yaqub concludes by introducing a logic of truth that further demonstrates the adequacy of the revision theory. (shrink)

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.

Kremer presented three approaches of comparing fixed-point and revision theories of truth in Kremer, 363–403, 2009). Using these approaches, he established the relationships among ten fixed-point theories suggested by Kripke in, 690–716, 1975) and three revision theories presented by Gupta and Belnap in. This paper continues Kremer’s work. We add five other revision theories to the comparisons, including the theory proposed by Gupta in, 1–60, 1982), the theory proposed by Herzberger in, 61–102, 1982), the (...) theory based on fully-varied revision sequences proposed by Gupta and Belnap in, the theory proposed by Yaqūb in, and the theory based on weakly consistent revision sequences. We show that, the notion of Thomason model defined by Belnap’s limit rule is not equivalent to the one defined by Gupta’s limit rule, and that the theory based on fully-varied revision sequences is ≤2-equivalent to the one based on the greatest intrinsic fixed point of σ. (shrink)

We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth (...) FS. Briefly, we present some conceptual problems with ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)

Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model of knowledge. (...) 5. Intellect and figuring out. 6. Comparing foundational holism with Quine’s holism. 7. Evaluation of Quine’s Philosophy -/- III. Substantive Theory of Truth and Relevant Issues: 1. Outline of Sher’s substantive theory of truth. 2. Criticism of deflationism and treatment of the Liar. 3. Comparing Sher’s substantive theory of truth with Tarski’s theory of truth. -/- IV. A New Philosophy of Logic and Comparison with Other Theories: 1. Foundational account of logic. 2. Standard of logicality, set theory and logic. 3. Psychologism, Hanna’s and Maddy’s conceptions of logic. 4. Quine’s theses about the revisability of logic. -/- V. Epilogue. (shrink)

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

The primitivist theory of truth, i.e., the view that truth cannot be analysed in more fundamental terms, has been cleverly revamped by Jamin Asay, who has combined a primitivist approach to the concept of truth with a deflationary approach to the (metaphysical) property of being true. This paper aims to adjust Asay’s primitivist theory to consistently include the primitiveness of the (pre-theoretical) correspondence relation, grasped by our correspondence intuition, alongside the primitiveness of truth. In (...) the process, I apply a thesis by Rögnvaldur Ingthorsson, according to which the correspondence of beliefs to facts (broadly construed) can occur with no commitment to a correspondence theory of truth. Then I argue why Asay’s theory might not be able to account for the primitiveness of the pre-theoretical correspondence relation. Finally, I use a suggestion by André Kukla concerning the possible entailment between an ineffable insight and its effable consequences, to build a revised primitivist theory of truth. (shrink)

Tim Maudlin’s Truth and Paradox offers a theory of truth that arises from a foundationalist picture of language. The picture is attractive, and Maudlin builds on it courageously. From the formal point of view, the theory of truth that emerges is, as Maudlin observes, nothing other than the least-fixed-point theory of Saul Kripke. From the philosophical point of view, however, the differences between Maudlin’s and Kripke’s theories are large. It is these differences that lead (...) Maudlin to claim advantages that Kripke did not claim for his own theory. Maudlin says that his theory demands no object-language/metalanguage distinction, that he has “developed a theory of truth for a language that can serve as its own metalanguage.” He promises early on that his theory will be “more adequate to our actual practice of reasoning about truth [than revision and other fixed-point theories].” And he claims that the language he has constructed is expressively complete. (shrink)

I first discuss Chihara's claim that the presence of Liar-paradoxical sentences presents no problem for our understanding of natural languages, and argue that this cannot be held as easily as he suggests. I then consider the theories advanced by Martin, van Fraassen, Kripke and Burge which attempt to meet some of the problems involved. I argue that the claim in the first two theories that Liar sentences are ill-formed cannot be maintained, and that Burge's theory is methodologically unsound and (...) seriously incomplete. Kripke's theory, though it gives implausible truth-values to some sentences, is more satisfactory. Finally, I discuss Gupta's revision theory, and provide my own alternative which has the following advantages. First, it facilitates our understanding of Kripke's and Gupta's theories, and of their relationship. Second, it provides a third theory in which we can understand how the presence of the Liar does not radically infect a language. (shrink)

The epistemic paradox of 'belief instability' has recently received notable attention from many philosophers. Understanding this paradox is very important because belief is a central notion of psychologically motivated semantic theories in philosophy, linguistics, and cognitive science, and this paradox poses serious problems for these theories. In this dissertation I criticize previous proposals and offer a new proposal, which I call a 'revision theory of belief'. ;My revision theory of belief is in many respects an application (...) of Gupta's and Belnap's revision theory of truth, which is proposed to deal with the Liar paradox. They argue that truth is a circular notion because Tarski biconditionals provide circular, partial definitions of truth. And this circularity of truth is the source of the Liar paradox. I offer a similar proposal for handling the paradox of belief instability. In particular, I argue that our notion of belief involved in the paradox of belief instability is circular, and that is why this paradox arises. ;If the notion of belief involved in the paradox is circular, we have to employ a hypothetical evaluation of the belief predicate, and if we do so through a revision process, we can avoid the contradiction which seems to be generated by some paradoxical belief sentences. But it is not easy to show that our notion of belief is circular. Especially, there is nothing like Tarski biconditionals in the case of belief. Nonetheless, I show in this dissertation that there is a certain schema, which I call the B-schema, whose instances can be taken as circular, partial definitions of a notion of belief, and it is that notion of belief which is involved in the paradox of belief instability. In this dissertation I also show that the revision approach can be extended for handling the Knower paradox. I argue that the Knower paradox arises because our notion of knowledge involved in the paradox is circular. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as (...) observational, referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

§1. Introduction. The problem raised by the liar paradox has long been an intriguing challenge for all those interested in the concept of truth. Many “solutions” have been proposed to solve or avoid the paradox, either prescribing some linguistical restriction, or giving up the classical true-false bivalence or assuming some kind of contextual dependence of truth, among other possibilities. We shall not discuss these different approaches to the subject in this paper, but we shall concentrate on a kind (...) of formal construction which was originated by Kripke's paper “Outline of a theory of truth” [11] and which, in different forms, reappears in later papers by various authors.The main idea can be presented as follows: assume a first order language ℒ containing, among other unspecified symbols, a predicate symbolTintended to represent the truth predicate for ℒ. Assume, also, a fixed modelM= 〈D, I〉 whereDcontains all sentences of ℒ andIinterprets all non-logical symbols of ℒ exceptTin the usual way. In general,Dmight contain many objects other than sentences of ℒ but as that would raise the problem of the meaning of sentences in whichTis applied to one of these objects, we shall assume that this is not the case. (shrink)

The epistemic paradox of 'belief instability' has recently received notable attention from many philosophers. Understanding this paradox is very important because belief is a central notion of psychologically motivated semantic theories in philosophy, linguistics, and cognitive science, and this paradox poses serious problems for these theories. In this dissertation I criticize previous proposals and offer a new proposal, which I call a 'revision theory of belief'. -/- My revision theory of belief is in many respects an (...) application of Gupta's and Belnap's revision theory of truth, which is proposed to deal with the Liar paradox. They argue that truth is a circular notion because Tarski biconditionals provide circular, partial definitions of truth. And this circularity of truth is the source of the Liar paradox. I offer a similar proposal for handling the paradox of belief instability. In particular, I argue that our notion of belief involved in the paradox of belief instability is circular, and that is why this paradox arises. -/- If the notion of belief involved in the paradox is circular, we have to employ a hypothetical evaluation of the belief predicate, and if we do so through a revision process, we can avoid the contradiction which seems to be generated by some paradoxical belief sentences. But it is not easy to show that our notion of belief is circular. Especially, there is nothing like Tarski biconditionals in the case of belief. Nonetheless, I show in this dissertation that there is a certain schema, which I call the B-schema, whose instances can be taken as circular, partial definitions of a notion of belief, and it is that notion of belief which is involved in the paradox of belief instability. In this dissertation I also show that the revision approach can be extended for handling the Knower paradox. I argue that the Knower paradox arises because our notion of knowledge involved in the paradox is circular. (shrink)

Tim Maudlin’s Truth and Paradox offers a theory of truth that arises from a foundationalist picture of language. The picture is attractive, and Maudlin builds on it courageously. From the formal point of view, the theory of truth that emerges is, as Maudlin observes, nothing other than the least-fixed-point theory of Saul Kripke. From the philosophical point of view, however, the differences between Maudlin’s and Kripke’s theories are large. It is these differences that lead (...) Maudlin to claim advantages that Kripke did not claim for his own theory. Maudlin says that his theory demands no object-language/metalanguage distinction, that he has “developed a theory of truth for a language that can serve as its own metalanguage.” He promises early on that his theory will be “more adequate to our actual practice of reasoning about truth [than revision and other fixed-point theories].” And he claims that the language he has constructed is expressively complete. (shrink)

In this paper, I give a systematic account of the core features of Jürgen Habermas’s revised approach to truth that comprises both realist and epistemic components. While agents in the lifeworld are pragmatic realists and work on the basic assumption that their beliefs about the world are true, beliefs that have become problematic can be scrutinized only in the form of validity-claims in rational discourses. Thus Habermas introduces a discursive truth predicate that involves a procedural idealization of the (...) conditions of discourse in terms of ‘justified acceptability under conditions that are currently ideal’. He argues that this truth predicate has to be understood in connection with agents’ pragmatic realism to give a comprehensive account of truth. This paper is concerned with the tension between truth-in-the-lifeworld and discursive truth. I argue that Habermas’s account is troubled by two problems: firstly an unclear conception of the role of the truth predicate; and secondly, the suggestion that agents in discourse temporarily abandon their lifeworldly realism. While the first problem can be remedied by exploring the distinction between a truth predicate and a truth criterion, the second difficulty requires a modification of Habermas’s account. I show that the consistency of his approach depends on the acceptance of the principle of bivalence throughout, and hence on the subscription to a certain kind of realism that extends beyond the lifeworld. Key Words: bivalence • discourse • Habermas • lifeworld • pragmatism • realism • truth. (shrink)

We present a new proposal for what to do at limits in the revision theory. The usual criterion for a limit stage is that it should agree with any definite verdicts that have been brought about before that stage. We suggest that one should not only consider definite verdicts that have been brought about but also more general properties; in fact any closed property can be considered. This more general framework is required if we move to considering (...) class='Hi'>revision theories for concepts that are concerned with real numbers, but also has consequences for more traditional revision theories such as the revision theory of truth. (shrink)

Gupta has proposed a definition of strategic rationality cast in the framework of his revision theory of truth. His analysis, relative to a class of normal form games in which all players have a strict best reply to all other players’ strategy profiles, shows that game-theoretic concepts have revision-theoretic counterparts. We extend Gupta’s approach to deal with normal form games in which players’ may have weak best replies. We do so by adapting intuitions relative to Nash (...) equilibrium refinements to the revision-theoretic framework. We prove that there is a precise equivalence between trembling-hand perfect equilibria in two-player normal games and a revision-theoretic property. We then introduce lexicographic choice of action as a way to represent players’ expectations, which allows our analysis to reach full generality. Finally, we provide an example of the versatility of revision theory as applied to strategic interaction by formalizing a risk-and-compensation procedure of strategic choice in the revision-theoretic framework. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

In this impressive second edition of Theory of Knowledge, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the traditional definition of knowledge as justified true belief, Lehrer explores the truth, belief, and justification conditions on the way to a thorough examination of foundation theories of knowledge,the work of Platinga, externalism and naturalized epistemologies, internalism and modern coherence theories, contextualism, and recent reliabilist and causal theories. Lehrer gives all views careful examination and (...) concludes that external factors must be matched by appropriate internal factors to yield knowledge. This match of internal and external factors follows from Lehrer’s new coherence theory of undefeated justification. In addition to doing justice to the living epistemological traditions, the text smoothly integrates several new lines that will interest scholars. Also, a feature of special interest is Lehrer’s concept of a justification game.This second edition of Theory of Knowledge is a thoroughly revised and updated version that contains several completely new chapters. Written by a well-known scholar and contributor to modern epistemology, this text is distinguished by clarity of structure, accessible writing, and an elegant mix of traditional material, contemporary ideas, and well-motivated innovation. (shrink)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the (...) relevant expressive functions without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

As the title suggests, this paper aims at surveying some recent advances in the theory of formal truth. It contains an account of the debate concerning the deflationist approach to truth, according to which truth is a ‘thin’ notion in that it should involve no assumption of whatsoever nature. We review here the main issues that were comprised by the discussion accompanying the attempts of translating this idea into logical terms. In the second half of the (...) paper, we focus on a recent theory of truth proposed by Hartry Field, a former ‘champion’ of the deflationary approach. We then discuss it both with respect to the previous conceptual account, and to some further observation concerning the truth–as–revision machinery that this theory can be proved to implicitly make use of. (shrink)

Each of the three essays constituting the dissertation's body explores a theoretical approach to conceptual content, as well as to particular kinds of concepts. A concluding chapter defends a distinction between two varieties of intentionality. ;Chapter 1 identifies a distinctive model of intentionality in Locke's discussion of our "ideas of the sorts of substances." Properly understood, his doctrine of the "inadequacy" of substance-ideas reveals that the sort represented by such an idea isn't settled by the idea's descriptive content. The key (...) to his compromise between classificatory conventionalism and essentialism is an injunction to "rectify" each substance-idea, one that reflects a norm governing natural-historical inquiry. Interestingly, Locke regards the resulting picture of the natural kinds represented by substance-ideas as compatible with his descriptivist account of how the extensions of substance-names are fixed. ;Chapter 2 examines Gupta and Belnap's theory of "circular concepts," which likewise appeals to a semantic "revision rule." Besides promising to explain semantic paradox when applied to the concept of truth, their theory significantly liberalizes the framework of truth conditional semantics. I criticize the rationale behind that liberalization by investigating the significance attributed to the revision rule, and propose invoking pragmatic ideas to do justice to some of the theory's motivating intuitions. ;Chapter 3 first argues that Brandom's appeal to normatively characterized linguistic practice subserves two approaches to content: one expressivist and the other reductionist. The criterion of adequacy motivating his "inferentialist" reduction of contentfulness, I then argue, is one he should dismiss in view of his deflationism about truth. Moreover, Brandom fails to vindicate the priority of attributions of inferential norms over attributions of propositional content. This criticism doesn't affect the expressivist elucidation of intentional concepts resulting from Brandom's normative-pragmatic description of assertional practice. ;My conclusion draws on this elucidation to defend a distinction prefigured in my construal of Locke as divorcing the aboutness of substance-ideas from assessments of truth. I argue that we should distinguish between a "representational" kind of intentionality whose attribution subserves explanations of successful inductive and explanatory practices, and a "semantic" kind whose attribution makes explicit normative features of the essentially communicative practice of assertion. (shrink)

The ideas of fixed points (Kripke in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 53–81, 1975; Martin and Woodruff in Recent essays on truth and the liar paradox. Clarendon Press, London, pp 47–51, 1984) and revision sequences (Gupta and Belnap in The revision theory of truth. MIT, London, 1993; Gupta in The Blackwell guide to philosophical logic. Blackwell, London, pp 90–114, 2001) have been exploited to provide solutions to the (...) semantic paradox and have achieved admirable success. This happy situation naturally encourages one to look for other philosophical areas of their further applications where paradoxical results seem to follow from intuitively acceptable principles. In this paper, I propose to extend the use of these ideas to give two new treatments of abstract objects. Sections 1 and 2 below check several abstractionist theories and their main defects. Section 3 shows how the two ideas can be applied to generate consistent theories of abstract objects without any ad hoc restriction on any principle. (shrink)

This paper applies Paul Grobstein's theory of science as story telling and story revising to history. The purpose of drawing such links is to show that in our current age when disciplinary borders are becoming increasingly blurred, what may be effective research practice for one discipline, may have some useful insights for another. It argues that what Grobstein advocates for science makes just as much sense for history and that historians have long recognised in their own discipline many of (...) the points Grobstein raises. It examines the changing role of stories dependant upon their cultural context and the emergence of global stories due to advances in technology. Such advances also challenge traditional methods of telling the story. It suggests that we may be entering a period which demands a new discourse on the relationship between human knowledge, understanding, and culture. (shrink)

This paper provides a brief introduction to quantum theory and the proceeds to discuss the different ways in which the relationship between quantum theory and mind/consciousness is seen in some of the main alternative interpretations of quantum theory namely by Bohr; von Neumann; Penrose: Everett; and Bohm and Hiley. It briefly considers how qualia might be explained in a quantum framework, and makes a connection to research on quantum biology, quantum cognition and quantum computation. The paper notes (...) that it is widely agreed that conscious experience has dynamical and holistic features. It asks whether these features might in some way be a reflection of the dynamic and holistic quantum physical processes associated with the brain that may underlie (and make possible) the more mechanistic neurophysiological processes that contemporary cognitive neuroscience is measuring. If so, these macroscopic processes would be a kind of shadow, or amplification of the results of quantum processes at a deeper (pre-spatial or "implicate") level where our minds and conscious experience essentially live and unfold. The macroscopic, mechanistic level is of course necessary for communication, cognition and life as we know it, including science; but perhaps the experiencing (consciousness) of that world and the initiation of our actions takes place at a more subtle, non-mechanical level of the physical world, which quantum theory has begun to discover. At the very least a quantum perspective will help a “classical” consciousness theorist to become better aware of some of the hidden assumptions in his or her approach. Given that consciousness is widely thought to be a “hard” problem, its solution may well require us to question and revise some of our assumptions that now seem to us completely obvious. This is what quantum theory is all about – learning, on the basis of scientific experiments, to question the “obvious” truths about the nature of the physical world and to come up with more coherent alternatives. (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)

Belief revision (BR) and truthlikeness (TL) emerged independently as two research programmes in formal methodology in the 1970s. A natural way of connecting BR and TL is to ask under what conditions the revision of a belief system by new input information leads the system towards the truth. It turns out that, for the AGM model of belief revision, the only safe case is the expansion of true beliefs by true input, but this is not very (...) interesting or realistic as a model of theory change in science. The new accounts of non-prioritized belief revision do not seem more promising in this respect, and the alternative BR account of updating by imaging leads to other problems. Still, positive results about increasing truthlikeness by belief revision may be sought by restricting attention to special kinds of theories. Another approach is to link truthlikeness to epistemic matters by an estimation function which calculates expected degrees of truthlikeness relative to evidence. Then we can study how the expected truthlikeness of a theory changes when probabilities are revised by conditionalization or imaging. Again, we can ask under what conditions such changes lead our best theories towards the truth. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form, then for any consistent set of literals S, we can simultaneously count the models of Δ ∪ S and the models of every theory Δ ∪ T where T results from adding, removing or (...) flipping a literal in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams. Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)

We address in this paper the problem of counting the models of a propositional theory under incremental changes to its literals. Specifcally, we show that if a propositional theory Δ is in a special form that we call smooth, deterministic, decomposable negation normal form (sd-DNNF), then for any consistent set of literals S, we can simultaneously count (in time linear in the size of Δ) the models of Δ ∪ S and the models of every theory Δ (...) ∪ T where T results from adding, removing or flipping a literal in S. We present two results relating to the time and space complexity of compiling propositional theories into sd-DNNF. First, we show that if a conjunctive normal form (CNF) has a bounded treewidth, then it can be compiled into an sd-DNNF in time and space which are linear in its size. Second, we show that sd-DNNF is a strictly more space efficient representation than Free Binary Decision Diagrams (FBDDs). Finally, we discuss some applications of the counting results to truth maintenance systems, belief revision, and model-based diagnosis. (shrink)