The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation (...) of several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (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)

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)

A mildly revised version of an article first published in the Journal of Political Philosophy (2007), now avoiding certain unwelcome turns of phrase and misspellings.

This book represents a major contribution to game theory. It offers this conception of equilibrium in games: strategic equilibrium. This conception arises from a study of expected utility decision principles, which must be revised to take account of the evidence a choice provides concerning its outcome. The argument for these principles distinguishes reasons for action from incentives, and draws on contemporary analyses of counterfactual conditionals. The book also includes a procedure for identifying strategic equilibria in ideal normal-form games. In (...) synthesizing decision theory and game theory in a powerful way this book will be of particular interest to all philosophers concerned with decision theory and game theory as well as economists and other social scientists. (shrink)

We present a model for studying communities of epistemically interacting agents who update their belief states by averaging the belief states of other agents in the community. The agents in our model have a rich belief state, involving multiple independent issues which are interrelated in such a way that they form a theory of the world. Our main goal is to calculate the probability for an agent to end up in an inconsistent belief state due to updating. To that (...) end, an analytical expression is given and evaluated numerically, both exactly and using statistical sampling. It is shown that, under the assumptions of our model, an agent always has a probability of less than 2% of ending up in an inconsistent belief state. Moreover, this probability can be made arbitrarily small by increasing the number of independent issues the agents have to judge or by increasing the group size. A real-world situation to which this model applies is a group of experts participating in a Delphi-study. (shrink)

AGM-theory, named after its founders Carlos Alchourrón, Peter Gärdenfors and David Makinson, is the leading contemporary paradigm in the theory of belief-revision. The theory is reformulated here so as to deal with the central relational notions 'J is a contraction of K with respect to A' and 'J is a revision of K with respect to A'. The new theory is based on a principal-case analysis of the domains of definition of the three main (...) kinds of theory-change (expansion, contraction and revision). The new theory is stated by means of introduction and elimination rules for the relational notions. In this new setting one can re-examine the relationship between contraction and revision, using the appropriate versions of the so-called Levi and Harper identities. Among the positive results are the following. One can derive the extensionality of contraction and revision, rather than merely postulating it. Moreover, one can demonstrate the existence of revision-functions satisfying a principle of monotonicity. The full set of AGM-postulates for revision-functions allow for completely bizarre revisions. This motivates a Principle of Minimal Bloating, which needs to be stated as a separate postulate for revision. Moreover, contractions obtained in the usual way from the bizarre revisions, by using the Harper identity, satisfy Recovery. This provides a new reason (in addition to several others already adduced in the literature) for thinking that the contraction postulate of Recovery fails to capture the Principle of Minimal Mutilation. So the search is still on for a proper explication of the notion of minimal mutilation, to do service in both the theory of contraction and the theory of revision. The new relational formulation of AGM-theory, based on principal-case analysis, shares with the original, functional form of AGM-theory the idealizing assumption that the belief-sets of rational agents are to be modelled as consistent, logically closed sets of sentences. The upshot of the results presented here is that the new relational theory does a better job of making important matters clear than does the original functional theory. A new setting has been provided within which one can profitably address two pressing questions for A GM-theory: (1) how is the notion of minimal mutilation (by both contractions and revisions) best analyzed? and (2) how is one to rule out unnecessary bloating by revisions? (shrink)

A general method is provided whereby bizarre revisions of consistent theories with respect to contingent sentences that they refute can be delivered by revision-functions satisfying both the basic and the supplementary postulates of the AGM-theory of theory-revision.

Written for undergraduates, the educated layperson, and scholars in fields other than philosophy, _The Myth of Religious Neutrality _offers a radical reinterpretation of the general relations between religion, science, and philosophy. This new edition has been completely revised and updated by the author.

