Safety, Absoluteness, and Computability

The semantic notion of dependent safety is a common generalization of the notion of absoluteness used in set theory and the notion of domain independence used in database theory for characterizing safe queries. This notion has been used in previous works to provide a unified theory of constructions and operations as they are used in different branches of mathematics and computer science, including set theory, computability theory, and database theory. In this paper we provide a complete syntactic characterization of general first-order dependent safety. We also show that this syntactic safety relation can be used for characterizing the set of strictly decidable relations on the natural numbers, as well as for characterizing rudimentary set theory and absoluteness of formulas within it

Applicable Mathematics in a Minimal Computational Theory of Sets

In previous papers on this project a general static logical framework for formalizing and mechanizing set theories of different strength was suggested, and the power of some predicatively acceptable theories in that framework was explored. In this work we first improve that framework by enriching it with means for coherently extending by definitions its theories, without destroying its static nature or violating any of the principles on which it is based. Then we turn to investigate within the enriched framework the power of the minimal (predicatively acceptable) theory in it that proves the existence of infinite sets. We show that that theory is a computational theory, in the sense that every element of its minimal transitive model is denoted by some of its closed terms. (That model happens to be the second universe in Jensen's hierarchy.) Then we show that already this minimal theory suffices for developing very large portions (if not all) of scientifically applicable mathematics. This requires treating the collection of real numbers as a proper class, that is: a unary predicate which can be introduced in the theory by the static extension method described in the first part of the paper

The scope of Feferman’s semi-intuitionistic set theories and his second conjecture

The paper is concerned with the scope of semi-intuitionistic set theories that relate to various foundational stances. It also provides a proof for a second conjecture of Feferman’s that relates the concepts for which the law of excluded middle obtains to those that are absolute with regard to the relevant test structures, or more precisely of ∆1 complexity. The latter is then used to show that a plethora of statements is indeterminate with respect to various semi-intuitionistic set theories

Set theory and the analyst

This survey is motivated by specific questions arising in the similarities and contrasts between (Baire) category and (Lebesgue) measure - category-measure duality and non-duality, as it were. The bulk of the text is devoted to a summary, intended for the working analyst, of the extensive background in set theory and logic needed to discuss such matters: to quote from the Preface of Kelley [Kel]: "what every young analyst should know"

Indeterminacy and the law of the excluded middle

This thesis is an investigation into indeterminacy in the foundations of mathematics and its possible consequences for the applicability of the law of the excluded middle (LEM). It characterises different ways in which the natural numbers as well as the sets may be understood to be indeterminate, and asks in what sense this would cease to support applicability of LEM to reasoning with them. The first part of the thesis reviews the indeterminacy phenomena on which the argument is based and argues for a distinction between two notions of indeterminacy: a) indeterminacy as applied to domains and b) indefiniteness as applied to concepts. It then addresses possible attempts to secure determinacy in both cases. The second part of the thesis discusses the advantages that an argument from indeterminacy has over traditional intuitionistic arguments against LEM, and it provides the framework in which conditions for the applicability of LEM can be explicated in the setting of indeterminacy. The final part of the thesis then applies these findings to concrete cases of indeterminacy. With respect to indeterminacy of domains, I note some problems for establishing a rejection of LEM based on the indeterminacy of the height of the set theoretic hierarchy. I show that a coherent argument can be made for the rejection of LEM based on the indeterminacy of its width, and assess its philosophical commitments. A final chapter addresses the notion of indefiniteness of our concepts of set and number and asks how this might affect the applicability of LEM

Epistemic Modality, Mind, and Mathematics

This book concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. Chapter \textbf{3} provides an abstraction principle for epistemic intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4 (i.e. the KK principle). Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's "criterial" identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapter \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter \textbf{8} examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter \textbf{9} examines the modal profile of $\Omega$-logic in set theory. Chapter \textbf{10} examines the interaction between epistemic two-dimensional truthmaker semantics, epistemic set theory, and absolute decidability. Chapter \textbf{11} avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapter \textbf{2} is applied in chapters \textbf{7}, \textbf{8}, \textbf{10}, and \textbf{11}. Chapter \textbf{12} provides a modal logic for rational intuition and provides four models of hyperintensional semantics. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory

From axiomatization to generalizatrion of set theory

The thesis examines the philosophical and foundational significance of Cohen's Independence results. A distinction is made between the mathematical and logical analyses of the "set" concept. It is argued that topos theory is the natural generalization of the mathematical theory of sets and is the appropriate foundational response to the problems raised by Cohen's results. The thesis is divided into three parts. The first is a discussion of the relationship between "informal" mathematical theories and their formal axiomatic realizations this relationship being singularly problematic in the case of set theory. The second part deals with the development of the set concept within the mathemtical approach. In particular Skolem's reformulation of Zermlelo's notion of "definite properties". In the third part an account is given of the emergence and development of topos theory. Then the considerations of the first two parts are applied to demonstrate that the shift to topos theory, specifically in its guise of LST (local set theory), is the appropriate next step in the evolution of the concept of set, within the mathematical approach, in the light of the significance of Cohen's Independence results

Philosophy of mathematics education

PHILOSOPHY OF MATHEMATICS EDUCATION\ud This thesis supports the view that mathematics teachers should be aware of differing views of the nature of mathematics and of a range of teaching perspectives. The first part of the thesis discusses differing ways in which the subject 'mathematics' can be identified, by relying on existing philosophy of mathematics. The thesis describes three traditionally recognised philosophies of mathematics: logicism, formalism and intuitionism. A fourth philosophy is constructed, the hypothetical, bringing together the ideas of Peirce and of Lakatos, in particular. The second part of the thesis introduces differing ways of teaching mathematics, and identifies the logical and sometimes contingent connections that exist between the philosophies of mathematics discussed in part 1, and the philosophies of mathematics teaching that arise in part 2. Four teaching perspectives are outlined: the teaching of mathematics as aestheticallyorientated, the teaching of mathematics as a game, the teaching of mathematics as a member of the natural sciences, and the teaching of mathematics as technology-orientated. It is argued that a possible fifth perspective, the teaching of mathematics as a language, is not a distinctive approach. A further approach, the Inter-disciplinary perspective, is recognised as a valid alternative within previously identified philosophical constraints. Thus parts 1 and 2 clarify the range of interpretations found in both the philosophy of mathematics and of mathematics teaching and show that they present realistic choices for the mathematics teacher. The foundations are thereby laid for the arguments generated in part 3, that any mathematics teacher ought to appreciate the full range of teaching 4 perspectives which may be chosen and how these link to views of the nature of mathematics. This would hopefully reverse 'the trend at the moment... towards excessively narrow interpretation of the subject' as reported by Her Majesty's Inspectorate (Aspects of Secondary Education in England, 7.6.20, H. M. S. O., 1979). While the thesis does not contain infallible prescriptions it is concluded that the technology-orientated perspective supported by the hypothetical philosophy of mathematics facilitates the aims of those educators who show concern for the recognition of mathematics in the curriculum, both for its intrinsic and extrinsic value. But the main thrust of the thesis is that the training of future mathematics educators must include opportunities for gaining awareness of the diversity of teaching perspectives and the influence on them of philosophies of mathematics