Logica Proposicional
Publicado por Sebastian Samaruga (1 intervención) el 10/08/2007 21:34:08
Algunos pensamientos al respecto de la logica proposicional:
Definiendo tres clases de cualidades que una entidad puede tener, y, teniendo en cuenta que un verbo denota acción, pasion o estado, tendríamos que:
SER : ser de un Tipo (Accion y pasion)
TENER : tener un Atributo (Accion y estado)
ESTAR : estar en un estado o Propiedad (Pasion y estado)
Utilizaríamos estos tres verbos en sus diferentes conjugaciones como cópula de una proposición.
Siendo Propiedad (estar) la clase de Tipo (ser), Atributo (tener) la clase de una Propiedad, y Tipo la clase de un Atributo, tendríamos el siguiente orden cíclico:
Tipo > Atributo, y,
Atributo > Propiedad, y,
Propiedad > Tipo
También podemos considerar el siguiente orden, no cíclico de:
Tipoc > Atributo > Propiedad
Podemos decir que un Tipo (Nombre, sustantivo abstracto) tiene Atributos (Nombre y Valor, sustantivos concretos), y un Atributo tiene Propiedades (Valores, adjetivos).
Entonces, por ejemplo, podemos hacer las siguientes proposiciones/inferencias simples utilizando el primer orden cíclico:
Juan es un Hombre (Tipo),
Juan tiene esposa (Atributo),
Juan está casado (Propiedad)
:: Juan es Marido (Tipo nuevamente).
Al promover el tipo inicial de Juan (Hombre) a Marido, de manera inversa podemos inferir:
Juan es Marido,
Juan está casado,
Juan tiene una esposa,
:: Juan es un Hombre.
Otro ejemplo, usando el segundo orden no cíclico, podría ser:
Juan es Empleado de Pedro,
Juan tiene empleo de Pedro,
Pedro está empleando a Juan,
: Juan es empleado de Pedro.
Considerando la clase de un Tipo (una Propiedad) y la instancia de ese tipo como selectores, tendríamos una serie de posibles clases e instancias de Atributos para asignar a la primera proposicion (verbo ser). Lo mismo con clase/instancia de Tipo y clase/instancia de Atributo para una lista de Propiedades a inferir.
Saludos,
Sebastian
Definiendo tres clases de cualidades que una entidad puede tener, y, teniendo en cuenta que un verbo denota acción, pasion o estado, tendríamos que:
SER : ser de un Tipo (Accion y pasion)
TENER : tener un Atributo (Accion y estado)
ESTAR : estar en un estado o Propiedad (Pasion y estado)
Utilizaríamos estos tres verbos en sus diferentes conjugaciones como cópula de una proposición.
Siendo Propiedad (estar) la clase de Tipo (ser), Atributo (tener) la clase de una Propiedad, y Tipo la clase de un Atributo, tendríamos el siguiente orden cíclico:
Tipo > Atributo, y,
Atributo > Propiedad, y,
Propiedad > Tipo
También podemos considerar el siguiente orden, no cíclico de:
Tipoc > Atributo > Propiedad
Podemos decir que un Tipo (Nombre, sustantivo abstracto) tiene Atributos (Nombre y Valor, sustantivos concretos), y un Atributo tiene Propiedades (Valores, adjetivos).
Entonces, por ejemplo, podemos hacer las siguientes proposiciones/inferencias simples utilizando el primer orden cíclico:
Juan es un Hombre (Tipo),
Juan tiene esposa (Atributo),
Juan está casado (Propiedad)
:: Juan es Marido (Tipo nuevamente).
Al promover el tipo inicial de Juan (Hombre) a Marido, de manera inversa podemos inferir:
Juan es Marido,
Juan está casado,
Juan tiene una esposa,
:: Juan es un Hombre.
Otro ejemplo, usando el segundo orden no cíclico, podría ser:
Juan es Empleado de Pedro,
Juan tiene empleo de Pedro,
Pedro está empleando a Juan,
: Juan es empleado de Pedro.
Considerando la clase de un Tipo (una Propiedad) y la instancia de ese tipo como selectores, tendríamos una serie de posibles clases e instancias de Atributos para asignar a la primera proposicion (verbo ser). Lo mismo con clase/instancia de Tipo y clase/instancia de Atributo para una lista de Propiedades a inferir.
Saludos,
Sebastian
Valora esta pregunta
0