Les tableaux de Beth : syntaxe ou sémantique ?

 Access to full text

 Full (PDF)

1. Beth, Evert W.1955 « Semantical Entailment and Formal Derivability », Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde 18, n°13 (1955): 309-342. 
2. Beth, Evert W.1965Mathematical Thought. An Introduction to the Philosophy of Mathematics, Dordrecht-Holland: D. Reidel, 1965. Zbl0154.00203
3. Boolos, George1984 « Don't Eliminate Cut», The Journal of Philosophical Logic 13 (1984): 373-378 (réimp. in Boolos 1998). Zbl0564.03005
4. Boolos, George1998Logic, Logic, and Logic, Cambridge, Mass.: Harvard University Press, 1998. Zbl0955.03008
5. Carnap, Rudolph1934Logische Syntax der Sprache, Vienne: 1934. Zbl60.0019.02
6. Carnap, Rudolph1935 « Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik», Monatshefte für Mathematik und Physik 42 (1935): 163-190. Zbl0012.14501JFM61.0970.06
7. Carnap, Rudolph1937The Logical Syntax of Language, Londres: Routledge and Kegan Paul, 1937. Zbl63.0820.05
8. Church, Alonzo1956Introduction to Mathematical Logic, Princeton, New Jersey: Princeton University Press, 1956. Zbl0060.02007JFM62.1048.04
9. Demopoulos, William (ed.) 1995Frege's Philosophy of Mathematics, Cambridge, Mass.: Harvard University Press, 1995. Zbl0915.03004
10. Feys, Robert et Fitch, Frederic B.1973Dictionary of Symbols of Mathematical Logic, Amsterdam: North-Holland, 1973. Zbl0179.00901
11. Field, Hartry1972 « Tarski's Theory of Truth», The Journal of Philosophy 49 (1972): 347-375. 
12. Gentzen, Gerhard1934 « Untersuchungen über das logische Schliessen», Mathematische Zeitschrift 39 (1934): 176-210, 405-431. Zbl0010.14501
13. Heijenoort, Jean van1979Introduction à la sémantique des logiques non-classiques, Collection de l'Ecole Normale Supérieure de Jeunes Filles - 48, bd Jourdan - 75690 Paris Cedex 14. 
14. Hintikka, Jaakko1955 « Form and Content in Quantification Theory», Acta Philosophica Fennica 23(1955):7-55. Zbl0067.00103
15. Husserl, Edmund1929Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft, Halle: Niemeyer, 1929. 
16. Jeffrey, Richard1967Formal Logic. Its Scope and Limits, New York: McGraw-Hill, 1967 (3d ed. 1991). Zbl0925.03002
17. Rouilhan, Philippe de1998 « Tarski et l'universalité de la logique. Remarques sur le postscriptum au 'Wahrheitsbegriff'», in Le formalisme en question. Le tournant des années 30 (sous la dir. de F. Nef et D. Vernant), Paris: Vrin, 1998, pp. 85-102. 
18. Smullyan, Raymond M.1966 « Trees and Nest Structures», The Journal of Symbolic Logic 31 (1966): 303-321. Zbl0149.00501
19. Smullyan, Raymond M.1968First-order Logic, New York: Springer Verlag, 1968 (2d ed. New York: Dover, 1995). Zbl0172.28901
20. Tarski, Alfred1933Projecie prawdy w jezykach nauk dedukcyjnych (Le concept de vérité dans les langages des sciences déductives), Varsovie, 1933 (version all. Tarski 1935). 
21. Tarski, Alfred1935 « Der Wahrheitsbegriff in den formalisierten Sprachen», Studia Philosophica 1 (1936): 261-405 (tirés à part datés de 1935). Zbl0013.28903JFM62.1051.05
22. Tarski, Alfred1936a « O pojciu wynikania logicznego», Przeglad Filozoficzny 39 (1936), repris en allemand sous le titre « Über den Begriff der logischen Folgerung », Actes du Congrès International de Philosophie Scientifique, vol. 7 (Actualités Scientifiques et Industrielles, vol. 390), Paris: Hermann, 1936, pp. 1-11. JFM62.1050.05
23. Tarski, Alfred1936b « Grundlegung der wissenschaftlichen Semantik», Actes du Congrès International de Philosophie Scientifique, vol. 3 (Actualités Scientifiques et Industrielles, vol. 390), Paris: Hermann, 1936, pp. 1-8. JFM62.1065.15
24. Tarski, Alfred1956 « The Concept of Truth in Formalized Languages», in Logic, Semantics, Metamathematics. Papers from 1923 to 1938 (ed. and trans. by J. H. Woodger), Oxford: At the Clarendon Press, pp. 152-278. Zbl0013.28903JFM62.1051.05

1. Philippe de Rouilhan, Note sur Popper lecteur de Tarski