CUESTIONARIO SOBRE CONCEPTOS BASICOS

DE LA LOGICA

1- Qu es la lgica? Qu estudia?
-la palabra Lgica proviene del vocablo griego logos que significa razn,
estudio, tratado; pero con esta definicin etimolgica no llegamos definir, que
es en esencia la lgica desde su descubrimiento hasta nuestro das. Tendremos
que partir por otra definicin.
En la historia de la Lgica algunos autores definieron la Lgica como la ciencia
del razonamiento1. Esta definicin no es adecuada. El razonamiento es parte
del pensamiento y por ende tambin vendra hacer el estudio de la Psicologa.
A la Lgica le interesa si la conclusin a que se ha llegado deriva de las
premisas; en cambio a la Psicologa le interesa el proceso del razonamiento
Cmo se llega a razonar?.
Una definicin ms adecuada vendra hacer que la Lgica es una ciencia
formal; Formal por que su campo de estudio es en abstracto, en comparacin
con las ciencias fcticas. Su campo de estudia vendra hacer los mtodos y
principios usados para distinguir el buen (correcto) razonamiento del malo
(incorrecto)2.

2-puede pensar y razonar el hombre sin hacer uso explcito o

implcito de la lgica? S o No? Por qu?
No puede el hombre pensar y razonar sin hacer uso explcito o implcito de la
lgica. El razonamiento se define como la operacin discursiva en cuyo
transcurso, de uno o varios juicios, Denominados premisas del razonamiento se
infiere un nuevo juicio (Denominado conclusin o consecuencia) que se
desprende lgicamente de las premisas3. El hombre primitivo tena que hacer
uso de la lgica para satisfacer sus necesidades, pero esta lgica era algo
implcita; en el transcurso de la historia llego un momento que se sistematizo
1GAMUT, L.T.F. Introduccin a la lgica. Buenos Aires: Eudeba, 2002, pp. 1.
2 COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de Buenos Aires,
1981, pp. 3

3ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 506
Pgina
1

la lgica, desde ese momento se poda utilizar la lgica implcitamente o

explcitamente. Vemos pues que desde sus comienzos el hombre utilizo la
lgica para sus necesidades

3-Por qu la lgica es formal?

La lgica cuando fue descubierta y sistematizada por Aristteles se basaba en
silogismos. Estos silogismos se analizan en el cerebro del hombre, es decir,
abstractamente. Hoy, despus de ms de dos mil aos del rganon de
Aristteles, la lgica se ha desarrollado a pasos gigantescos; pero no ha
cambiado su campo se estudia los mtodos y principios usados al distinguir
entre los argumentos correctos (buenos) y los argumentos incorrectos
(malos)4.La lgica atiende solo al aspecto estructural de las inferencias, no
considera el contenido significativo de sus proposiciones componentes, por
ende su campo se estudio es ideal no material. Por ello es que se la clasifica
junto con la matemtica dentro de las ciencias formales.

4-Por qu la lgica es analtica?

La palabra anlisis significa simplificar un todo en sus partes para mejor
estudio5. La Lgica seria analtica Por qu parte de un concepto para
determinar los conceptos con los cuales se ha construido y, tambin, los otros
conceptos de que forma parte; o bien, el estudio de una proposicin para
determinar los elementos que la constituyen.

5-Por qu las conclusiones de las inferencias lgicamente validas

son verdaderas a priori?
La verdad a priori es aquella que es universal y necesaria en todo tiempo y
espacio; y no necesita de la experiencia6. En toda inferencia lgica, la
conclusin tiene que provenir necesariamente de las premisas; adems
4COPI, Irving. Lgica simblica. Mxico D.F: Compaa Editorial Continental, 1985, pp.
15
5ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 22
6 Ibdem, pp. 622
Pgina
2

tengamos en cuenta que en este proceso no se usa la experiencia, sino el

razonamiento puro

6-Por qu las conclusiones de las inferencias deductivas se siguen

necesariamente?
En comparacin con la induccin en el cual la conclusin es probable; en la
deduccin las premisas brindan un fundamento seguro a la conclusin, esto es
cuando las premisas y la conclusin estn relacionadas de tal manera que es
absolutamente imposible que las premisas sean verdaderas sin que la
conclusin tambin lo sea7.
En una deduccin se tiene dos premisas y una conclusin:
P1: Todos los mamferos son animales
P2: El gato es un mamfero
C: El gato es un animal
7-Cuntas clases de inferencias hay aparte de las inferencias lgicas
deductivas?
En la actualidad no hay una determinada cantidad de inferencias, a
continuacin mencionare algunas de ellas.
Inferencia abreviada, inferencia a silogstica, inferencia categrica, inferencia
compuesta, inferencia condicional, inferencia de lo particular a lo particular,
inferencia de lo singular a lo singular, inferencia disyuntiva, inferencia
estadstica, inferencia hipottica, inferencia inmediata, inferencia mediata,
inferencia por conversin, inferencia por oposicin, inferencia por tanteo,
inferencia valida8
8-Qu es la deduccin? De un ejemplo
7COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de Buenos
Aires, 1981, pp. 25
8 ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 506
Pgina
3

La deduccin no viene a ser ms que un razonamiento cuya conclusin se

desprende de sus premisas con absoluta necesidad, necesidad que no es
cuestin de grado ni depende de manera alguna de cualquier otra cosa9. Es
errneo definir a los razonamientos deductivos como la inferencia que parte
de lo general para llegar a lo particular, ya que hay inferencias con premisas
generales y conclusiones generales.
Ejemplo:
P1: Todos los hombres son animales
P2: Todos los animales son mortales
C: Todos los hombres son mortales

9-Qu es la induccin? Cuntas clases hay? De un ejemplo

Muchas veces se caracteriza a la induccin como los razonamientos que parten de lo
particular a lo general, esta definicin no es muy precisa. Se le puede definir a la
induccin como un razonamiento cuya conclusin se sigue de sus premisas solo con
alguna probabilidad, probabilidad que es cuestin de grado y depende de otras
cosas10.

Entre las clases inductivas tenemos: induccin simpliativa, induccin completa,

induccin emprica, induccin enumerativa, induccin cientfica, nduccin
formal, induccin matemtica, induccin penetrante, induccin por
simplificacin, induccin por coligacin, induccin por enumeracin completa,
induccin por recursin, induccin por reconstruccin, induccin trasfinita,
induccin suficiente.
Ejemplo:
P1: Todas las vacas son mamferos y tienen pulmones.
P2: Todos los caballos son mamferos y tienen pulmones.
P3: Todos los hombres son mamferos y tienen pulmones.
C: todos los mamferos tengan pulmones.

9COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de Buenos

Aires, 1981, pp. 28
10ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 313-314
Pgina
4

10-Qu diferencia hay entre la deduccin y la induccin? De un

ejemplo de cada una
En primer lugar, los razonamientos deductivos pretenden de sus premisas que
ofrezcan fundamentos concluyentes; mientras; los razonamientos inductivos no
pretenden que sus premisas ofrezcan fundamentos concluyentes para la
verdad de su conclusin, sino solamente que ofrezca algn fundamento para
ella. En segundo lugar, los razonamientos deductivo usan los trminos tcnicos
valido e invalido; mientras; los razonamientos inductivos no usan esos
trminos, solamente se puede estimar el grado de verosimilitud o
probabilidad11.

Ejemplo deductivo:
P1: Todos los hombres son animales
P2: Juan es hombre
C: Juan es animal.

Ejemplo inductivo:
P1: Scrates es un hombre y es mortal
P2: Platn es un hombre y es mortal
P3: Aristteles es un hombre y es mortal
C: Probablemente todos los hombres sean mortales.

11-Cundo es vlida lgicamente una inferencia en la vida real o en

la ciencia? De un ejemplo de cada una?

11COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de Buenos

Aires, 1981, pp. 25
Pgina
5

Una inferencia es vlida cuando la conclusin de desprender necesariamente o

probablemente de sus premisa12
Es vlida en la vida real cuando sirve para las necesidades bsicas de la
sociedad y del hombre, ya sea esto terico o prctico. En la ciencia es vlida
cuando da una mayor exactitud a las leyes y teoras.
Ejemplos:
Los smbolos para las computadoras
La lgica matemtica

12-Qu es la tautologa? De dos definiciones

Primera definicin, es un enunciado compuesto que es verdadero independientemente de los valores de
verdad de sus componentes. Segunda definicin son enunciados lgicamente verdaderos 13. Las dos
definiciones son verdaderas.

13-Qu es verdad cientfica? De dos ejemplos

Las verdades cientficas son juicios de tipo sinttico a priori, es decir, amplan
el conocimiento y son universales y necesarias; no depende de la experiencia,
pero nicamente se aplica a la experiencia14.
Ejemplo:
Todo lo que sucede tiene una causa
La lnea recta es la ms corta entre dos puntos

14-Qu es la verdad analtica? De dos ejemplos

12 COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de
Buenos Aires, 1981, pp. 6
13PAP, Arthur. Semntica y Verdad Necesaria. Mxico D.F: Fondo de Cultura
Econmica, 1970, pp. 452
14ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 335
Pgina
6

Verdad analtica: verdad de razn. Su fundamento radica en la estructura

misma del conocimiento humano, en cuanto depende de sus propias
estructuras a priori, es decir independientes de la experiencia15. Estas verdades
son formales, universales y necesarias, pero no amplan el conocimiento; y
cuando se aplican a contenidos al margen de la experiencia conducen a
paralogismos y antinomias.

Ejemplos:
Los alimentos son comestibles

El triangulo tiene tres lados

15-Qu es la verdad a priori? De dos ejemplo

Es la verdad que no necesita la intromisin de la experiencia. Estas verdades
son necesarias y universales en todo tiempo y espacio16.
Ejemplos:

2 2 = 21/ 2

(a+ b)2 =

a2 +b 2+2 ab

16-Qu es la verdad a posteriori? De dos ejemplos

Estas verdades se evidencian en relacin con la naturaleza. Su verificacin de
las proposiciones es en la realidad no abstractamente17.
15 Ibdem, pp. 620
16PAP, Arthur. Semntica y Verdad Necesaria. Mxico D.F: Fondo de Cultura
Econmica, 1970, pp. 39
17Ibdem, pp. 40-41
Pgina
7

Ejemplos:
La luz es partcula y onda

El agua se evapora a 100 grados centgrados

17-Qu es la verdad contingente? De dos ejemplos

Estas verdades son propias de la realidad material. Las verdades contingentes
son verdades solo en algn tiempo y espacio18.
Ejemplos:
Manuel estudia hoy da

Juan es enamorado de Nora

18-Qu es la verdad necesaria? De dos ejemplos

Constituyen proposiciones que son demostrables bien por el principio de
contradiccin bien por el principio de identidad19. Estas verdades son propias
del conocimiento racional, son verdades en todo tiempo y espacio, este
carcter se desprende de la lgica y la matemtica.
3+2=5

PVP=P

19-Cundo una proposicin es lgicamente verdadera? De un

ejemplo
18ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 622
19PAP, Arthur. Semntica y Verdad Necesaria. Mxico D.F: Fondo de Cultura Econmica, 1970,
pp. 24

Pgina
8

Las proposiciones se dividen en atmicas y moleculares20. Una proposicin

atmica es lgicamente verdadera si y solo si lo que dice el enunciado es
verdadero, en cambio una proposicin molecular es lgicamente verdadera si
las proposiciones atmicas que la integran con las conexiones lgicas cumplen
ciertos requisitos.
Ejemplo:
Como en la mesa o como mirando televisin, esto se puede simbolizar
lgicamente:
P V Q
V V V
V V F
F V V
F F F
En este caso es verdadera en casi todos los casos menos en el que las dos
proposiciones atmicas sean falsas.

20-Cundo una proposicin es lgicamente falsa? De un ejemplo.

Como se ha dicho ms arriba las proposiciones se dividen en dos atmicas y
moleculares21. Las atmicas son lgicamente falsas cuando lo que dicen es
falso; las moleculares son lgicamente falsas cuando las proposiciones
atmicas que la integran y las conexiones lgicas cumplen ciertos requisitos.
Ejemplo:
Como en la mesa o como mirando televisin, esto se puede simbolizar
lgicamente:
P V Q
20 ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 438
21 Ibdem, pp. 438
Pgina
9

