The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
L’« axiome du choix simple » est le principe selon lequel on peut choisir un élément dans tout ensemble non vide. Cet « autre axiome du choix » a une histoire paradoxale et riche, dont la première partie de cet article recherche les traces et repère les enjeux. Apparaissent comme décisifs le statut de la théorie des ensembles dans les mathématiques intuitionnistes, mais aussi la tension croissante entre technicisation de la logique et réflexion épistémologique des mathématiciens. La deuxième partie...
Il s'agit de présenter l'article de Schönfinkel «Über die Bausteine der mathematischen Logik», préparé pour la publication (1924) par H. Behmann, d'après une conférence de Schönfinkel en 1920, qui fonde ce que Curry nommera «la logique combinatoire». L'objectif principal du travail de Schönfinkel est l'élimination générale des variables (propositionnelles, prédicatives, individuelles), grâce à l'usage de plusieurs «fonctions particulières». On trouvera ici : (1) une introduction à l'article de Schönfinkel,...
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.
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 ?
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»...
Currently displaying 21 –
40 of
44