oi, Regivan, Talvez este texto do Corcoran (2009) possa ser útil a você:
@incollection{Corcoran2009-CORSPJ-2, author = {John Corcoran}, editor = {W. A. Carnielli}, year = {2009}, title = {Sentence, Proposition, Judgment, Statement, and Fact: Speaking About the Written English Used in Logic.}, pages = {71--103}, publisher = {College Publications}, booktitle = {The Many Sides of Logic.} } Disponível em: https://philpapers.org/rec/CORSPJ-2 Um abraço, Renato Em 15 de fevereiro de 2017 16:16, Regivan Hugo Nunes Santiago < regi...@dimap.ufrn.br> escreveu: > Pesquisei rapidamente na internet e encontrei alguns textos de Lógica, > e.g. 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 < > regi...@dimap.ufrn.br> 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 <(84)%203215-3814> > Fax: +55 84 3215-3813 <(84)%203215-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/9 >>> 72A0AEF-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/C >>> A%2Bob58PAzJtrRmRbxFCEd4iG2aARE7B%2BAKp4SespAD%2BgjkTcdQ%40m >>> ail.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/C >>> AESt%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%3DtWnFEZu4krPg >>> r-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/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CAESt%3DXsF_2g1Xh%3DRToHV4avxT >> ib%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ê 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/D81FF8C1-681B-4FE1-9815- > F8D29553EA5C%40dimap.ufrn.br > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/D81FF8C1-681B-4FE1-9815-F8D29553EA5C%40dimap.ufrn.br?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/CAKxa0hRNaQpeJHfBRLxoSUve2FVw-PXpuak81sGbMUHYsKPQMA%40mail.gmail.com.