Pensamiento científico - Logica.

Ciencias clasificación habitual como referencia el objeto de estudio

Ideales
Ciencias formales estudian Sin tiempo ni espacio
Matemática y lógica: tiene números, con fijeza inmutabilidad y exactitud. Mediante razonamientos lógico, llegan a conclusiones indudables e irrefutables.
Método de estudio: demostración deductiva a partir de axiomas.

Axiomas: principios evidentes indemostrables de la secuencia deductiva. Son verdades indiscutibles.
Razonamiento deductivo: se siguen los pasos correctamente, la verdad de los axiomas de extiende a todo lo Derevidados de ella.
Premisas conclusión validez
Premisas conclusión invalidez

Ciencias fácticas
• objeto de estudio son los hechos naturales y sociales, que son inmutables e imperfectos.
• Su punto de partida son los razonamientos, hipótesis previstas y tentativas.
• Se verifican con muchas métodos (validos e inválidos) y de experimentación.
• Sus conclusiones son sujetas a procesos de revisión y critica.

En la modernidad : se le otorga prestigio a las ciencias formales. Se fortalecen los supuestos y valores de la clasificación de las ciencias.
Gracias el gran desarrollo experimental, se muestran insuficientes para garantizar la objetividad en los resultados.
Justificación lógica: objetividad: expresión matemática, cumpliendo con eso, se presentan leyes universales.






El caracter formal de la lógica
Lógica: disciplina encargada de estudiar los principios, para la distinción de los mecanismos correctos e incorrectos de derivación de proposiciones.
• Es un ciencia formal, ciencia universal.
• Focaliza su atención en el esquema o esqueleto del orden y estructura
• Lenguaje artificial
• Estudia las relaciones necesarias de implicación entre proposiciones
Objeto de estudio:
• No tiene tiempo ni espacio
• Propiedad de perfección e inmutabilidad
• Análisis lingüístico
La lógica-los símbolos:
• La lógica usa símbolos abstractos, estos se dividen en:
o Símbolos constantes: son los que tiene fijo dentro del lenguaje(=;+)
o Símbolos variables: estos tienen sentido cambiante, según el contexto en que se usan. (X;Y)
• Reglas explicitas: están establecen el uso de términos y transformaciones de fórmulas y enunciados.

Estructuras lógicas fundamentales:
• Termino:
• Palabra o conjunto de palabras
• Estructura lógica más elemental
• Es la estructura que se utiliza para nombrar o designar algo
• No describen
• No afirman ni niegan
• Existente o no existente
Tipos de relación palabra termino:
• Muchas palabras=termino igual=“red, rojo”
• Un signo o palabra=muchos términos=”vela”
• Un término=varias palabras=”el planeta más cercano del sol (mercurio)”
Tipos de términos:
• Términos lógicos: solo tiene significado en el contexto de la estructura lógica que integran. Ejemplo: algunos, todos.
• Términos no-lógicos: tiene significado independientemente dentro de lenguaje. Ejemplo: nombres propios
• Algunos términos tiene denotado: el contexto de espacio tiempo.



• Proposiciones:
• Articulación de términos
• Sujeto predicado: uno se predica del otro, del dice del otro.
• Una pregunta, una orden, no es una proposición.
Características de una proposición:
• Identidad: “mismidad” es idéntico, solo a sí mismo. Si es verdad, excluye lo falso.
• No contradicción: No puede ser las dos.
• Excluido: no hay una tercera posibilidad
También puede ser una Pseudo proposición: no se puede comprobar lo que es verdadero o falso.
Serán verdaderas; si la información que transmiten corresponde con los hechos del mundo que describe.
Serán falsas: si no existe coincidencia.
Tipos de proposición:
• Analíticas: sujeto=predicado. Los dos dicen lo mismo.
o Conceptos ambiguos
o Se autoafirma, con otra palabra
o Tienen universalidad: todo lo que no se puede pensar (imaginar) de otro modo.
o Tiene independencia: de la experiencia (no importa).
• Sintéticas: sujeto/predicado. Uno dice algo y otro lo complementa con otro tipo de información.
o Es particular: en un valor de cada caso.
o Contingente: porque puede ser de otro modo. Te lo podes imaginar de diferente forma.


• Razonamiento:
• Articulación de proposiciones.
• Relaciones de inferencia, de las cuales las proposiciones en premisas y una de ella es una conclusión.
En el razonamiento hay dos tipos:
• Deductivo: Lleva de las premisas a la conclusión. La conclusión se deduce lógicamente. En la conclusión no se dice nada mas de información, sino que repite lo mismo de las premisas.
• Inductivo: siempre son invalidas, no garantizan la verdad de nada. Su conclusión tiene cierta probabilidad. Se conservan las premisas pero se generaliza en la conclusión. Ósea a partir de las premisas parecidas, se propone una con conclusión universal.

R. deductivo premisas verdad conclusión verdad.
Lauti es hombre. Los hombres son mortales. Lauti es mortal.
R. Inductivo Premisas verdad conclusión invalida, generalizada.
X rojo y rojo Entonces todos son rojo.
Estructuras lógicas:
Proposición: P
Q=proposición diferente a P
P=Q Hoy es miércoles(P) = Hoy hay clases(Q)
Conjunción: es V solo cuando se cumplen ambas proposiciones. En todos los demás casos son falsas.
P . Q
V V V
V F F
F F V
F F F
[y=.]
Hoy es miércoles y hay clases
P=Es miércoles Q=Hay clases

P . Q
Es miércoles V Hay clases
Es miércoles F No hay clases
No es miércoles F Hay clases
No es miércoles F No hay clases






Disyunción excluida: es falsa solamente cuando ambas proposiciones son falsas y cuando ambas son verdades. Se excluye una.
[w= o, o uno o lo otro(pero no ambos)]
P W Q
V F V
V V F
F V V
F F F



Donde naciste? En Bs As o en EEUU
P=Bs As Q=EEUU

P W Q
Bs As F EEUU
Bs As V No EEUU
No Bs As V EEUU
No Bs As F No EEUU




Disyunción inclusiva: se cumple cuando por lo menos se da uno de los casos.
[v=o]
Se necesita el titulo o el documento
P=titulo Q=Documento

P W Q
Documento V Titulo
Documento V No titulo
No documento V Titulo
No documento F No titulo
P V Q
V V V
V V F
F V V
F F F






Condicional: Es falsa solo cuando el antecedente es verdadero y el consecuente es falso. En los demás casos es verdadera.
[ =entonces]
Si toma veneno entonces se muere
P=si toma veneno Q=se muere

P Q
Si toma veneno V Se muere
Si toma veneno V No se muere
No toma veneno F Se muere
No toma veneno V No se muere
P Q
V V V
V V F
F F V
F V F