Lógica proposicional
La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Órganon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.
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.