Lungarzo,

Carlos Alberto

Lógica

Programa 1986

Información adicional en www.memoria.fahce.unlp.edu.ar

Esta obra está bajo una Licencia Creative Commons

Atribución-NoComercial-CompartirIgual 4.0 Internacional
https://creativecommons.org/licenses/by-nc-sa/4.0/
 MATERIAL PARA LOGICA FICHA LOG1.RBQ¿
¿C- *
“752-¿“x
¡", 4v:“
¡.
.. *.)
Í—Z”
' '

L9Glºf¿—
'

( lo
.

'

—
__..— ————

.“. t?JXX º

“¿ ºk./¿
(—_

0,4“
Bibliografía"
,

“*xf“º34?
. .

Programa y
a;a**

(1) Objetivos : Ofrecer una visión compacta y conceptual de la moderna teo

de la deducción; y de su conexión con las ciencias del lenguaje.
(2) Régimen : Semestral. Primer cuatrimestre (sem.) de 1986.Con examen fi

(3) Carga: 4 horas teórica; 2 prácticas; 2 asesoria. Estudio en casa y con

tas: variable, puede suficiente 6 8 horas más.

'

|
pero ser con a

J (4) Bibliografía general y analitica : Véase despues de los conta1idos.

(5) JSstrategia didáctica : Dos ¿bandas horarias de teóricas expositivo-dis
.
cursivas. Prácticos con ejercicios y un examen parcial con l recumarat.

')
(6) Promoción..Aprobar un parcial como regular. Un escrito previo como lib
-u (7) Para más detalles, leer el informe titulado FICHA LOG.L.I, con las ins'
7
ci0nesxpara la cursada.

CONTENIDOS

1. ¿Qué es li lógica?.
(i) La lógica como teoría de la,deducción formal. Forma lógica.
(ii) Idea de la lógica aristotélica.
(iii) La evolución de la lógica "simbólica" de Boole a Russell.
"(iv) El punto de vista lingUistico.
(v) Entidades linguisticas (signos, variables, enunciados, etc.)
(vi) Deducción y axiomatización.

2. Lenguajgs_para la construcción de la lógica.

(1) Distinción de las categorias de un lenguaje,
(ii) Términos y fórmulas.
(iii) Lenguajes formales.
(iv) Lenguaje descriptivo y lenguaje lógico puro.

3 . Clases y conjuntos (como objetos abstractos extra-lógicos)

(1) Construcción de conjuntos y clases. Propiedades y operaciones simples.
(Ii) Clases de clases y relaciones.
(iii) Relaciones de orden, de equivalencia y funciones.
(iv) Nociones elementales sobre números y tipos lógicos.

4. La lógica clásica formalizada.

(i) Perspectiva proposicional. Descripción de los "cálculos proposid.onale$

(ii) Aspectos semánticos de lógica la considerada proposicionalmente.
(iii) Aspectos sintácticos de la lógica funcional de primer orden.
gv) Interpretación de la lógica funcional.de primer orden.

(V) Aspectos semánticos,

7
5. Deducción y—axiomatización.
.

(i) Idea de deducción natural, Reglas derivación,

de
(ii) Demostraciones de teoremas a partir hipótesis. de
(iii) La axiomatización: estructura y propiedades de los sistemas axiomátici
(iv) Teorías de primer orden. La lógica para su manejo.
“(v) Caso paradigmático: el sistema NK funcional de Gentzen.

CRONOGRAMA: Unidad 1: 2 semanas

Unidad 2: 2 semanas
Unidad 3: 4 semanas
Unidad 4: 4 semanas
Unidad 5:: 3 semanas

Cada semana supone 4 horas reloj de clase teórica efectivamente dada. En cas
de que no se pueda dictar por razones extraoficiales (ausencia de alumnos, e

el tema se considerará como si hubiera sido dictado y será oobjeto de examer

 Programa deLóáica ("LOG.I.PROG. ___?¿gipáé;_
.,', *—“/ _'

PROGRAMA DE PRACTICOS (º
I. Ejemplos y ejercicios sobre deducciones al estilo clá81co)“x
,
paso a la visión simbólica. Ejercicios sobre reconocimientoº&&
""""

%'imboloc
y expresiones.Preguntas sobre ciencia demost3ativa yaxiomática clásicas.
II. Ejercicios sobre lenguajes de primer orden, Traducir al lenguaje colc
quial. Distinguir categorias, niveles, etc. Ejemplos de lenguajes natu
les y artifidiales:.
III. Ejercicios de tipo conceptual (problemas) sobre clases, relaciones
_y funciones. Identificación de tipos y niveles..

IV.Dadas fórmulas pr0posicionales y reglas, hacer algunas derivaciones.

Verificar tautologicidad. Dadas formulas funcionales y rq;la, hacer
derivaciones simples (no más de grado 2). Proponer interpretaciones y veri-
si modelos.
i.icar son
V. Hacer algunas demostraciones de teoremas. Pr0piedades de los sistema
'

de axiomas.
VI. Lenguajes artificiales para computación. Idea de programa. Explicar
cómo se reconocen propiedades elementales. Determinar tautologicidad, deriv
bilidad, etc. , usando microcomputadores (Estas prácticas puedai ser teórica
ya que no es seguro que podamos conseguir Las máquinas).

BIBLIOGRAFIA

(a) Obligatória—.
No hay (CONJ B!OBL :
0). Cada alumno puede elegir, dentro de biblio—_
la
grafía sistemática,-los capítulos párrafos
'

o de libros, o bien fichas, que

cubran con el tema, o aun otros de otros autores. Se previene que éste es u;
curso de Lógica, no de Introducción al conocimiento de la lógica. No es in.
conveniente tener alguna noción previa sobre la materia. recomienda Ue un

par de fines de semana de

lectura para "ponersen onda" de libros del secun—
dario. Yo aconsejo: COLACILLLJ, GIANELLA, NUDLER'u OBIOLS. Puede haber otro
Cuidado con algunos libros editados en el periodo 76— 83 por el estadolll. Po;
dudas, consultar antes de líos.
'

las meterse en

(a) Sistemática.

(i) KNEALE & H'£EALE, El desarrollo de kilógica (A); cap.II, sección 6.

l
1—5.
'

(ii) IDEM(A), cap. II, sec. .…_ _

…

Para quienes lean inglés, HARNISH,"L0gi0a1 forms" (RASS.INT.LOG!)

sección.
'

(iii) IDEM (A) cap. IV, 4, pp. 471—474.

Para quienes lean inglés: NITDITCH, "The development of math, logic"
(iv) ALLWOOD, AKEERSDN & DAHL, Lógica para lingñisticos (passim)
MCCROWLEY, "Everything that always. linguistics want&ko ask about
logic, but were af-fráid to ask", “&ºV En
(v) Morris, Introducción a la teoría de los signos.
(v)“ Chomsky, Syntax Structures (hay edición española), ch. I-III.
(vi) Blanché, La axiomática _ó Lungarzo, Sistemas-axiomáticos.
2. (i) SUPPES, Teoria axiomática de conjuntos (Mc©raw en español; cap.lll)
(ii)—(iii) Idem. Además, Lipschutz, Teoria y problemasde teoria de con—

juntos y temas relacionados. (SHKUH'OUTLINE SERIES en español.

(iv) HATCHER, Foundations of Hathematics ,(ch.on Theory of types)
Como no hay alternativa en español, usar apuntes de clase.

xw (i ) COPI, Lógica simbólica, (B) Capitulo 2.

(ii) MATES, Lógica (matemática) elemental (C), cap. 6.
(iii) Ver (B), cap. IV y (C) cap. 3.
(iv —
ss. (B) cap. 3.10.

5) y 3. MATES, passim. GARRIDO, Lógrba simbólica, passim ,

IUNGARZO, Teoria de la deducción.

(b) CONSULTA.

MATES, Lógica_matemática elemental ("traducción" de Elementary logic),

Ariel, Barcelona.
GARRIDO, Lógica simbólica, Tecnos, Madrid.
COPI, Lógica Simbolica, CECSA, México,
LUNGARZO, Lógica y Lenguajes formales ,
Centro Editor, Buenos Aires, I