LECTURA N 1

LGICA
C0NCEPTOS BSICOS

Las nociones que presentamos a continuacin, corresponden a trminos tomados en

su sentido estrictamente lgico. Estos trminos pueden ser usados tambin en otras
dimensiones, pero con similares o diferentes significados, dado al carcter polismico
del idioma espaol. El uso de estos trminos y conceptos, estn en funcin del
desarrollo (secuencial) de la asignatura, durante todo el ciclo acadmico.

Conceptos Pg.
1- Lgica (formal e informal) 1, 2
2- Razonamiento (argumento e inferencia) 2
3- Anlisis y sntesis 3
4- Proposiciones
5- Premisas y conclusin 3, 4
6- Deduccin e induccin
7- Coherencia lgica
8- Forma o estructura lgica 4, 5
9- Formalizacin y simbolizacin
10- Verdad y validez
11- Clculo lgico 5, 6
12- Sintaxis y semntica
13- Implicacinn y equivalencia 6, 7

1. LGICA

El trmino lgica viene del Gr. Logos = razn, orden, palabra. Propiamente deriva del
Gr. Logik techn, que significa ciencia o arte del razonamiento.

En sentido amplio, se define a la lgica como la disciplina filosfica que estudia las
normas y los procedimientos que permiten distinguir el razonamiento bueno del malo;
entendindose por razonamiento bueno el que es coherente, slido, libre de
ambigedades y contradicciones. En sentido estricto, se distingue los conceptos de
lgica formal y lgica no-formal:

LGICA FORMAL

La lgica formal es una dimensin de la lgica que estudia las formas o estructuras
puras de los razonamientos deductivos, sin atencin a sus contenidos materiales o
fcticos. Estudia las normas y procedimientos que permiten demostrar la verdad
formal o la validez de los razonamientos, utilizando el lenguaje simbolizado. Por ello
algunos autores definen a la lgica formal como la ciencia de las formas vlidas del
razonamiento deductivo, otros, dicen que es la lgica de las deducciones necesarias
o como dice A. Deao: La lgica es la teora de la validez de la inferencia. Es una
disciplina sintctica, sujeta a reglas invariables.

Ejemplo:
Esta es la forma o estructura lgica de un razonamiento, expresado
pq mediante el lenguaje simbolizado de la lgica formal.
q El contenido material de esta forma lgica, en el lenguaje comn o
p DEnatural,
CARPETA LECTURASpuede ser: Si s lgica, aplico los principios
aplico los principios lgicos. Luego, no s lgica.
Prof.lgicos. PeroAmaro
Segiberto no
Pgina 1
 LGICA NO-FORMAL

La lgica no-formal (o informal, por oposicin a la lgica formal) es otra dimensin de

la lgica, se le conoce como lgica prctica o aplicada, o lgica argumentativa. Esta
lgica estudia los razonamientos o argumentos expresados en el lenguaje natural,
cotidiano o comn, es decir, trata sobre los argumentos comunes u ordinarios (sean
estos deductivos, inductivos o de cualquier otro tipo). Tales razonamientos, en esta
lgica, buscan: sustentar una asercin, persuadir, resolver desacuerdos, evitar falacias
o de esclarecer la verdad. Y, los criterios para determinar la correccin o solidez de
los argumentos, es decir, para aceptar o no su grado de aceptabilidad, aqu, son:
relevancia, consistencia y aceptabilidad, de las premisas y/o argumentos. Es una
lgica auto correctiva, eminentemente semntica y sensible al contexto.

Sntesis: En lgica formal, la validez de los razonamientos deductivos se

determina o demuestra mediante el clculo lgico, que est sujeto a reglas de
inferencia o leyes lgicas. En lgica informal, se busca la solidez del
argumento, sea este, deductivo, inductivo o de otro tipo, mediante los criterios
de relevancia, suficiencia y aceptabilidad.

2. RAZONAMIENTO, ARGUMENTO E INFERENCIA

Comnmente se usan los trminos razonamiento, argumento e inferencia como

sinnimos, debido a que ellos entraan el proceso de pensamiento que va de
premisas a conclusin. Como dice Irvin Copi: el argumento es una estructura de
proposiciones en la que una proposicin conclusin- se afirma en base a las otras,
las premisas. As, de modo general, se define tambin a los razonamientos y a las
inferencias. Sin embargo, estos trminos no son sinnimos, veamos:

RAZONAMIENTO

El razonamiento es una forma compleja de pensamiento, que permite al entendimiento

