Unrestricted use of the axiom schema of comprehension, ?to every mathematically (or set-theoretically) describable property there corresponds the set of all mathematical (or set-theoretical) objects having that property?, leads to contradiction. In set theories of the Zermelo?Fraenkel?Skolem (ZFS) style suitable instances of the comprehension schema are chosen ad hoc as axioms, e.g.axioms which guarantee the existence of unions, intersections, pairs, subsets, empty set, power sets and replacement sets. It is demonstrated that a uniform syntactic description may be (...) given of acceptable instances of the comprehension schema, which include all of the axioms mentioned, and which in their turn are theorems of the usual versions of ZFS set theory. Well then, shall we proceed as usual and begin by assuming the existence of a single essential nature or Form for every set of things which we call by the same name? Do you understand? (Plato, Republic X.596a6; cf. Cornford 1966, 317). (shrink)

-/- A schema (plural: schemata, or schemas), also known as a scheme (plural: schemes), is a linguistic template or pattern together with a rule for using it to specify a potentially infinite multitude of phrases, sentences, or arguments, which are called instances of the schema. Schemas are used in logic to specify rules of inference, in mathematics to describe theories with infinitely many axioms, and in semantics to give adequacy conditions for definitions of truth. -/- 1. What is (...) a Schema? 2. Uses of Schemas 3. The Ontological Status of Schemas 4. Schemas in the History of Logic Bibliography. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...) Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standpoint. In addition to clarifying the relation between Kleene’s and Troelstra’s minimal formal theories of numbers and number-theoretic sequences, we propose some modified choice principles and other function existence axioms which may be of use in reverse constructive analysis. Specifically, we consider the function comprehension principles assumed by the two minimal theories EL and M, introduce an axiom schema CFd asserting that every (...) decidable property of numbers has a characteristic function, and use it to describe a precise relationship between the minimal theories. We show that the axiom schema AC00 of countable choice can be decomposed into a monotone choice schema AC00m (which guarantees that every Cauchy sequence has a modulus) and a bounded choice schema BC00. We relate various (classically correct) axiom schemas of continuous choice to versions of the bar and fan theorems, suggest a constructive choice schema AC1/2,0 (which incidentally guarantees that every continuous function has a modulus of continuity), and observe a constructive equivalence between restricted versions of the fan theorem and correspondingly restricted bounding axioms \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${AB_{1/2,0}^{2^{\mathbb{n}}}}$$\end{document}. We also introduce a version WKL!! of Weak König’s Lemma with uniqueness which is intermediate in strength between WKL and the decidable fan theorem FTd. (shrink)

It is proved that in a suitable intuitionistic, locally classical, version of the theory ZFC deprived of the axiom of infinity, the requirement that every set be finite is equivalent to the assertion that every ordinal is a natural number. Moreover, the theory obtained with the addition of these finiteness assumptions is equivalent to a theory of hereditarily finite sets, developed by Previale in "Induction and foundation in the theory of hereditarily finite sets." This solves some problems stated there. (...) The analysis is undertaken using for each of these results a limited fragment of the relevant theory. (shrink)

We present a comprehensive study of the axiom schemas IΣ - n , BΣ - n (induction and collection schemas for parameter free Σ n formulas) and some closely related schemas.

The Wholeness Axiom (WA) is an axiom schema that can be added to the axioms of ZFC in an extended language $\{\in,j\}$ , and that asserts the existence of a nontrivial elementary embedding $j:V\to V$ . The well-known inconsistency proofs are avoided by omitting from the schema all instances of Replacement for j-formulas. We show that the theory ZFC + V = HOD + WA is consistent relative to the existence of an $I_1$ embedding. This answers (...) a question about the existence of Laver sequences for regular classes of set embeddings: Assuming there is an $I_1$ -embedding, there is a transitive model of ZFC +WA + “there is a regular class of embeddings that admits no Laver sequence.”. (shrink)

