Percepcion interpersonal

5 Silogismo es un argumento que consta de tres proposiciones, de ellas, la ultima se deduce necesariamente de las otras dos.
6 El sorites es un recurso estilístico usado habitualmente en la retórica. Se trata de un razonamiento resultado de la concatenación de varios enunciados verdaderos, siendo el sujeto de cada uno el predicado del anterior.
Partiendo de unas premisas verdaderas se puedeir introduciendo retórica, fácil y gradualmente una falsedad, en cuanto se falte a alguna regla silogística de forma capciosa.
Su nombre viene de la paradoja de sorites.
7 Un sistema formal o un sistema axiomático es un artificio matemático compuesto de símbolos que se unen entre sí formando cadenas que a su vez pueden ser manipuladas según reglas para producir otras cadenas. De esta manera, elsistema formal es capaz de representar cierto aspecto de la realidad.
En las ciencias formales de la lógica y las matemáticas, así como en otras disciplinas relacionadas, como son la informática, la teoría de la información, y la estadística, un ‘’sistema formal’’ es una gramática formal usada para la modelización de diferentes propósitos. Llamamos ‘’formalización’’ al acto de crear un sistemaformal, y se trata de una acción con la que pretendemos capturar y abstraer la esencia de determinadas características del mundo real, en un modelo conceptual expresado en un determinado lenguaje formal
En matemáticas, las pruebas formales son el resultado de sistemas formales, consistentes en axiomas y reglas de deducción. Los teoremas pueden ser obtenidos por medio de pruebas formales. Este puntode vista de las matemáticas ha sido denominado formalista; aunque en muchas ocasiones este término conlleva una acepción peyorativa. En ese sentido David Hilbert creó la disciplina denominada metamatemática dedicada al estudio de los sistemas formales, entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era distinto del lenguaje del sistema formal que se pretendía estudiar.Con otra denominación, el metalenguaje o lenguaje obtenido mediante la gramática formal se llama también, en ocasiones, lenguaje objeto.
Un sistema así es la reducción de un lenguaje formalizado a meros símbolos, lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje reducido a mera forma que se expresa mediante fórmulas que reflejan las relaciones sintácticas entre lossímbolos y las reglas de formación y transformación que permiten construir las fórmulas del sistema y pasar de una fórmula a otra.
El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas cadenas válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas de producción que convierten una cadena en otra. Hay ciertos teoremas iniciales que no se obtienen deninguna regla, éstos son los axiomas que se suponen válidos por definición y se convierten en el germen de producción de teoremas.
8 El sistema axiomático MIU
El sistema axiomatico MIU esta tomado del libro:
"Godel, Escher y Bach: un Eterno y Gracil Bucle", Douglas R. Hofstadter. Tusquets editores.
El sistema es utilizado por el autor para explicar los sistemas formales planteando al lectorVarios juegos y acertijos sobre él. El lenguaje sobre el que del sistema axiomático es el lenguaje universal sobre el alfabero <>{M, I,U<>}.
Axioma: MI
Reglas de inferencia: Son cuatro (esquemas de) reglas de inferencia:
R1 De αI se deriva αIU
R2 De Mα se deriva Mαα
R3 De αIIIβ se deriva αUβ
R4 De αUUβ se deriva αβ
Las variables α y β representan cadenas de símbolosProposición 1 Si A es un teorema de MIU, entonces A = Mα siendo α una cadena que no
incluye el sνmbolo M.
Teorema 2 Décimos que la aplicación I : MIU . N como sigue: .(M) = 0, .(I) = 1, .(U) = 3,
.(s1 . . . sn) = .(s1) +...+ .(sn). Sea A = Mα en donde α es una cadena que no incluye el
símbolo M; entonces A es teorema si y solo si .(A) no es múltiplo de 3.
Condición necesaria en el teorema 2...