Filosofía Una máquina de Turing es una idealización matemática de un agente finito capaz de calcular. El ingenio fue propuesto por Alan Turing en el año 1936, en un artículo titulado «On computable numbers, with an application to the Entscheidungsproblem», en el que se enfrentaba al problema planteado por David Hilbert sobre la decidibilidad de las […]
Vistos los aspectos sintácticos y semánticos fundamentales del lenguaje de la lógica proposicional, pasaremos al apartado de la formalización o simbolización. La simbolización consiste en encontrar, para un enunciado E del lenguaje natural, en nuestro lenguaje proposicional una fórmula A que satisfaga las siguientes condiciones: 1. Cuando en A se reemplazan las letras proposicionales por […]
Que el mundo occidental se está derrumbando, a un nivel cultural (en un sentido amplio y omniabarcante del término «cultura») es algo que se está diciendo desde que Friedrich Nietzsche escribió El nacimiento de la tragedia. Después vinieron otros e incidieron en ello (Heidegger, Husserl, Habermas, etc.), con mayor o menor tenacidad. Esto, en las […]
La falacia ad baculum consiste en basar la conclusión de un argumento no en su validez lógica, en el hecho de que la conclusión se siga de las premisas, sino que este se sustenta en el uso de la fuerza y en el uso de amenazas. Muchas veces se considera que los argumentos ad baculum […]
Convencional hace referencia a aquello que se decide mediante un pacto o que está establecido por la costumbre. Se dice que el significado de las expresiones lingüísticas es convencional, que las leyes son convencionales y hay quien está dispuesto a decir que «2+2 = 4» es también producto de convenciones humanas. Sea como fuere, la […]