Das condicionais às modalidades: C.I. Lewis e a lógica da implicação estrita

22 Fevereiro 2021, 18:30 • Ricardo Santos

A crítica de C.I. Lewis à implicação material e a defesa da noção de implicação estrita (pretendendo captar a relação inferencial ou de consequência). O símbolo de implicação estrita e a sua definição com base nas conectivas verofuncionais e num operador modal. A procura de uma lógica da implicação estrita. A proposta (Lewis e Langford 1932) de cinco sistemas axiomáticos (S1 a S5) para a implicação estrita. A lógica da implicação estrita – ou lógica modal – como extensão da lógica proposicional clássica. Os paradoxos da implicação estrita.