In the field of logics of formal inconsistency, the notion of “consistency” is frequently too broad to draw decisive conclusions with respect to the validity of many theses involving the consistency connective. In this paper, we consider the matter of the axiom 0—i.e., the schema ◦ ◦ϕ—by considering its interpretation in contexts in which “consistency” is understood as a type of verifiability. This paper suggests that such an interpretation is implicit in two extracanonical LFIs—Sören Halldén’s nonsense-logic C and (...) Graham Priest’s cointuitionistic logic daC—drawing some interesting conclusions concerning the status of 0. Initially, we discuss Halldén’s skepticism of this axiom and provide a plausible counterexample to its validity. We then discuss the interpretation of the operator in Priest’s daC and show the equivalence of 0 to the intuitionistic principle of testability. These observations suggest that it may be fruitful for members of the LFI community to look outside the canon for evidence concerning the adoption of principles like 0. (shrink)

We construct a modular semantic frameworks for LFIs (logics of formal (in)consistency) which extends the framework developed in [1; 3], but includes Marco’s schema too (and so practically all the axioms considered in [11] plus a few more). In addition, the paper provides another demonstration of the power of the idea of nondeterministic semantics, especially when it is combined with the idea of using truth-values to encode relevant data concerning propositions.

J. D. Monk has shown that for first order languages with finitely many variables there is no finite set of schema which axiomatizes the universally valid formulas. There are such finite sets of schema which axiomatize the formulas valid in all structures of some fixed finite size.

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its ‘pyramidal’ graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the (...) central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid. Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of ‘false’ contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a (...) space-saving lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

The present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic Aspects of Intensional and Non-Classical Logics, successfully defended at Leipzig University, November 1997. It collects work on proof systems for modal and constructive logics I have done over the last few years. The main concern is display logic, a certain refinement of Gentzen's sequent calculus developed by Nuel D. Belnap. This book is far from offering a comprehensive presentation of generalized sequent systems for modal logics broadly conceived. (...) The proof-theory of non-classical logics is a rapidly developing field, and even the generalizations of the ordinary notion of sequent listed in Chapter 1 can hardly be presented in great detail within a single volume. In addition to further investigating the various approaches toward generalized Gentzen systems, it is important to compare them and to discuss their relative advantages and disadvantages. An initial attempt at bringing together work on different kinds of proof systems for modal logics has been made in [188]. Another step in the same direction is [196]. Since Chapter 1 contains introductory considerations and, moreover, every remaining chapter begins with some surveying or summarizing remarks, in this preface I shall only emphasize a relation to philosophy that is important to me, register the sources of papers that have entered this book in some form or another, and acknowledge advice and support. (shrink)

We define an axiom schema for finite set theory with bounded induction on sets, analogous to the theory of bounded arithmetic,, and use some of its basic model theory to establish some independence results for various axioms of set theory over. Then we ask: given a model M of, is there a model of whose ordinal arithmetic is isomorphic to M? We show that the answer is yes if.

The paper contains an axiomatic treatment of the intuitionistic theory of hereditarily finite sets, based on an induction axiom-schema and a finite set of single axioms. The main feature of the principle of induction used (due to Givant and Tarski) is that it incorporates Foundation. On the analogy of what is done in Arithmetic, in the axiomatic system selected the transitive closure of the membership relation is taken as a primitive notion, so as to permit an immediate adaptation (...) of the theory to cases of restricted induction (in particular primitive recursive induction). At the end of the paper several different forms of induction, which play an important role in the development of the theory, are compared. An alternative axiomatization of the theory, which is of intrinsic interest, is also discussed. (shrink)

In this paper, I propose and defend a solution to Kripke's puzzle about time and thought, which lives in harmony with the axiom schema of separation and does not invoke paraconsistency. I also compare my solution with Parikh's semantic interpretation, and answer to three potential objections.

