# 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…

## 27 Citations

### DEDEKIND AND HILBERT ON THE FOUNDATIONS OF THE DEDUCTIVE SCIENCES

- PhilosophyThe 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

- Mathematics
- 2017

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

- EconomicsArchive for history of exact sciences
- 2017

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

- Philosophy
- 2010

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

- Mathematics
- 2016

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

- MathematicsBritish 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*

- PhilosophyPhilosophy of Science
- 2008

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

- PhilosophySynthese
- 2020

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

- Philosophy
- 2014

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

- PsychologyThe Mathematical Gazette
- 2019

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

- Mathematics, Philosophy
- 1904

, 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

- ArtThe Mathematical Gazette
- 2000

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

- ArtSynthese
- 2004

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

- Mathematics
- 1938

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*

- PhilosophyPhilosophy of Science
- 2008

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

- Art
- 2007

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?

- Mathematics
- 2008

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

- Mathematics
- 1933

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

- Philosophy
- 2005

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

- Mathematics
- 1938

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…