UNIVERSIDAD NACIONAL AUTÓNOMA DE

HONDURAS
FACULTAD DE HUMANIDADES Y ARTE

CIUDAD UNIVERSITARIA – JOSE TRINIDAD REYES

LOGICA Y RAZONAMIENTO
ASIGNATURA:

LOGICA MATEMATICA (FF-201)

CATEDRATICO:

LIC. ETNAN GENARO MIRANDA

ESTUDIANTE:

NELSON GUSTAVO ALMENDARES NUÑEZ

N° DE CUENTA: 20161004250

SECCIÓN: 1500

FECHA: 09/06/19

II PERIODO 2019
 Lógica y razonamiento
CAPÍTULO PRIMERO
I. Definición: ¿Qué es la lógica?

Una excelente definición debe ser lo más específico posible. Una buena definición
consiste en sustituir en una oración o proposición la palabra definida por la definición
correspondiente y ver si la definición aclara la oración original. Lamentablemente nos
encontramos con defectuosas definiciones como en el Diccionario de la lengua
española, RAE (Real Academia Española), la cual mencionaba que la lógica es la
“ciencia que manifiesta las leyes y formas de conocimiento”.

Una prueba a esta definición es: Platón propone estudiar la ciencia que expone las
leyes, modos y formas del conocimiento científico. Pero aparentemente esto no
conlleva a un camino correcto para poder entender la lógica. Otra definición: La lógica
puede definirse brevemente como el estudio del razonamiento (Max Black Critical
Thinking. Nueva York: Prentice-Hall, 1952, p.3. Traducción propia)

La definición anterior no se trata de una investigación de procesos psicológicos de los

individuos, la cual seria estudiada por científicos dedicados a esta rama. Lo que se
traduce con esto es que la lógica funciona con las manifestaciones de los
razonamientos en el lenguaje y analiza las conexiones entre las preposiciones, también
es una ciencia descriptiva y normativa la cual distingue entre lo valido y la invalidez. La
definición que utilizaremos aquí es muy concisa: la lógica es la teoría de la inferencia.
La inferencia o deducción es la relación entre las premisas y la conclusión de un
argumento. En el estudio de la lógica nos interesa saber ¿Cómo se relaciona las
preposiciones que constituyen un argumento? El paso de la idea a la conclusión en la
inferencia deductiva es necesario saber cuándo una afirmación es válida, si es
verdadera admitimos la conclusión, también puede ser probable que se puedan admitir
las premisas por lo tanto tendríamos una conclusión falsa.

Aclaramos una relación entre la lógica y razonamiento:

(A) Lógico (a)

a) Es lógico que los obreros se quejen del costo de la vida.
b) Es ilógico que la Cámara de Ganaderos se oponga al nuevo proyecto

No podemos dar por hecho que es lógico o ilógico, tenemos que remitirnos a
preposiciones previas o anteriores y los hechos que conllevaron a quejarse o a no estar
de acuerdo. Los hechos que comprobamos no son propiamente lógicos o ilógicos,
cuando decimos que un individuo es lógico o ilógico, nos referimos a la consistencia de
sus actos, lo que afirma y las que niega.

(B) La lógica como lenguaje y como teoría

Así como aprendimos matemáticas, también conocemos teoremas y símbolos que
claramente sabemos que significan, entendiéndolos de la misma manera por personas
que hablan distinto idioma. Leibniz inspirado en las matemáticas, estableció que la
lógica debe tener un lenguaje propio, libre de vaguedad y ambigüedad. El propósito
social de Leibniz, es que la lógica contribuye a la paz de los individuos. El filósofo y
matemático Gottlob Frege quien en su obra Begriffsschrift (1879) por primera vez utilizó
símbolos exclusivos para la lógica diferentes a los de la matemática, a partir de otras
obras; Whitehead, Russell y Frege se generalizaron el sistema de símbolos.

