Re: [Logica-l] algumas coisas formales - geometricas, logicas, filosoficas - mesmo fora do Brasil

2012-04-11 Por tôpico Elias Gabriel Amaral da Silva
2012/4/8 Alessio Moretti : > - o conceito de "conceito" (= tem razão o Gärdenfors em pensar que é > importante e que é mais geometrico do que logico?) Mas geométrico? De geometria eu conheço retas e pontos, e círculos; nunca entendi o que geometria (intrinsecamente) tem a ver com números reais, a

Re: [Logica-l] pressuposições clássicas e não clássicas

2012-04-11 Por tôpico Décio Krause
Júlio Mesmo a caracterização do que seja a lógica clássica não é bem assentada. Há várias "lógicas clássicas". Consequentemente, o que sejam as não clássicas merece consideração idem. Mas se estamos falando de uma lógica que usa, digamos, um símbolo de negação com axiomas distintos daqueles típi

Re: [Logica-l] Homeopatia é ciência? Se funcionar, precisa ser ciência?

2012-04-11 Por tôpico Julio Stern
> 3) você confia bastante em - desculpe o termo super improvisado, > acho eu não tenha nem competência pra encontrar um melhor - > "métodos bioquímicos e estatísticos", Piadinha: Q: How many Psychiatrists does it take to change a light bulb? A: Only one, but the bulb has got to really WANT

Re: [Logica-l] Superturing machines

2012-04-11 Por tôpico Francisco Antonio Doria
Em 1990 Newton e eu mostramos que, usando-se simples extensões de PA, pode-se escrever explicitamente uma função que resolve o problema da parada; há infinidades de tais expressões. Depois, em 1993, mostramos que todo grau aritmético completo pode ter uma dessas funções explicitamente construídas (

Re: [Logica-l] algumas coisas formales - geometricas, logicas, filosoficas - mesmo fora do Brasil

2012-04-11 Por tôpico Francisco Antonio Doria
Foundations of Differential Geometry, de Kobayashi e Nomizu. On Wed, Apr 11, 2012 at 4:01 AM, Elias Gabriel Amaral da Silva < tolkiend...@gmail.com> wrote: > 2012/4/8 Alessio Moretti : > > > - o conceito de "conceito" (= tem razão o Gärdenfors em pensar que é > > importante e que é mais geometric

Re: [Logica-l] algumas coisas formAIS - geometricas, logicas, filosoficas - mesmo fora do Brasil

2012-04-11 Por tôpico Alessio Moretti
Elias, [vou responder à Valeria e ao Walter - obrigado a eles! - numa outra email] obrigado pela reacção. Mas quem falou de "numeros reais" (falando da relação entre o conceito de "conceito" e a geometria)? Eu não! Quando o Gärdenfors fala de conceitos, ele fala VERDADEIRAMENTE de conceitos (=

[Logica-l] matematicas de conceitos? FCA e NOT (sem falar da teoria de categorias)

2012-04-11 Por tôpico Alessio Moretti
Elias, esqueci-me dizer outra coisa, relacionada com as perguntas de você (outra resposta). De facto ja ha uma "matematica (senão uma geometria) dos conceitos" (talvez ja ha muitas outras? [também ha, claro, a "conceptual mathematics", i.e. a teoria de categorias]): isso é, a "analise formal d

Re: [Logica-l] Superturing machines

2012-04-11 Por tôpico Marcelo Finger
Oi Dória. Pois é, esta foi exatamente a pergunta que passou pela minha cabeça: > O resultqdo da Hava é mais ou menos equivalente. Vc fsz redes neurais sobre > os reais, obtem um hipercomputador. Aí tem uma complicação interessante, > que não acontece conosco: que reais? P.e., em que modelo por fo

[Logica-l] Primavera de Logica em Paris

2012-04-11 Por tôpico jean-yves beziau
Chaque printemps, on se rencontre à Paris pour discuter de logique ... Na primavera os logicos se encontram em Paris para discutir de logica ... Every spring people meet in Paris to talk about logic ... http://www.logic-in-question.org/ ___ Logica-l mail

[Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Joao Marcos
Reação da Coordenação de CC da CAPES às "informações" que enviamos. JM -- Forwarded message -- From: 02.comp <02.c...@capes.gov.br> Date: 2012/4/11 Subject: RES: Urgente: Proposta para o Qualis -CC e Qualis-MA Prezado João Marcos, as informações de vocês serão levadas em conta

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Valeria de Paiva
O que isso >no entanto periódicos só são incluídos quando constam no coleta. quer dizer? obrigada Valeria 2012/4/11 Joao Marcos : > Reação da Coordenação de CC da CAPES às "informações" que enviamos. > > JM > > > -- Forwarded message -- > From: 02.comp <02.c...@capes.gov.br> > Da

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Joao Marcos
Que se nenhum professor presentemente vinculado a um programa de pós-graduação brasileiro "na área" tiver publicado no periódico em questão, durante o período de avaliação, a "informação" que enviamos é ignorada. JM 2012/4/11 Valeria de Paiva : > O que isso >>no entanto periódicos só são incluído

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Valeria de Paiva
Legal! Entao precisamos de outro abaixo-assinado, dessa vez com os 400 membros da lista dizendo que isso 'e um absurdo... ou precisamos nos organizar e dividir a tarefa e cada um de nos pega um dos jornais importantes e manda papers pra la nos proximos tres anos ate ' termos publicacoes em todos o

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico ana
Olá a todos, João Marcos, muito boa sua mensagem de reforço ao email do Hugo que encaminhou nossa proposta. Na verdade, este procedimento de só incluir o que está no coleta é o que vem sido feito nestes últimos anos, embora eles já tenham sinalizado o interesse de incluir, no Qualis, a classifica

[Logica-l] RES: ENSINO DE LÓGICA, POR QUAL LÓGICA COMEÇAR?

2012-04-11 Por tôpico Jorge Alberto Molina
Prezado Tony : Demorei em respondê-lhe porque fiquei pensando no assunto. Eu vejo as coisas do modo seguinte. Considere estas situações: 1) Um investigador de policia observa contradições no depoimento de um suspeito. Toma essa contradição como um sinal de que a fala do suspeito não correspo

Re: [Logica-l] Homeopatia é ciência? Se funcionar, precisa ser ciência?

2012-04-11 Por tôpico Josué Souza Tourinho Junior
1) Pra você "homeopatia não pode funcionar" quer dizer "homeopatia não funciona", *Resposta*: Funciona para o que eu já falei. 2) você não tem o menor interesse em aprender a se curar (deixa eu reduzir o escopo: "de doenças leves") usando placebos. *Resposta*: As "doenças leves", desde qu

Re: [Logica-l] Homeopatia é ciência? Se funcionar, precisa ser ciência?

2012-04-11 Por tôpico Enrique Fynn
Nao procurei, mas tenho certeza que existe uma lista de homeopatia x medicina convencional por ai... Regards; Fynn. -- "Even a stopped clock is right twice a day" "All paid jobs absorb and degrade the mind." _Aristoteles On 12 April 2012 01:47, Josué Souza Tourinho Junior wrote: > 1) Pra você

