Universidad Nacional Experimental de los Llanos Occidentales Ezequiel Zamora

Oficina de Planificacin y Evaluacin Institucional

Comisin Central de Currculo UNELLEZ-

CONTENIDO PROGRAMTICO DEL SUBPROYECTO:

LGICA

VICERRECTORADO: Planificacin y Desarrollo Social

PROGRAMA: Ciencias de la Educacin
SUBPROGRAMA: Especialidades

CARRERA: Educacin

MENCIN: Matemtica
REA DE CONOCIMIENTO: Formacin Profesional Especifica
PROYECTO: Matemtica y Fsica
SUBPROYECTO: Lgica
PRELACIN: Ninguna
CDIGOS: EM 540150204
04 Horas (Totales): 01 H. Tericas y 03 H.
HORAS SEMANALES:
Prcticas
UNIDADES CRDITO: 02
SEMESTRE: II
CONDICIN: Obligatorio
MODALIDAD DE APRENDIZAJE: Presencial
Prof. Jos Perdomo Lasaballett
PROFESOR(ES) DISEADOR(ES) Profa. Josmer Navarro
Prof. Roberto Herrera

Barinas, febrero de 2006

 JUSTIFICACIN.

Para ser un profesional eficiente en cualquier campo de trabajo, es

necesario pensar en forma coherente, ordenada y sistemtica. La lgica
contempla este propsito y su estudio contribuye, de una manera significativa,
en la bsqueda de un mayor grado de abstraccin y, as poder obtener un
mayor rigor y precisin lgica en el discurso cotidiano, particularmente cuando
se tienen que formular razonamientos deductivos. De igual manera la lgica
formal nos proporciona herramientas que nos permiten ordenar y sistematizar
el conocimiento cientfico.

Por otra parte, en el currculum de los profesionales que egresan de la

UNELLEZ no est presente ningn subproyecto, ni a nivel de bachillerato, ni
superior, que ensee sistemticamente el pensamiento ordenado, riguroso y
coherente. Nuestros profesionales desconocen las herramientas fundamentales
del razonamiento vlido y menos los mtodos que garanticen ese razonar. Por
estas razones, creemos que el estudio de la lgica debe estar incorporado en
el pnsum de los estudiantes de matemtica y de cualquier otra carrera.

OBJETIVOS GENERALES

Al finalizar el curso, el estudiante estar en capacidad de:

1. Analizar el discurso cotidiano, aplicando los conceptos bsicos de la
lgica formal.
2. Determinar la validez de los razonamientos expresados en el lenguaje
cotidiano, aplicando las tcnicas de la lgica formal.

MDULO I. LGICA Y LENGUAJE. 25%. 5 semanas (20 horas).

Objetivos especficos.

1.1. Establecer las diferencias de las funciones principales del

lenguaje en una serie de prrafos y redactar otros equivalentes que
expresen en un lenguaje neutro, la informacin correspondiente.
1.2.Identificar los razonamientos inductivo, deductivo y analgico en una
serie de pasajes dados.
1.3. Identificar cundo se ha cometido un razonamiento falaz.
1.4. Determinar las caractersticas de los lenguajes naturales y cientficos.

Contenido detallado.

Usos del lenguaje: Funciones bsicas del lenguaje, multiplicidad de

funciones del lenguaje, formas del discurso, lenguaje emotivamente
neutral.
 El razonamiento: Proposiciones, tipos de proposiciones; el discurso
lgico. El razonamiento: Premisas y conclusin. Proceso del
razonamiento, identificacin de razonamientos. Tipos de razonamiento:
inductivo, deductivo y analgico. Validez de un razonamiento: contenido
y forma de los razonamientos, variables y constantes lgicas,
razonamiento vlido, validez y verdad.
Razonamientos falaces: Falacias de atenencia, falacias de ambigedad
y cmo evitar falacias.

Lenguajes naturales y cientficos: Sintaxis, semntica y pragmtica.

Lenguaje natural y cientfico. Leguaje formalizado, caractersticas e
importancia. Lenguaje formalizado y lgica formal. Lgica formal y lgica
natural. Matematizacin de la lgica. Semejanzas y diferencias entre
lgica tradicional y moderna.
 Mdulo II.
Lgica proposicional. 50%. 7 semanas (28 horas).

Objetivos especficos.
2.1. Simbolizar en el lenguaje de la lgica proposicional la forma lgica
de los razonamientos dados en castellano.
2.2. Realizar la prueba de validez de un razonamiento mediante el
mtodo de la implicacin tautolgica.
2.3.4. Demostrar formalmente la validez de un razonamiento, aplicando
las reglas de inferencia.

Contenido detallado.

Formas lgicas: Proposiciones extensionales y variables