El objeto de la teoría en la lógica es la inferencia, para explicar la diferencia de distintos

argumentos y comprobar su validez, los términos importantes de esta teoría son como
razonamiento, argumento y argumentación, en un razonamiento no interesa la relación
esquemática entre proposiciones. En la vida cotidiana adquirimos la costumbre de
intimidar, amenazamos y ridiculizamos para poner nuestros puntos de vista, pero se
sabe que sin estos recursos no se defenderían argumentos y puntos de vista.

No todo argumento es una explicación ni toda explicación tiene la estructura de un

argumento, buscamos hechos y causas en la explicación y en los argumentos tratamos
de justificar una conclusión a la cual se llega mediante una premisa.

Mientras la lógica se ocupa de argumentos, la filosofía de la ciencia estudia la

explicación científica. George Boole, define la lógica como la “ciencia de las leyes del
pensamiento”. Consideramos esta noción de pensamiento inadecuada, porque al
parecer su objeto más bien de una ciencia experimental, es inadecuado decir que la
lógica “es el arte de pensar”, aunque el sentido común no nos dice nada y es muy
importante no es infalible, también no podemos decir que la lógica es una herramienta
construida para el desarrollo de las ciencias, aunque la lógica tuvo épocas de gran
desarrollo científico, no se encontraba en periodos de esplendor, con esto no se da a
entender que es su único ámbito o campo importante de aplicación de la lógica es la
ciencia, aunque es compartido por lógicos muy diversos. Esto no significa, sin embargo,
que todos los lógicos que utilizan métodos semejantes, que se orientan por sistemas
parecidos y que obtienen resultados afines estén de acuerdo cuando se trata de
responder a algunas preguntas como las siguientes:

¿Es la lógica una ciencia normativa o prescriptiva, semejante a la ética o al derecho,

cuyo propósito es establecer de qué modo la gente debe pensar?

¿Se relaciona ante todo la lógica con el lenguaje, o con los hechos extralingüísticos?

¿Qué son los lenguajes artificiales de los lógicos? ¿Modelos que deberían seguir los
lenguajes naturales, es decir, los lenguajes que la gente aprende en la infancia y utiliza
todos los días en la comunicación con los demás (español, inglés, chino, etc.)? ¿Serán
más bien sustitutivos de los lenguajes naturales? ¿O proyectos para construir mejores
medios para la comunicación?
¿Leyes o normas?

La lógica no trata solamente de leyes sino que también de normas, es decir, reglas de
procedimiento que señalan cuáles son los pasos que se deben seguir para obtener
determinados resultados. Como ejemplo de una ley podemos citar la siguiente: en un
argumento válido la conclusión nunca puede ser falsa si las premisas son verdaderas.
En cuanto a normas o reglas, en el cálculo encontramos diversas reglas de inferencia
que nos indican cómo transformar correctamente unas fórmulas bien formadas en otras.
En razonamientos sencillos, la aplicación de reglas o normas no suele ser problemática.

¿Lenguaje o algo más?

La lógica y el lenguaje son manifestaciones del carácter racional del ser humano. La
lógica es un lenguaje; sus variables y constantes representan proposiciones de
lenguajes naturales o científicos, aunque puede darse una cierta lógica de actos no
lingüísticos, observable en el comportamiento, no podríamos sistematizar nuestras
observaciones al respecto, ni menos aún comunicarlas, sin algún tipo de lenguaje, es
por tanto una manifestación muy importante.

¿Otro lenguaje, o lenguaje perfecto?

Los símbolos que se utilizan en este libro aquí se concibe como un instrumento para
ayudar al razonamiento formulado en lenguaje natural: ni lo sustituye enteramente, ni
pretende constituirse en modelo para todo lenguaje; simplemente aspira a ser útil.

1.2 Lógica y filosofía

Una forma de ver la filosofía es como; una colección de razonamientos, y el valor de

