Sur les éléments de construction de la logique mathématique

M. Schönfinkel

Mathématiques et Sciences Humaines (1990)

  • Volume: 112, page 5-26
  • ISSN: 0987-6936

Abstract

top
It is a matter of presenting the paper of Schönfinkel “Über die Bausteine der mathematischen Logik”, prepared for publication (1924) by H. Behmann, according to a lecture of Schönfinkel in 1920, which founds what will be called “combinatory logic” by Curry. The main purpose of Schönfinkel's work is the general elimination of variables (propositional, predicative, individual), thanks to the use of several “particular functions”. One will find here : (1) an introduction to Schönfinkel's article, (2) the translation of the article accompanied by explanatory notes, (3) a critical conclusion.

How to cite

top

Schönfinkel, M.. "Sur les éléments de construction de la logique mathématique." Mathématiques et Sciences Humaines 112 (1990): 5-26. <http://eudml.org/doc/94405>.

@article{Schönfinkel1990,
abstract = {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, (2) la traduction de l'article accompagnée de notes explicatives, (3) une conclusion critique.},
author = {Schönfinkel, M.},
journal = {Mathématiques et Sciences Humaines},
keywords = {combinatory logic; elimination of variables},
language = {fre},
pages = {5-26},
publisher = {Ecole des hautes-études en sciences sociales},
title = {Sur les éléments de construction de la logique mathématique},
url = {http://eudml.org/doc/94405},
volume = {112},
year = {1990},
}

TY - JOUR
AU - Schönfinkel, M.
TI - Sur les éléments de construction de la logique mathématique
JO - Mathématiques et Sciences Humaines
PY - 1990
PB - Ecole des hautes-études en sciences sociales
VL - 112
SP - 5
EP - 26
AB - 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, (2) la traduction de l'article accompagnée de notes explicatives, (3) une conclusion critique.
LA - fre
KW - combinatory logic; elimination of variables
UR - http://eudml.org/doc/94405
ER -

References

top
  1. Barendregt, H.P., The lambda calculus, its syntax and semantics, Amsterdam, North-Holland,1984. Zbl0551.03007MR774952
  2. Behmann, H., "Beiträge zur Algebra der Logik, insbesondere zum Entscheidungsproblem ", Mathematische Annalen, 86, (1922), 163-229. Zbl48.1119.02MR1512087JFM48.1119.02
  3. " Der Prädikatenkalkül mit limitierten Variablen", The journal of symbolic logic, 24, june 1959, 112-140. MR111683
  4. Blanche, R., La logique et son histoire d'Aristote à Russell, Paris, A. Colin,1970. 
  5. Church, A., "A bibliography of symbolic logic (1666-1935)", The journal of symbolic logic, 1, number 4, dec. 1936, 121-218, add. et corr., 3, number 4, dec. 1938, 178-212. The calculi of lambda-conversion, Princeton University Press, 1941. Zbl0016.09702JFM62.1046.03
  6. Curry, H.B., "Grundlagen der kombinatorischen Logik", American journal of mathematics, 52, (1930), 509-536, 789-834."Combinatory logic", Contemporary philosophy, I, Firenze, La nuova Italia éditrice, 1968. Zbl56.0048.02MR1506768JFM56.0048.03
  7. Curry, H.B., et Feys, R., Combinatory logic, Amsterdam, North-Holland, 1968. Zbl0175.27601MR244051
  8. Frege, G., Begriffsschrift, Halle, 1879 (trad. angl. in Van Heijenoort). Grundgesetze der Arithmetik, Iéna, I, 1893, II,1903 (trad. angl. partielle in Furth, The basic laws of arithmetic, University of California Press, 1964. "Qu'est-ce qu'une fonction ?" (1904), trad. Imbert C., in Ecrits logiques et philosophiques, Paris, Le Seuil, 1970. MR263601
  9. Ginisti, J.P., "Présentation de la logique combinatoire en vue de ses applications ", Mathém. Inform. et Sc. hum., 103, (1988), 45-66. (Voir erratum à la fin du présent numéro). Zbl0663.03005MR975880
  10. Janovskaja, S.A., "Fondations des mathématiques et logique mathématique", Les mathématiques en U.R.S.S. pendant les trente années 1917- 1947, Moscou, Leningrad, Ogiz, 1948 (en russe), revue par Kline G.L., in The journal of symbolic logic, 16, 1951, 46-48. Zbl0041.34205
  11. Kneale, W., et M., The development of logic, Oxford, Clarendon Press, 1964. Zbl0100.00807
  12. Quine, W.V.O., in Van Heijenoort, 1967, 355-7. 
  13. Reid, C., Hilbert, the story of the life of David Hilbert, Berlin, Springer Verlag,1970. Zbl0192.32601MR1391242
  14. Van Heijenoort, J., From Frege to Gödel, a source book in mathematical logic, 1878-1931, Harvard University Press, 1967. Zbl0183.00601MR209111
  15. Whitehead A.N., Russell B., Principia Mathematica, Cambridge, 1ère éd., vol. 1, 1910, 2e éd.,1925. JFM41.0083.02

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.