1- Los resultados de la lógica son válidos o inválidos
La lógica se sustenta de hechos, por lo que, los hechos pueden ser clasificados en válidos y inválidos
2- La lógica puede ser formal e informal.
La formal se encarga del estudio de argumentos deductivos, los cuales necesitan una inferencia para extraer conclusiones.
La informal es aquella que estudia los argumentos que se expresan en el lenguaje natural.
3- Los enunciados lógicos no se contradicen.
Un principal factor por el cual se rige la lógica es la no contradicción, o sea que dos proposiciones contradictorias no pueden ser validas al mismo tiempo.
4- Tercero excluido
Esta quiere decir que establece una proposición donde solamente puede ser verdadera o falsa sin alguna tercera opción.
5- La validez de las proposiciones se evalúa tomando en cuenta ciertas modalidades.
Existen 2 modalidades que se usan para decidir si una proposición es valida o no, las cuales son :
Diferencia temporal: Esta consiste que, algunas proposiciones en un pasado no era verídicas, pero actualmente si lo son y viceversa.
Diferencia epistemológica: Esta dicta que en algunos casos las proposiciones pueden ser ciertas o falsas. En otros casos se cree que son ciertas o no