quarta-feira, outubro 19, 2005

Língua natural e língua simbólica

Embora o silogismo seja formal (podemos substituir os termos por variáveis), Aristóteles concebia-o como um instrumento da ciência (as obras lógicas de Aristóteles são conhecidas por nós sob o nome de Organon, que significa «instrumento»). Era então, para ele, inquestionável construir silogismos válidos a partir de proposições falsas «materialmente», ou mesmo a partir de simples «formas proposicionais». A lógica moderna libertar-se-á definitivamente deste ponto de vista «realista».

Sem comentários: