Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-07-31 Por tôpico Décio Krause
Legal, Chico. Abraço Decio -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -- "We cannot

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-07-31 Por tôpico Ruy de Queiroz
Caro Chico, Tuas considerações são pertinentes, mas permita-me discordar das conclusões: o sentido da regra em questão é o de enfraquecer um argumento, como bem disse Valéria. Daí, é natural que a tradução em português utilize a palavra "enfraquecimento". Aliás, tenho a impressão de que o termo já

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-07-31 Por tôpico Joao Marcos
Um termo "consolidado" nem sempre é um bom termo. Discussões interessantes como esta, com argumentos bem elaborados como os do Chico, podem bem nos ajudar a corrigir terminologias mal escolhidas! *Atenuação*, apontado pela Valéria como o "termo mais frequentemente usado na área" (de Teoria das De

Re: [Logica-l] Digest Logica-l, volume 77, assunto 24

2012-07-31 Por tôpico Mauricio Ayala-Rincon
Caros, sobre a "morte prematura" de LSFA e indexação de conferências via SHINE, observo que as publicações de ENTCS e EPTCS, series nas quais pos-proceedings do LSFA foram publicadas, são qualificadas como B2 e B5, respectivamente. Dessa forma, acho prematuro falar de morte prematura. -- Maur

Re: [Logica-l] weakening theorem - tradução(?); mais comentários

2012-07-31 Por tôpico Francisco Miraglia
Caro Ruy, Obrigado pelas tuas observações; entretanto não entendi a discordância: a frase "Se há uma corroboração de P, então qualquer extensão (finita) desta corroboração permanece sendo uma corroboração de P" pode ser iNTERPRETADA como um enfraquecimento do argumento; no entanto é independent

[Logica-l] LSFA: sobre o jogo de mensuração do SHINE

2012-07-31 Por tôpico Joao Marcos
(mudando o subject do desinformativo "digest Logica-l") Olá, Maurício: Se não me engano, na classificação de 2012 da CC, o ENTCS subiu para B1. Vale citar ainda o Journal of Algorithms (A2) e o Logic Journal of IGPL (B3) onde vocês conseguiram publicar em outras ocasiões os artigos selecionados

Re: [Logica-l] weakening theorem - tradução(?)

2012-07-31 Por tôpico Décio Krause
Valéria, para saber como você pensa. Você disse que não gosta de axiomas. Isso não é um axioma? O que quer dizer com isso? Não vivemos sem eles.. Abraço D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-

[Logica-l] Proceedings do EBL ?

2012-07-31 Por tôpico samuel
Olás, Sem querer incomodar mas já incomodando - algumas notícias dos resultados dos proceedings do EBL ? A data dos resultados, após o "very comfortably extended deadline", era hoje... Atés, []s Samuel Universidade Federal d

Re: [Logica-l] Proceedings do EBL ?

2012-07-31 Por tôpico Walter Carnielli
caríssimo Samuel, no news good news:—) isso significa que é o seu artigo não foi rejeitado ainda ;_( brincadeiras à parte, a Renatz e ou Petrucio vão responder, uçm grande abraço eu também para o Ciro, Walter Em 31/07/2012 20:28, escreveu: > Olás, > > Sem querer incomodar mas já incomodando