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.
Em 23 de junho de 2017 18:18, Joao Marcos <botoc...@gmail.com> escreveu: > 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 > > > 2017-06-23 15:12 GMT+02:00 Marcelo Finger <mfin...@ime.usp.br>: > > 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 > > > > > > 2017-06-23 9:46 GMT-03:00 Adolfo Neto <ado...@utfpr.edu.br>: > >> > >> 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 > >> ================================================================== > >> > >> -- > >> 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+unsubscr...@dimap.ufrn.br. > >> Para postar nesse grupo, envie um e-mail para logica-l@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+unsubscr...@dimap.ufrn.br. > > Para postar neste grupo, envie um e-mail para logica-l@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+unsubscr...@dimap.ufrn.br. > Para postar neste grupo, envie um e-mail para logica-l@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_LhVOUMJvbhmZ1BiaRBWzuT6QtJKerf > qjLzJpZ3JN-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ê 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@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/CANspyYVF-pCjDvUzWEq-mgPzYkVsh9ZmEAx77f%2BRCuwt1wLRaA%40mail.gmail.com.
