Guía de Curso


	Oferta de estudios Cómo se estudia en la UNED Movilidad Internacional Servicios Información general


	Listado de asignaturas

Guía de la asignatura

Curso 2011/2012


	Guía del Grado

LÓGICA I

Cod.70012105

PRESENTACIÓN DE LA ASIGNATURA

Esta asignatura es, por una parte, una primera aproximación a alguno de los conceptos en torno a los cuales se articula la Lógica y, por otra, una presentación de lo que constituye el apartado más básico y fundamental de esta disciplina, la llamada Lógica de enunciados o Lógica proposicional.

La Lógica de enunciados es la parte de la Lógica que se ocupa de la composición de enunciados o proposiciones mediante el empleo de partículas como “y”, “o”, “si … entonces” y otras de la misma índole. El objeto de la misma es formalizar y definir este tipo de partículas llamadas conectivas y estudiar las relaciones de inferencia fundadas en ellas. Una vez presentado el lenguaje específico de esta Lógica (esto es, su vocabulario y las reglas de formación de fórmulas) y expuesta su aplicación a la formalización de enunciados y argumentos del lenguaje natural, estudiaremos algunos métodos para la evaluación de los esquemas enunciativos y de argumentos; primero en su vertiente semántica, mediante las tablas de verdad y los árboles semánticos y a continuación desde el punto de vista sintáctico, mediante la Deducción Natural, formulando explícitamente las reglas básicas de la inferencia válida. Cerraremos el curso con una pequeña aproximación a las nociones y reglas del cálculo axiomático, sin poner en práctica dichas reglas, sino únicamente con el objetivo de comprender la organización de un conjunto de verdades en un sistema axiomático.

El estudio de esta asignatura es fundamental para la comprensión de la Lógica cuantificacional o de predicados, objeto de estudio de la asignatura Lógica II. Juntas constituyen la Lógica elemental o de Primer Orden.

Listado de asignaturas

Guía de la asignatura

Curso 2011/2012

LÓGICA I

Cod.70012105

PRESENTACIÓN DE LA ASIGNATURA