Lógica

La lógica deductiva verá la aparición de lógicas alternativas, bien porque la extiendan, bien porque niegan algunos de sus principios básicos. Durante siglos se había considerado que la lógica clásica deductiva, bien fuera en su formalización aristotélica, bien en su formalización matematizada a partir de Frege, era el único sistema posible. Pese a ello, no … Read more

Las lógicas modales extienden la lógica clásica añadiéndole un elemento nuevo, la modalidad. Destaca Kripke como iniciador de la semántica de la misma. Las lógicas modales son un tipo de lógica no clásica, más concretamente pueden considerarse como una extensión de la lógica clásica a la cual se le añade un elemento, la modalidad, el … Read more