Aclaración, corrección, subsanación y complementos de sentencias en el Derecho Procesal Laboral

A lo largo de este trabajo se abordarán vías por las que el legislador ha tratado de dar una mayor celeridad al proceso para impedir el problema de las dilaciones indebidas, al ser esta una de las grandes trabas de la actualidad debido al exceso de carga de trabajo que recae sobre los órganos judiciales. Con la aclaración, corrección, subsanación y complementos de sentencias se logra dar una solución ágil a problemas relativamente sencillos, puesto que evita la necesidad de acudir a la nulidad de actuaciones o a la interposición de los recursos pertinentes, al ofrecer otros cauces para obtener de igual forma una solución óptima, que garantice una mayor efectividad y eficacia en la resolución de errores patentes y claros sobre los que no sea necesario realizar ningún juicio valorativo o apreciación jurídica.

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.

El accidente de trabajo "in itinere": concepto legal y jurisprudencial

El trabajo que voy a llevar a cabo trata sobre el accidente de trabajo, más en concreto el accidente de trabajo "in itinere", ya que es un hecho protegido que la ley general de la seguridad social le da una gran importancia. Trataré los requisitos necesarios para que se dé un accidente de trabajo "in itinere", basándome siempre en sentencias ya que es un trabajo básicamente jurisprudencial. En el trabajo también trato el accidente de trabajo in mision. A modo de conclusión expresaré mi opinión personal acerca de las diferentes sentencias comentadas en el trabajo.