[Logica-l] Fwd: Superturing machines

2012-04-11 Por tôpico Juan Carlos Agudelo Agudelo
No trabalho de Siegelmann ela demonstra o seguinte: 1- Se numa rede neuronal recurrente são admitidos como pesos das conexões somente números inteiros então o modelo é equivalente ao modelo de automata finitos. 2- Se numa rede neuronal recurrente são admitidos como pesos das conexões somente número

Re: [Logica-l] ENSINO DE LÓGICA, POR QUAL LÓGICA COMEÇAR?

2012-04-11 Por tôpico Tony Marmo
Caro Molina, A questão de ter um equilíbrio entre apresentar argumentos filosóficos de um lado e fórmulas e demonstrações de outro, não é algo que se restrinja hoje em dia a cursos de lógica para filósofos. Cito um livro muito elogiado por pessoas no exterior, o de Carnielli & Pizzi sobre lógica

Re: [Logica-l] Algumas coisas formales

2012-04-11 Por tôpico Joao Marcos
Julio, homem de encaixes: (É um bocadinho difícil brincar com você pois você parece que cria as regras na hora, e não se preocupa muito como as regras dos jogos dos outros. Mas vamos lá...) Tenho muitos quebra-cabeças em casa. Um deles, comprado recentemente, é baseado em um tabuleiro 6x6, no qu

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Joao Marcos
Tenho três questões a colocar à Coordenação de CC, a saber: "(1) O Coleta é preenchido anualmente pelas coordenações de pós, mas o Qualis da área de CC na CAPES é atualizado apenas a cada 3 anos, correto? Ou haveria algum mecanismo intermediário de correção de distorsões?" "(2) Os periódicos ora

Re: [Logica-l] Fwd: Superturing machines

2012-04-11 Por tôpico Francisco Antonio Doria
Obrigado. No caso dasmáquinas analógicas, tal objeção não procede. Mas essa é a origem do comportamento caótico do tent map. On 4/11/12, Juan Carlos Agudelo Agudelo wrote: > No trabalho de Siegelmann ela demonstra o seguinte: > 1- Se numa rede neuronal recurrente são admitidos como pesos das > c

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Décio Krause
Eu tenho: (4) se a "nossa" lista for considerada, um certo periódico terá conceito X. Caso nenhum brasileiro publique nele, ele sai, mas pode voltar. Quando voltar, deverá voltar com o mesmo conceito com qual saiu, mas certamente poderá mudar ouvindo-se a comunidade (êpa, que palavreado). (5) o

Re: [Logica-l] Fwd: Urgente: Proposta para o Qualis -CC e Qualis-MA

2012-04-11 Por tôpico Joao Marcos
Seria esta uma abordagem um pouco "agressiva", talvez? Não temos como garantir sequer que seremos "ouvidos"... (ou respondidos) JM 2012/4/11 Décio Krause : > Eu tenho: > (4) se a "nossa" lista for considerada, um certo periódico terá conceito X. > Caso nenhum brasileiro publique nele, ele sai,