Académique Documents
Professionnel Documents
Culture Documents
Lgica.
1. Concepto general.
La denominacin de la lgica, est directamente relacionada con la palabra
griega logos, cuyo significado en griego antiguo es equivalente apensamiento o
razn, pero tambin palabra o conocimiento; y logik era lo relativo al logos
En definitiva, se trata del estudio de la forma en que funciona la facultad humana
de pensar y razonar. Puede definirse la lgica como el conjunto de conocimientos
que tienen por objeto la enunciacin de las leyes que rigen los procesos del
pensamiento humano; as como de los mtodos que han de aplicarse al
razonamiento y la reflexin para lograrun sistema de raciocinio que conduzca a
resultados que puedan considerarse como certeros o verdaderos.
Debe distinguirse entre la lgica formal y la lgica material:
La lgica formal tambin llamada lgica pura - que es la lgica propiamente dicha es precisamente la ciencia (en cuanto conocimiento) que determina cules son
las formas correctas y vlidas de los raciocinios; pero lo hace considerndolos en
s mismos y con prescindencia de los contenidos concretos de los razonamientos,
es decir, considerando esos contenidos como entes lgicos abstractos, de tal
manera que las leyes a aplicar tengan validez para cualquier contenido concreto.
El raciocinio puede definirse como un proceso del pensamiento (por tanto,
exclusivamente humano) que a partir de ciertos conocimientos establecidos
(llamados premisas), conduce a adquirir un conocimiento nuevo (contenido en
la conclusin) sin que para ello haya que recurrir a nuevas constataciones u
observaciones sensibles distintas o adicionales a las ya contenidas en las
premisas.
Por lo tanto, la verdad a que conduce la lgica formal, es una verdad formal;
que ser verdad en tanto sea verdad el contenido de las premisas, e indicar
solamente que existe una congruencia de ese raciocinio, consigo mismo. Si en un
razonamiento existe falsedad en las premisas y la conclusin asimismo es falsa;
de todos modos el razonamiento ser correcto o vlido como razonamiento.
La lgica material tambin llamada lgica aplicada, es aquella en que un proceso
de raciocinio o de pensamiento se analiza en consideracin al contenido real de
sus premisas, y por lo tanto debe conducir a una verdad material, una conclusin
que sea concordante con la realidad.
Mientras que las premisas (o predicados) que toma en consideracin la lgica
pura constituyen entidades abstractas y absolutamente precisas, respecto de las
cuales no es requerido que exista ningn objeto de la realidad que los verifique; es
difcil encontrar en la realidad conceptos de origen emprico-sensible que
presenten exactamente las caractersticas de los objetos lgicos.
2. Breve Historia de la lgica.
Entre los muchos aportes que hizo Aristteles al conocimiento abstracto, sin duda
la lgica formal - de la que fue indiscutiblemente creador - no solamente puede
considerarse el ms trascendental, sino aquel en que logr mejores y mayores
aciertos.
La principal aportacin de Aristteles fue la silogstica, el estudio del procedimiento
de raciocinio por medio del silogismo, en que de dos premisas se deduce una
conclusin; tambin llamada lgica de las proposiciones o lgica clsica. Los
filsofos ulteriores, sobre todo los pertenecientes a la escuela estoica pre-cristiana
y a la escolstica medieval desarrollaron a fondo la lgica de las proposiciones;
sistematizando y completando la silogstica aristotlica as como llegaron a
desarrollar las llamadas lgicas modales.
que existe entre sus remotos orgenes filosficos, su absoluta conexin con los
fundamentos del conocimiento de las matemticas y, por esa va, su clara
incidencia en los fundamentos tericos y conceptuales de la computacin. sta, a
su vez, alcanza una repercusin trascendental no solamente en la informtica en
s misma, sino en todas sus aplicaciones en la vida cotidiana; ya sea a nivel de la
industria, las comunicaciones, y an en una enorme variedad de elementos de uso
y consumo cotidiano.
3. Los principios lgicos.
Como punto de partida del estudio de las leyes que rigen el proceso del
razonamiento, se han establecido ciertas leyes fundamentales, que se
consideran generales y anteriores a todos los que de ellos se deducen, que son
producto de la intuicin (resultado de un conocimiento directo e inmediato), y
sobre los cuales se fundamentan todas las restantes normativas lgicas.
Estos principios se consideran verdades axiomticas, evidentes por s mismas,
que no tienen que, ni necesitan, demostrarse.
Son cuatro principios, los tres primeros enunciados por Aristteles y el cuarto
agregado por Leibnitz:
4. Lgica y verdad.
Como se ha expresado antes, la lgica formal o lgica pura, estudia las formas en
que procede el raciocinio, en forma abstracta; es decir, prescindiendo de sus
contenidos concretos. Por ese camino, procura encontrar las leyes formales
universales del pensamiento correcto; de tal manera que produzcan ese resultado
cualquiera sean los contenidos a que se apliquen.
Si A es B
y C es A
entonces C es B
Los que son aprehendidos mediante la percepcin externa, son objetos fsicos;
que existen en el tiempo y en el espacio.
Los objetos psquicos, que existen en el tiempo pero no en el espacio, que son
hechos exclusivamente en la conciencia de quien los experimenta, tales como un
deseo, una decisin de la voluntad.
Los objetos ideales - son entes que no existen en el tiempo ni en el espacio, son
totalmente ajenos a la espacialidad como a la temporalidad; que no tienen la
consistencia material ni efectiva o concreta de los objetos reales y que no obran
activamente.
Los objetos metafsicos - que se conocen exclusivamente a travs del
razonamiento segn algunos filsofos; o mediante actos inmediatos de
conocimiento a travs de la intuicin sea intelectual o no racional. Entre stos,
cabe destacar los valores, como cualidades de un orden especial, que no ataen
al ser mismo de los objetos sino a su apreciacin tica.
Una proposicin enuncia una propiedad respecto de un objeto; pero en realidad
las proposiciones son formuladas por lo comn en relacin a objetos del
conocimiento que no constituyen la totalidad de lo real. De tal modo, es preciso
que la proposicin precise a qu objetos reales trata de referirse, lo que se
denomina el supuesto de la proposicin predicativa.
Sin embargo, resulta obvio que no es posible introducir en la proposicin el objeto
mismo respecto del cual se enuncia un juicio, por lo cual ese objeto debe ser
expresado mediante un smbolo (al que se denomina sujeto de la proposicin)
constitudo por un trmino que representa el objeto.
9. Los trminos
El trmino es la expresin lgica de un concepto. Si bien vara segn los idiomas,
el concepto que expresa es el mismo: silla, chair, cadeira, chaise, etc. Dentro de
un mismo idioma pueden existir distintos trminos para expresar el mismo
concepto, como se da en el caso de los sinnimos.
Los trminos se clasifican en:
Unvocos Cuando terminantemente son susceptibles de un nico
significado: banco, planta, trapecio.