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

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.

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.

Societies change; and sociology has, since its inception, described and evaluated these changes. This article proposes a revised theory of collective learning processes, a conceptual framework which addresses ways in which people make sense of and cope with change. Drawing on Habermas’ classic proposal, but shifting the focus from argumentation towards storytelling, it explains how certain articulations allow for collective learning processes (imagining more inclusive orders), while others block learning processes (imagining more exclusive orders). More specifically, the article points (...) to narrative genres (romance, tragedy, comedy and irony) which organize feelings and shape the social bond, proposing that ironic and tragic stories have the potential to trigger collective learning processes, while romantic and comic stories tend to block them. (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.

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)

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)

A powerful argument against the resurrection of the body is based on the premise that all resurrection theories violate natural laws. We counter this argument by developing a fully naturalistic resurrection theory. We refer to it as the revision theory of resurrection (the RTR). Since Hick’s replica theory is already highly naturalistic, we use Hick’s theory as the basis for the RTR. According to Hick, resurrection is the recreation of an earthly body in another universe. (...) The recreation is a resurrection counterpart. We show that the New Testament supports the idea of resurrection counterparts. The RTR asserts that you are a node in a branching tree of increasingly perfect resurrection counterparts. These ever better counterparts live in increasingly perfect resurrection universes. We give both theological arguments and an empirical argument for the RTR. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another (...) type-free property theory, to be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that (...) even core deontic concepts such as that of permission resists a satisfactory analysis without it. By way of illustration the last section of the paper analyses the much debated concept of positive permission, of which there turns out to be more than one kind. (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 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 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.

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)

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)

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)

In this paper, I assess John McDowell's paper "Avoiding the Myth of the Given" (2009) (AMG) and its theory of epistemological openness to the world. I trace its motivations back to Kantian, Sellarsian and Aristotelean roots. I argue that McDowell subscribes to a kind of Holistic Theory of Rationality (HTR). To explain the HTR, I will analyze the Sellarsian notions of the "Manifest Image," the "Myth of the Given" and the "logical space of reasons." I argue that the (...) holistic nature of McDowell's theory gives it particular properties that put it in need of conservatism, because all the elements of the theory "hang together" - i.e. cohere - in a dangerous fashion. I argue that McDowell cannot afford big changes without upsetting the apple-cart. With this in mind, I shall assess the merits and demerits of AMG, and its modified theory of perceptual content, as an attempted conservative reform of HTR. I want to argue that, taken independently, AMG is a good and important change, but taken holistically it is non-conservative, and disruptive, of the McDowellian picture. Thus, if we wish to proceed with the McDowellian path, we are led to a choice between rejecting the local reform (and retreating back to an earlier version) or demanding further explanations of its global implications. (shrink)

I. Levi has advocated a decision-theoretic account of belief revision. We argue that the game-theoretic framework of Interrogative Inquiry Games, proposed by J. Hintikka, can extend and clarify this account. We show that some strategic use of the game rules generate Expansions, Contractions and Revisions, and we give representation results. We then extend the framework to represent explicitly sources of answers, and apply it to discuss the Recovery Postulate. We conclude with some remarks about the potential extensions of interrogative (...) games, with respect to some issues in the theory of belief change. (shrink)

Although the principle of informed consent is well established and its importance widely acknowledged, it has met with criticism for decades. Doubts have been raised for a number of different reasons. In particular, empirical data show that people regularly fail to reproduce the information provided to them. Many critics agree, therefore, that the received concept of informed consent is no more than a myth. Strategies to overcome this problem often rest on a flawed concept of informed consent. In this paper, (...) it is suggested that informed consent is a communicative act between two persons. The challenge is to elucidate the norms and constraints for successfully performing such a communicative act. The view developed here has major consequences with regard to the standards for information disclosure as well as for the general scope of informed consent. (shrink)

Primary issues raised by the commentaries on the target article relate to (1) the need to differentiate distinct but overlapping aspects of fluid cognition, and (2) the implications that this differentiation may hold for conceptions of general intelligence. In response, I outline several issues facing researchers concerned with differentiation of human cognitive abilities and suggest that a revised and expanded theory of intelligence is needed to accommodate an increasingly diverse and varied empirical base. (Published Online April 5 2006).

This article brings together two different topics: reflective equilibrium (RE) and belief revision theory (BRT). RE is a popular method of justification in many areas of philosophy, it involves a process of mutual adjustments striving for a state of coherence, but it lacks formally rigorous elaborations and faces severe criticism. To elucidate core elements of RE and provide a solid basis to address objections, a formal model of RE within BRT is presented. A fruitful starting point to the (...) formalization of RE is Olsson’s coherentist interpretation of semi-revision, but it does not come with a comparative notion of stability. This paper develops an account of comparative stability in an RE setting for belief changing operations. The operations are useful to characterize RE states as well as processes, and they are shown to satisfy postulates of rational belief change. (shrink)

