AXIOMA

Un axioma es una proposicin asumida dentro de un cuerpo terico sobre la cual descansan
otros razonamientos y proposiciones deducidas de esas premisas.
Introducido originalmente por los matemticos griegos del perodo helenstico, el axioma se
consideraba como una proposicin evidente y que se aceptaba sin requerir demostracin
previa. Posteriormente, en un sistema hipottico-deductivo, un axioma era toda proposicin no
deducida de otras, sino que constituye una regla general de pensamiento lgico (por oposicin
a los postulados).1 As en lgica y matemticas, un axioma es slo una premisa que se
asume, con independencia de que sea o no evidente, y que se usa para demostrar otras
proposiciones. Actualmente se busca qu consecuencias lgicas comportan un conjunto de
axiomas, y de hecho en algunos casos se opta por introducir un axioma o bien su contrario,
viendo que ninguna de las dos parece una proposicin evidente. As, si tradicionalmente los
axiomas se elegan de entre afirmaciones evidentes, con el objetivo de deducir el resto de
proposiciones, en la moderna teora de modelos un axioma es slo una asuncin, y en modo
alguno se considera que la verdad o falsedad de los axiomas dependa del sentido intuitivo que
se le pueda atribuir, o se recurre a que puedan ser autoevidentes.
En lgica un postulado es una proposicin no necesariamente evidente: una frmula bien
formada (planteada) de un lenguaje formal utilizada en una deduccin para llegar a
una conclusin.
POSTULADO
Un postulado es una proposicin no evidente por s misma, ni demostrada, pero que se
acepta, ya que no existe otro principio al que pueda ser referida.1
Si la proposicin se considera evidente y es aceptada sin demostracin previa, se
denomina axioma.2
Tambin se denomina postulado a los principios sustentados por una determinada persona,
un grupo o una organizacin.3
Por ejemplo, en filosofa y en psicologa los diversos enfoques o escuelas suelen diferenciarse
en una serie de proposiciones filosficas. A stas se les nombra postulados, que actan
como definiciones opcionales que delimitan una concepcin de cada disciplina (tipo de mtodo
que utiliza, objetivo de estudio, etctera).
As, los puntos de partida de la cognicin, la modificacin de conducta y Gestalt acerca de qu
son la mente, la personalidad y la conducta son distintos. A partir de estos postulados se
desarroll toda la teora.

PROPOSICION
Una proposicin es una cadena de signos expresados en un determinado lenguaje. En
un lenguaje natural, esos signos usualmente son sonidos o caracteres escritos, mientras que
un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que los lenguajes son
tipos de estructuras combinatorias que admitida mente pueden representar entidades de la
realidad, se admite que las proposiciones son cadenas de signos a las que es posible
emparejar con objetos reales. Es importante notar que lo que hace de una cadena de signos
una proposicin, es que sea interpretable (ya que existen por ejemplo cadenas de signos u
oraciones de un lenguaje que carecen de un referente o interpretacin bien definidos).
En ese sentido una proposicin puede entenderse como un producto lgico del pensamiento
humano que expresada mediante una lengua natural, aunque tambin existen lenguajes
formales (como la notacin matemtica). Una proposicin expresada en lenguaje natural
deber ser una oracin gramatical o como mnimo una oracin semnticamente no vaca,
mientras que una proposicin expresada en un lenguaje formal deber ser una cadena de
signos que constituya una frmula bien formada.
DEFINICION
Una proposicin es una cadena de signos expresados en un determinado lenguaje. En
un lenguaje natural, esos signos usualmente son sonidos o caracteres escritos, mientras que
un tipo de lenguaje formalizado pueden ser signos arbitrarios. Dado que los lenguajes son
tipos de estructuras combinatorias que admitidamente pueden representar entidades de la
realidad, se admite que las proposiciones son cadenas de signos a las que es posible
emparejar con objetos reales. Es importante notar que lo que hace de una cadena de signos
una proposicin, es que sea interpretable (ya que existen por ejemplo cadenas de signos u
oraciones de un lenguaje que carecen de un referente o interpretacin bien definidos).
En ese sentido una proposicin puede entenderse como un producto lgico del pensamiento
humano que expresada mediante una lengua natural, aunque tambin existen lenguajes
formales (como la notacin matemtica). Una proposicin expresada en lenguaje natural
deber ser una oracin gramatical o como mnimo una oracin semnticamente no vaca,
mientras que una proposicin expresada en un lenguaje formal deber ser una cadena de
signos que constituya una frmula bien formada.
SINTAXIS
La sintaxis es la parte de la gramtica que estudia las reglas y principios que gobiernan la
combinatoria de constituyentes sintcticos y la formacin de unidades superiores a estos,
como los sintagmas y las oraciones gramaticales. La sintaxis, por tanto, estudia las formas en
que se combinan las palabras, as como las relaciones
sintagmticas y paradigmticas existentes entre ellas. La sintaxis para Leonard Bloomfield, era
el estudio de formas libres compuestas completamente por formas libres. Central a esta
teora de la sintaxis eran las nociones de clases de forma (form classes) y estructura
constituyente. (Estas nociones eran tambin relevantes, aunque menos centrales, en la teora
de la morfologa). Bloomfield defini clases de forma ms bien de manera imprecisa, en
trminos de algn "rasgo fontico o gramtico reconocible comn y compartido por todos los
miembros".