The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory revision and sums, defeasible inheritance theory, interpolation, neighbourhood semantics and deontic logic, abstract independence, and various aspects of nonmonotonic and other logics. In both volumes the text contains many exercises and some solutions, and the (...) author limits the discussion of motivation and general context throughout, offering this only when it aids understanding of the formal material, in particular to illustrate the path from intuition to formalisation. Together these books are a suitable compendium for graduate students and researchers in the area of computer science and mathematical logic. (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.

This introductory text explores the theory of social choice. This text is an important starting point for students grappling with the complexities of social choice theory. Rigorous yet accessible, with new chapter exercises, it avoids the use of technical language and provides an up-to-date discussion of this rapidly developing field.

Economic research is often isolated from social and political deliberations. Politicians put distinct results together in ad hoc ways. This state of affairs is explained as a result of equating rationality with coherence, system, and justification; the rationality principle, according to which social facts are to be explained as the result of coherent and/or justified plans of individuals, is singled out as the prime source of the isolation. A revised version is proposed which dispenses with the need for justification and/or (...) coherence for rational action of individuals. Partially rational actions are attempts to solve problems within given institutional contexts; individual rationality is a social activity whose value depends on the quality of social standards which individuals use to guide their thought. This revision removes barriers between economic, social, and political theories, without blocking social scientific explanation. Indeed, it opens up possibilities now blocked. (shrink)

On the one hand, theories of modern physics are very successful in their areas of application. But on the other hand, the irreconcilability of General Relativity (GR) and Quantum Electrodynamics (QED) suggests that these theories of modern physics are not the final answer regarding the fundamental workings of the universe. This monograph takes the position that the key to advances in the foundations of physics lies in the hypothesis that massive systems made up of antimatter are repulsed by the gravitational (...) field of a body of ordinary matter: this hypothesis takes us to an uncharted territory where GR and QED do not hold up. From there the Elementary Process Theory (EPT) is developed: this is a collection of seven generalized process-physical principles that do hold up if the hypothesis is a fact of nature. Using four-dimensionalistic terminology, the EPT abstractly describes an elementary process in the temporal evolution of a massive system that interacts with its environment. The idea is that these elementary processes take place at Planck scale and are essentially all the same, regardless of the type of interaction that takes place: the EPT is thus intended as a candidate for a unifying scheme that applies to all four basic interactions. By mathematical modeling, the relation is explored between the EPT and classical mechanics, quantum mechanics, special relativity and GR. (shrink)

Previous edition, 1st, published in 1971.

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

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.

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

This revision of an important and lucid account of the various systems of axiomatic set theory preserves the basic format and essential ingredients of its highly regarded original. Quine's innovative exploitation of the virtual theory of classes in order to develop a considerable portion of set theory without ontological commitment to the existence of classes remains unchanged. So, too, does the list of topics treated--the theory of sets up to transfinite ordinal and cardinal numbers, the (...) axiom of choice and its equivalents, and a beautiful comparison of the various major formulations of set theory. There have, however, been a number of important changes, generally in the interest of greater elegance and clarity. One of the most notable of these is in the treatment of ordinal numbers. In the fourth section of that chapter an axiom schema is added to the effect that if α is a function and x an ordinal number, then there exists a class identical with the image of x under α. Although Quine, in general prefers to limit his existence assumptions as severely as possible, this added item possesses two attractive and closely related advantages: it yields the existence of all classes up to the size of any ordinal, and it greatly simplifies the subsequent treatment of ordinals and of transfinite recursion. The treatment of this latter subject, incidentally, has also been extensively modified to square with some difficulties first pointed out by Charles Parsons in The Journal of Symbolic Logic in 1964. Another important change consists in a considerable reworking of the section on infinite cardinals. The result is a more simplified and natural treatment. Finally, some new material on the theory of types and consequences of the axiom schema of comprehension has been added. Particularly with regard to the theory of types, this new material--due largely to the work of David Kaplan--has enabled Quine to drop, at one point, the assumption that there exists an object of lowest type. Altogether, this is a generally improved version of an originally masterful and brilliant work.--H. P. K. (shrink)

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.

I propose and articulate a novel theory of desire, called the Revised Reward Theory. As the name suggests, the theory is based—and expands—on Arpaly and Schroeder’s (2014) Reward Theory of Desire. The initial Reward Theory identifies desires with states of the reward learning system such that for an organism to desire some P is for its reward system to treat P as a reward upon receipt. The Revised Reward Theory identifies desires with a different (...) state of the same system, such that for an organism to desire some P is for its reward system to expect or predict that P will be rewarding (roughly) prior to receipt. The difference amounts to equating desires with what we ultimately find rewarding or satisfying versus those that underlie our motivations to obtain that which we take ourselves to desire. I argue that the structure of the reward system is incompatible with the original Reward Theory but compatible with the Revised Reward Theory. I demonstrate that this difference has important philosophical implications. I focus on moral responsibility and demonstrate Arpaly and Schroeder’s argument, that addiction can mitigate moral responsibility, turns on this precise difference. Arpaly, Schroeder, and I all ascribe to a meta-theory called ‘natural kindism’ which identifies mental kinds with neurocognitive kinds. This discussion, in addition to defending a theory of desire, is intended to act as a proof of concept for natural kindism as offering a powerful framework for relating empirical results to philosophical issues. (shrink)

According to the received view, Marxian (ideology) critique and Foucaultian (genealogical) critique constitute two divergent approaches of critical theory that have remarkably different goals and little in common. In this article, however, we identify a guiding thread that connects the Marxian and Foucaultian traditions and motivates a distinctive approach within critical theory we call the ‘critique of constitution’. The problem of restricted consciousness, we show, is the core problem in common between Michel Foucault's critical history of thought and (...) Georg Lukács's theory of reification which underlies the tradition of Western Marxism and Frankfurt School critical theory. The problem concerns the limits of intelligibility and, by the same token, the apparent inevitability of the given social ontology. Our sense of what is possible depends on what we are able to think. But we know from the history of sciences that the limits of intelligibility change, thereby also altering our sense of what is possible. This becomes a political problem in connection with the intelligibility of social reality, because our restricted consciousness limits the alternatives we can so much as consider and seek to bring about. The critique of constitution, then, aims to expand the scope of possibility by revealing the contingent formation of the given limits of intelligibility. We argue that this is the paramount political task for Foucault and Lukács alike, other important differences notwithstanding. (shrink)

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)

