Proposição Modal

Na lógica é a proposição na qual se enuncia um modo de haver-se do predicado em relação ao sujeito. As modais dividem-se em: necessárias (S é necessariamente P); contingentes (É contingente S ser P); possíveis (S é possivelmente P); impossíveis (É impossível S ser P). As contingentes são, em geral, consideradas apenas como possíveis, mas deve-se distingui-las, pois há contingentes que são hipoteticamente necessárias, como no juízo há tal efeito porque há tal causa (mas esta deve ser contingente). As modais podem ser afirmativas ou negativas, particulares ou universais. São equipolentes as que, embora diversas em seu enunciado, significam a mesma coisa.

Por exemplo: Todo homem não corre necessariamente é equipolente a: Nenhum homem necessariamente corre. Não algum homem é justo é equipolente a Nenhum homem é justo. Não algum homem não é justo é equipolente a Todo homem é justo, pois a primeira proposição eqüivale a Nenhum homem não é justo, que é equipolente a Todo homem é justo. Nenhum homem não é não-justo é equipolente a nenhum homem é justo.