Texto na área do Direito com termos lógicos

[Adolfo Neto]

http://www.conjur.com.br/2017-jun-22/senso-incomum-exoticas-teorias-usadas-mpf-seriam-chumbadas-cnmp2

​Com medo que a discussão entre em questões políticas (não é minha intenção -- e se os moderadores acharem que o risco é muito alto peço que excluam esta mensagem), compartilho este texto que, entre outros termos, menciona:

- Probabilismo (Bayesianismo)

- Explanacionismo

- Paradoxo das conjunções

- Lógica Abdutiva (de Charles Sanders Pierce)

Os usos no texto que o autor cita fazem sentido?

Abs,

Adolfo

​

--

==================================================================
Adolfo Neto

Assistant Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Twitter: http://twitter.com/adolfont
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[Marcelo Finger]

Adolfo.

Favor informar ao Sr Lenio Luiz Streck que o tribunal, na busca de
provas, se utiliza de perícia e de peritos, os quais se utilizam do
Teorema de Bayes e de Abdução (explanacionismo), basicamente, o tempo
todo. Ou seja, se estas teorias não são usadas diretamente no
argumento jurídico, elas são aceitas indiretamente no acolhimento de
provas periciais.

Tratar esse conceitos como exóticos, como o texto parece os
classificar, é ser falacioso. Essas teorias são o feijão com arroz da
inferência com bases em estatística.

[]s

> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUPcLZ%3DEW1Q%2Boem3TnTfBU3A8qtBmt_iM6sJOr3ZD86wQ%40mail.gmail.com.



--
Marcelo Finger
Departament of Computer Science, IME
University of Sao Paulo
http://www.ime.usp.br/~mfinger

[Adolfo Neto]

Interessante, Marcelo.

Os trechos do texto original, para quem quiser ler sem os comentários do Lenio Streck, estão nas páginas 58 e 59 deste PDF

http://s.conjur.com.br/dl/mpf-lula-multa-87-milhoes.pdf

Abs,

Adolfo

> um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUPcLZ%3DEW1Q%2Boem3TnTfBU3A8qtBmt_iM6sJOr3ZD86wQ%40mail.gmail.com.

--
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1SYk%3Dj6wCDodx2f0EqqDyDv2_%3Du63KXeB%2Bsg6W3z75Jw%40mail.gmail.com.

--

==================================================================
Adolfo Neto

Assistant Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo

[Joao Marcos]

Brilhante. Eu já conhecia bem a dificuldade que nossos luminares da
área do "Direito e/ou teoria da prova" têm com manipulações de
"exotismos" como frações que precisam ser somadas... Agora aprendi
que o teorema de Bayes é uma forma de "experimentalismo" e que há um
certo "sistema de Hilbert" que trata de probabilidade abdutiva, e de
quebra encontrei mais uma aplicação para a "teoria da incompletude de
Gödel"!

Enquanto isso, nos autos do processo do MPF (de autoria do Procurador
da República Dellagnol, aquele gênio do PowerPoint) criticado pelo
Streck a referência citada para "estudos profundos" sobre "as lógicas
das provas" é um livro do próprio excelentíssimo Procurador. Para os
mais corajosos, o índice deste livro (que teria sido escrito pelo
autor durante seus "estudos em Harvard") está aqui:
http://www.livrariadoadvogado.com.br/public/sum/857348975.pdf
(ali descobri que a sigla IME pode ter um significado bem diferente do
que eu imaginava)

JM

> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1SYk%3Dj6wCDodx2f0EqqDyDv2_%3Du63KXeB%2Bsg6W3z75Jw%40mail.gmail.com.



--

http://sequiturquodlibet.googlepages.com/

[Adolfo Neto]

O Walter Carnielli ainda lê as mensagens da lista?

Lembro que quando eu estava no CLE-UNICAMP (passei uma parte do meu Doutorado frequentando o CLE, tanto fazendo disciplinas quanto participando dos seminários) aconteceu uma palestra de um aluno que (aqui minha memória pode falhar, mas acho que ele fez Mestrado orientado pelo Walter) era formado em Direito. A conclusão da palestra dele foi algo como: Direito usa lógica, mas não com muita precisão.

>> um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUPcLZ%3DEW1Q%2Boem3TnTfBU3A8qtBmt_iM6sJOr3ZD86wQ%40mail.gmail.com.
>
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1SYk%3Dj6wCDodx2f0EqqDyDv2_%3Du63KXeB%2Bsg6W3z75Jw%40mail.gmail.com.

--
http://sequiturquodlibet.googlepages.com/

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVOUMJvbhmZ1BiaRBWzuT6QtJKerfqjLzJpZ3JN-FpKg%40mail.gmail.com.

--

==================================================================
Adolfo Neto

Assistant Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo

[Adolfo Neto]

Um texto sobre o livro do Deltan Dallagnol.

O livro mesmo é bem caro (entre 98 e 130 reais). Não me animo a comprar.

http://politica.estadao.com.br/noticias/geral,em-livro-deltan-dallagnol-contraria-tese-de-carmen-lucia,70001653480

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Acesse esse grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUPcLZ%3DEW1Q%2Boem3TnTfBU3A8qtBmt_iM6sJOr3ZD86wQ%40mail.gmail.com.
>
>
>
> --
>  Marcelo Finger
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1SYk%3Dj6wCDodx2f0EqqDyDv2_%3Du63KXeB%2Bsg6W3z75Jw%40mail.gmail.com.

