Definicion De Argumento

En lógica, un argumento se define como un conjunto de premisas seguidas por una conclusión.3 Un argumento puede ser sólido, (válido y con premisas verdaderas) o ser persuasivo de alguna otra manera.4 Sin embargo, un argumento no necesita ser sólido o persuasivo para ser un argumento. Ejemplos de argumentos deductivamente válidos son los siguientes:

1.Si está soleado, entonces es de día.

2.Está soleado.

3.Por lo tanto, es de día.

1.Si no es martes, entonces es lunes.

2.No es martes.

3.Por lo tanto, es lunes.

1.Todos los planetas giran alrededor del Sol.

2.Marte es un planeta.

3.Por lo tanto, Marte gira alrededor del Sol.

Nótese que para que un argumento sea deductivamente válido, no es necesario que las premisas o la conclusión sean verdaderas. Sólo se requiere que la conclusión sea una consecuencia lógica de las premisas. La lógica formal establece únicamente una relación condicional entre las premisas y la conclusión. Esto es: que si las premisas son verdaderas, entonces la conclusión también lo es (esta es la caracterización semántica de la noción de consecuencia lógica); o alternativamente: que la conclusión sea deducible de las premisas conforme a las reglas de un sistema lógico (esta es la caracterización sintáctica de la noción de consecuencia lógica). Si un argumento, además de ser válido, tiene premisas verdaderas, entonces se dice que es sólido.

En un lenguaje formal, un argumento se define como una secuencia ordenada de fórmulas, donde la última es designada como la conclusión, y las demás como las premisas. Y donde cada fórmula (proposición formal) es derivable de dos o más fórmulas precedentes por medio de una regla de inferencia bien definida. Así una demostración matemática usualmente es formulable como un argumento en que las primeras fórmulas son siempre axiomas y el resto son fórmulas deducidas (teoremas) a partir de fórmulas anteriores en la secuencia que constituye el argumento.

La ciencia[editar]

El ejemplo más típico y puro de argumento y forma de argumentar es el discurso de la ciencia, y su lenguaje la oración enunciativa como descripción, definición y "argumentación"; el discurso se estructura conforme a una teoría y un esquema de relaciones lógicas; el ideal de dichas relaciones lógicas son las relaciones lógico-matemáticas, cuando es posible.

En aspectos parciales, se expresa a través de lenguaje formalizado y simbolizado como un cálculo lógico o matemático, reducidas sus expresiones lingüísticas a proposiciones simbolizadas en un sistema lógico o matemático. Tal aplicación es fundamental en la utilización de la informática.

Resolución de problemas[editar]

Si el discurso pretende establecer como verdad una expresión determinada del sistema partiendo

...