Forma lgica

La forma lgica de una proposicin es la representacin de su contenido

y sintaxis usando las herramientas de la lgica, en particular el simbolismo del clculo
proposicional y el clculo de predicados. Oraciones distintas pueden ser representaciones
de la misma proposicin, por ejemplo:

Mara ama a Juan

Juan es amado por Mara

Estas dos oraciones, aunque grfica o fonticamente son distintas, expresan la misma
proposicin y tienen la misma forma lgica. Dicha forma lgica puede representarse
unvocamente mediante de un lenguaje formal, a diferencia de lo que ocurre con
un lenguaje natural.

Ejemplos[editar]
Por ejemplo, un razonamiento que sigue la forma del modus ponens podra ser:
Si est soleado, entonces es de da.
Est soleado.
Por lo tanto, es de da.
Generalizando:
Si A entonces B
A
Por lo tanto B
Otra manera ms formal de presentar el modus ponens es:

Y an otra manera es a travs de la notacin del clculo de

secuentes: Con condicional:

Validez
Validez puede referirse a:

Validez (lgica), la propiedad que tienen los argumentos cuando las premisas implican
la conclusin.

Validez lgica, la propiedad que tienen las frmulas cuando son verdaderas bajo todas
las interpretaciones del lenguaje al cual pertenecen.

Validez (epistemologa), la propiedad que tienen las proposiciones cuando son

aceptadas por una comunidad.

Validez jurdica, la propiedad que tienen las normas cuando cumplen con los requisitos
formales y materiales necesarios para su produccin.

Validez (psicometra), la certeza del significado de la medido, con independencia de la

consistencia en las puntuaciones psicomtricas.

Valido, el puesto de mayor confianza de un monarca.