una filosofía se mide por la agudeza de sus razonamientos. Esta conexión entre
filosofía y argumentos alcanza su máxima expresión en los diálogos de Platón, que
consisten en largas cadenas de razonamientos de varios personajes sobre temas como
la justicia, el estado, la educación, la verdadera realidad, el error, la verdad, etc.). En el
sentido de teoría de la inferencia, el desarrollo de la lógica ha sido lento, mucho más
que el de la filosofía y de la ciencia.

1.3 Lógica y ciencia

Según Aristóteles, la lógica es el instrumento que nos permite entender cómo se hace
la ciencia. Podemos ver la relación entre lógica y ciencia:

Ciencias formales y experimentales

Se incluyen la lógica y la matemática como una categoría de ciencias llamadas

formales, establecidas por Rudolf Carnap y Mario Bunge. Según esta manera de ver las
ciencias, las formales se oponen a las fácticas (es decir, que se refieren a los hechos),
también llamadas empíricas (es decir, que se basan en la experiencia) y
experimentales, las ciencias experimentales son inductivas y sintéticas y las ciencias
formales son deductivas y analíticas.

Ciencias, matemáticas y lógica

Algunos consideran que la lógica y la matemática no son ciencias propiamente

hablando, sino un tipo de técnica o conocimiento, se afirma que estas son instrumentos
que toda ciencia necesita para poder proceder con validez y exactitud. Una observación
es que las matemáticas y la lógica como campos de estudio independientes y con sus
lenguajes y teorías propias, no siempre los descubrimientos en estas áreas tienen
aplicación inmediata. Se ha señalado que el desarrollo histórico de la lógica no coincide
con el de la ciencia, sino que más bien parece que la lógica ha estado repetidas veces
rezagada respecto de la ciencia.

Los libros y artículos de lógica en nuestros días se parecen a los de matemáticas,

usando un simbolismo especializado. Hoy se enseña en departamentos de filosofía y de
matemáticas, la coincidencia es el producto de una convergencia en la que podemos
señalar tres motivos: la evolución de la ciencia, la evolución de las matemáticas, y la
aplicación de las matemáticas a la lógica y viceversa.

Los libros de matemáticas empezaron a aparecer hace ya varias décadas con

numerosos términos que antes parecían ajenos a esa disciplina, también se generaliza
la idea de que las propiedades de las cuatro operaciones con las que todos estamos
familiarizados, George Boole afirma que es típico de las operaciones lógicas que
funcionan con dos valores (verdadero, falso) la propiedad de que la repetición de una
variable no añade nada, En la lógica -nos dice Boole- nos encontramos con que XX=X
y en matemáticas XX=X^2. Con Boole vemos cómo la evolución de las matemáticas
desemboca finalmente en el comienzo de la evolución de la lógica.

La aplicación de las matemáticas a la lógica y viceversa.

En nuestros días, aunque casi todos admiten una estrecha vinculación entre lógica y
matemáticas, y en particular entre lógica formal y matemáticas puras, los matemáticos
suelen enfatizar la axiomatización, lo que no suele atraer a los lógicos.

La lógica no es, por cierto, un “arte de pensar bien”. Tampoco es, afortunadamente,
una simple parte de las matemáticas que se agota en sí misma y se entretiene en el
vacío. Ni la lógica ni las matemáticas nacieron por capricho: la primera aparece al lado
de los primeros esfuerzos teóricos por entender el mundo, como un instrumento que
ayude al conocimiento. La segunda aparece desde que se intenta dominar el mundo
que nos rodea, vinculada a necesidades tan simples como las de llevar cuentas de
objetos y medir extensiones.

Sabemos que la lógica busca el rigor, y en esto coincide con las matemáticas y las
ciencias.
1.4 Lógica y semiótica

Un lenguaje es un sistema de signo. En nuestros días el lenguaje es objeto de estudio

