LGICA DE LA CIENCIA I

INTRODUCCIN
Realidad problemtica
La Lgica es una ciencia, y como toda ciencia es un sistema abierto formado por una serie
de elementos que interrelacionan recprocamente, formando una estructura o cuerpo terico
al interior de cada ciencia. Estos elementos son: pensamiento y lenguaje, objeto de estudio
y cuerpo terico, conceptos y categoras de la lgica dialctica, principios de la lgica como
instrumento de cognicin, leyes, procedimientos, mtodos.
Para poder comprender la metodologa del desarrollo de una ciencia es absolutamente
necesario conocer una serie de conceptos y procedimientos vinculados a la lgica.
Dicho de otra manera, la lgica nos acerar la teora necesaria para discriminar entre los
razonamientos vlidos y los invlidos.
La lgica es una disciplina cientfica dirigida a satisfacer la necesidad de investigar las
leyes o principios que rigen el proceso de la adquisicin del conocimiento en todas sus
formas, as como el modo de explicarlos.
Cientficamente hablando, la lgica es un valioso medio para ordenar conceptualmente las
ideas que tenemos sobre las cosas y las relaciones que surgen de estas mismas cosas. Es
este sentido, la lgica es ciencia y mtodo a la vez.

ARGUMENTACION

LOGICA DE LA CIENCIA I

LGICA DE LA CIENCIA
La lgica de la ciencia es aquella 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 vlidas de inferencia. Es decir, trata del estudio de los mtodos y
principios utilizados para distinguir el razonamiento correcto del incorrecto.
PROCEDIMIENTOS LOGICOS
Entre los principales tenemos:
1. LA DEFINICIN
a. CONCEPTO DE DEFINICION
Es una de las formas del reflejo del mundo en el pensamiento.
b. DEFINICION DE DEFINICION
Es el punto de partida de la ciencia, es una orientacin primaria de los
conocimientos para que puedan ser aumentados en confusiones.
c. AMBITO DE LA DEFINICIN
LMITE SUPERIOR: Nociones absolutas simples.
LMITE INFERIOR: Esta en los individuos, los que tambin son
indefinibles.
d. ESTRUCTURA DE LA DEFINICIN
DEFINIENDUM: Concepto que se quiere definir.
DEFINIENS: Es la expresin que define.
e. CLASES DE DEFINICIN
Segn Jaime Mans Puigarnau:
La definicin real.
La definicin descriptiva.
La definicin gentica.
2. LA CLASIFICACIN
Toda ciencia para ser identificada como tal debe poseer un claro conjunto de objetos
y para esto se requiere de una correcta clasificacin.

LOGICA DE LA CIENCIA I

a. DEFINICIN DE CLASIFICACIN
Distribucin de conceptos de especies (Ej. gato) a conceptos de gnero (Ej.
felino) en funcin a la relacin que existe entre ellos. Tambien es un
procedimiento utilizado para construir agrupaciones o categoras y asignar
trastornos o personas a dichas categoras, en base a atributos o relaciones
comunes. Se realiza de tal manera que cada clase ocupa un lugar fijo y
exactamente determinado en relacin con las dems clases.
b. PROBLEMTICA DE CLASIFICACIN
Al intentar determinar la extensin de una categora siempre quedaran
elementos sueltos que no pertenecen con exactitud a ninguna categora. Por
ejemplo, si se tiene la intensin de esclarecer si un sujeto ha incurrido o no en
una falta grave pero no existe una clasificacin clara del supuesto acto
delincuencial, podra cometerse una injusticia. La extensin de una norma
requiere de clasificacin.

c. TIPOS O FORMAS DE CLASIFICACIN

Clasificacin artificial o arbitraria

Ordenada de manera simple, como por ejemplo: mediante el orden alfabtico
que se puede asignar a los expedientes en un hospital.

Clasificacin natural o tipolgica

Realizada en relacin a las caractersticas esenciales, esto implica una
revisin de las propiedades de los objetos.

Clasificacin por extensin

Propone una relacin consecutiva enumerando a sus elementos.

LOGICA DE LA CIENCIA I

3. EXPLICACIN
a. DEFINICIN DE EXPLICACIN
Es un mtodo de la investigacin cientfica que consiste en la determinacin de
un objeto o concepto en base a cualidades, caracteres y causas necesarias,
considerndolo un caso particular o una ley general.
b. TIPOS DE EXPLICACIN

