V Referências Bibliográficas

Bibliografia 206 V Referências Bibliográficas Obras de Wittgenstein: Para nos referirmos às obras de Wittgenstein, utilizamos as seguintes abreviações (que já estão se tornando padrão na literatura sobre o autor): TLP Tractatus Logico-Philosophicus, London, Routlege & Kegan Paul, 1961. WWK Ludwig Wittgenstein and the Vienna Circle: conversations recorded by Friedrich Waismann, Oxford, Basil Blackwell, 1979. PR Philosophical Remarks, Oxford, Basil Blackwell, 1975. PG Philosophical Grammar, Oxford, Basil Blackwell, 1974. AWL Wittgenstein Lectures, Cambridge 1932-35, Alice Ambrose (ed.), Oxford, Basil Blackwell, 1979. BB The Blue and Brown Books: Preliminary Studies for the "Philosophical Investigations. New York, Harper Torchbooks, 1977. LFM Wittgenstein Lectures on the Foundations of Mathematics, 1939 C.Diamond, (ed.), Sussex, The Harvester, 1976. PI Philosophical Investigations, New York, Macmillan Publishing, 1968.

Bibliografia 207 RFM Remarks on the Foundations of Mathematics, Cambridge, The MIT Press, 1978 (3* ed.) Z Zettel. University of California, Berkeley, 1967. OC On Certainty, London, Basil Blackwell, 1977. Bibliografia mencionada: AMBROSE, A., Ludwig Wittgenstein Philosophy and Language, London, Allen & Unwin, 1972. ARISTÓTELES, Methaphysics. Great Books, Encyclopedia Britannica, Chicago, 1952 AYER, A.J. Logical Positivism. Free Press, Nova Iorque, 1959. BAKER, G. P. & HACKER, P. M. S.Wittgenstein: Rules, Grammar and Necessity. Oxford, Basil Blackwell, 1985. BENACERRAF, P. Skolem and the Skeptic. Proc. of the Arist. Society, Supplementary IX, 1985. BERNAYS, P. The Philosophy of Mathematics and Hilbert s proof theory.from Brouwer to Hilbert: The debate on the Foundations of Mathematics.. On Hilbert s thoughts Concerning the Grounding of Arithmetic. Em From Brouwer to Hilbert: The debate on the Foundations of Mathematics. BRADLEY, R. The Nature of all Being. Oxford, New York, 1992. COCHIARELLA, N. B. Philosophical Perspectives. em Gabbay, D. & Guenther, F. Handbook of Philosophical Logic. CHATEAUBRIAND, O. Logical Forms. Volume I. Coleção Cle, São Paulo, 2001.. Logical Forms. Manuscrito. CHOMSKY, N, Introduction to the Formal Analysis of Natural Languages. Em Luce, R.D., Bush, R., & Galanter, E., Readings in Mathematical Psychology. 1968.. Quine s Empirical Assuptions. Em Davidson, Donald & Hitikka, Jaakko. Words and Objections.

Bibliografia 208 CHURCH. A. The Richard Pardox. American Mathematical Monthly. Vol. 41 (1934). DAVIDSON, D. Truth and Interpretation. Claredon, Oxford, 1984.. Rational Animals. Dialectica 36, 1982: 317-27. DAVIDSON, D & HINTIKKA, J. Words and Objections. Reidel, Dorbrecht. 1975. DAVIS, M, The undecidable. Raven Press, Nova Iorque, 1965. DEDEKIND, R. Essays on the Theory of Numbers. Dover, Nova Iorque, 1963. DETLEFSEN, M. Proof, Logic and Formalization. Routledge, Londres. 1992. DEPAULI-SCHMANOVICH et al. The Foundational Debate. Kluwer, Nethrelands, 1995 DUMMETT, M., Truth and Other Enigmas, London, Harvard, Cambridge, 1978.. The Interpretation of Frege s Philosophy. Duckworth. Londres. 1981.. Frege: Philosophy of Language. Harvard, Cambridge, 1988.. The logical basis of metaphysics Harvard, Cambridge, 1993.. The Seas of Language. Claredon, Oxford, 1993. EUCLÍDES. The thirteen Books of the Elements. Dover. New York, 1956. FITTING, M & MENDELSON, R. L. First Order Modal Logic. Kluwer. Boston. 1999. FOGELIN, R. Wittgenstein, Londres, Routledge & Kegan Paul, 1976.. Wittgenstein and Intuitionistm. Em Shanker, Stuart. Ludwig Wittgenstein: critical assessments. FOLLESDAL, D. Triangulation. Em Hahn, Lewis Edwin. The philosophy of Danald Davidson. FRASCOLLA, P., Wittgenstiens's Philosophy os Mathematics. London, Routledge, 1995. FREGE, G. Begriffsschrift. Em VAN HEIJENOORT. From Frege to Gödel.. The foundations of Arithmetic. Basil Blackwell, Oxford. 1978. Translations of the Philosophical Writings of Gottlob Frege. Basil Blackwell, Oxford, 1977.. The Basic Laws of Arithmetic. Un. California. Berkeley, 1964.. Logical investigations. Basil Blackwell, Oxford. 1977.. Philosophical and Mathematical Correspondence. 1986.. Posthumous Writings. Chicado, Chicago. 1979. HAHN, H. Logic, Mathematics and Knowledge of Nature. Em Ayer, A.J. Logical Positivism. HAHN, L. E. The philosophy of Donald Davidson. Open Court, Chicago, 1999.

