Hannes Leitgeb

This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the predicate logic of the system. The propositional logic of HYPE is shown to contain first-degree entailment, to have the Finite Model Property, to be decidable, to have the Disjunction Property, and to extend intuitionistic propositional logic conservatively when intuitionistic negation is defined appropriately by HYPE’s logical connectives. Furthermore, HYPE’s first-order logic is a conservative extension of intuitionistic logic with the Constant Domain Axiom, when intuitionistic negation is again defined appropriately. The system allows for simple model constructions and intuitive Euler-Venn-like diagrams, and its logical structure matches structures well-known from ordinary mathematics, such as from optimization theory, combinatorics, and graph theory. HYPE may also be used as a general logical framework in which different systems of logic can be studied, compared, and combined. In particular, HYPE is found to relate in interesting ways to classical logic and various systems of relevance and paraconsistent logic, many-valued logic, and truthmaker semantics. On the philosophical side, if used as a logic for theories of type-free truth, HYPE is shown to address semantic paradoxes such as the Liar Paradox by extending non-classical fixed-point interpretations of truth by a conditional as well-behaved as that of intuitionistic logic. Finally, HYPE may be used as a background system for modal operators that create hyperintensional contexts, though the details of this application need to be left to follow-up work.

It is well known that aggregating the degree-of-belief functions of different subjects by linear pooling or averaging is subject to a commutativity dilemma: other than in trivial cases, conditionalizing the individual degree-of-belief functions on a piece of evidence E followed by linearly aggregating them does not yield the same result as rst aggregating them linearly and then conditionalizing the resulting social degree- of-belief function on E. In the present paper we suggest a novel way out of this dilemma: adapting the method of update or learning such that linear pooling com- mutes with it. As it turns out, the resulting update scheme – imaging on the evidence – is well-known from areas such as the study of conditionals and cau- sal decision theory, and a formal result from which the required commutativity property is derivable was supplied already by Gärdenfors in a different con- text. We end up determining under which conditions imaging would seem to be right method of update, and under which conditions, therefore, group update would not be affected by the commutativity dilemma.

We investigate the research programme of dynamic doxastic logic (DDL) and analyze its underlying methodology. The Ramsey test for conditionals is used to characterize the logical and philosophical differences between two paradigmatic systems, AGM and KGM, which we develop and compare axiomatically and semantically. The importance of Gärdenfors’s impossibility result on the Ramsey test is highlighted by a comparison with Arrow’s impossibility result on social choice. We end with an outlook on the prospects and the future of DDL.

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its prequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In the prequel, we made this norm mathematically precise; in this paper, we derive its consequences. We show that the two core tenets of Bayesianism follow from the norm, while the characteristic claim of the Objectivist Bayesian follows from the norm along with an extra assumption. Finally, we consider Richard Jeffrey’s proposed generalization of conditionalization. We show not only that his rule cannot be derived from the norm, unless the requirement of Rigidity is imposed from the start, but further that the norm reveals it to be illegitimate. We end by deriving an alternative updating rule for those cases in which Jeffrey’s is usually supposed to apply.

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate - this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language.

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms

.  Interpreted dynamical systems are dynamical systems with an additional interpretation mapping by which propositional formulas are assigned to system states. The dynamics of such systems may be described in terms of qualitative laws for which a satisfaction clause is defined. We show that the systems Cand CL of nonmonotonic logic are adequate with respect to the corresponding description of the classes of interpreted ordered and interpreted hierarchical systems, respectively. Inhibition networks, artificial neural networks, logic programs, and evolutionary systems are instances of such interpreted dynamical systems, and thus our results entail that each of them may be described correctly and, in a sense, even completely by qualitative laws that obey the rules of a nonmonotonic logic system.

The thesis defended in this article is that by uttering or publishing a great many declarative sentences in assertoric mode, one does not actually assert that their conjunction is true – one rather asserts that the vast majority of these sentences are true. Accordingly, the belief that is expressed thereby is the belief that the vast majority of these sentences are true. In the article, we make this proposal precise, we explain the context-dependency of belief that corresponds to it, we point out why our everyday oral practice of single assertions is not affected by it, and we argue that the proposal leads to a way out of the Paradox of the Preface

This essay develops a joint theory of rational (all-or-nothing) belief and degrees of belief. The theory is based on three assumptions: the logical closure of rational belief; the axioms of probability for rational degrees of belief; and the so-called Lockean thesis, in which the concepts of rational belief and rational degree of belief figure simultaneously. In spite of what is commonly believed, this essay will show that this combination of principles is satisfiable (and indeed nontrivially so) and that the principles are jointly satisfied if and only if rational belief is equivalent to the assignment of a stably high rational degree of belief. Although the logical closure of belief and the Lockean thesis are attractive postulates in themselves, initially this may seem like a formal “curiosity”; however, as will be argued in the rest of the essay, a very reasonable theory of rational belief can be built around these principles that is not ad hoc and that has various philosophical features that are plausible independently. In particular, this essay shows that the theory allows for a solution to the Lottery Paradox, and it has nice applications to formal epistemology. The price that is to be paid for this theory is a strong dependency of belief on the context, where a context involves both the agent's degree of belief function and the partitioning or individuation of the underlying possibilities. But as this essay argues, that price seems to be affordable.

