This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

Logical positivism is often characterized as a set of naive doctrines on meaning, method, and metaphysics. In recent decades, however, historians have dismissed this view as a gross misinterpretation. This new scholarship raises a number of questions. When did the standard reading emerge? Why did it become so popular? And how could commentators have been so wrong? This essay reconstructs the history of a “caricature” and rejects the hypothesis that it was developed by ill-informed Anglophone scholars who failed to appreciate (...) the subtleties of European scientific philosophy. It argues that the received view has a more complicated history and was frequently promoted by the European positivists themselves. The essay shows that the view has roots in both American and European scientific philosophy and emerged as a result of the complex interplay between the two communities in the years before the intellectual migration. (shrink)

This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...) and Hilbert did not revolve around whether one or the other allowed metalogical notions.Frege, e.g., succeeded in formulating the notion of logical consequence, at least to the extent that Bolzano did; the point is rather that even though Frege had certain semantic concepts, he did not articulate them model?theoretically, whereas, in some limited sense, Hilbert did. (shrink)

Much of the inspiration for structuralist approaches to mathematics can be found in the late nineteenth- and early twentieth-century program of characterizing various mathematical systems upto isomorphism. From the perspective of this program, differences between isomorphic systems are irrelevant. It is argued that a different view of the import of the differences between isomorphic systems can be obtained from the perspective of contemporary discussions of representation theorems and that from this perspective both the identification of isomorphic systems and the reduction (...) to abstract structures or patterns should be resisted. (shrink)

A Dedekind algebra is an ordered pair (B, h), where B is a non-empty set and h is a similarity transformation on B. Among the Dedekind algebras is the sequence of the positive integers. From a contemporary perspective, Dedekind established that the second-order theory of the sequence of the positive integers is categorical and finitely axiomatizable. The purpose here is to show that this seemingly isolated result is a consequence of more general results in the model theory of second-order languages. (...) Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called the configurations of the algebra. There are ?0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on ? called its configuration signature. The configuration signature counts the number of configurations in each isomorphism type that occurs in the decomposition of the algebra. Two Dedekind algebras are isomorphic iff their configuration signatures are identical. The second-order theory of any countably infinite Dedekind algebra is categorical, and there are countably infinite Dedekind algebras whose second-order theories are not finitely axiomatizable. It is shown that there is a condition on configuration signatures necessary and sufficient for the second-order theory of a Dedekind algebra to be finitely axiomatizable. It follows that the second-order theory of the sequence of the positive integers is categorical and finitely axiomatizable. (shrink)

The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S...

I trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. I analyze the kinds of arguments offered by Jules Hoüel in 1860-1870 for the unprovability of the parallel postulate and for the existence of non-Euclidean geometries, especially his reaction to the publication of Beltrami’s seminal papers, showing that Beltrami was much more concerned with the existence (...) of non-Euclidean objects than he was with the formal consistency of non-Euclidean geometries. The final step towards rigorous consistency proofs is taken in the 1880s by Henri Poincaré. It is the formal conception of geometry, stripping the geometric primitive terms of their usual meanings, that allows the introduction of a modern fully rigorous consistency proof. (shrink)

Frege’s project has been characterized as an attempt to formulate a complete system of logic adequate to characterize mathematical theories such as arithmetic and set theory. As such, it was seen to fail by Gödel’s incompleteness theorem of 1931. It is argued, however, that this is to impose a later interpretation on the word ‘complete’ it is clear from Dedekind’s writings that at least as good as interpretation of completeness is categoricity. Whereas few interesting first-order mathematical theories are categorical or (...) complete, there are logical extensions of these theories into second-order and by the addition of generalized quantifiers which are categorical. Frege’s project really found success through Gödel’s completeness theorem of 1930 and the subsequent development of first- and higher-order model theory. (shrink)

This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

Around the turn of the century, Poincare and Hilbert each published an account of geometry that took the discipline to be an implicit definition of its concepts. The terms ‘point’, ‘line’, and ‘plane’ can be applied to any system of objects that satisfies the axioms. Each mathematician found spirited opposition from a different logicist—Russell against Poincare' and Frege against Hilbert— who maintained the dying view that geometry essentially concerns space or spatial intuition. The debates illustrate the emerging idea of mathematics (...) as the science of structure. The article closes with some remarks on structuralist and nonstructuralist themes in Frege's own development of arithmetic. (shrink)

On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...) clarifying discussions in philosophy of mathematics and contributing towards a more refined view of mathematical practice. (shrink)

Many commentators now view Quine's ‘Truth by Convention’ as a flawed criticism of Carnap. Gary Ebbs argued recently that Quine never intended Carnap as his target. Quine's criticisms were part of his attempt to work out his own scientific naturalism. I agree that Carnap was not Quine's target but object that Quine's criticisms were wholly internal to his own philosophy. Instead, I argue that C.I. Lewis held the kind of truth‐by‐convention thesis that Quine rejects. This, however, leaves Carnap out of (...) the picture. I then show how Quine came to see the earlier criticisms as also having force against Carnap. (shrink)

Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.

