Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-23 Por tôpico Adolfo Neto
Obrigado Valeria, vou dar uma olhada no artigo. E procurar os outros dois pra ler depois das férias (também devo ficar com internet bem ruim em alguns dias). Obrigado Vivek pela contribuição. E, só pra deixar claro, eu não acho que não se deve pesquisar em Lógica Paraconsistente, mesmo que ningué

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-23 Por tôpico Manuel Doria
Quais condições precisam ser satisfeitas para uma determinada *aplicação tecnológica* ser genuinamente o produto de determinada teoria formal? Portas lógicas são consideradas implementações físicas prototípicas de funções da álgebra booleana. Explicar *como* isso procede é bem menos trivial do que

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-23 Por tôpico Vivek Nigam
Caros Colegas, Eu concordo com o Marcelo e com a Valéria que é sempre de interesse científico saber quais as aplicações que uma teoria pode ajudar. Afinal tais investigações ligam a ciência com a engenharia. Contudo, eu iria até um pouco mais longe: Um pesquisador em Lógica Computacional deve ter

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-22 Por tôpico Valeria de Paiva
oi Adolfo, Chegando atrasada nessa conversa, eu queria dizer que tambem concordo com o Marcelo que podemos e devemos falar de aplicacoes de logicas sim. E' claro que, a existencia ou nao de aplicacoes nao determina o tipo de pesquisa que fazemos, mas e' um ponto importante a ser considerado pelos c

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Décio Krause
Sim, mas a comunidade filosófica acha que a filosofia tem procedimentos próprios de avaliação, com o que não concordo. Todos os filósofos bons que conheço publicam em boas revistas, além obviamente de livros por editora consagradas, mas aqui muita gente acha que basta publicar livros em portuguê

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Adolfo Neto
Ops, eu não disse (ou pelo menos acho que não disse) que citações necessariamente levam a aplicações. São apenas um indicação. Se não é citado provalvemente ninguém usa. Se é muito citado, possivelmente alguém usa. Não concordo totalmente com os critérios dos nossos órgãos de pesquisa. Nem foi minh

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Julio Stern
t; Subject: Re: [Logica-l] Paraconsistent Logics & Applications > > Caro Walter. > > Discordo do seu ponto de vista, se é que eu o entendi, de que não se > pode falar de aplicações de lógica, ou aplicações de lógica > paraconsistentes. > > Porque podemos, sim, falar de ap

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Joao Marcos
> Aplicação concreta de um bebê humano? Tem várias. > Por exemplo, pode virar médico e me tratar. Ninguém gera um bebê pensando nisso. Para a maior parte das pessoas também não é necessário saber das aplicações da Álgebra Linear no Algoritmo PageRank do Google, ou das aplicações da Teoria dos Núm

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Adolfo Neto
E se não pudermos nos perguntar as aplicações de certas áreas de pesquisa, melhor nem fazer Ciência. Não estou dizendo, em momento algum, que Ciência Básica é inútil. Algumas pesquisas sem nenhum vislumbre de aplicação prática devem ser feitas. 2013/12/19 Adolfo Neto > Aplicação concreta de u

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Adolfo Neto
Aplicação concreta de um bebê humano? Tem várias. Por exemplo, pode virar médico e me tratar. De uma obra de arte, serve para eu me divertir, pra me instruir, pra me educar... Não vejo como isso pode ser uma pergunta errada... 2013/12/19 Joao Marcos > Qual a aplicação concreta de um conceito fi

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Adolfo Neto
Walter, O Marcelo já respondeu uma das questões. Queria me fixar em uma outra: >> "Assim como as "aplicações reais" de quase tudo o que se faz em computação são rigorosamente igual a zero no que tange a "aplicações práticas"." Algumas das características de Linguagens de Programação (o que

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Joao Marcos
Qual a aplicação concreta de um conceito filosófico? De uma definição matemática? De uma obra de arte? Qual a aplicação concreta de uma partida de futebol? Qual a aplicação concreta de um bebê humano? Quando nos fazemos as perguntas erradas, as respostas frequentemente não são muito interessan

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Marcelo Finger
Caro Walter. Discordo do seu ponto de vista, se é que eu o entendi, de que não se pode falar de aplicações de lógica, ou aplicações de lógica paraconsistentes. Porque podemos, sim, falar de aplicações de Álgebra Linear, que são muitas e sempre crescente. É claro que se v for ver as implementaçõe

[Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Walter Carnielli
Caro Adolfo, acho que sua pergunta ( e outras do gênero) estão completa e totalmente enganadas. Primeiro, porque se incomodam tanto com "aplicações " de lógica paraconsistente? Existe alguma outra lógica que tenha "aplicações"? Não vale dizer que as lógicas fuzzy têm aplicações-- o que

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Adolfo Neto
>> Adolfo >> E porque você tem que esperar que alguém te aponte a utilidade das LP? Por que não descobre isso sozinho, ou as enterra de vez? Décio, Eu já procurei, bastante, durante meu Doutorado. Mesmo não encontrando nada significativo, dediquei boa parte do meu trabalho às Lógicas Paraconsiste

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Joao Marcos
>> PS: Infelizmente, a preocupação da CAPES e do CNPq com *impacto* é >> quase nula. Só importa mesmo a ^quantidade^ de papers publicados "nos >> lugares certos". > > O teu PS está mudando. Já se olham sim os veículos. Queiramos ou nâo, os > índices de impacto virão. Inch'allah! De todo modo, *p

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Décio Krause
JM O teu PS está mudando. Já se olham sim os veículos. Queiramos ou nâo, os índices de impacto virão. D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Joao Marcos
Costumo dizer que se o Newton da Costa (o mais citado lógico brasileiro) tivesse interesse no *concreto*, ele teria permanecido como Engenheiro Civil. E eu também. JM PS: Infelizmente, a preocupação da CAPES e do CNPq com *impacto* é quase nula. Só importa mesmo a ^quantidade^ de papers public

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Décio Krause
Adolfo E porque você tem que esperar que alguém te aponte a utilidade das LP? Por que não descobre isso sozinho, ou as enterra de vez? Abç D -- Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópol

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Adolfo Neto
Não descarto trabalho nenhum. A utilidade deles pode ser descoberta no futuro. Minha preocupação é que cedo ou tarde (e imagino que será bem cedo) nós e nossos programas seremos julgados por CAPES e CNPq baseado na quantidade de citações a nossos trabalhos (se é que já não somos). Portanto tenho i

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Décio Krause
Adolfo Bom, eu não sei o que quer dizer “aplicação real”, mas entendo seu ponto. O que eles fazem, no meu entender, é encontrar um modo alternativo de “fuzzificar” algo. Isso é o que parece interessar. Mas veja que o fato das pessoas não usarem ou não entenderem não implica que a coisa não seja

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Adolfo Neto
Décio, Como já disse em outros emails, estou procurando aplicações reais (isto é, que sejam usadas mesmo -- que não sejam apenas exemplos em artigos) e em Computação. Não encontrei nenhuma até hoje. Quero muito encontrar. Quanto ao Kazumi ( http://www.informatik.uni-trier.de/~ley/pers/hd/n/Naka

[Logica-l] Paraconsistent Logics & Applications

2013-12-18 Por tôpico Décio Krause
Puxa, Adolfo, você não conhece as aplicações em robótica, tráfego aéreo, fabricação de cerveja, engenharia elétrica, medicina, etc? No artigo em anexo há alguma referência, mas a coisa está rolando desde então. Basicamente, são aplicações das lógicas anotadas, e são bem interessantes. Procure p