The 'natural' and the 'formal'

Journal of Philosophical Logic

Volumn 29, Issue 1, 2000, Pages 75-101

  Peregrin, Jaroslav ^a  

^a INSTITUTE OF PHILOSOPHY   (Czech Republic)

Author keywords

Logical form; Logical truth; Mathematical models; Philosophy of logic; Structuralism

Indexed keywords

EID: 23944466910     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004781713292     Document Type: Article

References (48)

1. Boolos, G. S. and Jeffrey, R. C. (1974): Computability and Logic, Cambridge University Press, Cambridge.
2. Brandom, R. (1994): Making it Explicit, Harvard University Press, Cambridge, MA.
3. Brouwer, L. E. J. (1907): Over de grondslagen der wiskunde, Thesis, Amsterdam;
4. reprinted in A. Heyting (ed.), Brouwer: Collected Works I: Philosophy and Foundations of Mathematics, North-Holland, Amsterdam, 1975.
5. Davidson, D. (1989): What is present to the mind?, in J. Brandl and W. L. Gombocz (eds), The Mind of Donald Davidson, Rodopi, Amsterdam, pp. 3-18.
6. Davidson, D. (1990): The structure and contents of truth, J. Philos. 87: 279-328.
7. Einstein, A. (1983): Geometry and Experience, Sidelights on Relativity, Dover, New York
8. ( translation of the German original 'Geometrie und Erfahrung' from 1921).
9. Etchemendy, J. (1988): Tarski on truth and logical consequence, J. Symbolic Logic 53: 51-79.
10. Frege, G. (1879): Begriffsschrift, Nebert, Halle; English translation in van Heijenoort (1971), pp. 1-82.
11. Frege, G. (1976): Wissenschaftlicher Briefwechsel (ed. by G. Gabriel et al.), Meiner, Hamburg;
12. English translations in Frege: Philosophical and Mathematical Correspondence, Blackwell, Oxford, 1980.
13. García-Carpintero, M. (1999): The explanatory value of truth theories embodying the semantic conception, in Peregrin (1999b), pp. 185-212.
14. Gödel, K. (1931): Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. Math. Phys. 38: 173-198.
15. van Heijenoort, J. (ed.) (1971): From Frege to Gödel: A Source Book in Mathematical Logic, Harvard University Press, Cambridge, MA.
16. Hilbert, D. (1899): Grundlagen der Geometrie, Teubner, Leipzig.
17. Hintikka, J. and Mutanen, A. (1998): An alternative concept of computability, in J. Hintikka (ed.), Language, Truth and Logic in Mathematics (Selected Papers 3), Kluwer Acad. Publ., Dordrecht.
18. Hofman, A. (1995): On the nature of meaning and its indeterminacy: Davidson's view in perspective, Erkenntnis 42: 15-40.
19. Katz, J. J. and Postal, P. M. (1991): Realism vs. conceptualism in linguistics', Linguistics and Philosophy 14: 515-554.
20. Kreisel, G. (1967): Informal rigour and completeness proofs, in I. Lakatos (ed.), Problems in the Philosophy of Mathematics, North-Holland, Amsterdam;
21. reprinted in J. Hintikka (ed.), The Philosophy of Mathematics, Oxford University Press, Oxford, 1969, pp. 78-94.
22. Malcolm, N. (1940): Are necessary propositions really verbal?, Mind 49: 189-203.
23. Montague, R. (1974): Formal Philosophy: Selected Papers of R. Montague (ed. R. Thomason), Yale University Press, New Haven.
24. Penrose, R. (1990): The Emperor's New Mind, Vintage, London.
25. Peregrin, J. (1995): Doing Worlds with Words, Kluwer Acad. Publ., Dordrecht.
26. Peregrin, J. (1997): Language and its models, Nordic J. Philos. Logic 2: 1-23.
27. Peregrin, J. (1998): Linguistics and philosophy, Theoretical Linguistics 24: 245-264.
28. Peregrin, J. (1999a): The pragmatization of semantics, in K. Turner (ed.), The Semantics/Pragmatics Interface from Different Points of View, Elsevier, Amsterdam, pp. 419-442.
29. Peregrin, J. (ed.) (1999b): Truth and its Nature (if Any), Kluwer Acad. Publ., Dordrecht.
30. Poincaré, H. (1908): Science and method (English translation), in Foundations of Science, Science Press, New York, 1921, pp. 359-546.
31. Putnam, H. (1985): A comparison of something with something else, New Literary History 17: 61-79.
32. Putnam, H. (1994): Rethinking mathematical necessity, in J. Conant (ed.), Words and Life, Harvard University Press, Cambridge, MA.
33. Quine, W. V. O. (1960): Word and Object, MIT Press, Cambridge, MA.
34. Reichenbach, H. (1920): Relativitätstheorie und Erkenntnis Apriori, Springer, Berlin.
35. Russell, B. (1905): On denoting, Mind 14: 479-493.
36. Sellars, W. (1963): Science, Perception and Reality, Routledge, New York.
37. Shapiro, S. (1996): Space, number and structure: A tale of two debates, Philos. Math. 4: 148-173.
38. Stekeler-Weithofer, P. (1986): Grundprobleme der Logik, de Gruyter, Berlin.
39. Stekeler-Weithofer, P. (1992): Hegels Analytische Philosophie, Schöningh, Paderborn.
40. Stekeler-Weithofer, P. (1994): Ideation und Projektion, Deutsche Zeitschrift für Philosophie 42: 783-798.
41. Tarski, A. (1932): Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen, in Akademischer Anzeiger der Akademie der Wissenschaften in Wien 69;
42. English translation 'The Concept of Truth in Formalized Languages' in Tarski (1956), pp. 152-278.
43. Tarski, A. (1944): The semantic conception of truth, Philosophy and Phenomenological Research 4: 341-375.
44. Tarski, A. (1956): Logic, Semantics, Metamathematics, Clarendon Press, Oxford.
45. Wittgenstein, L. (1953): Philosophische Untersuchungen, Blackwell, Oxford;
46. English translation Philosophical Investigations, Blackwell, Oxford, 1953.
47. Wittgenstein, L. (1956): Bemerkungen über die Grundlagen der Mathematik, Blackwell, Oxford;
48. English translation Remarks on the Foundations of Mathematics, Blackwell, Oxford, 1956.