Textos selecionados sobre Lógica II

Abstract

Historicamente, o estudo da Lógica referia-se, de maneira geral, ao estudo de um sistema de lógica em particular: a clássica. A lógica clássica, que inclui tanto a lógica proposicional quanto suas extensões, como a lógica de predicados, dominou o cenário filosófico e matemático por séculos – inicialmente em suas versões mais tradicionais, como a lógica silogistica aristotélica, até suas formalizações mais contemporâneas, desenvolvida por Frege. Contudo, ao longo do século XX, o campo foi ampliado com a introdução de diversos sistemas ditos “não-clássicos”, como a lógica intuicionista, a lógica paraconsistente e outras. Esses desenvolvimentos tornaram clara a distinção entre a Lógica, como uma área de es tudo, e as lógicas, como sistemas formais particulares, que podem ser consideravelmente diferentes.