científico por parte de la lingüística y los signos son objeto de estudio científico por
parte de la semiótica. Por ende decimos que “la lógica es un lenguaje cuyo propósito
es expresar técnicamente y analizar teóricamente las inferencias”.

1.5 La lógica y las lógicas

A continuación aclaramos algunas de las combinaciones más frecuentesCon la

expansión continua de la ciencia de la lógica, no sería posible tener una lista completa
que dure mucho tiempo.

En relación con criterios geográficos e históricos:

(a) Hay una primera distinción entre lógica oriental y occidental. La distinción entre
lógica oriental y occidental, utilizada en nuestros días, tiene una función histórica.
La revolución en la lógica, que tiene lugar a mediados del siglo XIX, se ha
extendido a todo el mundo y ha hecho que la distinción geográfica tenga ante
todo un uso histórico.
(b) Se habla de lógica clásica en cuanto diferente de la lógica moderna o
contemporánea; sin embargo, este adjetivo encierra un problema y hasta un
engaño.
(c) Con mucha frecuencia se habla de lógica aristotélica, en cuanto diferente a la
estoica, o a la lógica simbólica contemporánea.
(d) Lógica medieval: la que se enseñó y desarrolló en el período comprendido entre
el filósofo Boecio (480-524/5 d.C) y el siglo XV. La parte más importante de la
lógica medieval es la lógica escolástica.
(e) Lógica escolástica: el redescubrimiento de Aristóteles en el siglo XII, gracias a
las traducciones del griego al árabe y del árabe al latín, hizo posible un notable
florecimiento en los siglos XIII, XIV y parte del XV.
(f) Lógica moderna es un nombre que a veces se aplica a los trabajos posteriores
a la Edad Media, empezando con Leibniz.
(g) Lógica simbólica, matemática, logística: la lógica iniciada por Boole y Frege,
continuada por Russell y Whitehead, y que luego alcanza un gran desarrollo y
difusión hasta nuestros días, caracterizada por el uso de un lenguaje simbólico
propio y un cálculo riguroso para probar la validez o invalidez de los argumentos.
Lógica simbólica hace referencia al uso de símbolos especiales. Lógica
matemática puede entenderse de dos maneras: como la lógica que ha crecido
en contacto con la matemática, o como la que se aplica únicamente a la
matemática, como análisis de las inferencias que se hacen en ella. Logística es
un término que tiene la ventaja de referirse a la lógica simbólica a partir de Boole.
(h) Lógica formal: en algunas ocasiones se identifica con las partes más abstractas y
axiomatizadas de la ciencia
Justificación
Cuando se desea establecer una verdad, o nosotros queremos convencer a alguien de
que nuestra posición o una idea es la correcta, recurrimos a un razonamiento o
presentamos evidencia previa que respaldara y afirmara nuestras opiniones. Este
razonamiento presentado con el propósito de demostrar o validar algo es un argumento.

Debemos de tener en cuenta que hay buenos y malos argumentos, podemos decir que
la lógica es la ciencia que trata de distinguir los buenos argumentos de los malos
argumentos. La lógica, entendida tanto como disciplina formal, así un como instrumento
de aprendizaje de normas básicas, es esencial para la comprensión de la producción,
estructura y validez del conocimiento científico.

Con esto se pretende mostrar, más sistemáticamente que literariamente las temáticas
que se desarrollan en nuestra vida cotidiana, que podemos aplicar a la metodología y
que nos ayudará a resolver problemas y situaciones que surjan de una manera más
lógica. Tres son los términos básicos que se desarrollan con la lógica, el razonamiento,
la verdad y el conocimiento y en un razonamiento no interesa la relación esquemática
entre proposiciones.

Finalmente se establece, que la lógica matemática estudia la forma del razonamiento, y

es una disciplina que por medio de reglas y técnicas determina si un argumento es
válido o es invalido, también que la lógica es aplicada en la filosofía, matemáticas,
computación, y otros campos.