Formal aspects of various ways of description of Jan Łukasiewicz’s four-valued modal logic £ are discussed. The original Łukasiewicz’s description by means of the accepted and rejected theorems, together with the four-valued matrix, is presented. Then the improved E.J. Lemmon’s description based upon three specific axioms, together with the relational semantics, is presented as well. It is proved that Lemmon’s axiomatic is not independent: one axiom is derivable on the base of the remanent two. Several axiomatizations, based on three, (...) two or one single axiom are provided and discussed, including S. Kripke’s axiomatics. It is claimed that (a) all substitutions of classical theorems, (b) the rule of modus ponens, (c) the definition of “◊” and (d) the single specific axiom schema: ⬜A ∧ B → A ∧ ⬜B, called the jumping necessity axiom, constitute an elegant axiomatics of the system £. (shrink)

The signature of the formal language of mereology contains only one binary predicate P which stands for the relation “being a part of”. Traditionally, P must be a partial ordering, that is, ${\forall{x}Pxx, \forall{x}\forall{y}((Pxy\land Pyx)\to x=y)}$ and ${\forall{x}\forall{y}\forall{z}((Pxy\land Pyz)\to Pxz))}$ are three basic mereological axioms. The best-known mereological theory is “general extensional mereology”, which is axiomatized by the three basic axioms plus the following axiom and axiom schema: (Strong Supplementation) ${\forall{x}\forall{y}(\neg Pyx\to \exists z(Pzy\land \neg Ozx))}$ , where (...) Oxy means ${\exists z(Pzx\land Pzy)}$ , and (Fusion) ${\exists x\alpha \to \exists z\forall y(Oyz\leftrightarrow \exists x(\alpha \land Oyx))}$ , for any formula α where z and y do not occur free. In this paper, I will show that general extensional mereology is decidable, and will also point out that the decidability of the first-order approximation of the theory of complete Boolean algebras can be shown in the same way. (shrink)

Mereology is the theory of the relation “being a part of”. The first exact formulation of mereology is due to the Polish logician Stanisław Leśniewski. But Leśniewski’s mereology is not first-order axiomatizable, for it requires every subset of the domain to have a fusion. In recent literature, a first-order theory named General Extensional Mereology can be thought of as a first-order approximation of Leśniewski’s theory, in the sense that GEM guarantees that every definable subset of the domain has a fusion, (...) and this has been achieved by positing an axiom schema which in effect defines infinitely many axioms. Intuitively, in order to range over every definable subset, such an axiom schema seems unavoidable. But this paper will show that GEM is finitely axiomatizable and that all we need are just finitely many instances of the said axiom schema. (shrink)

The signature of the formal language of mereology contains only one binary predicate which stands for the relation “being a part of” and it has been strongly suggested that such a predicate must at least define a partial ordering. Mereological theories owe their origin to Leśniewski. However, some more recent authors, such as Simons as well as Casati and Varzi, have reformulated mereology in a way most logicians today are familiar with. It turns out that any theory which can be (...) formed by using the reformulated mereological axioms or axiom schemas is in a sense a subtheory of the elementary theory of Boolean algebras or of the theory of infinite atomic Boolean algebras. It is known that the theory of partial orderings is undecidable while the elementary theory of Boolean algebras and the theory of infinite atomic Boolean algebras are decidable. In this paper, I will look into the behaviors in terms of decidability of those mereological theories located in between. More precisely, I will give a comprehensive picture of the said issue by offering solutions to the open problems which I have raised in some of my papers published previously. (shrink)

Saul Kripke's Naming and Necessity, one of the most influential philosophical works of the twentieth century, serves as the backdrop for this collection of essays by leading specialists, on topics ranging from naming and necessity to meaning and skepticism. The volume concludes with an exciting, eye-opening new paper of Kripke's on the proof of Gödel's incompleteness theorem.

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these (...) operators, and applies it to constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (shrink)

By a result of Paris and Friedman, the collection axiom schema for $\Sigma_{n+1}$ formulas, $B\Sigma_{n+1}$ , is $\Pi_{n+2}$ conservative over $I\Sigma_n$ . We give a new proof-theoretic proof of this theorem, which is based on a reduction of $B\Sigma_n$ to a version of collection rule and a subsequent analysis of this rule via Herbrand's theorem. A generalization of this method allows us to improve known results on reflection principles for $B\Sigma_n$ and to answer some technical questions left open (...) by Sieg [23] and Hájek [9]. We also give a new proof of independence of $B\Sigma_{n+1}$ over $I\Sigma_n$ by a direct recursion-theoretic argument and answer an open problem formulated by Gaifman and Dimitracopoulos [8]. (shrink)

