1.
Introducción…………………………………….……Pag.1
2.
Concepto de
lógica…………………………………..Pag.2
3.
Historia de la
lógica……………………………….....Pag.3
4.
Lógica
Aplicada……………………………………...Pag.4
5.
Validez……………………………………………….Pag.5
1.
Verdad Lógica……………………………………….Pag.5
2.
Lógica Simbólica………………………………….…Pag.6
3.
Relación de la lógica con
otras ciencias………....Pag.6-11
4.
Calculo
Lógico………………………………….…Pag.12
5.
Regla de
inferencia…………………………….…..Pag.13
6.
El relativismo
lógico…………………………….…Pag.14
7.
Deducción……………………………………….…Pag.15
8.
Universalismo………………………………….…..Pag.16
9.
Conclusión…………………………………………Pag.17
La palabra lógica proviene del griego antiguo λογική (logike),
que significa «intelectual, dialéctico, argumentativo», que a su vez deriva de λόγος (logos),
«palabra, pensamiento o razón».
La lógica es la ciencia que se encarga de exponer las
leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no
tiene contenido, pero que se dedica al estudio de las formas válidas de inferencia.
Es decir, trata del estudio de los métodos y principios utilizados para
distinguir el razonamiento correcto del incorrecto.
El objeto de
estudio de esta ciencia son las formas, estructuras o esquemas de pensamiento;
por eso mientras las otras ciencias se centran en las relaciones de su objeto
de estudio con diversos fenómenos, la lógica se ocupa de las relaciones mismas.
La
lógica es ampliamente aplicada a diferentes ciencias que de alguna forma u otra
se complementa, con el fin de ampliar los conocimientos a través de otros razonamientos.
Concepto
de lógica:
La
ciencia que se basa en las leyes, modalidades y formas del conocimiento
científico se conoce bajo el nombre de lógica. Se trata de una ciencia de
carácter formal que carece de contenido ya que hace foco en el estudio de las
alternativas válidas de inferencia. Es decir, propone estudiar los métodos y
los principios adecuados para identificar al razonamiento correcto frente al
que no lo es.
Lógica
es una ciencia formal que estudia la estructura o formas del pensamiento humano
(como proposiciones, conceptos y razonamientos) para establecer leyes y
principios válidos para obtener criterios de verdad. Como adjetivo, 'lógico' o
'lógica' significa que algo sigue las reglas de la lógica y de la razón. Indica
también una consecuencia esperable natural o normal. Se utilizar también para
referirse al llamado 'sentido común'.
La
lógica natural es la destreza natural para razonar sin apelar a la ciencia. La
denominada lógica borrosa o difusa, en cambio, es aquella que contempla una
determinada incertidumbre al analizar el carácter verídico o falso de las
proposiciones, a semejanza del raciocinio propio del ser humano.
Por
otra parte, la lógica matemática se caracteriza por emplear un lenguaje simbólico
artificial y realizar una abstracción de los contenidos.
Existen
otros tipos o clases de lógica, como la llamada lógica binaria, la cual trabaja
con variables que sólo toman dos valores discretos.
Historia
de la lógica:
La
etimología permite saber que el término ‘lógica’ tiene su origen en el vocablo
latín logĭca, que a su vez deriva del griego logikós (de logos, “razón” o
“estudio”). El filósofo griego Aristóteles, cuentan los expertos en cuestiones
históricas, fue pionero al emplear la noción para nombrar el chequeo de los
argumentos como indicadores de la verdad dentro de la ciencia, y al presentar
al silogismo como argumento válido.
No
obstante, no podemos pasar por alto que a lo largo de la historia existen otras
muchas figuras que han contribuido con sus ideas y planteamientos a desarrollar
esta ciencia. Así, por ejemplo, durante la Edad Media hay que subrayar el papel
que llevó a cabo Averroes, el filósofo cordobés que, entre otras cosas,
manifestó que era fundamental estudiar la lógica de los maestros antiguos para,
a partir de ahí, proceder a “filosofar” de la manera correcta.
Ya
en los siglos XVIII y XIX uno de los personajes que más abordó el tema de la
lógica fue Immanuel Kant. Este está considerado como uno de los pensadores más
importantes e influyentes de la historia y destaca por el hecho de que en esta
materia que nos ocupa estableció un nuevo concepto: la lógica trascendental.
Un
término aquel con el que dicho filósofo de origen prusiano intentaba definir al
proceso por el cual el ser humano debe llevar a cabo una investigación de lo
que vendrían a ser los conceptos puros de categorías de tipo trascendental o
también de lo que es el exacto entendimiento.
Hegel,
Augustus De Morgan, John Venn o GottlobFrege son otros de los autores que han
destacado en el campo de la lógica y especialmente este último que causó una
auténtica revolución con sus teorías. De ahí que sea considerado, junto al
mencionado Aristóteles, como el lógico más importante de toda la historia. Y es
que estableció los conceptos de prueba, lógica de predicados o lenguaje formal.
Aristóteles
está considerado como el padre de la lógica formal. En cambio, la lógica
informal refiere al examen metódico de los argumentos probables a partir de la
oratoria, la retórica y la filosofía, entre otras ciencias. Tiene como objetivo
el reconocimiento de paradojas y falacias, así como ser un recurso eficaz para
construir los discursos de forma correcta.
Lógica
aplicada:
La
lógica es una ciencia que se encarga de estudiar las bases de la argumentación
y la inferencia, es decir, la evaluación de proposiciones y razonamientos que
permitan llegar a conclusiones asertivas en sus respectivos temas. Las
inferencias se suelen conocer mejor en base a su clasificación en; deducciones,
abducciones e inducciones. En consecuencia, la lógica se encarga de estudiar
los esquemas o formas de pensamiento y su respectiva validez, siendo usada
constantemente como fundamento para el marco teórico científico en el que se
rigen todas las disciplinas científicas.
La lógica aplicada
se puede referir a un tipo general de la lógica que se centra en analizar la
argumentación, buscando distinguir la realidad de los argumentos y premisas
expuestas. Su estudio encuentra una aplicación más directa y certera en el
sector del derecho e incluso en el sector de la política.
Lo
que este tipo de lógica guarda, es que permite a los especialistas del derecho
a distinguir la veracidad de argumentos y testimonios, logrando discriminar las
teorías y evidencias necesarias para poder solventar un caso en particular, en
base a la moral, justicia y por supuesto, la lógica que reside tras estas.
Sin
embargo, la lógica aplicada puede hacer alusión a otro concepto en el
respectivo marco de las ciencias, refiriéndose a, como su mismo nombre lo puede
indicar, la aplicación directa de la lógica a otras disciplinas, siendo el
ejemplo más característico el uso de la lógica en la matemática.
Como
se mencionó anteriormente, la lógica es una ciencia que conforma una parte
fundamental del estudio científico, siendo la base primordial del modelo
científico moderno en el cual se encuentran suscritos todas las ciencias
vigentes, de modo que no resulta extraño observar la aplicación de la lógica a
problemas que surgen en los campos de investigación, siendo esto conocido como
un ejemplo de la lógica aplicada.
Validez:
La
validez es una propiedad que tienen los argumentos cuando las premisasimplican
la conclusión. Si la conclusión es una consecuencia lógica de las premisas, se
dice que el argumento es deductivamente válido. Algunos consideran estas dos
nociones idénticas y usan ambos términos indistintamente. Otros, sin embargo,
consideran que puede haber argumentos válidos que no sean deductivamente
válidos, como las inducciones. En cualquier caso, de las inducciones a veces se
dice que son buenas o malas, en vez de válidas o inválidas.
Ejemplos
de argumentos deductivamente válidos son los siguientes:
Si está soleado, entonces
es de día. Está soleado. Por lo tanto, es de día.
Ni es lunes ni es martes
ni es miércoles. Por lo tanto, no es lunes.
Es tarde y hace frío. Por
lo tanto, hace frío.
Verdad
Lógica:
Una
verdad lógica o verdad matemática es una fórmula bien formada de un lenguaje
formalque es verdadera bajo todas las interpretaciones de los componentes
(distintos de las constantes lógicas) de ese lenguaje. En algunos textos y
contextos (v.g. cálculo lógico y lógica matemática), las verdades lógicas se
conocen como fórmulas lógicamente válidas (que tienen validez lógica).
Dos
características generalmente aceptadas de las verdades lógicas son que son
formales y necesarias. Que sean formales implica que cualquier instanciación de
una verdad lógica es también una verdad lógica. Que sean necesarias significa
que es imposible que sean falsas, es decir que en todas las situaciones
contrafácticas, las verdades lógicas siguen siendo verdades lógicas.
Lógica
Simbólica:
La
lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal,
o logística,[1] es parte tanto de la lógica como de la matemática, y consiste
en el estudio matemático de la lógica, y en la aplicación de dicho estudio a
otras áreas de la matemática y de las ciencias. La lógica matemática tiene
estrechas conexiones con las ciencias de la computación y con la lógica
filosófica.
La
lógica matemática estudia los sistemas formales en relación con el modo en el
que codifican o definen nociones intuitivas de objetos matemáticos como
conjuntos, números, demostraciones, y algoritmos, utilizando un lenguaje
formal.
Relaciones
de la Lógica con otras ciencias:
La
lógica está relacionada con todas las ciencias, porque como dijo Cohen, es el
aspecto formal de todo cuanto existe. En forma general diríamos:
• Desde el punto de vista formal todas las
ciencias están integradas por conceptos, juicios y razonamientos, los cuales
son la parte fundamental del objeto de la lógica.
• Así mismo, les proporciona a todas las
ciencias la teoría para las demostraciones científicas. No se puede hablar de
ciencia si esta no está organizada conforme a las leyes de la lógica.
• La metodología es lógica aplicada,
inferida de numerosos casos científicos. Dichos procesos lógicos se deben
observar si se desea obtener el conocimiento científico.
De
manera especial, está vinculada con la matemática, la psicología, la
lingüística, la filosofía, computación, ciencia, gramática, y con la teoría del
conocimiento.
LA LÓGICA Y DERECHO:
Se
podría señalar que esta tendencia ponía la existencia de un marcado paralelismo
entre la lógica y derecho, pues aquella estudia la validez de los conceptos,
juicios y razonamientos desde el punto de vista formal, y el Derecho, tendría
por objeto el estudio de los mencionados aspectos, pero desde el punto de vista
de las conductas puras, consideradas estas como meras formas, las cuales están
expresadas en las normas. Sus principales requisitos eran dos: ser coherentes y
no contradictorias, para observar los postulados hilberlianos en el desarrollo
de la lógica matemática. Esta concepción sentó las bases al ulterior desarrollo
de la lógica deóntica
LÓGICA Y CIENCIA:
Estudia
problemas y leyes del pensar formal, no define lo verdadero de lo falso. Entre
lo verdadero y lo falso, hay una competencia del razonamiento aplicado y la
experiencia. Esta lógica estudia las condiciones del pensar científico y
metodológico y las condiciones de verdad de las teorías científicas, así como
su alcance y límites.
LÓGICA Y PSICOLOGÍA:
Existe
una gran diferencia entre estas dos ciencias, la relación que pueda existir
seria que prescindirían del sujeto que elabora su lógica y su psicología. La
diferencia que existe entre ambas ciencias es que la psicología estudia el
sujeto pensante y sus procesos psicológicos que ocurren en el estando también el
proceso del pensar; mientras que la lógica, como se ha descrito anteriormente,
se ocupa del pensamiento elaborado y formulado, ya que estudia los pensamientos
mismos, los analiza, los estructura y encadena el enlace que pueden tener
dichos pensamientos.
LÓGICA Y TEORÍA DEL
CONOCIMIENTO:
Consiste
en aplicar la lógica y la filosofía del conocimiento para rodear la teoría del
conocimiento, se ocupa de la definición del saber y de los conocimientos
relacionados entre estas dos ciencias. Los tipos del conocimiento posibles y el
grado con que las fuentes y los criterios resultan ciertas, así como la
relación exacta entre el que conoce y el objeto conocido.
LÓGICA Y GRAMÁTICA:
Los
lenguajes tienen lógica, porque la lógica y la gramática trabajan ambiguamente
para descifrar una oración, decidir si la composición de la oración es
correcta. Para esto hay que estudiar la lengua y la lógica. La interacción que
puede haber entre la lógica y la gramática es como un romance entre las dos
para que funcione bien un idioma. Como es muy complejo este tema, se cita el
siguiente ejemplo para obtener más o menos una idea de la fusión de estas dos
ciencias juntas.
LÓGICA Y MATEMÁTICA:
Es
una parte de la lógica y las matemáticas, que consiste en el estudio matemático
de la lógica y en la aplicación de este estudio a otras áreas de las
matemáticas
La
lógica matemática es la disciplina que trata de métodos de razonamiento. En un
nivel elemental, la lógica proporciona reglas y técnicas para determinar si es
o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas
para demostrar teoremas; en ciencias de la computación para verificar si son o
no correctos los programas; en las ciencias física y naturales, para sacar
conclusiones de experimentos; y en las ciencias sociales y en la vida
cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma
constante el razonamiento lógico para realizar cualquier actividad.
LA LÓGICA Y LINGÜÍSTICA:
El
neopositivismo se hizo consciente de un hecho sencillo, pero extraordinariamente
fecundo: la única manera que dispone cualquier ciencia para expresar sus
pensamientos, ya sean estos físicos, químicos, matemáticos, etc., es mediante
el lenguaje. A partir de entonces, quedara establecido que todos los problemas
de cualquier ciencia están vinculados al lenguaje, de ahora y para siempre.
Ello nos explica porque hay trabajos en los cuales, se vinculan la matemática y
la lingüística, la física y el lenguaje, etc., y por qué se habla de una
sintaxis matemática, de una semántica física, de un metalenguaje jurídico, etc.
LA LÓGICA Y LA FILOSOFÍA
Si
aceptamos que al saber filosófico está integrado por la ontología, la
gnoseología y la ética, o sea " el ser”, "el conocer " y el
"obrar “, la lógica forma parte esencial del conocer, porque estudia las
formas y las leyes validas de ese conocimiento.
La
gnoseológica o teoría del conocimiento pretende estudiar la correspondencia o
adecuación entre el conocimiento y su objeto, pero no puede pronunciarse si
previamente no incorpora a la lógica, pues es esta quien le va a suministrar la
validez a todas sus conclusiones
LA LÓGICA Y COMPUTACIÓN:
La
lógica está presente en la computación a través de los siguientes aspectos:
• A. Es tan importante la relación
lógica-computación que todo ordenador tiene una unidad en la cual se realizan
las operaciones lógicas; es la unidad aritmético –lógica. En ella, se efectúan
las operaciones lógicas de cualquier programa. Nos referimos a los operadores
lógicos "y", "o", etc., los cuales trabajan en base a las
tablas de verdad.
• B. La lógica se hace presente en los
programas. Cada uno de ellos es un conjunto formal y secuencial de operaciones,
las cuales permiten realizar un trabajo. Decimos "formal " y con ello
evidenciamos de la lógica formal, puesto que teóricamente, un mismo programa
puede estar referido a varios contenidos, siempre y cuando tengan los mismos
esquemas.
Calculo Lógico:
El
cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que
permite inferir o deducir un enunciado verdadero a partir de otro u otros que
se tienen como válidamente verdaderos.
La
inferencia o deducción es una operación lógica que consiste en obtener un
enunciado como -conclusión- a partir de otro(s) -premisa(s)- mediante la
aplicación de reglas de inferencia.
Decimos
que alguien infiere -o deduce- "T" de "R" si acepta que si
"R" tiene valor de verdad V, entonces, necesariamente, "T"
tiene valor de verdad V.
Las
personas en nuestra tarea diaria, utilizamos constantemente el razonamiento
deductivo; partimos de enunciados empíricos -supuestamente verdaderos y
válidos- para concluir en otro enunciado que se deriva de aquellos.
La
lógica matemática, como ciencia formal, se ocupa de analizar y sistematizar las
reglas que permiten la transformación de unos enunciados -premisas- en otros
-conclusiones- con objeto de convertir las operaciones deductivas en un cálculo
riguroso y eficaz.
Al
aplicar las reglas de este cálculo lógico a los enunciados que forman un
argumento, previa la simbolización adecuada de los enunciados en fórmulas o Expresiones
bien formadas (EBF) construimos un modelo dentro de un sistema deductivo que,
referido al lenguaje ordinario, llamamos de Cálculo de deducción natural.
La
representación gráfica de los símbolos (constantes lógicas) no está
normalizada, lo que lleva a veces a ciertas dificultades de interpretación.
Regla de inferencia:
En
lógica, una regla de inferencia, o regla de transformación es una forma lógica
que consiste en una función que toma premisas, analiza su sintaxis, y devuelve
una conclusión (o conclusiones). Por ejemplo, la regla de inferencia llamada
Modus ponendoponens toma dos premisas, uno en la forma "Si p entonces
q" y otra en la forma "p", y vuelve la conclusión "q".
La regla es válida con respecto a la semántica de la lógica clásica (así como
la semántica de muchas otras lógicas no clásicas), en el sentido de que si las
premisas son verdaderas (bajo una interpretación), entonces también lo será la
conclusión.
Por
lo general, una regla de inferencia conserva la verdad, una propiedad
semántica. En muchos valores lógicos, esta conserva una designación general.
Pero la acción de la regla de inferencia es puramente sintáctica, y no es
necesario preservar ninguna propiedad semántica: cualquier función de conjuntos
de fórmulas para fórmulas cuenta como una regla de inferencia. Por lo general,
solo son importantes las reglas que sean recursivas; es decir, reglas de modo
que no haya un procedimiento efectivo para determinar si cualquier fórmula dada
es la conclusión de un determinado conjunto de fórmulas de acuerdo a la regla.
Un ejemplo de una regla que no es efectiva en este sentido es la infinitista
regla.
Como
se mencionó, la aplicación de una regla de inferencia es un procedimiento
puramente sintáctico. Sin embargo, debe también ser válido, o mejor dicho,
preservar la validez. Para que el requisito de preservación de la validez tenga
sentido, es necesaria una cierta forma semántica para las aserciones de las
reglas de inferencia y las reglas de inferencia en sí mismas.
Las
reglas significativas de inferencia en la lógica proposicional incluyen modus
ponens, modus tollens y contraposición. La lógica de predicados de primer orden
usa reglas de inferencia para liderar con cuantificadores lógicos.
El relativismo lógico:
El
relativismo es la posición filosófica de que todos los puntos de vista son
igualmente válidos, y de que toda la verdad es relativa al individuo. Esto
significa que todas las posiciones morales, todos los sistemas religiosos,
todas las formas de arte, todos los movimientos políticos, etc., son verdades
que son relativas a los individuos.
El
relativismo en lógica, debemos entenderlo, en una nueva acepción semántica, que
va más allá del sentido del entendimiento cultural, comportamiento y/o ética
del hombre, como es la lógica en sentido extenso, para ello, una de las nuevas
corrientes es el Estancialismo Potencial, basado en la “metalógica”, como
planteamiento de crítica y estudio de la relatividad de la lógica, como el más
reciente planteamiento ante la realidad de las cosas, la cual plantea que las
cosas no tienen que ser como el relativismo dice ni como las creencias, leyes y
tradiciones del individuo crea.
Deducción:
Es
un mecanismo o método de razonamiento que permite llegar a una conclusión a
través de varias premisas. Dicha deducción puede ser válida cuando todas las
premisas son de igual forma verdaderas.
La
deducción es una forma de inferencia que de lo general conocido extrae esas
consecuencias para lo particular desconocido alcanzando conclusiones
necesarias.
Para
hablar de Deducción lógica es preciso compenetrar este tema con el Razonamiento
Deductivo, que por su parte, es lo que proviene de la deducción lógica (el método lógico que lleva desde lo
universal hasta lo particular).
Un
ejemplo de deducción lógica es el siguiente:
1. Premisa original: Todos los perros tienen
cuatro patas
2. Premisa menor: Bobby es un perro
3. Conclusión: Bobby tiene cuatro patas
Universalismo lógico:
El
universalismo, en sentido general, es una idea o creencia en la existencia de
una verdad universal, objetiva y/o eterna, que lo determina todo, y que por lo
tanto, es y debe estar presente igualmente en todos los seres humanos. Un
pensamiento universalista asegura la veracidad de una forma única o específica
de ver, explicar u organizar las cosas a través de la lógica.
El
universalismo no es en sí una ideología común, sino una característica única en
la forma de «traducir e interpretar la realidad» lo cual permitiría ver el
mundo, o la vida en su totalidad, con base en un paradigma común, consensuado
desde certezas trascendentales. Es frecuente que haya distintas ideologías
universalistas que resulten muy opuestas entre sí. A través de la historia, ha
habido pensamientos universalistas en todos los ámbitos de la vida humana. Como
ejemplos, en el ámbito de la religión y la teología
Conclusión
Luego
de los temas desarrollados es posible
concluir en que la lógica es un elemento importante dentro de diferentes áreas
y a través de ellas podemos llegar a conclusiones necesarias para desarrollar
nuevos razonamientos para nuestro
crecimiento intelectual.
Con la ayuda de la lógica, se acorta la cantidad de
errores que podemos cometer porque nos enseña a armar un sentido lógico en base
a nuestro raciocinio, además, permite que nos cuestionemos constantemente
acerca de lo que somos y lo que está a nuestro alrededor de forma que nos
convirtamos en individuos pensantes .