This article outlines the work of a group of US mathematicians called the American Postulate Theorists and their influence on Tarski's work in the 1930s that was to be foundational for model theory. The American Postulate Theorists were influenced by the European foundational work of the period around 1900, such as that of Peano and Hilbert. In the period roughly from 1900???1940, they developed an indigenous American approach to foundational investigations. This made use of interpretations of precisely formulated axiomatic theories (...) to prove such metatheoretic properties as independence, consistency, categoricity and, in some cases, completeness of axiom sets. This approach to foundations was in many respects similar to that later taken by Tarski, who frequently cites the work of American Postulate Theorists. Their work served as paradigm examples of the theories and concepts investigated in model theory. The article also examines the possibility of a more specific impetus to Tarski's model theoretic investigation, arising from his having studied in 1927???1929 a paper by C. H. Langford proving completeness for various axiom sets for linear orders. This used the method of elimination of quantifiers. The article concludes with an examination of one example of Langford's methods to indicate how their correct formulation seems to call for model-theoretic concepts. (shrink)

Open Court began publishingThe Monistin 1890 as a journal“devotedto the philosophy of science”that regularly included mathematics. The audiencewas understood to be“cultured people who have not a technical mathematicaltraining”but nevertheless“have a mathematical penchant.”With these constraints,the mathematical content varied from recreations to logical foundations, but every-one had something to say about non-Euclidean geometry, in debates that rangedfrom psychology to semantics. The focus in this essay is on the contested value ofmathematical expertise in legitimating what should be considered as mathematics.While some mathematicians urgedThe (...) Monistto uphold disciplinary standards ofgeometrical reasoning, authors opposed tonon-Euclidean geometry aligned theirreasoning with practical applications, universal know-how, and nonhierarchicaldemocracy. As one contributorinquired,“How isthe professional expert betterfit-ted to see more lucidly in dealing with the elements of geometry than any otherperson of good geometric faculty?”. (shrink)

In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage-or, as he also said, with the common concept of consequence. Commentators of Tarski's paper have usually been elusive as to what this common concept is. However, being clear on this issue is important to decide whether Tarski's definition failed (as Etchemendy has contended) or succeeded (as most commentators maintain). I argue that the common concept of consequence that Tarski (...) tried to characterize is not some general, all-purpose notion of consequence, but a rather precise one, namely the concept of consequence at play in axiomatics. I identify this concept and show that Tarski's definition is fully adequate to it. (shrink)

Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.

In the early years of the twentieth century, the so-called ‘postulate analysis’—the study of systems of axioms for mathematical objects for their own sake—was regarded by some as a vital part of the efforts to understand those objects. I consider the place of postulate analysis within early twentieth-century mathematics by focusing on the example of a group: I outline the axiomatic studies to which groups were subjected at this time and consider the changing attitudes towards such investigations.

A prized property of theories of all kinds is that of generality, of applicability or least relevance to a wide range of circumstances and situations. The purpose of this article is to present a pair of distinctions that suggest that three kinds of generality are to be found in mathematics and logics, not only at some particular period but especially in developments that take place over time: ‘omnipresent’ and ‘multipresent’ theories, and ‘ubiquitous’ notions that form dependent parts, or moments, of (...) theories. The category of ‘facets’ is also introduced, primarily to assess the roles of diagrams and notations in these two disciplines. Various consequences are explored, starting with means of developing applied mathematics, and then reconsidering several established ways of elaborating or appraising theories, such as analogising, revolutions, abstraction, unification, reduction and axiomatisation. The influence of theories already in place upon theory-building is emphasised. The roles in both mathematics and logics of set theory, abstract algebras, metamathematics, and model theory are assessed, along with the different relationships between the two disciplines adopted in algebraic logic and in mathematical logic. Finally, the issue of monism versus pluralism in these two disciplines is rehearsed, and some suggestions are made about the special character of mathematical and logical knowledge, and also the differences between them. Since the article is basically an exercise in historiography, historical examples and case studies are described or noted throughout. (shrink)