The combinatorial parity principle states that there is no perfect matching on an odd number of vertices. This principle generalizes the pigeonhole principle, which states that for a fixed bipartition of the vertices, there is no perfect matching between them. Therefore, it follows from recent lower bounds for the pigeonhole principle that the parity principle requires exponential-size bounded-depth Frege proofs. Ajtai previously showed that the parity principle does not have polynomial-size bounded-depth Frege proofs even with the pigeonhole principle as an (...) axiom schema. His proof utilizes nonstandard model theory and is nonconstructive. We improve Ajtai's lower bound from barely superpolynomial to exponential and eliminate the nonstandard model theory. Our lower bound is also related to the inherent complexity of particular search classes . In particular, oracle separations between the complexity classes PPA and PPAD, and between PPA and PPP also follow from our techniques. (shrink)

In this paper I propose a new approach to the foundation of mathematics: non-monotonic set theory. I present two completely different methods to develop set theories based on adaptive logics. For both theories there is a finitistic non-triviality proof and both theories contain (a subtle version of) the comprehension axiom schema. The first theory contains only a maximal selection of instances of the comprehension schema that do not lead to inconsistencies. The second allows for all the instances, (...) also the inconsistent ones, but restricts the conclusions one can draw from them in order to avoid triviality. The theories have enough expressive power to form a justification/explication for most of the established results of classical mathematics. They are therefore not limited by Gödel’s incompleteness theorems. This remarkable result is possible because of the non-recursive character of the final proofs of theorems of non-monotonic theories. I shall argue that, precisely because of the computational complexity of these final proofs, we cannot claim that non-monotonic theories are ideal foundations for mathematics. Nevertheless, thanks to their strength, first order language and the recursive dynamic (defeasible) proofs of theorems of the theory, the non-monotonic theories form (what I call) interesting pragmatic foundations. (shrink)

Quite a few results concerning the decidability of mereological theories have been given in my previous paper. But many mereological theories are still left unaccounted for. In this paper I will refine a general method for proving the undecidability of a theory and then by making use of it, I will show that most mereological theories that are strictly weaker than CEM are finitely inseparable and hence undecidable. The same results might be carried over to some extensions of those weak (...) theories by adding the fusion axiom schema. Most of the proofs to be presented in this paper take finite lattices as the base models when applying the refined method. However, I shall also point out the limitation of this kind of reduction and make some observations and conjectures concerning the decidability of stronger mereological theories. (shrink)

Reference [12] introduced a novel formula to formula translation tool that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is unavailable. This paper applies the formulator approach to show the independence of the axiom (...) class='Hi'>schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations. In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics. (shrink)

This paper gives a recursive generalization of a strong notation system of ordinals, which was devellopped by Jäger [3]. The generalized systemT(V′) is based on a hierarchy of Veblen-functions for inaccessible ordinals. The definition ofT(V′) assumes the existence of a weak Mahlo-ordinal. The wellordering ofT(V′) is provable in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension in a similar way, as it is proved in [6] for the weaker notation systemT(V′).

Since the critique of psychologism initiated by Gottlob Frege and championed by Edmund Husserl, logicians and psychologists alike have adhered to a strict division of labour. This has created a gap between reasoning as a psychological phenomenon and logic. However, reasoning involves logic, and logic is the benchmark of rationality; intuitively at least, reasoning and logic are connected. Recently, attempts have been made to bridge the gap, but the strict division of labour is often eroded. Jean Piaget conceived genetic epistemology (...) as a science of the growth of knowledge, and since logical knowledge is in its purview the accusation of psychologism was omnipresent. In this paper, I outline Piaget's psychological account of the development of logic and argue that he successfully navigated the hazards of psychologism. In essence, he minds the gap by preserving the division of labour; however, by making logic the mirror of thought, he also intimated at a bridge. Concrete correspondences between logic and psychological structures of thought lie at the heart of Piaget's metaphor, and, by building on these foundations, I illustrate how an axiom schema for sentential logic can be derived from the interpropositional grouping, Piaget's psychological model of the operational structure characterising hypothetico-deductive reasoning. (shrink)

