METODO CIENTIFICO, SILOGISMOS CATEGORICOS, ARGUMENTOS VALIDOS E INVALIDOS

El método científico consiste en el conjunto de procedimientos para obtener un conocimiento que sea universal y, en principio, reproducible por cualquiera.

Desde los inicios de la Modernidad, el conocimiento científico en las ciencias naturales y exactas ha estado ligado a la observación sistemática y a la formulación de dicha observación mediante ecuaciones matemáticas, la llamada matematización de la ciencia, que garantiza tanto su explicación como su factibilidad.

Silogismos categóricos
Un silogismo es un argumento deductivo en el que se infiere una conclusión a partir de dos premisas. Un silogismo categórico es un argumento deductivo consistente en tres proposiciones categóricas que contienen exactamente tres términos, cada uno de los cuales solo aparece en dos de las proposiciones que lo constituyen. Dos de las proposiciones reciben el nombre de premisas y la otra se llama conclusión. Ejemplo:

Ningún héroe es cobarde.

Algunos soldados son cobardes.

Por lo tanto, algunos soldados no son héroes.

Argumento Valido
Un argumento que sigue una regla bien establecida se dice que es válido; los argumentos se juzgan como aceptables o inaceptables en la medida en que sean válidos.

Argumento Inválido
Un argumento se prueba inválido mostrando que por lo menos en un renglón de su tabla de verdad todas las premisas son verdaderas pero su conclusión es falsa.

TIPOS DE PROPOSICIONES

CONJUNCION

Cuando dos proposiciones simples se combinan mediante la palabra y, la proposición compuesta resultante se le llama conjunción. Para la conjunción se usa el símbolo lógico ^.De esta manera, se tiene que la nueva proposición p ^ q se llama conjunción de p y q.

DISYUNCION

Se emplea la palabra o en el sentido inclusivo, como el término y/o. Entonces una proposición del tipo «p o q» se toma siempre como «p o q o ambas». Dado esto admitimos la frase compuesta como una proposición. Simbólicamente se denota escribiendo p v q.

NEGACION

Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: «Es falso que» antes de p. Simbólicamente se denota a la negación por ~p.

CONDICIONAL

En matemáticas se suele utilizar muy frecuentemente la proposición «Si p, entonces q». Tales proposiciones se llaman condicionales y se le denota por:

p --> q

El condicional p --> q también se puede expresar de las siguientes maneras:

a. p implica q.

b. p solamente si q.

c. p es suficiente para q.

d. q es necesario para p.

BICONDICIONAL

Otro tipo de proposición que se presenta con frecuencia es de la forma «p si, y solamente si, q» que se suele abreviar «p si q».

A este conectivo lógico especial lo llamamos condicional y se denota por el símbolo <-->, entonces p <--> q