Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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/handl

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico Marcelo Esteban Coniglio
2017-06-23 19:17 GMT-03:00 Walter Carnielli : > 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

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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 Em 23 de junho de 2017 19:06, Adolfo Neto escreveu: > O Walter

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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 el

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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

[Logica-l] Fwd: Electronic Notes in Theoretical Computer Science: Alert 16 June-23 June

2017-06-23 Por tôpico Joao Marcos
-- Forwarded message -- From: "ScienceDirect Message Center" < sciencedir...@notifications.elsevier.com> Date: Jun 23, 2017 21:01 Subject: Electronic Notes in Theoretical Computer Science: Alert 16 June-23 June To: Cc: Can't see this email properly? Click here to view an online ve

[Logica-l] JAL Open Access - Logic and Religion II

2017-06-23 Por tôpico jean-yves beziau
Os melhores artigos relacionados ao 2nd World Congress on Logic and Religion serão publicados no Journal of Applied Logic (Elsevier) o impact factor do JAL é um dos mais altos. JAL foi fundado pelo Dov Gabbay Gabbay negociou Open Access com a Elsevier para esses artigos que serão publicados em 2 o

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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 Em 23 de junho de 2017 10:12, Marcelo Finger escreveu: > Adolfo. > > Favor infor

[Logica-l] Re: lista de listas sobre logica?

2017-06-23 Por tôpico adolfo.usp
Ah, e qualquer um pode editar a lista. Em sexta-feira, 23 de junho de 2017 10:38:08 UTC-3, adolfo.usp escreveu: > > Olá, > > Só agora vi que tinha deixado esta lista em modo privado. > Corrigi o problema. > > Adolfo > > Em sexta-feira, 30 de setembro de 2016 14:06:38 UTC-3, valeria.depaiva > escr

[Logica-l] Re: lista de listas sobre logica?

2017-06-23 Por tôpico adolfo.usp
Olá, Só agora vi que tinha deixado esta lista em modo privado. Corrigi o problema. Adolfo Em sexta-feira, 30 de setembro de 2016 14:06:38 UTC-3, valeria.depaiva escreveu: > > Gente, > eu estava reclamando da falta de uma lista de listas de logica e o Adolfo > fez um comeco de lista em > > > ht

Re: [Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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, el

Re: [Logica-l] Grothendieck, simplificação e criação

2017-06-23 Por tôpico jyb
Caro Walter Bom saber que voce ja esta motivado para nadar no Ganges e/ou ser queimado em Varanasi ! Tem também outras opções no nosso cardapio (100% vegetariano): seguir o caminho do Buddha de Varanasi aré Sarnath (15km), capital mundial dos estudos do buddhismo, onde ele fiz o primeiro discur

[Logica-l] Texto na área do Direito com termos lógicos

2017-06-23 Por tôpico 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, ent

Re: [Logica-l] Grothendieck, simplificação e criação

2017-06-23 Por tôpico Walter Carnielli
Varanasi vai ser bem apropriado para um Congresso de lógica e religião,: a gente já vai ver os barcos cruzando o Ganges cheio de mortos, prontinhos para serem despachados. E logo ali as piras de lenha de sândalo despachando diretamente, em forma de fumaça preta... ligação direta com o céu! W.

Re: [Logica-l] Exercitus Aristotillis ad destruendum turrim falsitatis cum suo commentatore

2017-06-23 Por tôpico Walter Carnielli
E vejam que a turrim falsitatis é bem menos controversa do que a turrim contradictionis Google Translator amicus, sed cognostentia Latinus amica veritas!! W. Em 23 de jun de 2017 06:41, "Joao Marcos" escreveu: Per interemptionem aut per distinctionem oportet dissolvere turrim (malitia,

Re: [Logica-l] Grothendieck, simplificação e criação

2017-06-23 Por tôpico Joao Marcos
> Ele lembro tambéem que o Grothendieck cersceu numa familia ateista e > anti-religioso e que para ele era obvio que não tinha Deus. > A ideia dele começou a mudar o dia que ele foi assistir a uma palestra > detalhada sobre a teoria da evolução. > A partir deste momento apareceu pare ele totalement

[Logica-l] Grothendieck, simplificação e criação

2017-06-23 Por tôpico jean-yves beziau
Acabou ontém em Varsovia the 2nd World Congress on Logic and Religion http://en.uw.edu.pl/congress-on-logic-and-religion/ com palestras do Michal Heller e do Laurent Lafforgue. Michal Heller ganhou em 2008 o prêmio Templeton https://en.wikipedia.org/wiki/Micha%C5%82_Heller A titulo da palestra del

[Logica-l] Exercitus Aristotillis ad destruendum turrim falsitatis cum suo commentatore

2017-06-23 Por tôpico Joao Marcos
Per interemptionem aut per distinctionem oportet dissolvere turrim (malitia, cessatio, ignorantia, debilitas, confusio, casus, frustra, nihil and parvitas, impossibilitas, odiositas, falsitas, poena, contrarietas, vacuum, difformitas, superfluum, diminutum): http://richardzach.org/2017/06/22/illumi