Pesquisei rapidamente na internet e encontrei alguns textos de Lógica, e.g. http://www.ebah.com.br/content/ABAAAgJhsAC/logica <http://www.ebah.com.br/content/ABAAAgJhsAC/logica>, falando da diferença entre os conceitos de Juizo e Proposição. Vocês teriam alguma referência mais confiável e clara que pudessem me indicar para que eu entenda essa diferença. No texto mencionado existem problemas na edição nesse trecho.
Regivan > Em 15 de fev de 2017, à(s) 15:47, Regivan Hugo Nunes Santiago > <[email protected]> escreveu: > > 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/ > <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 <[email protected] > <mailto:[email protected]>>: > 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 <[email protected] > <mailto:[email protected]>>: > 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 > <[email protected] <mailto:[email protected]>> 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 <[email protected] > > <mailto:[email protected]>>: > >> > >> Juízo. > >> > >> Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago > >> <[email protected] <mailto:[email protected]>> 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 [email protected] > >> > <mailto:logica-l%[email protected]>. > >> > Para postar neste grupo, envie um e-mail para [email protected] > >> > <mailto:[email protected]>. > >> > Visite este grupo em > >> > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > >> > <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 > >> > > >> > <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 <tel:%28%2B55%29%20%2819%29%203521-6517> > >> Institutional e-mail: [email protected] > >> <mailto:[email protected]> > >> Website: http://www.cle.unicamp.br/prof/carnielli > >> <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 [email protected] > >> <mailto:logica-l%[email protected]>. > >> Para postar neste grupo, envie um e-mail para [email protected] > >> <mailto:[email protected]>. > >> Visite este grupo em > >> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > >> <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%40mail.gmail.com > >> > >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PAzJtrRmRbxFCEd4iG2aARE7B%2BAKp4SespAD%2BgjkTcdQ%40mail.gmail.com>. > > > > > > > > > > -- > > Valeria de Paiva > > http://research.nuance.com/author/valeria-de-paiva/ > > <http://research.nuance.com/author/valeria-de-paiva/> > > http://www.cs.bham.ac.uk/~vdp/ <http://www.cs.bham.ac.uk/~vdp/> > > http://valeriadepaiva.org/ <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 [email protected] > > <mailto:logica-l%[email protected]>. > > Para postar nesse grupo, envie um e-mail para [email protected] > > <mailto:[email protected]>. > > Acesse esse grupo em > > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > > <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 > > > > <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 <tel:%28%2B55%29%20%2819%29%203521-6517> > Institutional e-mail: [email protected] > <mailto:[email protected]> > Website: http://www.cle.unicamp.br/prof/carnielli > <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 [email protected] > <mailto:logica-l%[email protected]>. > Para postar neste grupo, envie um e-mail para [email protected] > <mailto:[email protected]>. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > <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%2Bob58PAD-%2B%3DtWnFEZu4krPgr-ZxOHuo0_oPCyc4vk_YoZoFoA%40mail.gmail.com > > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PAD-%2B%3DtWnFEZu4krPgr-ZxOHuo0_oPCyc4vk_YoZoFoA%40mail.gmail.com>. > > > > -- > Valeria de Paiva > http://research.nuance.com/author/valeria-de-paiva/ > <http://research.nuance.com/author/valeria-de-paiva/> > http://www.cs.bham.ac.uk/~vdp/ <http://www.cs.bham.ac.uk/~vdp/> > http://valeriadepaiva.org/ <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 [email protected] > <mailto:[email protected]>. > Para postar nesse grupo, envie um e-mail para [email protected] > <mailto:[email protected]>. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/ > <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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/D81FF8C1-681B-4FE1-9815-F8D29553EA5C%40dimap.ufrn.br.
