Les tableaux de Beth : syntaxe ou sémantique ?

Philippe De Rouilhan

Philosophia Scientiae (1998-1999)

  • Volume: 3, Issue: 4, page 303-322
  • ISSN: 1281-2463

How to cite

top

De Rouilhan, Philippe. "Les tableaux de Beth : syntaxe ou sémantique ?." Philosophia Scientiae 3.4 (1998-1999): 303-322. <http://eudml.org/doc/243935>.

@article{DeRouilhan1998-1999,
author = {De Rouilhan, Philippe},
journal = {Philosophia Scientiae},
language = {fre},
number = {4},
pages = {303-322},
publisher = {Éditions Kimé},
title = {Les tableaux de Beth : syntaxe ou sémantique ?},
url = {http://eudml.org/doc/243935},
volume = {3},
year = {1998-1999},
}

TY - JOUR
AU - De Rouilhan, Philippe
TI - Les tableaux de Beth : syntaxe ou sémantique ?
JO - Philosophia Scientiae
PY - 1998-1999
PB - Éditions Kimé
VL - 3
IS - 4
SP - 303
EP - 322
LA - fre
UR - http://eudml.org/doc/243935
ER -

References

top
  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

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.