Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.

Límites a la interpretación dinámica de los convenios de doble imposición internacional: el caso ING

El presente trabajo contiene algunas reflexiones críticas sobre el valor hermenéutico de los Comentarios al Convenio Modelo de la OCDE y su interpretación dinámica, más o menos matizada, al hilo de la Sentencia de la Audiencia Nacional de 10 de julio de 2015, dictada en el Caso ING. La interpretación de los convenios de doble imposición internacional ha concitado desde antiguo posturas encontradas tanto en el plano doctrinal como jurisprudencial; discusión que cobra hoy renovada importancia en relación con el soft law en general, y las recomendaciones del Proyecto BEPS de la OCDE, en particular.

Les successions et donations internationales face au droitt européen: réflexions critiques sur l'arrêt de la Cour de justice du 3 septembre 2014

El trabajo contiene una reflexión crítica sobre la normativa española en materia de sucesiones y donaciones en relación con los no residentes. Se denuncia la discriminación existente en este ámbito entre residentes y no residentes, al no poderse beneficiar estos últimos de las importantes ventajas autonómicas previstas para los residentes. Así lo ha reconocido el Tribunal de Justicia de la Unión Europea, en su Sentencia de 3 de septiembre de 2014 que, sin embargo, no zanja todos los aspectos de la polémica. La autora analiza el pronunciamiento y advierte sobre los casos problemáticos susceptibles de plantearse en el futuro, ante la insuficiencia de la sentencia del Alto Tribunal.

El principio de igualdad y no discriminación en relación con la pensión de viudedad y el «matrimonio gitano»

El punto de partida de nuestro estudio se sitúa en el polémico y discutido asunto resuelto por la sentencia del Tribunal Europeo de Derechos Humanos de 8 de diciembre de 2009, Caso Muñoz Díaz c. España, donde se condena al Estado español por denegar la pensión de viudedad a una ciudadana casada exclusivamente por el rito matrimonial gitano. Al hilo de esta resolución analizaremos, entre otras cuestiones, las diversas formas matrimoniales a las que nuestro legislador otorga efectos civiles, la incidencia de dichas disposiciones en el principio de igualdad y no discriminación consagrado en el artículo 14 de la Constitución y en el artículo 14 del Convenio Europeo de Derechos Humanos, y la posible vulneración de dicho principio en el marco de las prestaciones sociales reguladas en la Ley General de la Seguridad Social, recientemente reformada.

Los internamientos no voluntarios por razón de trastorno psíquico: especial consideración al procedimiento a seguir en los casos de urgencia médica

La ambigüedad y carencias de la regulación sobre internamientos no voluntarios por razón de trastorno psíquico, unidas a la declaración de inconstitucionalidad que afecta a algunas de sus disposiciones por carecer del debido rango legal, exigen la elaboración de una normativa completa y bien estructurada de la materia. La reciente STC 141/2012, de 2 de julio, enjuicia por primera vez un caso de internamiento psiquiátrico urgente desde la óptica del derecho fundamental a la libertad personal, y el TC aprovecha la coyuntura para desarrollar minuciosamente las garantías que han de respetarse en tales casos con el fin de evitar vulneraciones arbitrarias del mismo. Este trabajo analiza la novedosa doctrina que sienta el TC en dicha sentencia.