Essai sur la généralisation naturelle de la logique usuelle (premier mémoire)
Dominique Dubarle (1989)
Mathématiques et Sciences Humaines
Similarity:
Dominique Dubarle (1989)
Mathématiques et Sciences Humaines
Similarity:
Adolphe Lindenbaum (1930)
Fundamenta Mathematicae
Similarity:
Hermann Weyl (1981)
Mathématiques et Sciences Humaines
Similarity:
Stanislas Zaremba
Similarity:
Grzegorz Malinowski (1991)
Mathématiques et Sciences Humaines
Similarity:
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.
Jean-Pierre Ginisti (1991)
Mathématiques et Sciences Humaines
Similarity:
Cet article considère trois sortes de calcul propositionnel (mais surtout la troisième), à la fois d'un point de vue logique et d'un point de vue épistémologique : (1) les systèmes classiques qui ont les propriétés suivantes : (a) chaque axiome doit contenir seulement (ou doit être compris comme contenant seulement) des termes primitifs, (b) chaque définition est métalinguistique, (c) chaque définition est non créatrice ; (2) les systèmes de Leśnieswski qui satisfont (a) mais ni (b)...
M. Schönfinkel (1990)
Mathématiques et Sciences Humaines
Similarity:
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...
M. Eytan (1965)
Mathématiques et Sciences Humaines
Similarity:
Miklos Santha (1982)
Mathématiques et Sciences Humaines
Similarity: