Cicerón
En la filosofía antigua, la lógica, relacionada con la razón y la argumentación, es la forma de distinguir lo verdadero de lo falso, reconocer la coherencia y lo contradictorio. Por lo tanto, es el instrumento que subyace a las teorías construidas en los otros dos dominios filosóficos, la física y la moral. De hecho, cada acción reflexiva requiere distinguir entre lo que se debe hacer y lo que no se debe hacer, y por lo tanto, buscar certezas en las que basar la elección.
Lógica probabilística
La lógica probabilística (o lógica probabilista) es una forma de razonamiento que tiene como objetivo combinar la capacidad de manejar la incertidumbre que tiene la teoría de probabilidad con la capacidad de explotar la estructura de la argumentación formal que tiene la lógica deductiva. El resultado es un formalismo más rico y más expresivo con una amplia gama de posibles áreas de aplicación. La lógica probabilística es una extensión natural de las tablas de verdad de la lógica tradicional, pero a diferencia de esta, los resultados que define se derivan de expresiones de probabilidad. Uno de los problemas con las lógicas probabilistas es que tienden a multiplicar la complejidad computacional de sus componentes probabilísticos y lógicos. Otro problema es la posibilidad de resultados contraintuitivos, como los que aparece en la lógica subjetiva basada en evidencia que hace uso de la teoría Dempster-Shafer. La necesidad de lidiar con una amplia variedad de contextos y problemas ha llevado a muchas propuestas diferentes.