On the creative role of axiomatics. The discovery of lattices by Schröder, Dedekind, Birkhoff, and others

@article{Schlimm2009OnTC,
  title={On the creative role of axiomatics. The discovery of lattices by Schr{\"o}der, Dedekind, Birkhoff, and others},
  author={Dirk Schlimm},
  journal={Synthese},
  year={2009},
  volume={183},
  pages={47-68}
}
Three different ways in which systems of axioms can contribute to the discovery of new notions are presented and they are illustrated by the various ways in which lattices have been introduced in mathematics by Schröder et al. These historical episodes reveal that the axiomatic method is not only a way of systematizing our knowledge, but that it can also be used as a fruitful tool for discovering and introducing new mathematical notions. Looked at it from this perspective, the creative aspect… 

DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES

  • A. Klev
  • Philosophy
    The Review of Symbolic Logic
  • 2011
We offer an interpretation of the words and works of Richard Dedekind and the David Hilbert of around 1900 on which they are held to entertain diverging views on the structure of a deductive science.

On Dedekind ’ s axiomatic approach to the foundations of mathematics

This paper brings together some points made previously in (Sieg and Schlimm 2005) and (Sieg and Schlimm 2014) focusing on some aspects of Dedekind’s axiomatic approach to the foundations of

‘Nobody could possibly misunderstand what a group is’: a study in early twentieth-century group axiomatics

TLDR
The place of postulate analysis within early twentieth-century mathematics is considered by focusing on the example of a group by outline the axiomatic studies to which groups were subjected at this time and consider the changing attitudes towards such investigations.

Syntactic analogies and impossible extensions

TLDR
The study of these structures lies in theintersection of mathematics and philosophy because some of these shapes, structures and patterns may eventually submit to mathematical treatment, but others may have a ‘Protean’ quality that will always escape formaltreatment.

Dedekind’s Map-theoretic Period

In 1887–1894, Richard Dedekind explored a number of ideas within the project of placing mappings at the very center of pure mathematics. We review two such initiatives: the introduction in 1894 of

From modules to lattices: Insight into the genesis of Dedekind's Dualgruppen

  • Emmylou Haffner
  • Mathematics
    British Journal for the History of Mathematics
  • 2018
When Dedekind introduced the notion of a module, he also defined their divisibility and related arithmetical notions (e.g. the LCM of modules). The introduction of notations for these notions allowed

Two Ways of Analogy: Extending the Study of Analogies to Mathematical Domains*

The structure‐mapping theory has become the de facto standard account of analogies in cognitive science and philosophy of science. In this paper I propose a distinction between two kinds of domains

Reliability of mathematical inference

TLDR
This essay describes some of the ways that mathematical practice makes it possible to reliably and robustly meet the formal standard, preserving the standard normative account while doing justice to epistemically important features of informal mathematical justification.

Dynamic Meinongian logic for descriptions

The aim of this article is to present a formal language and a semantics for it which reflect two ideas expressed but not formally implemented in Graham Priest’s Towards Non-Being. One is that a

The need for closure

When defining a group, do we need to include closure? This is a detail that is often touched upon when the notion of a group is introduced to undergraduates. Should closure be listed as an axiom in

References

SHOWING 1-10 OF 76 REFERENCES

Sets of independent postulates for the algebra of logic

, The algebra of symbolic logic, as developed by LEIBNIz, BOOLE, C. S. PEIRCE, E. SCHR6DER, and others, t is described by WHITEHEAD as "the only known member of the non-numerical genus of universal

Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics

This book, written from the point of view of a historian of logic, painstakingly plots the gradual emergence of the axiomatic theory of sets as an independent study from the time when the set concept

Dedekind’s Analysis of Number: Systems and Axioms

In 1888 Hilbert made his Rundreise from Königsberg to other German university towns. He arrived in Berlin just as Dedekind’s Was sind und was sollen die Zahlen? had been published. Hilbert reports

Lattices and their applications

It is my privilege to introduce to this Society a vigorous and promising younger brother of group theory, by name, lattice theory. Among other things, I shall try to bring out the family resemblance.

Two Ways of Analogy: Extending the Study of Analogies to Mathematical Domains*

The structure‐mapping theory has become the de facto standard account of analogies in cognitive science and philosophy of science. In this paper I propose a distinction between two kinds of domains

Labyrinth of thought: a history of set theory and its role in modern mathematics

Labyrinth of Thought discusses the emergence and development of set theory and the set-theoretic approach to mathematics during the period 1850-1940. Rather than focusing on the pivotal figure of

On Abstraction and the Importance of Asking the Right Research Questions: Could Jordan have Proved the Jordan-Hölder Theorem?

In 1870 Jordan proved that the composition factors of two composition series of a group are the same. Almost 20 years later Hölder (1889) was able to extend this result by showing that the factor

On the combination of subalgebras

The purpose of this paper is to provide a point of vantage from which to attack combinatorial problems in what may be termed modern, synthetic, or abstract algebra. In this spirit, a research has

Methodology and metaphysics in the development of Dedekind's theory of ideals

Philosophical concerns rarely force their way into the average mathematician’s workday. But, in extreme circumstances, fundamental questions can arise as to the legitimacy of a certain manner of

On the application of structure theory to groups

The object of the following remarks is to discuss a few of the ideas connected with the application of the theory of structures to group theory. We shall have to suppose that the principal properties
...