Les tableaux de Beth : syntaxe ou sémantique ?
Philosophia Scientiae, Un logicien consciencieux. La philosophie de Evert Willem Beth. Actes du Colloque Everth Willem Beth, Archives Henri-Poincaré et Fondation E.W Beth, Nancy, 22-24 avril 1998., Tome 3 (1998-1999) no. 4, pp. 303-322. 
@article{PHSC_1998-1999__3_4_303_0,
     author = {de Rouilhan, Philippe},
     title = {Les tableaux de {Beth} : syntaxe ou s\'emantique ?},
     journal = {Philosophia Scientiae},
     pages = {303--322},
     publisher = {\'Editions Kim\'e},
     volume = {3},
     number = {4},
     year = {1998-1999},
     language = {fr},
     url = {http://www.numdam.org/item/PHSC_1998-1999__3_4_303_0/}
}
TY  - JOUR
AU  - de Rouilhan, Philippe
TI  - Les tableaux de Beth : syntaxe ou sémantique ?
JO  - Philosophia Scientiae
PY  - 1998-1999
SP  - 303
EP  - 322
VL  - 3
IS  - 4
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_1998-1999__3_4_303_0/
LA  - fr
ID  - PHSC_1998-1999__3_4_303_0
ER  - 
%0 Journal Article
%A de Rouilhan, Philippe
%T Les tableaux de Beth : syntaxe ou sémantique ?
%J Philosophia Scientiae
%D 1998-1999
%P 303-322
%V 3
%N 4
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_1998-1999__3_4_303_0/
%G fr
%F PHSC_1998-1999__3_4_303_0
de Rouilhan, Philippe. Les tableaux de Beth : syntaxe ou sémantique ?. Philosophia Scientiae, Un logicien consciencieux. La philosophie de Evert Willem Beth. Actes du Colloque Everth Willem Beth, Archives Henri-Poincaré et Fondation E.W Beth, Nancy, 22-24 avril 1998., Tome 3 (1998-1999) no. 4, pp. 303-322. http://www.numdam.org/item/PHSC_1998-1999__3_4_303_0/

Beth, Evert W. 1955 « Semantical Entailment and Formal Derivability », Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, Afd. Letterkunde 18, n°13 (1955): 309-342.

Beth, Evert W. 1965 Mathematical Thought. An Introduction to the Philosophy of Mathematics, Dordrecht-Holland: D. Reidel, 1965. | Zbl

Boolos, George 1984 « Don't Eliminate Cut», The Journal of Philosophical Logic 13 (1984): 373-378 (réimp. in Boolos 1998). | Zbl

Boolos, George 1998 Logic, Logic, and Logic, Cambridge, Mass.: Harvard University Press, 1998.

Carnap, Rudolph 1934 Logische Syntax der Sprache, Vienne: 1934.

Carnap, Rudolph 1935 « Ein Gültigkeitskriterium für die Sätze der klassischen Mathematik», Monatshefte für Mathematik und Physik 42 (1935): 163-190. | JFM | Zbl

Carnap, Rudolph 1937 The Logical Syntax of Language, Londres: Routledge and Kegan Paul, 1937.

Church, Alonzo 1956 Introduction to Mathematical Logic, Princeton, New Jersey: Princeton University Press, 1956. | JFM | Zbl

Demopoulos, William (ed.) 1995 Frege's Philosophy of Mathematics, Cambridge, Mass.: Harvard University Press, 1995.

Feys, Robert et Fitch, Frederic B. 1973 Dictionary of Symbols of Mathematical Logic, Amsterdam: North-Holland, 1973. | Zbl

Field, Hartry 1972 « Tarski's Theory of Truth», The Journal of Philosophy 49 (1972): 347-375.

Gentzen, Gerhard 1934 « Untersuchungen über das logische Schliessen», Mathematische Zeitschrift 39 (1934): 176-210, 405-431. | EuDML | MR | Zbl

Heijenoort, Jean Van 1979 Introduction à la sémantique des logiques non-classiques, Collection de l'Ecole Normale Supérieure de Jeunes Filles - 48, bd Jourdan - 75690 Paris Cedex 14.

Hintikka, Jaakko 1955 « Form and Content in Quantification Theory», Acta Philosophica Fennica 23(1955):7-55. | MR | Zbl

Husserl, Edmund 1929 Formale und Transzendentale Logik. Versuch einer Kritik der logischen Vernunft, Halle: Niemeyer, 1929.

Jeffrey, Richard 1967 Formal Logic. Its Scope and Limits, New York: McGraw-Hill, 1967 (3d ed. 1991). | Zbl

Rouilhan, Philippe De 1998 « 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. | MR

Smullyan, Raymond M. 1966 « Trees and Nest Structures», The Journal of Symbolic Logic 31 (1966): 303-321. | MR | Zbl

Smullyan, Raymond M. 1968 First-order Logic, New York: Springer Verlag, 1968 (2d ed. New York: Dover, 1995). | MR | Zbl

Tarski, Alfred 1933 Projecie prawdy w jezykach nauk dedukcyjnych (Le concept de vérité dans les langages des sciences déductives), Varsovie, 1933 (version all. Tarski 1935).

Tarski, Alfred 1935 « Der Wahrheitsbegriff in den formalisierten Sprachen», Studia Philosophica 1 (1936): 261-405 (tirés à part datés de 1935). | JFM | Zbl

Tarski, Alfred 1936a « 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. | JFM

Tarski, Alfred 1936b « 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. | JFM

Tarski, Alfred 1956 « 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. | JFM | Zbl