Explicacin deductiva
Exige leyes como el componente bsico del explicans. Es el modelo de
explicacin tomado a imagen y semejanza de las disciplinas formales.
Estriba en la conclusin necesaria que se obtiene para el explicandum.

Explicacin probabilstica
Vincula leyes probabilsticas con hechos o fenmenos que se quiere explicar.
Tal relacin no es deductiva. Todas las explicaciones probabilsticas
producen relaciones de aproximacin.

Explicacin teleolgica o funcional

Se ha modelado sobre el concepto aristotlico de causa final. Es propio de
la explicacin teleolgica el empleo de las locuciones tales como: para
que, y otros ms. Es tpica de tales explicaciones una referencia explcita a
un hecho.

Explicacin gentica
Consiste en la explicacin de un hecho presentando su desarrollo. En el
explicar suelen incluir hechos, leyes o hiptesis.

LOGICA DE LA CIENCIA I

4. LA DEMOSTRACIN
a. DEFINICION DE DEMOSTRACION
Es un razonamiento que establece la veracidad de un teorema. Pero, Qu es
un teorema?, un teorema consiste en una proposicin P, llamada hiptesis y
otra proposicin que ser la conclusin.
b. DEMOSTRACIN DE TEOREMAS DE PRIMER ORDEN
La demostracin de teoremas de primer orden es uno de los campos ms
maduros de la demostracin automtica de teoremas. La lgica es lo
suficientemente expresiva para permitir la formulacin de problemas
arbitrarios.
c. EL PROBLEMA DE DEDUCIR UN TEOREMA
Dependiendo de la lgica subyacente, el problema de decidir sobre si un
teorema es vlido o no, vara desde ser una tarea trivial a imposible. Para el
caso frecuente de la lgica proposicional, el problema es deducible pero no
completo. En estos casos, un demostrador de primer orden del teorema puede
no poder terminar mientras que busca una demostracin. A pesar de estos
lmites tericos, los demostradores prcticos del teorema pueden solucionar
muchos problemas difciles con estas lgicas.

5. REFUTACIN
a. DEFINICION DE REFUTACION
Es el razonamiento, o serie de razonamientos, que prueba la falsedad de una
hiptesis o la inconsecuencia de su supuesta demostracin.
b. PROCEDIMIENTOS PARA LA REFUTACION DE UNA HIPOTESIS:

El primer grupo es o son aquellos que llevan a establecer la demostracin de

la falta de validez de una hiptesis.

LOGICA DE LA CIENCIA I

El segundo grupo incluye los procedimientos encaminados a mostrar la

existencia de una contradiccin formal.

El tercer grupo incluye descubrir un caso concreto en el que no se cumpla la

hiptesis propuesta.

El cuarto grupo abarca los procedimientos que sirven para encontrar los
erres que hayan podido cometer en la supuesta demostracin de una
hiptesis, ya sea en los trminos, en los juicios o en los razonamientos
utilizados.

c. INCUMPLIMIENTO DE LA HIPOTESIS
Uno de los procedimientos ms eficaces para refutar una hiptesis es hallar un
caso en el cual no tenga el cumplimiento, o sea, verificar que existe un
contraejemplo.

6. ARGUMENTACIN
a. DEFINICIN DE ARGUMENTACIN
Un argumento es un razonamiento que se hace con el propsito de conseguir

la aceptacin o el rechazo de una tesis propuesta.

La argumentacin es la cadena de argumentos, presentados y discutidos
convenientemente, que conducen al mismo propsito. As la aceptacin o
rechazo de una tesis depende en buena parte de la eficacia o la ineficacia de

la argumentacin que le sirve de apoyo.

El razonamiento demostrativo se basa en fundamentos comprobados o
aceptados como postulados primordiales. En cambio, la argumentacin trata
de justificar una tesis con base en principios aceptados comnmente. Es
ms, cuando se propone simplemente una tesis, es necesario disipar las

LOGICA DE LA CIENCIA I

dudas que puede suscitar, argumentando sobre datos, hechos testimonios,

condiciones y otras caractersticas que la hagan plausible; incluso cuando se
trata de un descubrimiento cientfico, es necesario argumentar debidamente
al darlo a conocer, porque de lo contrario se corre el riesgo de que pase

inadvertido por algn tiempo.

