Teorie množin, její vznik a vývoj
The axiomatic method and Ernst Schröder's algebraic approach to logic
The life and work of Bohuslav Balcar (1943--2017)
The problems of definition
The aim of this paper is to present the great kinds of definitions known in mathematical logic, their goals and their means, from their historical and philosophical background (notably thanks to the proof of two theorems), and in order to situate, within this field, the others contributions which make up this number.
The Rediscovery of the Cantor-Dedekind Correspondence.
The Soft Logic of Thomas Harriot
The theory of definitions in the polish logical literature
Analysis of some answers to the following questions : is there a generic notion of definition ? What is the difference between “analytic definition” and “synthetic definition” ? What is a good definition ?
Trames, classifications, définitions
L'article part d'une analogie entre trames et partitions, définitions conceptuelles et optiques. On montre que les divisions d'un espace de concepts ressemblent souvent à celles de l'espace réel. On étudie alors quelques exemples de pavage d'un espace conceptuel (Aristote) et on compare les processus dichotomiques platoniciens (générateurs de définitions) aux filtres d'une algèbre booléenne. Par la suite, on généralise ces modèles, considérant des structures floues et des «ensembles approximatifs»...