In this paper, we introduce an extension of the modal language with what we call the global quantificational modality [∀p]. In essence, this modality combines the propositional quantifier ∀p with the global modality A: [∀p] plays the same role as the compound modality ∀pA. Unlike the propositional quantifier by itself, the global quantificational modality can be straightforwardly interpreted in any Boolean Algebra Expansion (BAE). We present a logic GQM for this language and prove that it is complete with respect to (...) the intended algebraic semantics. This logic enables a conceptual shift, as what have traditionally been called different “modal logics” now become [∀p]-universal theories over the base logic GQM: instead of defining a new logic with an axiom schema such as □φ→□□φ, one reasons in GQM about what follows from the globally quantified formula [∀p](□p→□□p). (shrink)

In 1970, K. Kunen, working in the context of Kelley–Morse set theory, showed that the existence of a nontrivial elementary embedding j:V→V is inconsistent. In this paper, we give a finer analysis of the implications of his result for embeddings V→V relative to models of ZFC. We do this by working in the extended language , using as axioms all the usual axioms of ZFC , along with an axiom schema that asserts that j is a nontrivial elementary (...) embedding. Without additional axiomatic assumptions on j, we show that that the resulting theory is weaker than an ω-Erdös cardinal, but stronger than n-ineffables. We show that natural models of ZFC+BTEE give rise to Schindler’s remarkable cardinals. The approach to inconsistency from ZFC+BTEE forks into two paths: extensions of ZFC+BTEE+Cofinal Axiom and ZFC+BTEE+¬Cofinal Axiom, where Cofinal Axiom asserts that the critical sequence is cofinal in the ordinals. We describe near-minimal inconsistent extensions of each of these theories. The path toward inconsistency from ZFC+BTEE+¬Cofinal Axiom is paved with a sequence of theories of increasing large cardinal strength. Indeed, the extensions of the theory ZFC +“j is a nontrivial elementary embedding” form a hierarchy of axioms, ranging in strength from Con to the existence of a cardinal that is super-n-huge for every n, to inconsistency. This hierarchy is parallel to the usual hierarchy of large cardinal axioms, and can be used in the same way. We also isolate several intermediate-strength axioms which, when added to ZFC+BTEE, produce theories having strengths in the vicinity of a measurable cardinal of high Mitchell order, a strong cardinal, ω Woodin cardinals, and n-huge cardinals. We also determine precisely which combinations of axioms, of the form result in inconsistency. (shrink)

In [12], Ernst Zermelo described a succession of models for the axioms of set theory as initial segments of a cumulative hierarchy of levelsUαVα. The recursive definition of theVα's is:Thus, a little reflection on the axioms of Zermelo-Fraenkel set theory shows thatVω, the first transfinite level of the hierarchy, is a model of all the axioms ofZFwith the exception of the axiom of infinity. And, in general, one finds that ifκis a strongly inaccessible ordinal, thenVκis a model of all (...) of the axioms ofZF. Doubtless, when cast as a first-order theory,ZFdoes not characterize the structures 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal, by the Löwenheim-Skolem theorem. Still, one of the main achievements of [12] consisted in establishing that a characterization of these models can be attained when one ventures into second-order logic. For let second-orderZFbe, as usual, the theory that results fromZFwhen the axiom schema of replacement is replaced by its second-order universal closure. Then, it is a remarkable result due to Zermelo that second-orderZFcan only be satisfied in models of the form 〈Vκ,∈∩〉 forκa strongly inaccessible ordinal. (shrink)