SEMANTICA
El trmino semntica se refiere a los aspectos del significado, sentido o interpretacin de
signos lingsticos como smbolos, palabras, expresiones o representaciones formales. En
principio las expresiones del lenguaje formal o de una lengua natural admiten algn tipo de
correspondencia con situaciones o conjuntos de cosas que se encuentran en el mundo fsico o
abstracto que puede ser descrito por dicho medio de expresin.
La semntica puede estudiarse desde diferentes puntos de vista:

Semntica lingstica, trata de la codificacin y decodificacin de los contenidos

semnticos en las estructuras lingsticas. Estudia la estructura de las formas lxicas, la
estructura de las expresiones y su relacin con sus referentes, as como los mecanismos
mentales por los cuales los individuos atribuyen significados a las expresiones lingsticas.
 Semntica lgica, desarrolla una serie de problemas lgicos de significacin, estudia la
relacin entre el signo lingstico y la realidad. Las condiciones necesarias para que un
signo pueda aplicarse a un objeto, y las reglas que aseguran una significacin exacta.
Semntica en ciencias cognitivas, intenta explicar por qu nos comunicamos, y cul es
el mecanismo psquico que se establece entre hablante y oyente durante este proceso.

INFERENCIA

Una inferencia es una evaluacin que realiza la mente entre proposiciones. La inferencia es
la accin y efecto de inferir, en otras palabras, deducir algo, sacar una consecuencia de otra
cosa, conducir a un nuevo resultado. La inferencia nace a partir de una evaluacin mental
entre distintas expresiones, que al ser relacionadas como abstracciones, permiten trazar
una implicacin lgica.
En lgica formal, las inferencias son expresiones bien formadas (EBF) de un lenguaje
formal que, al ser relacionadas, permiten trazar una lnea lgica
de condicin o implicacinlgica entre las diferentes EBF. De esta forma, parte de lo
verdadero a lo falso: posible (como hiptesis) o conocida (como argumento) de alguna o
algunas de ellas, puede deducirse la verdad o falsedad de alguna o algunas de las otras EBF.
Surge as lo que conocemos como postulado1 o transformada de una expresin original
conforme a reglas previamente establecidas,2 que puede enmarcarse en uno o varios
contextos referenciales diversos,3 obtenindose en cada uno de ellos un significado
como valor de verdad de equivalente.456
La inferencia es la operacin lgica utilizada en los motores de inferencia de los sistemas
expertos.

PRAGMATICO
Pragmtico es relativo a la prctica o la realizacin de las acciones y no la
teora. Pragmtico es un trmino de origen griego "pragmatikus" y latn
"pragmaticu", que significa ser prctico.
Pragmtico es una disciplina que estudia el lenguaje en relacin al
contexto donde se desarrolla la idea, es decir, las oraciones producen una
acepcin semntica pero su significado e interpretacin depende del contenido y
del contexto lingstico ya que una misma oracin puede tener varios sentidos en
diferentes contextos. En el anlisis pragmtico se estudian varias variables como
la situacin, el contexto socio-cultural, las personas, el emisor, entre otros.
En el derecho, pragmtico es el jurista que estudia e interpreta las leyesde un
determinado pas.
 DEDUCTIVO

mtodo deductivo es un mtodo cientfico que considera que la

conclusin se halla implcita dentro las premisas. Esto quiere decir
que las conclusiones son una consecuencia necesaria de las premisas:
cuando las premisas resultan verdaderas y el razonamiento deductivo tiene
validez, no hay forma de que la conclusin no sea verdadera.
En lgica, un razonamiento deductivo es un argumento donde
la conclusin se infiere necesariamente de las premisas.1 En su definicin formal, una
deduccin es una secuenciafinita de frmulas, de las cuales la ltima es designada como la
conclusin (la conclusin de la deduccin), y todas las frmulas en la secuencia son, o
bien axiomas, o bien premisas, o bien inferencias directas a partir de frmulas previas en la
secuencia por medio de reglas de inferencia.1
INDUCTIVO