There is an inherent need for education systems and mental health models to begin incorporating principles of non-local science in their approach to education for a population to gain general intelligence. Contemporary education is lagging in comparison with scientific progress due to the adoption of concepts that are considered outdated in current scientific terms. While education systems have not moved away from physical theories the scientific community began departing from this scientific framework in the year 1900 with the dawn of (...) the discovery of the Planck constant. The Bhagavata Purana provides a robust framework to encompass various spatial features of reality required to describe non-local sciences. This research attempts to assess the extent toward which the Bhagavata Purana can reconcile the various issues in contemporary scientific theory. Through review of Newton’s Principia Mathematica, Immanuel Kant’s Critique of Pure Reason, articles on Einstein’s Theory of Relativity, various academic papers regarding quantum physics as well as published articles on topics of space and time, various reference frames used for perceiving reality is compared to the Bhagavata Purana. The research concludes that the true nature of time according to the Bhagavata is ontological and relative to the reference frame used by the observer to perceive reality and stresses that the only way to perceive the true ontological state of Time is through a practice called devotional service. This research also recommends that there should be further research done in this area through the phenomenological research of time and space. (shrink)

Exponents and critics of semantic presupposition have almost invariably based their discussion on the ('Standard') definition of presupposition implied by Frege and Strawson. In this study Noel Burton-Roberts argues convincingly against this definition, that leads it to a three-valued semantics. He presents a very simple semantic definition which is weaker, more general and leads to a semantics more easily interpreted as two-valued with gaps. The author shows that a wide range of intuitive facts that eluded the Standard definition follow directly (...) from this ('Revised') definition itself: facts about the presuppositions of compound sentences and modal sentences, about presuppositional conflict and about differences in the logical status of simple sentences suffering from presupposition failure. The book includes a detailed argument that an ambiguity of natural language negation, generally assumed to be necessary to the defence of semantic presupposition, is neither possible nor necessary in a presuppositional semantics. Noel Burton-Roberts has made an authoritative contribution to a debate which has involved philosophers and linguists for many years. His command of the issues, his clarity of exposition and his theoretical insight may well serve to change the boundaries of that debate. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I, I have first presented the AGM theory of belief revision. Then I have focused on the problem of iterated belief revisions. In part II, I will first present ranking theory (Spohn 1988). Then I will show how it solves the problem of iterated belief revisions. I will conclude by sketching two areas of future research.

The present paper aims at a synthesis of belief revision theory with the Sneed formalism known as the structuralist theory of science. This synthesis is brought about by a dynamisation of classical structuralism, with an abductive inference rule and base generated revisions in the style of Rott (2001). The formalism of prioritised default logic (PDL) serves as the medium of the synthesis. Why seek to integrate the Sneed formalism into belief revision theory? With the hybrid (...) system of the present investigation, a substantial simplification of the ranking information that is necessary to define revisions and contractions uniquely is achieved. This system is, furthermore, expressive enough to capture complex and non-trivial scientific examples. It is thus closely related to a novel research area within belief revision theory which addresses the dynamics of scientific knowledge. (shrink)

Belief revision theory studies how an ideal doxastic agent should revise her beliefs when she receives new information. In part I I will first present the AGM theory of belief revision (Alchourrón & Gärdenfors & Makinson 1985). Then I will focus on the problem of iterated belief revisions.

Book Information A Theory of Justice: Revised Edition. By John Rawls. Oxford University Press. Oxford. 1999. Pp. xxii + 538. Hardback, £25.00. Paperback, £12.99.

Feminist scholars have been remaking the landscape in political theory, and in this important book some of the most important feminist political theorists provide reconstructions of those concepts most central to the tradition of political philosophy. The goal is nothing less than the construction of a blueprint for a positive feminist theory.Many of these papers are completely new; others are extensions of important earlier work; two are reprints of classic papers. The result is a progress report on the (...) continuing feminist project to re-envision traditional political theory. As such, it constitutes essential reading not only for feminist thinkers but also for traditional philosophers and political theorists, who will need to come to terms with these contemporary critiques and re-readings. (shrink)

When A Revision of Demand Theory was first published in 1956, the late Harry Johnson described it as "elegant in the extreme, probably the last word there is to be said on this aspect of demand theory." This landmark work by Nobel Prize winner J.R. Hicks is now available again.

This article explores traditional views of advance care planning in the broader context of advance personal planning, which also accounts for legal and financial matters. Criticisms of existing processes are noted, while the significance of interprofessional collaboration is highlighted. Reframing the purpose of advance personal planning as planning for the rest of life, rather than the end-of-life, and adopting a more holistic perspective informed by theory may help individuals to view advance personal planning as a routine, preventative exercise that (...) safeguards their autonomy and well-being. Both lawyers and healthcare providers have an important role to play in reframing the purpose of advance personal planning. This revised approach is underpinned by the unification of two separate theoretical lenses: Preventive Law Theory and Therapeutic Jurisprudence. This combination enhances our understanding of what it means for people to truly achieve “the good result” (Holtz 2017) when planning ahead for their future legal, financial, health, and personal interests. Preventive Law Theory encourages an ongoing, collaborative relationship between lawyers and their clients, or healthcare providers and their patients, while Therapeutic Jurisprudence ensures an ethical approach to advance personal planning that accounts for all aspects of the individual’s well-being, including consideration of vulnerability, autonomy, and empowerment. (shrink)