A recursive notation system of a strong segment of ordinals was developped by Jäger [3]. An unessential modified versionT(J) of this notation system was described in [4]. In the following, the well-ordering ofT(J) is proved in a formal system of second order arithmetic with the axiom schema ofΠ 2 1 -comprehension. It follows, that the proof theoretical ordinal ofΠ 2 1 -analysis is greater than the order type ofT(J).

As is well known, some paradoxes arise through inadequate analysis of the meanings of terms in a language, an adequate analysis showing that the paradoxes arise through a lack of separation of an object theory and a metatheory. Under such an adequate analysis in which parts of the metatheory are modelled in the object theory, the paradoxes give way to remarkable theorems establishing limitations of the object theory.Such a modelling is often accomplished by a Gödel numbering. Here we shall use (...) a somewhat different technique in axiomatic set theory, from which we shall reap a few results having the effect of comparing the strength of various axiom schema of comprehension for sets and classes. Similar results were obtained by A. Mostowski [7] using Gödel numbering. (shrink)

The systems T N and T M show that necessity can be consistently construed as a predicate of syntactical objects, if the expressive/deductive power of the system is deliberately engineered to reflect the power of the original object language operator. The system T N relies on salient limitations on the expressive power of the language L N through the construction of a quotational hierarchy, while the system T Mrelies on limiting the scope of the modal axioms schemas to the sublanguage (...) L infM +, which corresponds exactly with the restrictive hierarchy of L N. The fact that L infM + is identical to the image of the metalinguistic mapping C + from the normal operator system into L M reveals that iterated operator modality is implicitly hierarchical, and that inconsistency is produced by applying the principles of the modal logic to formulas which have no natural analogues in the operator development. Thus the contradiction discovered by Montague can be diagnosed as the result of instantiating the axiom schemas with modally ungrounded formulas, and thereby adding radically new modal axioms to the predicate system.The predicate treatment of necessity differs significantly from that of the operator in that the cumulative models for the predicate system are strictly first-order. Possible worlds are not used as model-theoretic primitives, but rather alternate models are appealed to in order to specify the extension of N, which is semantically construed as a first-order predicate. In this manner, the intensional aspects of modality are built into the mode of specifying the particular set of objects which the denotation function assigns to N, rather than in the specification of the basic truth conditions for modal formulas. Intensional phenomena are thereby localised to the special requirements for determining the extension of a particular predicate, and this does not constitute a structural modification of the first-order models, but rather limits the relevant class of models to those which possess an appropriate denotation function. (shrink)

This paper investigates the quantifier "there exist unboundedly many" in the context of first-order arithmetic. An alternative axiomatization is found for Peano arithmetic based on an axiom schema of regularity: The union of boundedly many bounded sets is bounded. We also obtain combinatorial equivalents of certain second-order theories associated with cuts in nonstandard models of arithmetic.

Using two distinct membership symbols makes possible to base set theory on one general axiom schema of comprehension. Is the resulting system consistent? Can set theory and mathematics be based on a single axiom schema of comprehension?

We present a simple propositional proof system which consists of a single axiom schema and a single rule, and use this system to construct a sequence of combinatorial tautologies that, when added to any Frege system, p-simulates extended-Frege systems.

This paper describes a modal conception of sets, according to which sets are 'potential' with respect to their members. A modal theory is developed, which invokes a naive comprehension axiom schema, modified by adding `forward looking' and `backward looking' modal operators. We show that this `bi-modal' naive set theory can prove modalized interpretations of several ZFC axioms, including the axiom of infinity. We also show that the theory is consistent by providing an S5 Kripke model. The paper (...) concludes with some discussion of the nature of the modalities involved, drawing comparisons with noneism, the view that there are some non-existent objects. (shrink)

We describe a fairly general procedure for preserving I3 embeddings j: V λ → V λ via λ-stage reverse Easton iterated forcings. We use this method to prove that, assuming the consistency of an I3 embedding, V = HOD is consistent with the theory ZFC + WA where WA is an axiom schema in the language {∈, j} asserting a strong but not inconsistent form of “there is an elementary embedding V → V”. This improves upon an earlier (...) result in which consistency was established assuming an I1 embedding. (shrink)

