Orayen,

Raúl

Lógica II

Programa 1980

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

Esta obra está bajo una Licencia Creative Commons

Atribución-NoComercial-SinDerivadas 4.0 Internacional
https://creativecommons.org/licenses/by-nc-nd/4.0/
 ..…mSID.—1D NACIOTTAL DE LA PLATA
—-——"
. !

Departamento de Filosofia
Lógica II
Curso: 20

“Año 1980
Pro¿esor Titular; Raúl Orayen
Profesor Adjunto: Alberto Moretti

INTRODUCCION

El campo de la lógica actual. La lógica deductiva. Lenguaje yiexprg

siones lingñísticas.;Enunciados y razonamientos. Corrección e
incotrec-
ción. Corrección y forma lógica. Corrección y analiticidad. Lenguaje
objeto y metalenguajey

PARTE I

ELEMENNS DE IDGICA DEDUCTIVA

Lógica pr0posiciomal. Simbología. Algoritmos para el

reconocimiento
de tautologías y formas válidas. Técnicas de deducción natural
para
la construcción de demostraciones.

Lógica cuantificacional monádica. Simbología; constantes (individua-

les y de predicado),variables y letras esquemáticas. Funciones br0poá
sicionales y cuan£ificadores.Leyes y reglas básicas . El tratamien—l
to de los silogismos tradicionales en la lógica cuantificacional .
1
3. Lógica cuantificabional generalizada. Simbología. Análisis de los pre

dicados relacionales. Técnicas de deducción natural para la con9trucÁ

ción de demostraciones.

4. Lógica de términos y de la identidad. Ampliación de la simbología.

Leyes y reglas de la identidad. Uso de functores._Técnicas de demos-
tración.

/PARTEIII
_NOCIONES DE IDGICA MATEMATICA

Los problemas metalógicos. El uso de la teoría de conjuntos y de los

lenguajes formalizados en las investigacines lógico—matemáticas.

Semántica de la teoría cuantificacional de orden uno; interpretación,
verdad,verdad lógica y consecuencia lógica. Corrección y complepitud '

de un.sistema lógicº.
3.
Sistemas axiomóticós y de deducción natural para la lógica de orden
unó,sin términos ni identidad; Pruebas metalógicas de completitud.
4. metalógica de las extensiones usuales de la lógica cuantificacional

monódica,sin términos ni identidad. La formalización de teorías¿

 PARTE III
ETAPAS HISTORICAS DE LA DDGICA

Breve sin0psis del desarrollo histórico de la lógica. Principales

aportes a la disciplina de autores de la antiguedad, el medioevo á%2poca

moderna. Influencia y aplicaciones de la lógica en la filosofia contem—

poránea (e3pecialmente en la filosofía analítica y en la filosofía de la

ciencia).

PARTE IV
PROBLET—.T.XS"
DE LA FIIDSOFIA DE LA LOGICA

Controversia actual sobre la naturaleza de la verdad lógica; las—po-

siciones de Quino y strawson. Alcances y límites del análisis lógico—

formal.

BIBLIOGRAFIA

Copi,1.u. Introduccion a la lógica ,EUDEBA,edición décimoquinta (agas—'

to 1974) o pd€terior.
Kalish, Donald y Montague, Richard, Techniques of Fºrmal Reasoning ,
**

Harcourt, Brace & World, USA 1964,

mates, B.,Lógica matemática elemental ,Tecnos,Madrid, 1971.

Mendelson, E, Introduction to Mathematical Logic,Van Nostrand, New

Jersey,1964.
orayen,naul,'Nociones de lógica moderna',incluído en Francisco Rome—
ro ,Lógica introducción e a la problemática filosófica, Lo-
sada, BS.AS.,1973,IJP. 89“1090
'Quine, los conceptos intensionales y la lógica del lengua—
je ordinario' ,proximo a aparecer en Sintaxis ,montevideo.
Quina ,W.V.O.,Filosofía de la lógica,Alianza, Madrid, 1973.

strawson, P.F.,Introduction to Logical Theory,Methuen.&

1973 (Hay trad. castellana ,Ed.Nova).
Co.,Londres,
Los textos básicos del curso son los de Kalish y Montague,para la
parte 1,y el de mates,para la parte II. El libro de Copi puede utilizarse

como auxiliar didáctico para introducirse mas.facilmente en los temas de

la parte 1 y el de Hendelson es un manual de alto nivel que solo se indi-

ca como bibliografía de profundización para la parte II. Los temas de la

introducción se tratan parcialmente en el trabajo 'Nociones—de lógica mo—

derna',que será ampliado en clase. Para la parte III basta-

y actualizado
rá el capítulo 12 del libro de mates;en ese mismo libro se encontrará re—

ferencias bibliográficas adicionales para quien desee ampliar la informa-

ción histórica. El segundo artículo de Orayen R.,y los textos de Quine

y Strawson mencionados en último término cubren los temas de filosofía
de la lógica de la parte IV.
Objetivos y Fundamentos
que se persiguen con el prºgrama son;
Los objetivos fundamentales
Brindar a los estudiantes un panorama de las técnicas deductivas y
(i)
principios teóricos de la lógica actual,así como de los principales re-

sultados-dé las investigaciones metalógicas_de los últimos cincuenta

años;se procurará de esta manera que el estudiante complete su informa—
cidn básica de esta disciplina,que ya ha comenzado a ver en Lógica 1,en
los aspectos relacionados con la lógica clásica. (ii) Promover la adquisi-
ción de técnicas formales deductivas por parte del alumno,para que dispon-

ga de
herramientas lógicas de posible utilidad en estudios e
investigacio-
nes futuras. (iii) mostrar a los alumnos,mediante un examen del desarrollo
»&%a&á£$8%ica,la
continuidad que existe entre las primeras investigaciones¿

lógicas -que dieron lugar a la llamada lógica clásica- y los

estudios m0--

lógica simbólica
dernos que condujeron a|las llamadas y
matemática.¡(iv)
Señalar a los alumnos'la interacción que ha habido entre la lógica y la

filosofia,indicando la influencia que la primera ha tenido en doctrinas

filosóficas diversas,y los problemas que la segunda ha

enpontrado en los

fundamentos de la primera. Pensamos que la consecución de estos objetivos

permitiría al alumno integrar de manera adecuada los conocimientos de Ló—
gica I y Ix,así como vislumbrar las complejas relaciones de los estudios
lógicos con la problemáticafilosófica de diversas épocas.
El examen del programa muestra en gran medida como se intenta alcan-.
zar los objetivos enunciados;solo resta aclarar que en la elección de la
bibliografía se optó por textos que fueran bastante accesibles en el as-

pecto didáctico,pero sin desmedro alguno de un alto y riguroso nivei ex-

positivo. En cuanto a la enseñanza,se procurará que sea

teórico—práctica,
-como se dispuso en la resolución 2134/78 del Rectorado— a fin de que la

participación del alumno haga posible la consecución

plena de los
objeti—
vos pr0puestos,especialmente los relacionados con la adquisición de técni-
cas lógicas y la comprensión de las relaciones que ligan la teoría ió-
gica con muy variadas especulaciones filosóficas de diversas épocas;
r—

Orayen
Profesor Titular Interino de Lógida II