El propsito del razonamiento inductivo o lgica inductiva es el estudio de las pruebas que
permiten medir la probabilidad de los argumentos, as como de las reglas para construir
argumentos inductivos fuertes. A diferencia del razonamiento deductivo, en el razonamiento
inductivo no existe acuerdo sobre cundo considerar un argumento como vlido. De este
modo, se hace uso de la nocin de "fuerza inductiva", que hace referencia al grado de
probabilidad de que una conclusin sea verdadera cuando sus premisas son verdaderas. As,
un argumento inductivo es fuerte cuando es altamente improbable que su conclusin sea falsa
si las premisas son verdaderas1
Tradicionalmente se consideraba (y en muchos casos todava se considera) que
el razonamiento inductivo es una modalidad del razonamiento que consiste en
obtener conclusiones generales a partir de premisas que contienen datos particulares o
individuales. Por ejemplo, a partir de la observacin repetida de objetos o eventos de la misma
ndole se establece una conclusin general para todos los objetos o eventos de dicha
naturaleza.234

ANALOGIA
Analoga, del griego (ana reiteracin o comparacin y logos estudio), significa
comparacin o relacin entre varias cosas, razones o conceptos; comparar o relacionar dos o
ms seres u objetos a travs de la razn; sealando caractersticas generales y particulares
comunes que permiten justificar la existencia de una propiedad en uno, a partir de la
existencia de dicha propiedad en los otros.1
En el aspecto lgico, permite comparar un objeto con otros, en sus semejanzas y en sus
diferencias.2 Una analoga permite la deduccin de un trmino desconocido a partir del
anlisis de la relacin que se establece entre dos trminos de ella conocidos.
La analoga posibilita una va inductiva de argumentar. Nos permite intentar representar un
pensamiento o experiencia respecto a un objeto a travs de una comparacin de distintas
dinmicas o situaciones; dando a entender que stas comparten similitudes.
 ABDUCTIVO
Un razonamiento abductivo (del latn abdcti y esta palabra de ab, desde lejos, y dcere,
llevar) es un tipo de razonamiento que a partir de la descripcin de
un hecho o fenmeno ofrece o llega a una hiptesis, la cual explica las posibles razones o
motivos del hecho mediante las premisas obtenidas. Charles Sanders Peirce la llama
una conjetura.1 Esa conjetura busca ser, a primera vista, la mejor explicacin, o la
ms probable.
Aristteles investig los razonamientos abductivos en sus Primeros analticos (II, 25). Segn
Aristteles, los razonamientos abductivos son silogismos en donde las premisas slo brindan
cierto grado de probabilidad a la conclusin.2
Segn Peirce, la abduccin es algo ms que un silogismo: es una de las formas de
razonamiento junto a la deduccin y la induccin.
LENGUAJE NATURAL
En la filosofa del lenguaje, el lenguaje natural es la lengua o idioma hablado o escrito por
humanos para propsitos generales de comunicacin. Son aquellas lenguas que han sido
generadas espontneamente en un grupo de hablantes con propsito de comunicarse, a
diferencia de otras lenguas, como puedan ser una lengua construida, los lenguajes de
programacin o los lenguajes formales usados en el estudio de la lgica formal, especialmente
la lgica matemtica.
El trmino lenguaje convencional se refiere al estudio de las propiedades computacionales y
de otro tipo implicadas en la comprensin, produccin y uso de las lenguas naturales.

FALACIA
una falacia es una mentira o engao con el que se pretende daar a
una persona sin que sta se d cuenta. Una persona que descubre que ha sido vctima de una
falacia puede expresar, por ejemplo: La falacia de su empleo me hizo vivir
engaada durante muchos aos, Pablo est siempre con sus falacias,
tratando de estafar a la gente. Una persona utiliza una falacia para obtener algo que
sabe no podra conseguir de otro modo que no sea a travs de la apelacin a la falsedad,
generalmente su intencin no es precisamente daar, sino obtener un beneficio, pero no le
preocupa herir a otros para conseguir lo que desea.

IDEA

idea es una representacin mental que surge a partir del razonamiento o

de la imaginacin de una persona. Est considerada como el acto ms bsico
del entendimiento, al contemplar la mera accin de conocer algo.
*Unaidea fija es una obsesin o un pensamiento recurrente del que
una persona parece no poder escapar: Ser futbolista profesional era una
idea fija durante mi adolescencia, El Dr. Filumerry mantiene su idea fija
de cerrar el laboratorio a partir de marzo.
 JUICIO
