Palavras-chave
Como Citar
Resumo
Frege's work was largely devoted to an attempt to argue that the'basic laws of arithmetic' are truths of logic. That attempt had both philosophical and formal aspects. The present note offers an introduction to both of these, so that readers will be able to appreciate contemporary discussions of the philosophical significance of 'Frege's Theorem'.Referências
BOOLOS, G. “Is Hume’s Principle Analytic?”. In: R. Heck (ed.).Language, Thought, and Logic: Essays in Honour of Michael Dummett. Oxford: Oxford University Press, 1997.
BOOLOS, G. and HECK Jr., R.G. “Die Grundlagen der Arithmetik §§82-3”. In: M. Schirn (ed.). Philosophy of Mathematics Today. Oxford: Oxford University Press, 1997.
DEDEKIND, R. “The Nature and Meaning of Numbers”. In: Essays on the Theory of Numbers. Tr. by W. W. Beman. New York: Dover Publications, pp. 44-115, 1963.
DEMOPOULOS, W. (ed.). Frege’s Philosophy of Mathematics. Cambridge, MA: Harvard University Press, 1995.
FREGE, G. Grundgesetze der Arithmetik. Hildesheim: Georg Olms Verlagsbuchhandlung, 1966.
———. Begriffsschrift: A Formula Language Modeled Upon That of Arithmetic, for Pure Thought. Edited and trans. by J. van Heijenoort. From Frege to Gödel: A Sourcebook in Mathematical Logic. Cambridge, MA: Harvard University Press, 1967.
———. The Foundations of Arithmetic. Trans. by J.L. Austin. Evanston, IL: Northwestern University Press, 1980.
HALE, B. Abstract Objects. Oxford: Blackwell, 1988.
HECK Jr., R.G. “On the Consistency of Second Order Contextual Definitions”. Noûs, 26, pp. 491-94, 1992.
Downloads
