Un Titulo Re Descriptivo

APORTES PARA LA REALIZACION DE LOS EJERCICIOS SOBRE LOGICA PROPOSCIONAL

DE CLARA SMITH

CATEDRA III INTRODUCCION AL DERECHO

A propuesta de la profesora Titular de la Cátedra se porponen estasideas sobre el tema:



Motivación: lograr un lenguaje preciso para capturar y hacer cálculos con conceptos normativos.
Núcleo de toda lógica: lógica proposicional. Von Wright la va a iraumentando con los operadores T, d , f y luego O y P,
para capturar transiciones de estados, acciones, abstenciones, obligaciones y permisos respectivamente.

Lógica proposicional: las letrasproposicionales representan estados del mundo. Cálculo clásico con letras y conectivos en el sentido usual.
Los estados del mundo tiene un valor de verdad, V ó F y no hay otra posibilidad.
 
Lógica de cambiosde estado: introduce el operador T donde pTq significa "el mundo p se transforma en el mundo q".
Von Wright da las transformaciones de estado elementales para un solo estado p, y luego definetransformaciones que involucran dos estados (p y q).
La letra después de la T representa el estado final en que queda el mundo luego de la transición. Es el resultado de la transición.
Lógica de la acción:agente: es una entidad natural o artificial que interviene en el curso de la naturaleza.
acción: es la intervención de un agente en el curso de la naturaleza.
acto: se corresponde con un cambio enel mundo. El resultado del acto es el cambio que corresponde a ese acto.
Von Wright introduce el operador d (por el inglés does) para representar por ejemplo d(~pTp), que se lee "se hace latransición de ~p a p.".
Von wrigth pretende una diferencia conceptual entre consecuencia y resultado pero luego no los diferencia al manipularlos en su cálculo.
Von Wright define los 4 tipos de actoelementales para un estado de cosas elemental.
Los actos se relacionan con sucesos (más bien puntuales), y las actividades con procesos (duraderos en el tiempo).
Después, desde el p de v lógico actos y...