Desktop version

Home arrow Philosophy arrow Advances in Proof-Theoretic Semantics


1. Bernays, P.: Letter to Gödel, 18 January 1931. In: Feferman, S. (ed.) Kurt Gödel Collected Works Volume IV, Correspondence A-G, pp. 80–91. Clarendon Press, Oxford (2003)

2. Byrne, R.: Mental Models Website. models/theory.html. Cited 25 November 2013

3. Carnap, R.: Abriss der Logistik. Springer, Vienna (1929)

4. Došen, K.: Inferential semantics. In: H. Wansing (ed.) Dag Prawitz on Proofs and Meaning, pp. 147–162. Springer, Cham (2015)

5. Feferman, A.B., Feferman, S.: Alfred Tarski: Life and Logic. Cambridge University Press, Cambridge (2004)

6. Frege, G.: Über die Grundlagen der Geometrie. Jahresbericht der Deutschen MathematikerVereinigung 15, 293–309, 377–403, 423–430 (1906)

7. Geach, P.T.: Assertion. Philos. Rev. 74, 449–465 (1965)

8. Hilbert, D., Ackermann, W.: Grundzüge der Theoretischen Logik. Springer, Berlin (1928)

9. Hodges, W.: Ibn Sina on reductio ad absurdum. Review of symbolic logic (to appear)

10. Hodges, W.: Tarski's theory of definition. In: Patterson, D. (ed.) New Essays on Tarski and Philosophy, pp. 94–132. Oxford University Press, Oxford (2008)

11. Prawitz, D.: On the idea of a general proof theory. Synthese 27, 63–77 (1974)

12. Pullum, G.K., Scholz, B.C.: On the distinction between model-theoretic and generativeenumerative syntactic frameworks. In: De Groote, P., et al. (eds.) Logical Aspects of Computational Linguistics. Lecture Notes in Computer Science, vol. 2099, pp. 17–43. Springer, Berlin (2001)

13. Ramsey, F.P.: The foundations of mathematics. Proc. Lond. Math. Soc. 25, 338–384 (1925)

14. Schroeder-Heister, P.: The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics. Synthese 187, 925–942 (2012)

15. Schroeder-Heister, P.: Proof-theoretic semantics. In: Stanford Internet Encyclopedia of Philosophy (2012). Dated 5 December 2012

16. Tarski, A.: Poje˛cie prawdy w je˛zykach nauk dedukcyjnych. Prace Towarzyctwa Naukowego Warszawskiego, Wydzial III Nauk Matematyczno-Fizycznych 34 (1933). Revised translation: The concept of truth in formalized languages. In: [19], pp. 152–278

17. Tarski, A.: O poje˛ciu wynikania logicznego. Przegla˛d Filozoficzny 39, 58–68 (1936). Translated as: On the concept of logical consequence. In: [19], pp. 409–420

18. Tarski, A.: O ugruntowaniu naukowej semantyki. Przegla¸d Filozoficzny 39, 50–57 (1936).

Translated as: The establishment of scientific semantics. In [19], pp. 401–408

19. Tarski, A.: Logic, Semantics, Metamathematics: papers from 1923 to 1938. Corcoran, J. (ed.) Hackett Publishing Company, Indianapolis, Indiana (1983)

20. Tarski, A., Mostowski, A., Robinson, R.: Undecidable Theories. North-Holland, Amsterdam (1953)

21. Wierzbicka, A.: Semantics: Primes and Universals. Oxford University Press, Oxford (1996)

Found a mistake? Please highlight the word and press Shift + Enter  
< Prev   CONTENTS   Next >