--
http://sequiturquodlibet.googlepages.com/

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVOUMJvbhmZ1BiaRBWzuT6QtJKerfqjLzJpZ3JN-FpKg%40mail.gmail.com.

--

==================================================================
Adolfo Neto

Assistant Professor - Federal University of Technology, Paraná

Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==================================================================

[Walter Carnielli]

Ola Adolfo,

com risco de ser considerado "off topic", respondo aqui:
Sim, leio todas a mensagem e escrevo bastante -
parece que você lê menos que eu :-)

Esse rapaz é o Fabrício Gomes, que fez o mestrado comigo e agora
doutorou-se em Direito na USP, com um trabalho (sério, não é nenhum
dessas referido há pouco) sobre Lógica e Direito.

Abraços,

Walter

Em 23 de junho de 2017 19:06, Adolfo Neto <adolf...@gmail.com> escreveu:

>> >> um e-mail para logica-l+u...@dimap.ufrn.br.

>> >> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> >> Acesse esse grupo em
>> >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> >> Para ver essa discussão na Web, acesse
>> >>
>> >> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUPcLZ%3DEW1Q%2Boem3TnTfBU3A8qtBmt_iM6sJOr3ZD86wQ%40mail.gmail.com.
>> >
>> >
>> >
>> > --
>> > Marcelo Finger
>> > Departament of Computer Science, IME
>> > University of Sao Paulo
>> > http://www.ime.usp.br/~mfinger
>> >
>> > --
>> > Você está recebendo esta mensagem porque se inscreveu no grupo
>> > "LOGICA-L" dos Grupos do Google.
>> > Para cancelar inscrição nesse grupo e parar de receber e-mails dele,

>> > envie um e-mail para logica-l+u...@dimap.ufrn.br.

>> > Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> > Visite este grupo em
>> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> > Para ver esta discussão na web, acesse
>> > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1SYk%3Dj6wCDodx2f0EqqDyDv2_%3Du63KXeB%2Bsg6W3z75Jw%40mail.gmail.com.
>>
>>
>>
>> --
>> http://sequiturquodlibet.googlepages.com/
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

>> um e-mail para logica-l+u...@dimap.ufrn.br.

>> Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
>> Visite este grupo em
>> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhVOUMJvbhmZ1BiaRBWzuT6QtJKerfqjLzJpZ3JN-FpKg%40mail.gmail.com.
>
>
>
>
> --
> ==================================================================
> Adolfo Neto
> Assistant Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ==================================================================
>

> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie

> um e-mail para logica-l+u...@dimap.ufrn.br.

> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse

> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVF-pCjDvUzWEq-mgPzYkVsh9ZmEAx77f%2BRCuwt1wLRaA%40mail.gmail.com.



--
-----------------------------------------------
Walter Carnielli
Centre for Logic, Epistemology and the History of Science and
Department of Philosophy
State University of Campinas –UNICAMP
13083-859 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6517
Institutional e-mail: walter.c...@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli

[Marcelo Esteban Coniglio]

2017-06-23 19:17 GMT-03:00 Walter Carnielli <walter.c...@gmail.com>:
> Esse rapaz é o Fabrício Gomes, que fez o mestrado comigo e agora
> doutorou-se em Direito na USP, com um trabalho (sério, não é nenhum
> dessas referido há pouco) sobre Lógica e Direito.

Dou fé sobre a seriedade do trabalho do Fabricio porque fiz parte da
banca da defesa da tese de doutorado, defendida recentemente. O
orientador foi Juliano Maranhão, advogado (e sócio) num importante
escritório, e que além do mais é um excelente especialista em Lógica
Jurídica e em Teoria da Argumentação, sendo professor da USP.

Abraços

Marcelo

[Adolfo Neto]

Walter, 

Meu comentário foi justamente por que eu participo pouco e sei que alguns saíram (acho que o Décio, certo?).

Exato, o Fabricio. Ele me pareceu muito bom na palestra. Que ótimo que ele seguiu na carreira acadêmica. 

A dissertação de mestrado dele está em 

http://repositorio.unicamp.br/handle/REPOSIP/279517

O doutorado ainda não foi publicado no site da USP, ao que parece.

Grato,

Adolfo

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D367q2PH5fT6_Kf8uOAw9KXRtC2Nc1SXs%2Bz6V2gjaEXDZg%40mail.gmail.com.

[Adolfo Neto]

Peirce chegou ao Senado:

https://www.conversaafiada.com.br/brasil/requiao-moro-e-medieval-caca-bruxas

--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google.

Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.

Para postar neste grupo, envie um e-mail para logi...@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.

Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMuX%3D367q2PH5fT6_Kf8uOAw9KXRtC2Nc1SXs%2Bz6V2gjaEXDZg%40mail.gmail.com.

[Marcelo Finger]

2017-06-23 18:18 GMT-03:00 Joao Marcos <boto...@gmail.com>:
> (ali descobri que a sigla IME pode ter um significado bem diferente do
> que eu imaginava)

Eu considero esta nova acepção um elogio!

[]s