We show that a set of prima facie plausible assumptions on the relation of meaning resemblance – one of which is a compositionality postulate – is inconsistent. On this basis we argue that either there is no theoretically useful notion of semantic resemblance at all, or the traditional conception of the compositionality of meaning has to be adapted. In the former case, arguments put forward by Nelson Goodman and Paul Churchland in favor of the concept of meaning resemblance are defeated. In the other case, it must be possible to account for 'degrees of compositionality' or for other refinements of compositionality that are compatible with meaning resemblance.

This article suggests that scientific philosophy, especially mathematical philosophy, might be one important way of doing philosophy in the future. Along the way, the article distinguishes between different types of scientific philosophy; it mentions some of the scientific methods that can serve philosophers; it aims to undermine some worries about mathematical philosophy; and it tries to make clear why in certain cases the application of mathematical methods is necessary for philosophical progress

The so-called Paradox of Serious Possibility is usually regarded as showing that the standard axioms of belief revision do not apply to belief sets that are introspectively closed. In this article we argue to the contrary: we suggest a way of dissolving the Paradox of Serious Possibility so that introspective statements are taken to express propositions in the standard sense, which may thus be proper members of belief sets, and accordingly the normal axioms of belief revision apply to them. Instead the paradox is avoided by making explicit, for any occurrence of an introspective modality in the object language, the belief state to which this occurrence refers; this will make it impossible for any doxastic modality to refer to two distinct belief sets within one and the same context of doxastic appraisal. By this move the standard derivation of a contradiction from the theory of belief revision in the presence of introspectively closed belief sets does not go through any more, and indeed the premisses of the Paradox of Serious Possibility become jointly consistent once they are reformulated with our amended introspective modalities only. Additionally, we present a probabilistic version of the Paradox of Serious Possibility which can be avoided in a perfectly analogous manner

We present a way of classifying the logically possible ways out of Gärdenfors' inconsistency or triviality result on belief revision with conditionals. For one of these ways—conditionals which are not descriptive but which only have an inferential role as being given by the Ramsey test—we determine which of the assumptions in three different versions of Gärdenfors' theorem turn out to be false. This is done by constructing ranked models in which such Ramsey-test conditionals are evaluated and which are subject to natural postulates on belief revision and acceptability sets for conditionals. Along the way we show that in contrast with what Gärdenfors himself proposed, there is no dichotomy of the form: either the Ramsey test has to be given up or the Preservation condition. Instead, both of them follow from our postulates

Famously, Frank P. Ramsey suggested a test for the acceptability of conditionals. Recently, David Chalmers and Alan Hájek (2007) have criticized a qualitative variant of the Ramsey test for indicative conditionals. In this paper we argue for the following three claims: (i) Chalmers and Hájek are right that the variant of the Ramsey test that they attack is not the correct way of spelling out an acceptability test for indicative conditionals. But there is a suppositional variant of the Ramsey test which is still stated in purely qualitative terms, which avoids the problems, and which looks correct. (ii) While the variant of the Ramsey test that Chalmers and Hájek criticize is not correct, it is still a good approximation of a correct formulation of the Ramsey test which may be usefully employed in various contexts. (iii) The variant of the Ramsey test that Chalmers and Hájek suggest as a substitute for the deficient version of the Ramsey test is itself subject to worries similar to those raised by Chalmers and Hájek, if it is given a non-suppositional interpretation

One of the fundamental problems of epistemology is to say when the evidence in an agent’s possession justifies the beliefs she holds. In this paper and its sequel, we defend the Bayesian solution to this problem by appealing to the following fundamental norm: Accuracy An epistemic agent ought to minimize the inaccuracy of her partial beliefs. In this paper, we make this norm mathematically precise in various ways. We describe three epistemic dilemmas that an agent might face if she attempts to follow Accuracy, and we show that the only inaccuracy measures that do not give rise to such dilemmas are the quadratic inaccuracy measures. In the sequel, we derive the main tenets of Bayesianism from the relevant mathematical versions of Accuracy to which this characterization of the legitimate inaccuracy measures gives rise, but we also show that Jeffrey conditionalization has to be replaced by a different method of update in order for Accuracy to be satisfied.

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure.

While the Gödel centenary year 2006 triggered a lot of conference and workshop activity on Gödel, the years leading to it stand out by exhibiting several excellent publications on Gödel's life and work, most notably the completion of the Kurt Gödel Collected Works series . The two volumes of Kurt Gödel. Wahrheit & Beweisbarkeit, written in German and edited by E. Köhler et al., constitute something like the ‘German-Austrian contribution’ to this renewal of interest in Gödel's legacy, even though not all of the articles in the volumes actually have German or Austrian authors.2 Indeed, as P. Weibel explains in the preface of the first volume, one of the intentions of the editors was to present Gödel as part of the cultural history of Austria. At the same time, the volumes highlight the contrast between Gödel's national reception—or lack thereof—and the way in which he was perceived and appreciated internationally, and although this discrepancy is now fortunately a thing of the past, its history is worth documenting. In this respect the two volumes will be of lasting value and importance, and the editors must be given credit not just for recording Gödel's delayed acceptance by Austrian politicians and university headquarters, but also for promoting Gödel's case. This being said, there is something extravagant and slightly queer about the two Kurt Gödel. Wahrheit & Beweisbarkeit volumes. Parts of them seem to be written for a generally educated audience, while other parts will be understandable only to logicians and philosophers who specialize in the topics covered. The volumes consist partly of biographical essays, interviews about Gödel, photos of him and his family, and letters by or to him, but they also include several non-historical articles which use …