proposicionales. Conectivos proposicionales. Formas
proposicionales. Tipos de proposiciones: Negacin, conjuncin,
disyuncin inclusiva y exclusiva, implicacin y equivalencia. Tablas
de verdad. Parntesis y simbolizacin. Simbolizacin de la forma
lgica de un razonamiento.

Pruebas de validez de los razonamientos mediante el mtodo de

implicacin tautolgica. Valor de verdad. Tablas de verdad de formas
proposicionales compuestas y complejas. Tipos de formas
proposicionales: tautologa, contradiccin y contingencia. Variables
sintcticas. Implicacin tautolgica, equivalencia tautolgica. Mtodo
abreviado por reduccin al absurdo. Mtodo de implicacin
tautolgica para determinar la validez de un razonamiento.
Razonamiento por la contrapuesta, por separacin de casos, por
contraejemplo, por induccin completa (recurrencia).

Demostracin de validez: Reglas de inferencia lgica. Construccin

de razonamientos vlidos.
 Mdulo III.
Silogstica: Enfoque tradicional y moderno. 25%. 4 semanas (16 horas).

Objetivos especficos.

3.1. Obtener inferencias inmediatas derivadas del cuadro tradicional de

oposicin e inferencias por conversin y por obversin.
3.2. Construir razonamientos vlidos a partir de un razonamiento
silogstico categrico.
3.3. Efectuar la prueba de validez de un razonamiento silogstico a
travs de diagramas de Venn.

Contenido detallado.

Lgica tradicional. Inferencias inmediatas: proposiciones singulares y

generales, proposiciones categricas de forma tpica. Proposiciones
categricas de forma no tpica y su traduccin a forma tpica. El cuadro
tradicional de oposicin. Otras inferencias inmediatas: por conversin y
por obversin. Validez de los silogismos: Silogismos categricos de
forma tpica. Las cuatro figuras de silogismo categrico de forma tpica.
Formas vlidas del silogismo. Silogismos categricos de forma no tpica.
Construccin de silogismos. Los entinemas, los sorites y el dilema.
Prueba de validez: Representacin grfica de las proposiciones
categricas (diagramas de Venn). Prueba de validez de los silogismos a
travs de diagramas de Venn.
Lgica de predicados. Simbolizacin de las proposiciones: singulares, de
las proposiciones de un predicado, de las proposiciones categricas, de
silogismos categricas de forma tpica y de forma no tpica.
Mtodo demostrativo de validez y reglas de inferencia. Funcin
proposicional. Ejemplo de sustitucin. Valor de verdad de las
cuantificaciones de las funciones proposicionales. Reglas de inferencia:
ejemplificacin universal, generalizacin universal, ejemplificacin
existencial, generalizacin existencial. Demostracin de validez.

METODOLOGA

Los contenidos del curso se desarrollarn con la participacin del grupo,

tratando de que la clase se haga amena, dinmica y sobre todo activa, para
ello es necesario que el docente deje de ser el actor y permita que los alumnos
interacten en las exposiciones, dejando de lado ciertas clases de tipo
magistral para que sea el propio alumno el que indague en la bsqueda del
conocimiento.

Por esta razn, el alumno debe desarrollar las tareas propuestas en

clase por el docente, debe asistir a las monitoras de repaso y aclarar con el
docente las posibles dudas que se generen en el proceso de aprendizaje as
como leer el material, proporcionado por el docente, antes de cada sesin.

EVALUACIN SUGERIDA.

Realizar pruebas cortas al finalizar cada sesin de clase.

Realizar por lo menos una prueba escrita de 20% por mdulo.
Evaluar la redaccin y ortografa en las producciones escritas.
Dar algn peso, en la evaluacin, a la revisin de conceptos.
Evaluar la participacin en las experiencias de aprendizaje que se
realicen.
Evaluar el uso correcto del castellano en la expresin oral de las ideas.

CRONOGRAMA DE EVALUACIONES

Mdulo Actividades % Semana

I Talleres o actividades en grupo o individuales 5% 1-4
Evaluacin escrita 20% 5
II Talleres o actividades en grupo o individuales 25% 6-11
Evaluacin escrita 25% 12
III Talleres o actividades en grupo o individuales 5% 13-15
Evaluacin escrita 20% 16
 BIBLIOGRAFA

Copi, I. (1968). Introduccin a la lgica. Edit. Universitaria de Buenos

Aires. Edicin 1968.
Suppes, P. (1971). Introduccin a la lgica simblica. Compaa
Editorial Continental, S.A . Tercera edicin. Mxico.
Plancenza, E. (1986). Lgica. UNA. 4 edicin. Caracas, Venezuela.
Suppes, P. y Hill, S. (1980). Introduccin a la lgica matemtica.
Editorial Revert. S.A. Mxico.
Quine, W. (1985). Los mtodos de la lgica. Editorial Airel. Barcelona,
Espaa.