V V V
V V F
F V V
F F F
En este caso es falso si las dos proposiciones atmicas son falsas.

21-Qu es una falacia? De dos ejemplos

Generalmente se relaciona a la palabra falacia como una idea equivocada o
creencia falsa; esto es parte es cierto, pero en el campo de la lgica se usa el
trmino en un sentido ms reducido. Se podra definir falacia como
razonamientos o argumentos incorrectos, pero que son psicolgicamente
persuasivos22.
Ejemplos:
-Su tesis de filosofa es falsa porque esnazi.
-[(P Q) Q] P

22-Qu es una falacia formal? De dos ejemplos

Estas falacias son denominas tambin como falacias lgicas o deductivas. A
diferencia de las falacias no formales, que son razonamientos malos por
inadvertencia o falta de atencin al tema, o bien porque nos engaa alguna
ambigedad en el lenguaje usado al formalizarlas23; las falacias formales son
tipos de razonamientos incorrectos que se derivan del uso inadecuado de las
reglas lgicas, ya sea por reglas de la lgica proposicional o cuantificacional.

22COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de Buenos

Aires, 1981, pp. 81
23Ibdem, pp. 82
Pgina
10

Ejemplos:
-[(~A B) B] A

-P1: Todos los hombres son inteligentes

P2: Ninguna mujer es hombre
C: Ninguna mujer es inteligente

23-Qu es la falacia ad hominen? De un ejemplo

Tiene el significado literal argumento dirigido contra el hombre. Es una
falacia no formal que se comete cuando, en vez de tratar de refutar la verdad
de lo que se afirma, se ataca al hombre que hace la afirmacin 24.
Ejemplo:
La filosofa de Bacn es indigna de confianza porque este fue despojado de su
cargo de canciller por deshonesto

24-Qu es un axioma? De dos ejemplos de lgica y dos de

matemtica
Se le llama axiomas a los enunciados de los cuales se puede deducir sistemas
tericos por medio de transformaciones puramente lgicas o matemticas 25.
Ejemplos matemticos:
= {x/ x x}
24Ibdem, pp. 84
25FERRATER MORA, Jos y LEBLANC, Hugues. Lgica matemtica. Mxico D.F: Fondo de Cultura
Econmica, 1992, PP. 56

Pgina
11

A c B= {x/ Si x A x b}
Ejemplos lgicos:
PQ

PQ

V (V) V

F (F) F

25-Qu es un teorema? De dos ejemplos de lgica y dos de

matemtica
Se le llama teorema a una frmula bien formada que se deduce
necesariamente de un sistema axiomtico26.
Ejemplos lgicos:
P Q (P Q) (Q P)

P Q (~P Q)

Ejemplos matemticos:
2

Si a R a 0 x> 0 , x < x +1

26-Qu es la demostracin o prueba en la lgica matemtica? De un

ejemplo
Una demostracin matemtica es un razonamiento realizado con
una lgica vlida que progresa a partir de ideas que se dan por ciertas
(llamadas hiptesis) hasta la afirmacin que se est planteando, o sea, hasta
obtener la veracidad de la tesis formulada27.
Ejemplo:
26Ibdem, PP. 182
Pgina
12

Tales que cada Fi es o bien un axioma o bien un teorema que se deduce de dos
frmulas anteriores Fj y Fk (tales que j<i y k<i) mediante una regla de
deduccin vlida. Es decir,

27-Formule el principio de no contradiccin, de un ejemplo, y diga

porque es ley
P ~ P es falso
Ejemplo: una proposicin no puede ser falsa y verdadera a la misma vez
Es ley porque tambin es necesaria, suficiente y perfecciona el razonamiento28.

28-Formule el principio de tercero excluido, de un ejemplo, y diga

porque es ley
P ~P es verdadero (tautologa)
Ejemplo: un enunciado cualquiera es verdadero o falso
Es ley porque es necesaria, suficiente como las dems leyes de la lgica, esta
tambin se verifica y perfecciona el razonamiento.29

29-Formule el principio de identidad, de un ejemplo, y diga porque es