progresar de unas verdades a otras, encadenando proposiciones. En este sentido, una
proposicin (conclusin) se deriva o es consecuencia de las otras proposiciones
(premisas), que le sirven de base o sustento. El razonamiento se da en el plano
interno del sujeto pensante, en el mundo del pensamiento.

ARGUMENTO

Es una serie de razones o fundamentos (premisas) que buscan demostrar o justificar

una afirmacin (tesis o conclusin). El argumento intenta persuadir o convencer a
alguien, en pro o en contra de la verdad de tal o cual afirmacin (tesis). Entonces, un
buen argumento conduce a una aceptable conclusin.

Generalmente se da el nombre de argumento a todo el proceso de demostracin, en

lgica formal; pero en lgica informal, argumentos son las buenas razones que se dan
para fundamentar o justificar una la conclusin y/o tesis.

El argumento es la expresin lingstica del razonamiento y se da en plano

externo del sujeto pensante.

CARPETA DE LECTURAS Prof. Segiberto Amaro

Pgina 2
 INFERENCIA

La inferencia es la operacin lgica que consiste en sacar o derivar una conclusin a

partir de premisas. Dicho de otro modo: La inferencia es una operacin lgica que
consiste en obtener una proposicin lgica como conclusin a partir de otra(s)
(premisas) mediante la aplicacin de reglas de inferencia (Wikipedia).

Son sinnimos del trmino inferir: colegir, deducir, derivar, producir, concluir, etc.

3. ANLISIS Y SNTESIS

ANLISIS

Anlisis es el proceso de desintegracin o descomposicin del todo en sus distintos

elementos constitutivos, con el objeto de estudiarlos separadamente; y luego, en otro
proceso inverso (sntesis), llegar a un conocimiento cabal e integral del todo.

SNTESIS

Sntesis es el proceso de armar, articular o componer el todo, a partir de sus

elementos que fueron previamente separados en el anlisis.

En lgica formal, despus de conocer la verdad o falsedad de las proposiciones

componentes de un argumento mediante el anlisis, se interpreta, mediante la
sntesis, la validez o no de la estructura total de la inferencia.

4. PROPOSICIONES

Se define a las proposiciones como oraciones declarativas que se caracterizan por ser
verdaderas o falsas. Sin embargo, estrictamente, las proposiciones son los
significados de las oraciones declarativas (aquello que se enuncia, dice o afirma), los
cuales pueden ser verdaderos o falsos. Entonces, ni las oraciones declarativas, como
entidades lingsticas, ni las frmulas, como tales, son portadoras de verdad o
falsedad; son verdaderas o falsas lo que ellas significan.

Ejemplos de proposiciones:

3 + 3 = 6 (V), 4 + 4 = 9 (F)
Pars es la capital de Francia (V)

Las proposiciones son los elementos de los razonamientos que pueden cumplir el rol
de premisas o de conclusin.

En lgica formal, las proposiciones son oraciones declarativas, que pueden ser
varaderas o falsas, por cumplir la funcin informativa del lenguaje. En ellas se usa
el modo indicativo del verbo, es decir, se dice algo que ocurri, est ocurriendo u
ocurre con frecuencia. Ejemplo: Juan estudia matemtica. Pero, si el enunciado fuera:
Juan estudiar matemtica, este no es una proposicin estrictamente lgica, puesto
que no es pasible de verdad o falsedad.

CARPETA DE LECTURAS Prof. Segiberto Amaro

Pgina 3
OBSERVACIN: La definicin de proposicin, dada, corresponde estrictamente al
mbito de la lgica formal. En lgica informal, adems de dicho tipo de proposicin,
que pueden ser valorada como falsa o verdadera, se consideran otros tipos de
enunciados como las asunciones, presunciones, proposiciones hipotticas, etc., que,
segn las garantas que los avalan, pueden asumir ciertas modalidades de certeza o
aceptacin: slido, fuerte, dbil: bueno, regular, malo, etc.

5. PREMISAS Y CONCLUSIN

Las premisas y la conclusin son las partes estructurales del razonamiento.

PREMISAS

Son las proposiciones que sirven de apoyo, sustento, razn o fundamento, para que
se produzca o se acepte una conclusin. Son los puntos de partida del proceso de
razonamiento.

CONCLUSIN

Es la proposicin que se afirma con apoyo o base de las premisas, la que se deriva,
infiere o deduce de aquellas; por tanto es el punto final del proceso de razonamiento.
La proposicin conclusin puede ser premisa para otras deducciones y de este modo
establecer una cadena de deducciones.

6. DEDUCCIN E INDUCCIN

Existen dos criterios que permiten distinguir a los razonamientos deductivos e

inductivos: la ruta o direccin del discurso y el carcter, necesario o probable, de la
conclusin.