RÉSUMÉ: Pasch est généralement considéré comme le premier à avoir proposé une axiomatisation de la géométrie. Mais ses Vorlesungen über neure Geometrie (1882) contiennent plusieurs éléments étrangers au paradigme hilbertien. Pasch soutient ainsi que la « géométrie élémentaire », dont il propose une axiomatisation complète, est une théorie empiriquement vraie. Les commentateurs considèrent généralement les différences entre la méthode de Pasch et celle qui deviendra standard après Hilbert comme autant de défauts affectant une pensée encore inaboutie. Notre but consiste au (...) contraire à reconstruire la cohérence et l’originalité de l’approche de Pasch. Nous donnerons d’abord un aperçu du contexte historique dans lequel les Vorlesungen s’inscrivent, pour tenter ensuite de réconcilier l’effort d’axiomatisation et l’empirisme de Pasch. Nous insisterons notamment sur les remarquables procédures logiques que Pasch met sur pied afin d’adapter sa pratique mathématique aux contraintes dictées par sa réflexion philosophique.ABSTRACT: Pasch is usually credited with having presented the first axiomatization of a geometrical theory, but the Vorlesungen über neuere Geometrie (1882) contains many features which do not fit the Hilbertian paradigm. Thus Pasch, while axiomatizing his “elementary geometry,” claims that it is an empirically true theory. Scholars usually regard the discrepancies between Pasch and the post-Hilbertian standard method as mere inconsistencies of Pasch’s theory. On the contrary, this article aims at reconstructing the coherence and originality of the Vorlesungen. We will first display the historical background of this work and then try to reconcile Pasch’s logical axiomatic claim with his empiricist stance. More importantly, we will insist on the remarkable logical procedures worked out by Pasch in order to adapt his mathematical development to the strictures of his broad philosophical position. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...) modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplares (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which Firs-Order-Logic matured will be seen to have played a primary role in its shaping. (shrink)

This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence (...) of modern logic; this traditional context is analyzed as consisting in some guiding principles and, particularly, a set of exemplars (i.e., paradigmatic instances). Then, we proceed to interpret the historical course of development reviewed in section 1, which can broadly be described as a two-phased movement of expansion and then restriction of the scope of logical theory. We shall try to pinpoint ambivalencies in the process, and the main motives for subsequent changes. Among the latter, one may emphasize the spirit of modern axiomatics, the situation of foundational insecurity in the 1920s, the resulting desire to find systems well-behaved from a proof-theoretical point of view, and the metatheoretical results of the 1930s. Not surprisingly, the mathematical and, more specifically, the foundational context in which First-Order Logic matured will be seen to have played a primary role in its shaping.Mathematical logic is what logic, through twenty-five centuries and a few transformations, has become today. (Jean van Heijenoort). (shrink)

This is a critical reexamination of several pieces in van Heijenoort’s Selected Essays that are directly or indirectly concerned with the philosophy of logic or the relation of logic to natural language. Among the topics discussed are absolutism and relativism in logic, mass terms, the idea of a rational dictionary, and sense and identity of sense in Frege.

The ArgumentThe belief in the existence of eternal mathematical truth has been part of this science throughout history. Bourbaki, however, introduced an interesting, and rather innovative twist to it, beginning in the mid-1930s. This group of mathematicians advanced the view that mathematics is a science dealing with structures, and that it attains its results through a systematic application of the modern axiomatic method. Like many other mathematicians, past and contemporary, Bourbaki understood the historical development of mathematics as a series of (...) necessary stages inexorably leading to its current state — meaning by this, the specific perspective that Bourbaki had adopted and were promoting. But unlike anyone else, Bourbaki actively put forward the view that their conception of mathematics was not only illuminating and useful for dealing with the current concerns of mathematics, but that this was in fact the ultimate stage in the evolution of mathematics, bound to remain unchanged by any future development of this science. In this way, they were extending in an unprecedented way the domain of validity of the belief in the eternal character of mathematical truths, from the body to the images of mathematical knowledge.Bourbaki were fond of presenting their insistence on the centrality of the modern axiomatic method as a way to ensure the eternal character of mathematical truth as an offshoot of Hilbert's mathematical heritage. A detailed examination of Hilbert's actual conception of the axiomatic method, however, brings to the fore interesting differences between it and Bourbaki's conception, thus underscoring the historically conditioned character of certain, fundamental mathematical beliefs. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Previous discussions of Robb’s work on space and time have offered a philosophical focus on causal interpretations of relativity theory or a historical focus on his use of non-Euclidean geometry, or else ignored altogether in discussions of relativity at Cambridge. In this paper I focus on how Robb’s work made contact with those same foundational developments in mathematics and with their applications. This contact with applications of new mathematical logic at Göttingen and Cambridge explains the transition from his electron research (...) to his treatment of relativity in 1911 and finally to the axiomatic presentation in 1914 in terms of postulates. At the heart of Robb’s physical optics was the model of the light cone. The model underwent a transition from a working mechanical model in the Maxwellian Cambridge sense of a pedagogical and research tool to the semantic model, in the logical, model-theoretic sense. Robb tracked this transition from the 19th- to the 20th-century conception with the earliest use of the term ‘model’ in the new sense. I place his cone models in a genealogy of similar models and use their evolution to track how Robb’s physical researches were informed by his interest in geometry, logic and the foundations of mathematics. (shrink)

Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.

This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

In his Doppelvortrag, Edmund Husserl introduced two concepts of “definiteness” which have been interpreted as a vindication of his role in the history of completeness. Some commentators defended that the meaning of these notions should be understood as categoricity, while other scholars believed that it is closer to syntactic completeness. A detailed study of the early twentieth-century axiomatics and Husserl’s Doppelvortrag shows, however, that many concepts of completeness were conflated as equivalent. Although “absolute definiteness” was principally an attempt to characterize (...) non-extendible manifolds and axiom systems, an absolutely definite theory has a unique model and, thus, it is non-forkable and semantically complete. Non-forkability and decidability were formally delimited by Fraenkel and Carnap almost three decades later and, in fact, they mentioned Husserl as precursor of the latter. Therefore, this paper contributes to a reassessment of Husserl’s place in the history of logic. (shrink)

Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.