UNLP
Planilla de Actividades Curriculares
Código: S0004
Lógica I
Última Actualización de la Asignatura:

« Volver a asignaturas Carrera:     cursada el año:  , en el  Semestre  
Ver en cátedras »


CARRERAS PARA LAS QUE SE DICTA

Carrera Plan Carácter Cantidad de Semanas Año Semestre
03009 - Ingeniería Aeronáutica 2002 Electiva
Totales: 0
Clases:
Evaluaciones:
4to
-

CORRELATIVIDADES
Ingeniería Aeronáutica - Plan 2002
PARA CURSAR PARA PROMOCIONAR
-
-

INFORMACIÓN GENERAL 

Área:
Departamento: 0

Ingeniería Aeronáutica - 2002 plegar-desplegar

Tipificación: Complementarias

CARGA HORARIA

HORAS CLASE
TOTALES: 48hs SEMANALES: 3 hs
TEORÍA
-
PRÁCTICA
-
TEORÍA
3 hs
PRÁCTICA
0 hs

FORMACIÓN PRÁCTICA
Formación Experimental
0 hs
Resol. de Problemas abiertos
0 hs
Proyecto y Diseño
0 hs
PPS
0 hs

TOTALES CON FORMACIÓN PRÁCTICA: 48 hs

HORAS DE ESTUDIO ADICIONALES A LAS DE CLASE (NO ESCOLARIZADAS)
TEORÍA

-

PRÁCTICA

-


PLANTEL DOCENTE

No se ha actualizado el plantel docente aún.

OBJETIVOS

Comprender el rol de la lógica en la constitución del conocimiento racional.Comprender la relación entre la lógica, la filosofía y las disciplinas científicas.Comprender el rol de la lógica en la argumentación racional.Reconocer inferencias formalmente válidas.Reconocer las características propias de la inferencia deductiva.Iniciar al alumno en el análisis de los problemas filosóficos de la lógica en tanto ciencia.Proporcionar al alumno la formación teórico básica para la orientación lógico-epistemológica de la carrera.

PROGRAMA SINTÉTICO

Sobre el objeto de la lógica Lógica, Lenguaje y SignificadoLógica ProposicionalLógica de PredicadosMás allá de la lógica clásica

PROGRAMA ANALÍTICO 

Año: 2017, semestre: 1

Vigencia: 26/10/2005 - Actualidad

A.-OBJETIVOS GENERALES:

? Comprender el rol de la lógica en la constitución del conocimiento racional.

? Comprender la relación entre la lógica, la filosofía y las disciplinas científicas.

? Comprender el rol de la lógica en la argumentación racional.

? Reconocer inferencias formalmente inválidas.

? Reconocer las características propias de la inferencia deductiva.

? Iniciar al alumno en el análisis de los problemas filosóficos de la lógica en tanto ciencia.

B) ACTIVIDADES

Se dictarán tres horas semanales de clases teórico-prácticas, más un horario de consulta.

C) PROGRAMA

Primera parte: Nociones introductorias.

Unidad 1. Sobre el objeto de la lógica

1.1 Objeto de estudio de la lógica. Introducción histórica y panorama contemporáneo. Diversos tipos de lógicas.

1.2. Estructura e identificación de un argumento o inferencia. Argumentos o inferencias deductivas y no deductivas. Validez intuitiva formal y no formal. Argumento esquema o esquema de argumento. El concepto de forma lógica. Validez formal. El Método del Contraejemplo. Sintaxis, semántica y pragmática. Lenguaje Objeto y Metalenguaje.

Segunda parte: La Lógica Proposicional

Unidad 2: El lenguaje de la Lógica Proposicional.

2.1. Presentación intuitiva de la lógica proposicional. El concepto de oración (o enunciado o proposición). Símbolos descriptivos y lógicos. Definiciones recursivas: fórmula bien formada.

2.2. Las conectivas lógicas como funciones de verdad. Su correlato con expresiones del lenguaje natural.

Unidad 3: La semántica de la lógica proposicional.

3.1. La función valuación para la lógica proposicional. Tablas de verdad. Contingencias, tautologías y contradicciones. Implicación (o condicional) material e implicación lógica. Paradojas de la implicación material. Equivalencia material y equivalencia lógica. Leyes lógicas. Principales meta-teoremas. Completitud funcional de la lógica proposicional.

3.2 Validez semántica de los argumentos o inferencias proposicionales. La prueba de validez de argumentos por tablas de verdad. Prueba indirecta de validez. La noción de consecuencia lógica semántica.

Unidad 4: La dimensión sintáctica de la inferencia en Lógica Proposicional

4.1. La noción sintáctica de inferencia correcta. Deducción Natural para la lógica proposicional. Reglas de Introducción y Eliminación de las conectivas proposicionales. Las nociones de demostración y teorema. Pruebas por Reducción al Absurdo. La noción de consecuencia lógica sintáctica. La lógica minimal, intuicionista y clásica.

Tercera parte: La Lógica de Predicados

Unidad 5: El lenguaje de la lógica de Predicados (o de Primer Orden)

5.1 Variables de individuo, constantes de individuo, letras de predicado y cuantificadores. Fórmulas: oraciones y funciones proposicionales. Clases de funciones proposicionales. Las relaciones como funciones proposicionales n-ádicas. Cuantificación universal y existencial. Definición recursiva de fórmula. La traducción del lenguaje natural al lenguaje de la Lógica de Predicados.

Unidad 6: La Semántica de la lógica de Predicados.

6.1. Elementos de Teoría de conjuntos. Funciones y Relaciones. Propiedades de las relaciones. Funciones de Interpretación. Interpretación por Sustitución. Limitación de la interpretación por Sustitución. Validez Universal. Identidad, símbolos de función. Relaciones y propiedades de las relaciones.

6.2. La validez de los argumentos en la Lógica de Predicados. La demostración de invalidez por contrajemplos o contramodelos. Argumento válido y fórmula universalmente válida.

Unidad 7: El enfoque sintáctico de la corrección de argumentos en la lógica de Predicados.

7.1. Deducción Natural para la Lógica de Predicados. Reglas de Introducción y Eliminación de los cuantificdores. Principales meta-teoremas de la lógica de Primer Orden.

D.-

BIBLIOGRAFÍA

Año: 2017, semestre: 1

Vigencia: 26/10/2005 - Actualidad



ACTIVIDADES PRÁCTICAS


METODOLOGÍA DE ENSEÑANZA

Se dictarán seis horas semanales de clases presenciales y dos de consulta distribuidas de la siguiente forma:-Cuatro horas semanales destinadas a clases teóricas a cargo del profesor titular.-Catorce comisiones de dos horas de clases semanales a cargo de los JTP y ayudantes. Dos horas semanales de consulta a cargo del profesor titular.-Dos horas semanales de consulta por comisión a cargo de los JTP.

SISTEMA DE EVALUACIÓN

Promoción: Un examen parcial y un examen final.

MATERIAL DIDÁCTICO


ACTIVIDAD LABORATORIO-CAMPO


Calle 1 y 47 - La Plata (B1900TAG) - Pcia. de Buenos Aires - Argentina - Tel: (54) (221) 425-8911     -     Contacto: sistemas@ing.unlp.edu.ar