DEDUCCIN

Segn la ruta del discurso, un razonamiento es deductivo cuando va de lo general a lo

particular, de hiptesis y leyes a casos especficos.

La conclusin en la deduccin tiene un carcter necesario, porque es el resultado

forzoso del proceso deductivo. Es nica, no puede ser otra, dado que las premisas la
apoyan de manera definitiva o absoluta. Dicho de otro modo, las premisas son
pruebas concluyentes para afirmar, sin ninguna duda, la verdad de la conclusin.
Cuando ocurre esto, en lgica formal, se dice que las premisas implican a la
conclusin.

Ejemplo: Carlos es un nio o un adolescente. Carlos no es un nio. Por lo tanto,.

La conclusin que se extrae o deriva es: Carlos es un adolescente, esta es una
consecuencia necesaria (Con una seguridad matemtica, en lgica formal).

INDUCCIN

La induccin es un proceso que va de lo particular a lo general, va de hechos

observados y experimentados a generalizaciones o leyes.

En la induccin las premisas no ofrecen seguridad matemtica o no apoyan

definitivamente a la conclusin, por ello la conclusin tiene en la induccin un carcter
CARPETA DE LECTURAS Prof. Segiberto Amaro
Pgina 4
probable, o, ms o menos probable. Por ello, el estudio y aplicacin de la induccin
corresponde a la lgica no-formal.

Ejemplo: Luis, Carlos y Pedro estudian en la URP. Ellos son deportistas. Luego, es
probable que todos los estudiantes de la URP sean deportistas.

7. COHERENCIA LGICA

Un razonamiento es coherente cuando sus miembros (premisas y conclusin) estn

ligados o cohesionados armoniosamente y establecen una relacin de consecuencia.
Lo cual implica orden, atingencia, concordancia, conformidad o congruencia en el
discurso que va de premisas a conclusin. En lgica formal, tcnicamente, la
coherencia est donde no hay contradiccin

La falta de coherencia es inatingencia, falta de rigor deductivo, falacia, contradiccin.

Las premisas no pueden decir una cosa y la conclusin otra, como en los disparates,
donde no hay nexo lgico o no hay pertinencia y/o correspondencia. Por lo tanto, la
coherencia otorga solidez al argumento, tanto en lgica como formal como en lgica
informal.

8. FORMA O ESTRUCTURA LGICA (Morfologa de lgica formal)

La forma lgica es el orden o la disposicin de las proposiciones que,

interrelacionadas por los conectores, conforman un todo orgnico, la estructura del
pensamiento. Entonces, la forma lgica es la estructura (esqueleto o armazn) de
proposiciones, que abstrada de su contenido material se expresa a travs de una
frmula o esquema. Y son los conectores lgicos los elementos esenciales que
establecen la forma o estructura lgica.

Desde Aristteles, es la forma de los argumentos la que garantiza su validez, y no la

materia a la cual se refiere. Pura lgica formal.

9. FORMALIZACIN Y SIMBOLIZACIN

La formalizacin lgica es un procedimiento que consiste en la representacin

simblica de las formas o estructuras de proposiciones y argumentos. De ah que, el
lenguaje lgico viene a ser la traduccin del lenguaje natural al lenguaje formalizado o
simbolizado; es un lenguaje artificial, de frmulas, cuyos smbolos son convencionales,
tienen validez universal, y estn sujetos a las reglas de la sintaxis lgica.

Se suele distinguir, de manera estricta, los trminos formalizacin y simbolizacin

para referirse al lenguaje de la lgica tradicional (aristotlica) y a la lgica moderna,
respectivamente. Sin embargo, nosotros, debido a la naturaleza de nuestra
asignatura, no haremos tal distincin. Entonces, la formalizacin y/o simbolizacin
revelan o expresan la forma o estructura de los razonamientos a travs de signos o
de frmulas. Con esta frmulas o esquemas, la lgica moderna realiza clculos,
para probar o demostrar la validez de las inferencias.

El lenguaje formalizado es un lenguaje sometido a unas reglas fijas de formacin

de expresiones y significados. Es una de las caractersticas esenciales del lenguaje
cientfico. (Wikipedia)

Ejemplo:

CARPETA DE LECTURAS Prof. Segiberto Amaro

Pgina 5
Si Luis trabaja y estudia, entonces es un estudiante esforzado.

ESTRUCTURA O FORMA : si ( ----- y ----- ) entonces --------

FRMULA O ESQUEMA : (p ^ q) r

10. VERDAD Y VALIDEZ

Hay varios tipos de verdad, entre las cuales estn:

1. La verdad lgica (de la lgica formal deductiva), que es abstracta, est sujeta
a reglas fijas y se da en el plano de las ideas. Ejemplo: p ^ q = V, slo si p = V y
q=V
2. La verdad ontolgica, que es concreta, material, se da en el plano de los
hechos. Es la concordancia o conformidad entre lo que se piensa y los hechos.
3. La verdad epistemolgica (cientfica), que es demostrable, experimentable, y
se da en funcin cognitiva.
4. La verdad moral, que se da en el plano de la costumbre: fidelidad, honestidad,
etc.

Otras consideraciones sobre la verdad de la lgica formal:

Las proposiciones (en la lgica formal deductiva) pueden ser verdaderas o falsas,
mientras que las formas o estructuras de los razonamientos son vlidas o invlidas.
As mismo, el proceso de razonamiento, como tal, es vlido o invlido.

La verdad de una proposicin atmica puede ser verdadera cuando ocurre el hecho
que informa o enuncia, esto es cuando existe una adecuacin con la realidad que ella
significa. Esto es una verdad ontolgica. Pero la verdad de una proposicin molecular,
en la que se hace abstraccin del contenido material o fctico, es una verdad lgica,
es decir una verdad formal, que depende de los valores de verdad de sus
componentes.

Ahora bien, la verdad de las premisas puede ser emprica o formal. Pero la verdad de
la conclusin se define como verdad formal o lgica, en la medida cmo esta se
deriva racionalmente de las premisas.

Es ms, si la relacin de deducibilidad entre premisas y conclusin es tautolgica,

entonces el razonamiento es vlido; lo que significa que las premisas implican a la
conclusin, o que de la verdad de la conclusin se infiere necesariamente de la verdad
de las premisas. Por tanto, la validez (correccin formal) es una caracterstica
puramente formal de los razonamientos, que obedece a leyes lgicas.

11. CLCULO LGICO

El clculo lgico, propio de la lgica formal, es una operacin que permite determinar o
demostrar la validez de los argumentos. En esta operacin se utiliza el lenguaje
simbolizado, las reglas de inferencia y las tcnicas de validacin (tablas de verdad,
derivaciones y otros).

CARPETA DE LECTURAS Prof. Segiberto Amaro

Pgina 6
Se suele llamar clculo lgico al conjunto de smbolos (primitivos), sometidas a reglas
de formacin de frmulas bien formadas, de transformacin y reglas de inferencia, que
utiliza un sistema lgico. Sin embargo, el clculo lgico es un proceso u operacin
algortmica para calcular la verdad o validez de las estructuras lgicas.

El clculo lgico es un sistema de reglas de inferencia que permite deducir un

enunciado a partir de otro u otros. El clculo lgico requiere un conjunto consistente de
axiomas y unas reglas de inferencia y su propsito es poder deducir algortmicamente
proposiciones lgicas verdaderas a partir de axiomas. (Wikipedia)

12. SINTAXIS Y SEMNTICA

SINTAXIS

La sintaxis lgica es el conjunto de reglas de formacin del lenguaje formal, de

frmulas bien formadas (FBF). El lenguaje de la lgica formal, como sabemos, es un
lenguaje artificial, de frmulas, que expresa la forma o estructura de un razonamiento,
y est constituido por smbolos convencionales de validez universal, sujetos a las
reglas de la sintaxis lgica.

Cada rea (sistema) de la lgica formal tiene su propia sintaxis: sintaxis de la lgica
proposicional, sintaxis de la lgica cuantificacional, de la lgica de clases, de la lgica
de relaciones.

SEMNTICA

La semntica lgica, adems de relacionar los signo con los significados, por ejemplo
hombre = animal racional, se propone interpretar la verdad de las proposiciones y la
validez de los razonamientos. La lgica formal ignora la referencia concreta al
mundo y los contenidos de los signos, ella se encarga de interpretar la validez de las
formas lgicas, trata sobre la verdad formal, llamada verdad lgica.

13. IMPLICACIN Y EQUIVALENCIA

No toda proposicin condicional es implicativa, ni toda proposicin bicondicional es

equivalente. Existe implicacin o equivalencia entre dos frmulas, cuando unidas por
o , respectivamente, y evaluadas por cualquier mtodo decisorio,
producen una TAUTOLOGA. Dicho de otro modo: La implicacin lgica es la
tautologa de una condicional, mientras que la equivalencia es la tautologa de
una bicondiconal.

CARPETA DE LECTURAS Prof. Segiberto Amaro

Pgina 7
CARPETA DE LECTURAS Prof. Segiberto Amaro
Pgina 8