Belief revision theories aim to model the dynamics of epistemic states. Besides beliefs, epistemic states comprise most importantly justificational structures. Typically, belief revision theories, however, model the dynamics of beliefs while neglecting justificational structures over and above logical relations. Despite some awareness that this approach is problematic, how devastating the consequences of this neglect are has not yet been fully grasped. In this paper, I argue that taking justificational structures into account could solve four well-known problems of belief (...) revision. (shrink)

This article deals with cultural theory in the version of Thompson, Ellis and Wildavsky. Cultural theory is important for research in the area of political and policy science because this theory has the pretension of pinning down endogenous preference formation. Using Durkheim's dimensions, ‘social integration’ and ‘regulation of the actions of individuals’, cultural theory distinguishes five ways of life or cultures, namely individualism, hierarchy, egalitarianism, fatalism and autonomy. The statement that there are only five ways of (...) life is, however, the result of a selective interpretation of the dimension, ‘regulation of the actions of individuals’. A broad perspective on this dimension — including the ‘horizontal’ aspects of human relations — will lead to the conclusion that there is a sixth culture existent that has been neglected by current cultural theory. This sixth culture is essentially ‘mutualism-driven’. In this mutualist way of life, people hold highly specialized positions and are closely associated. The production of goods and services within this culture is based on cooperation and mutual adjustment. Power is widely spread, but not because equal rights and duties are considered a good thing. Knowledge and skills are primary in mutualist settings, and power follows knowledge and skills. (shrink)

Previous edition, 1st, published in 1971.

속성 이론들 중 하나인 개체 유명론은 굿맨의 두 난점들에 직면한다는 점에서 성공적이지 않은 입장으로 평가된다. 반면, 트롭주의는 닮음의 관계항들이 복합적 개체들이 아니라 단순한 트롭들이라는 점 덕분에 굿맨의 난점들을 피할 수 있는 것으로 간주된다. 이에 맨리는 그의 논문(2002)에서 트롭주의 역시 개체 유명론과 마찬가지로 성공적이지 않다고 주장한다. 그에 따르면 트롭주의는 변형된 버전의 굿맨의 난점들에 직면하게 되는데, 이를 피하기 위한 어떤 전략들도 트롭주의자에게 유효하지 않다. 그러나 트롭들로부터 속성을 구성하려 할 적에 변형된 굿맨의 난점에 직면하게 된다는 그의 주장은 의심스럽다. 이 논문에서는 맨리가 제시하는 변형된 (...) 굿맨의 난점이 트롭주의 관점에서 충분히 방어할 수 있기에, 이 경우 여전히 트롭주의는 적어도 개체 유명론에 비해 우세한 입장일 수 있음을 보일 것이다. (shrink)

This article deals with cultural theory in the version of Thompson, Ellis and Wildavsky. Cultural theory is important for research in the area of political and policy science because this theory has the pretension of pinning down endogenous preference formation. Using Durkheim's dimensions, ‘social integration’ and ‘regulation of the actions of individuals’, cultural theory distinguishes five ways of life or cultures, namely individualism, hierarchy, egalitarianism, fatalism and autonomy. The statement that there are only five ways of (...) life is, however, the result of a selective interpretation of the dimension, ‘regulation of the actions of individuals’. A broad perspective on this dimension — including the ‘horizontal’ aspects of human relations — will lead to the conclusion that there is a sixth culture existent that has been neglected by current cultural theory. This sixth culture is essentially ‘mutualism-driven’. In this mutualist way of life, people hold highly specialized positions and are closely associated. The production of goods and services within this culture is based on cooperation and mutual adjustment. Power is widely spread, but not because equal rights and duties are considered a good thing. Knowledge and skills are primary in mutualist settings, and power follows knowledge and skills. (shrink)

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 (...) class='Hi'>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)

The only test theory used by workers in the field of testing special relativity to analyze the significance of their experiments is the proof by H. P. Robertson [Rev. Mod. Phys. 21, 378 (1949)] of the Lorentz transformations from the results of the experimental evidence. Some researchers would argue that the proof contains an unwarranted assumption disguised as a convention about synchronization procedures. Others would say that alternative conventions are possible. In the present paper, no convention is used, but (...) the Lorentz transformations are still obtained using only the results of the experiments in Robertson's proof, namely the Michelson-Morley, Kennedy-Thorndike, and Ives-Stilwell experiments. Thus the revised proof is a valid test theory which is independent of any conventions, since one appeals only to the experimental evidence. The analysis of that evidence shows the directions in which efforts to test special relativity should go. Finally it is shown how the resulting test theory still has to be improved for consistency in the analysis of experiments with complicated experimental setups, how it can be simplified for expediency as to what should be tested, and how it should be completed for a missing step not considered by Robertson. (shrink)