Hermenutica Jurdica

(Teoria da Argumentao)
Prof: Renato M. Pisciotta
5 DIR
LGICA SIMBLICA
A) Contexto (sc XIX):
- o matemtico George Boole retoma de Leibniz a idia da matemtica como uma
linguagem universal;
- Gottlob FREGE: cria a lgica simblica como resposta ao "psicologismo" de
considerar os conceitos lgicos como contedos mentais (Kant);
- a criao da lgica simblica revoluciona a lgica da mesma forma que os nmeros
arbicos so mais fceis de operar que os nmeros romanos.
1) Conjuno (p.q)
Ex: "a validade do ato jurdico pressupe agente capaz e objeto lcito"
2) Negao (~p)
Ex: "a validade do ato jurdico no pressupe agente capaz"
3) Disjuno (p v q)
Ex: "para vencer na vida necessrio sorte ou competncia"
4) Implicao ( p --> q)
Ex: Se a gua aquecida a cem graus Celsius, ento ela evapora
Bibliografia:
COELHO, Fabio Ulhoa. Roteiro de Lgica Jurdica. SP: Saraiva, 2001
DELACAMPAGNE, Christian. Histria da Filosofia no sculo XX. RJ: Jorge Zahar
Editor, 1997