Re: [Logica-l] da matemática brasileira

2017-02-15 Por tôpico Carol Blasio
Caro Walter, Ao que parece, é uma TCC de 2007: BRITO, Maria das Dores Costa. A História da Matemática no Brasil. Curso de Matemática, Universidade Católica de Brasília. 2007. Esse artigo, de fato, merece uma análise "tupsiniquim-lógica"... Abraços, Carolina Em 15 de fevereiro de 2017 12:16,

[Logica-l] da matemática brasileira

2017-02-15 Por tôpico jean-yves beziau
Aqui um artigo sobre a Historia da Matemática no Brasil https://www.ucb.br/sites/100/103/TCC/22007/MariadasDoresCostaBrito.pdf JYB -- 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

Re: [Logica-l] da matemática brasileira

2017-02-15 Por tôpico Walter Carnielli
O trabalho é interessantezinho-nao se sabe de quando é, mas termina com um lamento: ''É pena que a partir da década de 1980 várias instituições brasileiras com ótimos matemáticos praticamente estacionaram: cresceram em qualidade, mas faltaram estímulos para a criação de novos centros de pesquisas

[Logica-l] Judment

2017-02-15 Por tôpico Regivan Hugo Nunes Santiago
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

Re: [Logica-l] da matemática brasileira

2017-02-15 Por tôpico Walter Carnielli
Obrigado Carol, fica registrado, abs Walter Em 15 de fevereiro de 2017 09:41, Carol Blasio escreveu: > Caro Walter, > > Ao que parece, é uma TCC de 2007: > > BRITO, Maria das Dores Costa. A História da Matemática no Brasil. Curso de > Matemática, Universidade Católica de

Re: [Logica-l] Judment

2017-02-15 Por tôpico Walter Carnielli
Juízo. Em 15 de fevereiro de 2017 09:44, Regivan Hugo Nunes Santiago 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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Francisco Antonio Doria
krísis vem do verbo grego kríno - eu distinguo, eu separo. 2017-02-15 15:17 GMT-02:00 Joao Marcos : > > eu continuo achando que "judgement" tambem pode ser traduzido com > > "julgamento" quando usado na acepcao matematica do termo, como os > > julgamentos da teoria de

Re: [Logica-l] Judment

2017-02-15 Por tôpico Valeria de Paiva
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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Valeria de Paiva
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 : > Oi Valeria > cc Regivan > > sim, se

Re: [Logica-l] Judment

2017-02-15 Por tôpico Walter Carnielli
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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Joao Marcos
> 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,

Re: [Logica-l] Judment

2017-02-15 Por tôpico Regivan Hugo Nunes Santiago
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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Abílio
Carxs colegas No contexto de textos de lógica e filosofia, sempre vejo judgment traduzido por juízo Abraços Em 15 de fev de 2017 5:16 PM, "Regivan Hugo Nunes Santiago" < regi...@dimap.ufrn.br> escreveu: > Pesquisei rapidamente na internet e encontrei alguns textos de Lógica, > e.g.

Re: [Logica-l] Judment

2017-02-15 Por tôpico Regivan Hugo Nunes Santiago
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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Renato Mendes Rocha
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

Re: [Logica-l] Judment

2017-02-15 Por tôpico Evandro L. Gomes
Caros colegas da lista, Aproveito para deixar aqui uma pequena contribuição sobre o tema de hoje. Endossando o que disse o João na última mensagem, a terminologia lógica advém de longo e tortuoso itinerário de desenvolvimento histórico, filosófico e etimológico. Relativamente aos termos