El juicio que proviene del latn iudicium es una discusin judicial y actual entre partes, y
sometido al conocimiento de un tribunal de justicia.
Esto presupone la existencia de una controversia o conflicto de inters, es decir, la
sustentacin de derechos e intereses contradictorios o contrapuestos a lo defendido por la
parte contraria, y que la perjudican.
El trmino juicio, que proviene del latn iudicum, tiene diversos usos. Se trata, por ejemplo, de
la facultad del alma que permite distinguir entre el bien y el mal o entre lo verdadero y lo falso.
El juicio es, por otra parte, una opinin, un dictamen o un parecer. El juicio est formado por
un sujeto (el concepto de objeto del juicio), un predicado (el concepto que se aplica al sujeto) y
la cpula (lo que establece si lo pensado es propio o no del objeto del juicio). El ser humano
es malo es un ejemplo de juicio, donde ser humano es el sujeto, malo es el predicado y
es la cpula.

RACIOCINIO
El raciocinio es un concepto que se vincula a la capacidad de raciocinar y a sus efectos.
El verbo raciocinar, por su parte, consiste en la utilizacin de la razn para producir
conocimientos y establecer un juicio.Lo primero que hay que conocer, antes de entrar de lleno en
el establecimiento del significado del trmino raciocinio, es el origen etimolgico del mismo. Y eso
nos lleva hasta el latn, pues deriva de la palabra ratiocinium y ratiocinari. Un verbo este
ltimo que puede traducirse como razonar.

RAZONAMIENTO
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver
problemas, extraer conclusiones y aprender de manera consciente de los hechos,
estableciendo conexiones causales y lgicas necesarias entre ellos. En sentido ms
restringido se puede hablar de diferentes tipos de razonamiento:

El razonamiento argumentativo en tanto actividad mental se corresponde con la

actividad lingstica de argumentar. En otras palabras, un argumento es la expresin
lingstica de un razonamiento.
El razonamiento lgico o causal es un proceso de lgica mediante el cual, partiendo de
uno o ms juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El
estudio de los argumentos corresponde a la lgica, de modo que a ella tambin le
corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que
se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos,
postulados como hiptesis.1 Es posible distinguir entre varios tipos de razonamiento
lgico. Por ejemplo el razonamiento deductivo (estrictamente lgico), el razonamiento
inductivo (donde interviene la probabilidad y la formulacin de conjeturas) y razonamiento
abductivo, entre otros.
 CONTEXTOS
El trmino contexto (del latn: contextus; conocido tambin como contexto material y
contexto abstracto o simblico), es el conjunto de circunstancias (materiales o abstractas) que
se producen alrededor de un hecho, o evento dado, que estn fiablemente comprobadas;1 en
los testimonios de personas de reputacin comprobada por medio de
la voz humana, mensaje hablado, escrito, grafas antiguas, manuscritos antiguos,
en piedra, cartas, documentos, libros de
historia, peridicos, internet, tv, radio, medios audiovisuales modernos u otros, y transmitidas,

SUPUESTOS
Un supuesto es un dato asumido como cierto a efectos de la
planificacin del proyecto. Imaginemos por ejemplo que estamos
implementando un sistema en una organizacin cliente y nosotros
somos los consultores. Podemos afirmar Asumimos que los futuros
usuarios del sistema conocen Windows.
SUPOSICION
Suposicin es la realizacin de conjeturas sobre alguna cosa (hechos, causas que los han
originado, entre otras), que se realizan con base en indicios o analogas frente a hechos o
causas similares.
La suposicin puede llegar a ser confundida con la hiptesis, que en trminos epistemolgicos
- hiptesis (mtodo cientfico)- es un paso posterior: la conclusin provisional que se ha
obtenido como consecuencia de la observacin y precede a la experimentacin.
Los supuestos previos a un razonamiento son las premisas. Si son en los que se basa toda
una ciencia son los axiomas.
Existe un uso estereotipado del trmino "supuesto", para indicar la sospecha, o al menos
la posibilidad de que lo que se va a aadir a continuacin no sea cierto o sea impropio decirlo;
equivalente al uso estereotipado del trmino "presunto" como salvaguardia jurdica
(presuncin).

LENGUAJE FORMAL

En matemticas, lgica y ciencias de la computacin, un lenguaje formal es

un lenguaje cuyos smbolos primitivos y reglas para unir esos smbolos estn formalmente
especificados.12 Al conjunto de los smbolos primitivos se le llama el alfabeto (o vocabulario)
del lenguaje, y al conjunto de las reglas se lo llama la gramtica formal (o sintaxis). A una
cadena de smbolos formada de acuerdo a la gramtica se la llama una frmula bien
formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idntico al
conjunto de todas sus frmulas bien formadas. A diferencia de lo que ocurre con el alfabeto
(que debe ser un conjunto finito) y con cada frmula bien formada (que debe tener una
longitud tambin finita), un lenguaje formal puede estar compuesto por un nmero infinito de
frmulas bien formadas