In this paper, we offer a Piagetian perspective on the construction of the logico-mathematical schemas which embody our knowledge of logic and mathematics. Logico-mathematical entities are tied to the subject's activities, yet are so constructed by reflective abstraction that they result from sensorimotor experience only via the construction of intermediate schemas of increasing abstraction. The axiom set does not exhaust the cognitive structure (schema network) which the mathematician thus acquires. We thus view truth not as something to be (...) defined within the closed world of a formal system but rather in terms of the schema network within which the formal system is embedded. We differ from Piaget in that we see mathematical knowledge as based on social processes of mutual verification which provide an external drive to any necessary dynamic of reflective abstraction within the individual. From this perspective, we argue that axiom schemas tied to a preferred interpretation may provide a necessary intermediate stage of reflective abstraction en route to acquisition of the ability to use formal systems in abstracto. (shrink)

There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction rules depends solely (...) on the meanings of the logical terms, which implies, it is argued, that our second-order quantifiers have to be standard. (shrink)

A many-valued modal logic, called linear abelian modal logic $\rm {\mathbf{LK(A)}}$ is introduced as an extension of the abelian modal logic $\rm \mathbf{K(A)}$. Abelian modal logic $\rm \mathbf{K(A)}$ is the minimal modal extension of the logic of lattice-ordered abelian groups. The logic $\rm \mathbf{LK(A)}$ is axiomatized by extending $\rm \mathbf{K(A)}$ with the modal axiom schemas $\Box(\varphi\vee\psi)\rightarrow(\Box\varphi\vee\Box\psi)$ and $(\Box\varphi\wedge\Box\psi)\rightarrow\Box(\varphi\wedge\psi)$. Completeness theorem with respect to algebraic semantics and a hypersequent calculus admitting cut-elimination are established. Finally, the correspondence between hypersequent calculi and (...) axiomatization is investigated. (shrink)

This note gives two new axiomatizations of each of the modal logics Vern by extension of K with, respectively, an inference rule and an axiom schema other than Vern.

Preferenslogik, av S. Kanger.--Några synpunkter på olika innehållsrelationer, av T. Pauli.--The number of modalities in the Brouwer system supplemented by the axiom schema CL[superscript n]aL[superscript n+1]a, by K. Segerberg.--Konjunktion av ting, av A. H. D. MacLeod.--Über den "Kettensatz der Verpflichtung;" ein Kommentar zu einem Satz der deontischen Logik, von M. Moritz.--Was the ether hypothesis refuted by the Michelson-Morley experiment? By H. Törnebohm.--Die ewige Wiederkunft; ett filosofihistoriskt tidsfördriv, av A. Wedberg.--Some observations on modal logic and philosophical systems, by G. (...) H. von Wright.--Några kommentarer till två varseblivningsteorier, av L. Åquist. (shrink)

We propose a first order modal logic, theQS4E-logic, obtained by adding to the well-known first order modal logicQS4 arigidity axiom schemas:A → □A, whereA denotes a basic formula. In this logic, thepossibility entails the possibility of extending a given classical first order model. This allows us to express some important concepts of classical model theory, such as existential completeness and the state of being infinitely generic, that are not expressibile in classical first order logic. Since they can be expressed (...) in -logic, we are also induced to compare the expressive powers ofQS4E and . Some questions concerning the power of rigidity axiom are also examined. (shrink)

Very often logics are dened by means of the axiomatic method which depends, roughly speaking, on selecting some set of axiom schemas together with certain rules of inferences; here we consider only log- ics that are dened in this way. The representative examples are: E, R and INT. In the case of E and R the modus ponens rule and the rule of adjunction are used, while for INT the modus ponens only; all of them, of course, together with (...) some nite set of axiom schemas. Therefore, with each logic, say L by the proof-theoretical notion we as- sociate the structural consequence operation, denoted by CL. For instance, the exact denition of CE looks as follows: for all X and ; 2 CE i can be provable from X by applications of some instan. (shrink)