Por lo consiguiente, la argumentacin representa una necesidad social. Es
decir que el razonamiento demostrativo nos lleva a principios vlidos, en

tanto la argumentacin nos lleva a principios probables.

La argumentacin es un razonamiento que no siempre es enteramente cierto,
sino casi cierto o probablemente cierto.

b. FUNCIN DE ARGUMENTACIN
La teora de la argumentacin estudia los procedimientos de prueba o de
objecin que son utilizados para persuadir o disuadir de la adhesin a una tesis
determinada.
El dominio de la argumentacin es diferente al de la necesidad y la
comprobacin; ya que, en general, no se discute cuando se ha demostrado que
una solucin es necesaria, ni tampoco se argumenta en contra de lo que ha
quedado comprobado.
La argumentacin cumple la funcin de sostener nuestras opiniones, de hacerlas
admitir por otros y de inducir a estos a obrar en consecuencias.
La funcin principal de una argumentacin es la de hacer verosmil lo que se
asevera, justificando se postulacin; tambin cumple la funcin de justificar una
accin o la disposicin de ella.
La argumentacin tiene la aplicacin inmediata y obvia de desarrollar la
destreza en argumentar.
Por medio de la argumentacin se pueden examinar los diversos aspectos de
una cuestin, hasta llegar a decidirse a lo que se aproxime a la certeza.
En fin, la argumentacin sirve para defender una proposicin o para atacarla o
refutarla.
c. ESTRUCTURA

LOGICA DE LA CIENCIA I

La tcnica de la argumentacin comprende los medios discursivos utilizados

para obtener la adhesin a una tesis. En este sentido es importante examinar
su esquema, esto es, la estructura argumentativa.
L a tesis constituye la conclusin de un razonamiento que tiene a los datos
como premisas.
La argumentacin es el conjunto de pasos que llevan de datos a la
conclusin, de manera apropiada y legitima.
Ejemplo: Si estudio el curso de Epistemologa, entonces aprueba el curso de
epistemologa.

d. INFERENCIA POR ABDUCCIN :

Es la forma ms comn y simple del razonamiento plausible o

argumentativo.
Son inferencias por abduccin aquellas inferencias inductivas, transductivas
o deductivas en la cuales por lo menos una de las premisas es solamente un

juicio probable, verosmil o plausible.

Establecemos inferencias inductivas respecto al antecedente.

LOGICA DE LA CIENCIA I

CONCLUSIONES
La lgica de la ciencia es aquella que se encarga de exponer las leyes, modos y formas
del razonamiento. Utiliza algunos procedimientos como:

La definicin, que es una de las formas del reflejo del mundo en el pensamiento.
La clasificacin, que se trata de una distribucin de conceptos de especies en

funcin a la relacin que existe entre ellos

La explicacin, que es un mtodo de la investigacin cientfica que consiste en la
determinacin de un objeto o concepto en base a cualidades, caracteres y causas

necesarias;
La demostracin, que es un razonamiento que establece la veracidad de un
teorema; la refutacin, que es el razonamiento, o serie de razonamientos, que
prueba la falsedad de una hiptesis;

LOGICA DE LA CIENCIA I

La argumentacin, es un razonamiento que se hace con el propsito de conseguir

la aceptacin o el rechazo de una tesis propuesta.

REFERENCIAS BIBLIOGRAFICAS

Chin-Liang Chang; Richard Char-Tung Lee (1973). Symbolic Logic and

Mechanical Theorem Proving. Academic Press.

Loveland, Donald W. (1978). Automated Theorem Proving: A Logical Basis.

Fundamental Studies in Computer Science Volume 6. North-Holland Publishing.

Gallier, Jean H. (1986). Logic for Computer Science: Foundations of Automatic

Theorem Proving. Harper & Row Publishers.

Duffy, David A. (1991). Principles of Automated Theorem Proving. John Wiley &

Sons.
Wos, Larry; Overbeek, Ross; Lusk, Ewing; Boyle, Jim (1992). Automated
Reasoning: Introduction and Applications (2nd edition edicin). McGraw-Hill.

LOGICA DE LA CIENCIA I

Alan Robinson and Andrei Voronkov (eds.), ed. (2001). Handbook of Automated

Reasoning Volume I & II. Elsevier and MIT Press.

Fitting, Melvin (1996). First-Order Logic and Automated Theorem Proving (2nd
edition edicin). Springer.

10