[Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico jean-yves beziau
Ferdinand Gonseth é famoso para o artigo: "La logique en tant que physique de l'objet quelconque" Facil de traduzir em portuges: "A logica com fisica do objeto qualquer" Um colega esta me preguntando com traduzir isso em ingles, alguem tem uma boa suggestao? Este artigo do Gonseth é disponivel on-

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Joao Marcos
> Ferdinand Gonseth é famoso para o artigo: > "La logique en tant que physique de l'objet quelconque" > Facil de traduzir em portuges: > "A logica com fisica do objeto qualquer" > Um colega esta me preguntando com traduzir isso em ingles, > alguem tem uma boa suggestao? "Logic as the physics of th

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Decio Krause
> "Logic as the physics of the arbitrary any object whatever" Fica melhor e mais de acordo com o modo como via de regra traduzem a célebre frase de Gonseth. Agora pergunto: o que acham dela? D. Decio Krause Departamento de Filosofia Universidade Federal de Santa

Re: [Logica-l] Tools for Teaching Logic

2011-10-08 Por tôpico Adolfo Neto
Olá Bruno e demais colegas, Bela iniciativa. Excelente ter o código aberto e disponível no GitHub. Muito boa ideia também usar Lua e um framework para jogos Achei um pouco difícil de instalar. A cor de fundo preta não ajuda muito em sala de aula (ver anexo). Minha ideia é mostrar as demonstraçõe

Re: [Logica-l] Tools for Teaching Logic

2011-10-08 Por tôpico Valeria de Paiva
Alo Adolfo, Mario, Bruno, Patrick, Muito obrigada pelas dicas todas. Muito util esse material. Adolfo voce pediu sugestoes, eu nao sei se seria problematico pelo aspecto legal, mas eu acho que seria muito util ter um sistema aberto que ajudasse alunos a construirem provas/modelos seguindo o livro

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-08 Por tôpico Joao Marcos
> Acho que o que estão argumentando com relação ao CNPq e sua oferta está para > lá de certo. No entanto, a iniciativa seria boa se a coisa fosse organizada, > como com eles fornecendo ISBN, pedindo pareceres, "assinando", etc. pois > poderíamos dispor de um lugar crível para livros online que seri

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Valeria de Paiva
Decio, desculpe, mas nao acho "Logic as the physics of the arbitrary any object whatever" melhor nao. e' melhor como o JM disse "Logic as the physics of the arbitrary object" (mais seria) ou se voce quer brincar "Logic as the physics of any object whatsoever" mas como voce escreveu fica mal...

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-08 Por tôpico Valeria de Paiva
eu acho que vale o esforco sim. e peloamordedeus alguem precisa convencer o CNPq a trocar os curriculos lattes pelos nomes das pessoas, em vez de numeros imensos que nao dissem nada pra ninguem. aquilo 'e uma atrocidade. uma ideia excelente com um resultado horrivel. valeria 2011/10/8 Joao Marcos

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-08 Por tôpico Décio Krause
Para mim, vale o esforco e a ideia e essa mesmk, via SBL. D. -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause --

Re: [Logica-l] Livros eletrônicos publicados pelo CNPq

2011-10-08 Por tôpico Joao Marcos
Será que alguém está fazendo a lista de todas as coisas que tem mais ou menos informalmente sido "requisitadas" à SBL aqui na LOGICA-L, nos últimos tempos? JM 2011/10/8 Décio Krause : > Para mim, vale o esforco e a ideia e essa mesmk, via SBL. > D. > >

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Joao Marcos
Olá, Decio: O que acha *você* do slogan do Gonseth? Seria muito interessante conhecer a opinião de um especialista como você sobre o assunto. JM 2011/10/8 Décio Krause : > Jy > Eu nao escrevi o que voce disse. Repare que minha frase tem uns cortes nas > palavras do JM. Em todo caso, nao vou in

[Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Joao Marcos
PessoALL: Caso alguém deseje publicar um *livro* na nossa área de modo a torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa provavelmente gostaria de encontrar uma boa editora, de preferência uma editora universitária, que garantisse, ao mesmo tempo: (1) a produção de um mater

Re: [Logica-l] A logica com fisica do objeto qualquer

2011-10-08 Por tôpico Décio Krause
Jy Eu nao escrevi o que voce disse. Repare que minha frase tem uns cortes nas palavras do JM. Em todo caso, nao vou insistir. Apenas me refiro ao modo pelo qual ja vi essa frase em ingles. D. -- Décio Krause Departamento de Filosofia Universida

Re: [Logica-l] Curiosidade histórica: O palimpsesto de Arquimedes

2011-10-08 Por tôpico Carlos Gonzalez
Podem ler "The Archimedes Codex, How a Medieval Prayer Book Is Revealing the True Genius of Antiquity’s Greatest Scientist" de Reviel Netz e William Noel (um best seller) ou podem assistir o documentário da NOVA: http://www.pbs.org/wgbh/nova/physics/inside-archimedes-palimpsest.html :-) para fazer

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Décio Krause
JM De completo acordo sobre os mecnismos para livros. Eu tive uma experiencia com um livro (inho) chamado Introducao aos Fundamentos Axiomaticos da Ciencia, que apesar dos pesares (eu o revisaria por completo) contem uma das poucas exposicoes que conheco em portugues sobre a teoria axiomatica d

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Francisco Antonio Doria
lulu.com muito usado. 2011/10/8 Joao Marcos > PessoALL: > > Caso alguém deseje publicar um *livro* na nossa área de modo a > torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa > provavelmente gostaria de encontrar uma boa editora, de preferência > uma editora universitária,

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Joao Marcos
2011/10/8 Francisco Antonio Doria : > lulu.com > muito usado. Alguma solução boa *para o mercado brasileiro*? JM > 2011/10/8 Joao Marcos >> >> PessoALL: >> >> Caso alguém deseje publicar um *livro* na nossa área de modo a >> torná-lo tão acessível quanto possível, em um mundo ideal, esta pessoa

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Décio Krause
Qual o "valor CAPES - CNPq" de um livro lulu? Afinal, dependemos dessas coisas... D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause -

Re: [Logica-l] ainda sobre publicações de livros e outros materiais

2011-10-08 Por tôpico Francisco Antonio Doria
muitos congressos locais usam-nos. publiquei lá um texto da coppe. 2011/10/8 Décio Krause > Qual o "valor CAPES - CNPq" de um livro lulu? Afinal, dependemos dessas > coisas... > D > > -- > Décio Krause > Departamento de Filosofia > Universidad

Re: [Logica-l] Inconsistency of P: parabéns ao Ed Nelson, ao Terrence Tao e ao Daniel Tausk

2011-10-08 Por tôpico Valeria de Paiva
oi Tony, >We can look back at Goedel's work as one early attempt of fibring of formal >systems. e', a gente sempre pode "look at anything as anything", mas qual 'e a sua evidencia de que isso 'e util? o que voce acha que ganha com essa interpretacao? obrigada, valeria 2011/10/1 Tony Marmo : > D