Lógica da Suficiência
lógica modal, implicação material, operador suficiente, doutrina da causalidade, princípio da razão suficiente.
A presente tese e uma investigação sobre o conceito formal de suficiência. Em termos algébricos, há uma importante relação entre o operador de suficiência e o de necessidade. Sabe-se, através do teorema da representação, que a lógica proposicional é isomorfa a álgebra booleana. A partir da observação do comportamento dos operadores modais, foi definida uma lógica com esse novo operador modal de suficiência. Explorou-se, em seguida, a sua sintaxe é sua semântica. Também foi feita uma análise da definição do termo em alguns contextos referentes às noções de condições necessárias e suficientes em cenários factuais que possuem modalidades envolvidas. Um dos resultados aqui apresentados é a constatação de que o suficiente se comporta de forma diferente para cada tipo de verdade. Além dos tópicos mais formais acerca da noção de suficiência, a tese também apresenta brevemente uma discussão ̃histórico-filosófica da noção de causa e do princípio de razão suficiente a partir de importantes autores da filosofia como Aristóteles e Leibniz.