Generalized Topological Semantics for First-Order Modal Logic

This dissertation provides a new semantics for first-order modal logic. It is philosophicallymotivated by the epistemic reading of modal operators and, in particular, three desiderata in the analysis of epistemic modalities.(i) The semantic modelling of epistemic modalities, in particular verifiability and falsifiability, cannot be properly achieved by Kripke's relational notion of accessibility. It requires instead a more general, topological notion of accessibility.(ii) Also, the epistemic reading of modal operators seems to require that we combine modal logic with fully classical first-order logic. For this purpose, however, Kripke's semantics for quantified modal logic is inadequate; its logic is free logic as opposed to classical logic.(iii) More importantly, Kripke's semantics comes with a restriction that is too strong to let us semantically express, for instance, that the identity of Hesperus and Phosphorus, even if metaphysically necessary, can still be a matter of epistemic discovery.To provide a semantics that accommodates the three desiderata, I show, on the one hand, howthe desideratum (i) can be achieved with topological semantics, and more generally neighborhood semantics, for propositional modal logic. On the other hand, to achieve (ii) and (iii), it turns out that David Lewis's counterpart theory is helpful at least technically. Even though Lewis's ownformulation is too liberal---in contrast to Kripke's being too restrictive---to achieve our goals, this dissertation provides a unification of the two frameworks, Kripke's and Lewis's. Through a series of both formal and conceptual comparisons of their ontologies and semantic ideas, it is shown that structures called sheaves are needed to unify the ideas and achieve the desiderata (ii) and (iii). In the end, I define a category of sheaves over a neighborhood frame with certain properties, and show that it provides a semantics that naturally unifies neighborhood semantics for propositional modal logic, on the one hand, and semantics for first-order logic on the other. Completeness theorems are proved

Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting)

The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics using proof-theoretic methods. The workshop contributed to the following research strands: interactions between foundations and applications; proof mining; constructivity in classical logic; modal logic and provability logic; proof theory and theoretical computer science; structural proof theory

The theory of inconsistency: inconsistant mathematics and paraconsistent logic

Each volume includes author's previously published papers.Bibliography: leaves 147-151 (v. 1).3 v. :Thesis (D.Sc.)--University of Adelaide, School of Mathematical Sciences, 200

New Approach to Arakelov Geometry

This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with "exotic" objects such as F_1 ("field with one element"), Z_\infty ("real integers"), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models.Comment: 568 pages, with hyperlink

New approach to Arakelov geometry

This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesn't require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with "exotic" objects such as F_1 ("field with one element"), Z_\infty ("real integers"), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models

Representation and duality of the untyped lambda-calculus in nominal lattice and topological semantics, with a proof of topological completeness

We give a semantics for the lambda-calculus based on a topological duality theorem in nominal sets. A novel interpretation of lambda is given in terms of adjoints, and lambda-terms are interpreted absolutely as sets (no valuation is necessary)

Homotopy theory and topoi

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliographical references (p. 53-55).by Tibor Beke.Ph.D