Studies In Paraconsistent Logic II: Quantifiers And The Unity Of Opposites.
Sur la signification linguistique de la théorie des catastrophes
‘Sur le concept de nombre en mathématique’ Cours inédit de Leopold Kronecker à Berlin (1891)
Le texte que nous présentons est le dernier cours du mathématicien berlinois Leopold Kronecker (1823–1891). Ce cours, publié ici pour la première fois, nous donne des informations importantes sur la philosophie des mathématiques de Kronecker, en particulier sur sa conception du nombre. Il précise, en outre, la position que Kronecker occupa dans le mouvement d’‘arithmétisation’ des mathématiques et permet de mieux comprendre comment, et pourquoi, il se situe à contre-courant de la tendance dominante...
Sur les principes sémantiques de Frege et sur une définition non-fregéenne de la notion d'identité propositionnelle
Une réalisation non-fregéenne du programme sémantique de G. Frege donnée par R. Suszko [5] est une des plus intéressantes constructions logiques de ces dernières années. Notre article est une présentation des aspects formels et philosophiques de la construction du calcul propositionnel SCI qui forme la base de cette réalisation.
Synthetic compontents of infinite classes of postulates.
The genesis of mathematical structures, as exemplified in the work of Charles Ehresmann
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 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 ?
Time change of objects and problem of their identification
Toward the description in a smooth topos of the dynamically possible motions and deformations of a continuous body
Towards applying computational complexity to foundations of physics.
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»...
Types of preference
Über Hilbert's reale und ideale Elemente.
Über Zahlen als Zeichen
Un paseo alrededor de la teoría de conjuntos.
Un point de logique aristotélicienne : le «définitionnel»
Ni description, ni démonstration mais recherche de l'élément qui différencie un concept de ceux qui lui sont le plus proches, telle est la définition classique. On a choisi d'analyser ici 1) ce qui fait de la définition une forme de prédication «réflexive», 2) la liaison établie par Aristote entre la définition-formule qui permet d'identifier la chose, d'abord par rapport à elle-même, et la théorie des prédicables ! Celle-ci est une amorce systématique de ce qui est aujourd'hui la théorie de l'argumentation....
Why semisets?
Zusatz zu meiner Note ?Über Zahlen als Zeichen" mit Rücksicht auf die Kritik des Herrn Paul Bernays
Исправления к сборникам "Исследования по конструктивной математике и математической логике". II (1968) и III (1969)