Verdad
El trmino verdad se usa frecuentemente para significar el acuerdo entre una afirmacin y
los hechos o la realidad a la que dicha afirmacin se refiere,1 o la fidelidad a una idea.1 El
uso de la palabra verdad abarca tambin desde lahonestidad, la buena fe y la sinceridad
humana en general, hasta el acuerdo de los conocimientos con las cosas que
seafirman como realidades: los hechos o la cosa en particular;2 as como la relacin de los
hechos o las cosas en su totalidaden la constitucin del Todo, el Universo.
Para el hebreo clsico el trmino `emun significa primariamente confianza, fidelidad.
Las cosas son verdaderas cuando son fiables, fieles porque cumplen lo que ofrecen.3 4

Alfred Stevens: La Verdad y la Falsedad

El trmino no tiene una nica definicin en la que estn de acuerdo la mayora de los
estudiosos y las teoras sobre la verdad continan siendo ampliamente debatidas. Hay
posiciones diferentes acerca de cuestiones como:

Qu es lo que constituye la verdad.

Con qu criterio podemos identificarla y definirla.

Si el ser humano posee conocimientos innatos o slo puede adquirirlos.

Si existen las revelaciones o la verdad puede alcanzarse tan slo mediante

laexperiencia, el entendimiento y la razn.

Si la verdad es subjetiva u objetiva.

Si la verdad es relativa o absoluta.

Y hasta qu grado pueden afirmarse cada una de dichas propiedades.

Este artculo procura introducir las principales interpretaciones y perspectivas, tanto

histricas como actuales, acerca de este concepto.
La pregunta por la verdad es y ha sido objeto de debate
entre telogos, filsofos y lgicos a lo largo de los siglos considerndose un tema
concerniente al alma y al estudio de una llamada psicologa racional dentro del campo de
lafilosofa.
En la actualidad es un tema de investigacin cientfica as como
de fundamentacin filosfica:5

La investigacin cientfica de la funcin cognitiva6 introduce nuevas

perspectivas acerca del conocimientobasado en
la evidencia como creencia epistemolgicamente
verdadera con justificacin vlida.7

Interesa a la lingstica pues el lenguaje es expresin de la propia verdad.

Interesa a la antropologa filosfica, pues parece evidente que los seres

humanos prefieren la verdad a la falsedad al error o la mentira y prefieren
la certeza a la duda.

Interesa a la Historia, por cuanto el aprecio hacia la verdad y la condena de la

mentira o del error vara en intensidad segn las pocas y las culturas, pues
tanto el concepto de verdad como su valoracin no siempre es el mismo a lo
largo de la historia y segn las diferentes culturas.

Interesa a la ciencia en cuanto tal8 en su pretensin de conocimiento vlido.

La importancia que tiene este concepto es que est arraigado en el corazn de

cualquier supuesto personal, social y cultural. De ah su complejidad.

Lgica
La lgica es una ciencia formal que estudia los principios de
la demostracin e inferencia vlida. La palabra deriva delgriego antiguo (logike),
que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene
de (logos), palabra, pensamiento, idea, argumento, razn o principio.
As como el objeto de estudio tradicional de la qumica es la materia, y el de
la biologa la vida, el de la lgica es lainferencia. La inferencia es el proceso por el cual se
derivan conclusiones a partir de premisas.1 La lgica investiga los principios por los cuales

algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es
por suestructura lgica, y no por el contenido especfico del argumento o el lenguaje
utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en
vez de una ciencia emprica.
La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del
siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con
las matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha pasado a
ser principalmente la lgica simblica, un clculo definido por smbolos y reglas de
inferencia, lo que ha permitido su aplicacin a la informtica. Hasta el siglo XIX, la lgica
aristotlica y estoica mantuvieron siempre una relacin con los argumentos formulados
en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relacin
se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha
mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como
una parte pequea de la lgica de clases.

Lenguaje
Vanse tambin: Lenguaje informtico, Desarrollo del lenguaje y Psicolingstica.

Un lenguaje (del provenzal lenguatge1 y este del latn lingua) es un sistema

de comunicacin estructurado para el que existe un contexto de uso y ciertos principios
combinatorios formales. Existen contextos tanto naturales como artificiales.
Desde un punto de vista ms amplio, el lenguaje indica una caracterstica comn al
hombre y a los animales para expresar sus experiencias y comunicarlas a otros mediante
el uso de smbolos, seales y sonidos registrados por los rganos de los sentidos. El ser
humano emplea un lenguaje complejo que expresa con secuencias sonoras y signos
grficos. Los animales, por su parte, se comunican a travs de signos sonoros y
corporales y que en muchos casos distan de ser sencillos.

El lenguaje humano se basa en la capacidad de los seres humanos para

comunicarse por medio de signos(usualmente secuencias sonoras, pero tambin
gestos y seas, as como signos grficos). Principalmente lo hacemos utilizando
el signo lingstico. Aun as, hay diversos tipos de lenguaje. El lenguaje humano puede
estudiarse en cuanto a su desarrollo desde dos puntos de vista complementarios:
la ontogenia y la filogenia. La ontogenia analiza el proceso por el cual el ser humano
adquiere el lenguaje. La filogenia se encarga de estudiar la evolucin histrica de una
lengua.

El lenguaje animal se basa en el uso de seales sonoras, visuales y olfativas, a modo

de signos, para sealar a un referente o un significado diferente de dichas seales.
Dentro del lenguaje animal estn los gritos de alarma, el lenguaje de las abejas, etc.

Los lenguajes formales son construcciones artificiales humanas, que se usan

en matemtica y otras disciplinas formales, incluyendo lenguajes de programacin.
Estas construcciones tienen estructuras internas que comparten con el lenguaje

humano natural, por lo que pueden ser en parte analizados con los mismos conceptos
que ste.

Silogismo
Este artculo o seccin sobre matemticas y filosofa necesita
ser wikificado con un formato acorde a las convenciones de estilo.
Por favor, edtalo para que las cumpla. Mientras tanto, no elimines este
aviso. (parmetro de fecha incorrecto).
Tambin puedes ayudar wikificando otros artculos.

El silogismo es una forma de razonamiento deductivo que consta de

dos proposiciones como premisas y otra comoconclusin, siendo la ltima
una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez
porAristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos
como Primeros Analticos, (en griegoProto Analytika, en latn idioma en el que se conoci
la obra en Europa Occidental-, Analytica Priora).
Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se
unen o separan en los juicios. Los juicios aristotlicos son considerados desde el punto de
vista de unin o separacin de dos trminos, un sujeto y unpredicado. Hoy se hablara
de proposicin.
La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho
como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en
cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los
trminos al mismo tiempo una funcin lingstica de significado (semntica) y una funcin
formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del contenido de
uno, el juicio, y la otra, la proposicin, especialmente en los casos de negacin, como se
considera, ms adelante, en la problemtica de la lgica silogstica.
Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional,
teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la
lgica simblica en la que esta lgica es interpretada como lgica de clases. Ver clculo
lgico.
La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de
"trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el
silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan
tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin.
La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios
comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio
verdadero (conclusin).

Abstraccin
Abstraccin puede referirse a:

Abstraccin (filosofa), acto mental en el que ellos la ocupan conceptualmente se asla

un objeto o una propiedad de un objeto.

Abstraccin (psicologa), proceso que implica reducir los componentes fundamentales

de informacin de un fenmeno para conservar sus rasgos ms relevantes.

Abstraccin (informtica), aislar un elemento de su contexto o del resto de los

elementos que lo acompaan.

Capa de abstraccin, manera de ocultar los detalles de implementacin de ciertas

funcionalidades.

Inversin de abstraccin, antipatrn que tiene lugar cuando una interfaz no expone
las funcionalidades requeridas por los usuarios.