This book represents a major contribution to game theory. It offers this conception of equilibrium in games: strategic equilibrium. This conception arises from a study of expected utility decision principles, which must be revised to take account of the evidence a choice provides concerning its outcome. The argument for these principles distinguishes reasons for action from incentives, and draws on contemporary analyses of counterfactual conditionals. The book also includes a procedure for identifying strategic equilibria in ideal normal-form games. In (...) synthesizing decision theory and game theory in a powerful way this book will be of particular interest to all philosophers concerned with decision theory and game theory as well as economists and other social scientists. (shrink)

Although the AGM theory established a paradigm for the theory of belief revision, which is generally regarded as a kind of standard in the field, it is also frequently criticized as inadequate because it neglects justificational structures. Other theories of belief revision are similarly remiss in this regard. So far, little has been done to address this shortcoming. This paper aims to fill this gap. Following a critical analysis of the AGM theory, a justification operator (...) is introduced as a formal means to incorporate justificational structures into a belief revision theory. An AGM style belief revision theory is proposed that is based on such a justification operator. The theory is presented in an axiomatic form. Representation theorems link the axioms with constructive belief change mechanisms. The proposed theory addresses the problems of the AGM theory and similar approaches that neglect justificational structures. (shrink)

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.

Franz Brentano took exception to the classic statement of the correspondence theory of truth, the thesis: veritas est adaequatio rei et intellectus. His reasons for objecting to it, and his proposed revision of the thesis, are interesting considered in themselves as well as for the light they shed on Brentano's view of the relation between the thinker and the world. With regard to the former, it is shown how Brentano analyzes the adaequatio thesis word by word in order (...) to demonstrate what he takes to be its fundamental incoherence. With regard to the latter, it becomes apparent, by contrast with the Thomistic understanding of the adaequatio thesis, that Brentano's revision of it in the direction of a phenomenological theory of truth also involves a revised understanding of the nature of the thinker or knower. (shrink)

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.

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 book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together (...) the fields of theoretical and experimental computer science as well as the many relevant application areas. (shrink)

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.

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)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

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)

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)

Our aim in this paper is to suggest that most current theories of global justice fail to adequately recognise the importance of global public goods. Broadly speaking, this failing can be attributed at least in part to the complexity of the global context, the individualistic focus of most theories of justice, and the localised nature of the theoretical foundations of most theories of global justice. We argue ? using examples (particularly that of protecting antibiotic efficacy) ? that any truly effective (...) theory of global justice must recognise the importance of global public goods. Global public goods confer significant benefits to individuals yet can only be effectively promoted and preserved through collective action and the restriction of individual choice; something which most theories of justice are structurally unequipped to sufficiently promote. (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)