Obrigado! Regivan
****************************************************************************** *Prof. Dr. Regivan Hugo Nunes Santiago* Group for Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 https://sites.google.com/site/regivanhnsantiago/ e-mail: regivan AT DOMAIN=dimap,ufrn,br. Curriculum Lattes-CNPq <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4790032Z4&idiomaExibicao=2> ****************************************************************************** 2017-02-15 15:03 GMT-03:00 Valeria de Paiva <valeria.depa...@gmail.com>: > sim tambem concordo que numa situacao mais > filosófica, ou de logica em geral, em vez de logica matematica ou teoria > de tipos em CS, "juízo" me pareceria bem melhor. > > > abs > Valeria > > 2017-02-15 8:36 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com>: > >> Oi Valeria >> cc Regivan >> >> sim, se for usado na acepção jurídica, poderia ser "julgamento". >> Martin-Loef usa *numa* certa acepção matemática do termo, mas Kant >> preferiria "juízo" mesmo. Portanto, se for numa vertente mais >> lógica ou filosófica, "juízo" me pareceria melhor, >> >> abraços, >> >> Walter >> >> Em 15 de fevereiro de 2017 14:16, Valeria de Paiva >> <valeria.depa...@gmail.com> escreveu: >> > Walter e Regivan, >> > eu continuo achando que "judgement" tambem pode ser traduzido com >> > "julgamento" quando usado na acepcao matematica do termo, como os >> > julgamentos da teoria de Martin-Loef. >> > >> > a gente ja' discutiu isso por aqui, assim como ja discutimos (e >> discordamos >> > uns dos outros) sobre Teoria da Prova, etc... >> > meus dois tostoes, como sempre, >> > abs >> > Valeria >> > >> > >> > 2017-02-15 4:02 GMT-08:00 Walter Carnielli <walter.carnie...@gmail.com >> >: >> >> >> >> Juízo. >> >> >> >> Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago >> >> <regivan.santi...@gmail.com> escreveu: >> >> > Caríssimos, >> >> > >> >> > uma pergunta básica, qual seria a tradução mais adequada para a >> >> > expressão inglesa “judgment” dentro do contexto da lógica? >> >> > >> >> > Regivan >> >> > >> >> > -- >> >> > 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/ >> 972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.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%2Bob58PAzJtrRmRbxFCEd4iG2aARE7B%2BAKp4SespAD%2BgjkTcdQ%40 >> mail.gmail.com. >> > >> > >> > >> > >> > -- >> > Valeria de Paiva >> > http://research.nuance.com/author/valeria-de-paiva/ >> > http://www.cs.bham.ac.uk/~vdp/ >> > http://valeriadepaiva.org/ >> > >> > -- >> > 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/ >> CAESt%3DXvSWoqTzsu6dD-T0NckSjPA7OZw4BzrORsULmh9dX-1XQ%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/di >> map.ufrn.br/group/logica-l/. >> Para ver esta discussão na web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CA%2Bob58PAD-%2B%3DtWnFEZu4krP >> gr-ZxOHuo0_oPCyc4vk_YoZoFoA%40mail.gmail.com. >> > > > > -- > Valeria de Paiva > http://research.nuance.com/author/valeria-de-paiva/ > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/ > > -- > 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/CAESt%3DXsF_2g1Xh%3DRToHV4avxTib%2Bh% > 2BuCTO8nbjK4D%3D6u8K76tg%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsF_2g1Xh%3DRToHV4avxTib%2Bh%2BuCTO8nbjK4D%3D6u8K76tg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CANLtSLhzAp-YCSrEdnTAUrjwzt0gp82E2bs7yaOou6_VOZFfpA%40mail.gmail.com.
