65689 20180223094247.0 GDOC-2016-25510 spa (orcid)0000-0001-6172-9936 390742 Mayoral De Lucas, Juan Vicente 25510 Lógica formal 25510 Formal logic Zaragoza Universidad de Zaragoza 2016-2017 Breve presentación de la asignatura Esta asignatura está concebida como una continuación de la asignatura Introducción a la lógica del primer curso de grado. Por una parte nos ocuparemos de la semántica de la Lógica de Primer Orden y, por el otro, comenzaremos una travesía por la filosofía de la lógica que provea a nuestros alumnos del entramado conceptual básico para enfrentarse con garantías a la asignatura Filosofía del lenguaje que, junto con estas dos de lógica, forma parte del primer grupo o módulo de asignaturas de corte analítico en el primer ciclo del grado.  104 Filosofía by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ 269 16862 http://zaguan.unizar.es/record/65689/files/guia-25510-es.pdf Guía (idioma español) 9950 http://zaguan.unizar.es/record/65689/files/guia-25510-en.pdf Guide (english) GDOC-2016-25510 GDOC Artes y humanidades 103