Resumo
Javier Legris examines my views on symbolism and logical form in relation to two important distinctions emphasized by Jean van Heijenoort—the distinction between logic as calculus and logic as universal language, and the distinction between absolutism and relativism in logic. I generally agree with his considerations and focus my response on some relevant aspects of classical logic.
Resumo:
Javier Legris examina minhas considerações sobre simbolismo e forma lógica em relação à duas distinções enfatizadas por Jean van Heijenoort: a distinção entre lógica como cálculo e lógica como linguagem universal, e a distinção entre absolutismo e relativismo na lógica. Estou basicamente de acordo com suas observações e em minha réplica enfoco alguns aspectos relevantes da lógica clássica.
Palavras chave: Simbolismo. Forma lógica. Calculo lógico. Linguagem.
Referências
HEYTING, A. Intuitionism: An Introduction. Amsterdam: NorthHolland, 1956.
VAN HEIJENOORT, J. “Logic as Calculus and Logic as Language”. Synthese, 24, pp. 324-330, 1967. Repr. in van Heijenoort (1985).
VAN HEIJENOORT, J. “Absolutism and Relativism in Logic”. In: van Heijenoort (1985), pp. 75-83.
VAN HEIJENOORT, J. Selected Essays. Naples: Bibliopolis, 1985.