ley
27 FERRATER MORA, Jos y LEBLANC, Hugues. Lgica matemtica. Mxico D.F: Fondo de
Cultura Econmica, 1992

28ROSENTAL.M.M. Diccionario filosfico, Lima, Ediciones Pueblos Unidos, xxx, pp. 351352
29 Ibdem, pp.356
Pgina
13

P P es verdadero (Tautologa)
Ejemplo: la verdad es la verdad
Es ley porque es necesaria, suficiente y la principal de las tres para que el
pensamiento discurra exactamente.30

30-Las leyes de las ciencias fcticas son necesarias o contingentes?

Ponga un ejemplo y diga por que
Las ciencias fcticas son aquellas que tienen como objeto de estudio entidades
abstractas ejemplo, los nmeros31.
Las leyes de las ciencias fcticas son necesarias porque son universales en
todo tiempo y espacio y adems no pueden ser de otra forma.
Ejemplo:
La ley de la identidad: A = A

31-Las leyes jurdicas son necesarias, contingentes o

convencionales? Ponga un ejemplo y diga por que
Las leyes jurdicas son aquellas que se manejan en una sociedad, para regular
la relacin entre las personas32. En este caso se podra decir que son leyes
convencionales, ya que las mismas personas lo crean y lo admiten para regular
la sociedad.
Ejemplo:
La constitucin poltica del Per est llena de leyes para regular la convivencia
de la sociedad peruana.

30 Ibdem, pp. 352

31 LEXUS EDITORES. Visual diccionario enciclopdico color. Barcelona, Ediciones Trbol, 1999,
PP. 220

32 Ibdem, pp. 552

Pgina
14

32-Las leyes morales son necesarias, contingentes o

convencionales? Ponga un ejemplo y diga por que
Son leyes que se dan desde que existe el hombre. Por ello, su origen es
anterior a la aparicin del estado, estas leyes no se hallan codificadas formal y
oficialmente33.
Las leyes morales son convencionales ya que la misma sociedad las crea para
regular su convivencia.
Ejemplo:
Se debe ayudar a los amigos

33-Las leyes de la matemtica son necesarias, contingentes o

convencionales? Ponga un ejemplo y diga por que
Las leyes matemticas son abstractas e independientes de la experiencia 34.
Estas leyes son necesarias ya que se cumplen en todo tiempo y espacio
independiente del mundo que nos rodea.
Ejemplo:
6 x 4 = 6 + 6 + 6 + 6 = 24

34-Existen leyes de Dios? Si existen: sern necesarias,

contingentes o convencionales y culturales? Ponga su punto de vista y
justifique Por qu.
No existen. Ya que la ciencia evidencia que en el universo no hay espacio para
dios
Si existieran dichas leyes serian culturales, ya que se transmitira por
educacin y tradicin.
Ejemplo:
Los diez mandamientos

33 Ibdem, pp. 637

34 Ibdem, pp. 597
Pgina
15

REFERENCIA BIBLIOGRAFA
COPI, Irving. Introduccin a la lgica. Buenos Aires: Editorial Universitaria de
Buenos Aires, 1981
COPI, Irving. Lgica simblica. Mxico D.F: Compaa Editorial Continental,
1985
PAP, Arthur. Semntica y Verdad Necesaria. Mxico D.F: Fondo de Cultura
Econmica, 1970
GAMUT, L.T.F. Introduccin a la lgica. Buenos Aires: Eudeba, 2002
GARCIA ZARATE, scar Augusto. Elementos de lgica. Lima: Fondo Editorial de
La Universidad Mayor de San Marcos, 2012
RUSSELL, Bertrand. Escritos bsicos 1. Mxico D.F: Editorial Planeta-De
Agostini, 1985
FERRATER MORA, Jos y LEBLANC, Hugues. Lgica matemtica. Mxico D.F:
Fondo de Cultura Econmica, 1992
CARNAP, Rudolf. Fundamentacin lgica de la fsica. Buenos Aires: Editorial
Sudamrica, 1969
ROSENTAL.M.M. Diccionario filosfico. Lima, Ediciones Pueblos Unidos, xxx
LEXUS EDITORES. Visual diccionario enciclopdico color. Barcelona, Ediciones
Trbol, 1999

Pgina
16