UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS

Tamaño: px

Comenzar la demostración a partir de la página:

Download "UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS"

Amparo Díaz Río
hace 6 años
Vistas:

1 UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: ASIGNATURA: PROFESOR: CUATRIMESTRE: FILOSOFÍA LÓGICA Dr Eduard Alejandr Barri Segund AÑO: 2010 PROGRAMA Nº: 0211

2 UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFÍA Y LETRAS DEPARTAMENTO DE LETRAS ASIGNATURA: LÓGICA PROFESOR: Dr Eduard Alejandr Barri Segund cuatrimestre de Fundamentación y descripción El presente curs brinda ls cncimients elementales crrespndientes a la lógica clásica. Al mism tiemp, frece una caracterización precisa del cncept clásic de cnsecuencia lógica, así cm de ls resultads metateórics esenciales vinculads a la Lógica de Primer Orden. Finalmente, presenta algunas ideas acerca de ls desarrlls n clásics de la lógica. 2. Objetivs - Adquirir criteris y técnicas para evaluar validez deductiva y plausibilidad de arguments. - Cmprender ls principales prblemas y mtivacines para cnstruir ls sistemas de lógica elemental. - Presentar las ncines básicas cnjuntistas cn el bjet de cmprender ls vínculs entre la Tería de Mdels y la Tería de Cnjunts. - Analizar ls diverss prblemas filsófics suscitads a partir de la caracterización cntempránea del cncept de cnsecuencia lógica. - Desarrllar la metatería básica de la lógica clásica prpsicinal. - Desarrllar algunas de las mtivacines que han generad prpuestas n clásicas. 3. Prgrama Analític: - Unidad 1: Intrducción: Arguments, deducción y transmisión de verdad. Cnstantes lógicas y sistemas lógics Ls lenguajes frmales: cnectivs extensinales vs cnectivs n extensinales Tería clásica de la lógica deductiva Bases preteóricas: frma, verdad y crrección Distintas presentacines de ls sistemas lógicas: deducción natural y 2

3 aximatización La nción de cnsecuencia deductiva: demstración y mdels. - Unidad 2: La Lógica Clásica de Primer Orden La lógica de primer rden La lógica de ls cnectivs extensinales. Lógica cuantificacinal de primer rden Deducción natural: reglas de intrducción y de eliminación para ls peradres lógics Demstracines, recursividad y pruebas. La tería de cnjunts: ls aximas de ZF. - Unidad 3: Mdels y estructuras cnjuntistas: La semántica de la lógica de predicads Mdels cnjuntistas y funcines de interpretación Interpretacines tarskianas de ls lenguajes de primer rden. Asignacines y variabilidad de ls dminis Cnsecuencia lógica y validez universal. - Unidad 4: Metalógica: Prpiedades de ls sistemas lógics Crrección, Cnsistencia, Cmpletitud, Cmpacidad y decibilidad de un sistema lógic Mdels: ismrfisms de interpretacines y el Terema Löwenheim-Sklem Aritmetización: el Terema de Tarski y la incmpetitud expresiva de la semántica. - Unidad 5: Más allá de la Lógica Clásica: Elements básics de la lógica de segund rden. 3

4 Lógicas rivales: sistemas paracnsistentes y el principi de n cntradicción Lógica multivalente. 4. Bibligrafía específica Unidad I Gamut, L.T.F Intrducción a la lógica, Buens Aires, Eudeba, Capítul 1 y 2. Gómez Trrente, M. Frma y Mdalidad, Buens Aires, Eudeba, Quesada, D. Lógica de Primer Orden en Alchurrón C., Méndez, J. y Orayen, R. Lógica Madrid, Trtta. Unidad 2 Gamut, L.T.F Intrducción a la lógica Buens Aires, Eudeba, Capítul 4. Hdges, W. Elementary Predicate Lgic en Gabbay, D. & Guenthner, F. Handbk f Philsphical Lgic, Kluwer Academic Publishers, Unidad 3 Gamut, L.T.F Intrducción a la lógica Buens Aires, Eudeba, Capítul 3. Hdges, W. Elementary Predicate Lgic en Gabbay, D. & Guenthner, F. Handbk f Philsphical Lgic, Kluwer Academic Publishers, Unidad 4 Bls, G., Burgess, J. & Jeffrey, R. Cmputability and Lgic. Cambridge, New Yrk: Cambridge University Press, Hunter, G. Metalógica Madrid, Paraninf Unidad 5 Gamut, L.T.F Intrducción a la lógica Buens Aires, Eudeba, Capítul 5. Priest, G. An Intrductin t Nn-Classical Lgic. Frm If t Is. 2nd Editin. Cambridge, U.P Bibligrafía general Barri, E La verdad desestructurada Buens Aires, Eudeba, Bls, G.. Lgic, Lgic and Lgic. Cambridge, MA: Harvard,

5 Cassini, A. El Jueg de ls Principis, Buens Aires, AZ, Chang C. and Keisler, J. Mdel Thery, Nrth Hlland, 1990 Drake, F. Set Thery. An Intrductin t Large Cardinals (Nrth-Hlland Publishing C, Amsterdam-Lndn-New Yrk 1974). Gabbay, D. & Guenthner, F. Handbk f Philsphical Lgic, Kluwer Academic Publishers, Hdges W. Mdel Thery (Cambridge, Cambridge U.P. 1993). Mendelsn, E. Intrductin t Mathematical Lgic (Lndres, Chapman and Hall, 1997). Simpsn, T. Frmas Lógicas, Realidad y Significad Buens Aires, Eudeba, Tarski, A. (1929) The Cncept f Truth in Frmalized Languages en Tarski, A. (1956) Lgic, Semantics and Metamathematics Oxfrd, Oxfrd University Press, Segunda edición

6 6. Actividades planificadas Clases Teóricas: se destinarán a la expsición de ls principales temas del presente prgrama. Cuatr hras semanales: lunes y miércles de 19 a 21hs. Hraris de Cnsulta de clases teóricas: Tds ls miércles de 18 a 19hs en el aula 441 del Institut de Filsfía Clases Prácticas: Habrá seis cmisines de trabajs práctics. En las mismas se desarrllará un sistema de deducción natural para la lógica de primer rden. Cuatr hras semanales. 7. Cndicines de regularidad y régimen de prmción y calificación La materia se ajusta a las nrmas que rigen para las materias de prmción directa. La prmción directa de la materia se alcanza cn el 80% de la asistencia a las clases teóricas y de trabajs práctics, y un prmedi mínim de 7 (siete) punts en ls exámenes. Se tmarán tres exámenes escrits. Ds acerca de ls temas desarrllads en las clases práctices. El examen restante será sbre ls temas desarrllad en las clases teóricas. Quienes n cumplan cn ests requisits, pdrán alcanzar la regularidad para pder rendir examen final cn el 75% de la asistencia a las clases de trabajs práctics y un prmedi mínim de 4 (cuatr) punts en ls exámenes. 8. Requisits y recmendacines Ningun. Dr Eduard Alejandr Barri Prfesr Regular Adjunt 6

Documentos relacionados

Sede y localidad Sede Alto Valle General Roca. Carrera Diseño de Interiores y Mobiliario

Sede y localidad Sede Alto Valle General Roca. Carrera Diseño de Interiores y Mobiliario Sede y lcalidad Sede Alt Valle General Rca Carrera Diseñ de Interires y Mbiliari 1. CARACTERISTICAS DE LA ASIGNATURA Asignatura: HISTORIA DEL DISEÑO INDUSTRIAL. Añ calendari: 2013 Carga hraria semanal: