Argumentos que llevan a Kripke a considerar que nombres y descripciones son categorías distintas, pues los primeros son designadores rígidos y los otros no. Las teorías de la referencia hasta finales de los años sesenta se basaron en las de Frege y Russell. Sin embargo, una serie de trabajos desarrollados a finales de los años … Read more
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