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 <adolfo....@gmail.com> escreveu: > 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_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+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/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.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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/CA%2Bob58ONxSi%3D8oaGKFT_h7VJj7g1ROh1neaawFUYFbsHC38e0A%40mail.gmail.com.