Bibliografia 209 HALE, Bob & WRIGHT, C. A companion to the Philosophy of Language. Blackwell, Oxford, 1997. HEMPEL, C. The Empiricist Criterion of Meaning. Em Ayer, A.J. Logical Positivism. Free Press, GABBAY, D. & GUENTHER, F. Handbook of Philosophical Logic. Reidel, Dorbrecht. 1984. GLOCK, H. Dicionário Wittgenstein. Zahar, Rio de Janeiro, 1997. GOODSTEIN, R. Wittgenstein s Philosophy of Mathematics.. Recursive Number Theory. GÖDEL, K. Acerca de Proposições Formalmente indecidíveis nos de Sistemas Matemáticos Formais. In DAVIS, M, The undecidable. 1965. HILBERT, D. The foundations of Mathematics,1927. Em VAN HEIJENOORT From Frege to Gödel.. The Grounding of Elementary Number Theory. Em From Brouwer to Hilbert: The debate on the Foundations of Mathematics.. On the infinite,1925. Em VAN HEIJENOORT From Frege to Gödel. HINTIKKA, J et al. Essays on Mathematical and Philosophical Logic. Reidel, Dordrecht 1978. KRIPKE. S., Wittgenstein on Rules and Private Language. Oxford, Basil Blackwell, 1972. KANT, I. Crítica da Razão Pura. Coleção os pensadores, Abril, São Paulo, 1980. LUCE, R.D., BUSH, R., & GALANTER, E., Readings in Mathematical Psychology. Wiley, New York, 1956. MCGUINESS, B. Wittgenstein: A Life. Penguin, Londres, 1988. MANCOSU. P. From Brouwer to Hilbert: The debate on the Foundations of Mathematics. Oxford, Nova Iorque, 1998. MARTIN-LÖF, P. Truth of a proposition, evidence of a judgment, validity of a proof. Synthese 73: 1987 pg. 407-20.. A path from logic to metaphysics. Atti dei Congresso Nuovi Problemi della logica e della filosofia della scienza. Viareggio 1990. pg. 141-49.. Verificationism Then and Now. Em DEPAULI-SCHMANOVICH et al. The Foundational Debate.1995 PARSONS, C. Mathematics in Philosophy. Cornell, Ithaca 1983.

Bibliografia 210 PRAWITZ, D. The conflict between classical and Intuitionistic logic. Theoria. Vol XLIII, 1977, pg. 2-39.. Philosophical aspects of proof theory. Manuscrito.. Proofs and the Meanging and completeness of the Logical constants. 1978. Em HINTIKKA, J et al. Essays on Mathematical and Philosophical Logic. PUTNAM, H. Mathematics, Matter and Method. Cambridge, Londres, 1979.. Realism and Reason. Cambridge, Londres, 1983. PUTNAM, H & BENACERRAF, P. Philosophy of Mathematics. Cambridge, Londres, 1983. PENCO, C. Frege: Two Theses, two Senses. Manuscrito. 1998 RAMSEY, G. The Foundations of Mathematics and other essays. Londres. 1931 REHEES, R. Discussions of Wittgenstein. Thoemmes, Bristol. 1996. QUINE, W.V.O., Word and Object. MIT, Cambridge, 1960,. The Ways of Paradox and other essays. Harvard, Cambridge, 1966.. Ontological Relativity and Other essays, Columbia, Nova Iorque, 1969. Roots of Reference. Open Court, Ilinois, 1974.. Methods of Logic. Harvard, Cambridge, 1982.. Pursuit of Truth. Harvard, Cambridge, 1992. SANTOS, L. H. A essência da proposição e a essência do mundo. Edusp. São Paulo. 1994. SCHWARTZ, S. Naming, Necessity and Natural Kinds. Cornell, Ithaca. 1977. SHANKER, S.G., Wittgenstein and the Turning-point in the Philosophy of Mathematics, London, Croom Helm Publisher, 1987.. Ludwig Wittgenstein: critical assessments. Vol.3. Routledge, Londres, 1986. SHAPIRO, S. Foundations without Foundationalism: A case for second-order logic. Claredon, Oxford, 1999. SKOLEM, T. Foundations of Elementary arithmetic established by means of the recursive mode of thought, without the use of apparent variables ranging over infinite domains. Selected Works in Logic TIESZEN, R. What is a proof? Em Detlefsen, Michael. Proof, Logic and Formalization. VAN HEIJENOORT, J. From Frege to Gödel. Cambridge, Harvard, 1967.

Bibliografia 211 WAISMANN, F. Ludwig Wittgenstein and the Vienna Circle: conversations recorded by Friedrich Waismann, Oxford, Basil Blackwell, 1979. WANG, H. A Logical Journey. Mit. Cambridge. 1996.