Caros Redistas, Walter e Marcelo: Na questao em tela, concordo integralmente com o Marcelo. Acho que oq esta no fundo desta discussao, sao duas visoes distintas do papel do papel da Logica ou do status ontologico dos Objetos Logicos ou Objetos Matematicos em geral. Quem tem uma visao Fundacionista / Platonica jamais vera com bons olhos Logica (ou Matematica) aplicada. Logica ou Matematica existem idealmente e independentemente de qualquer realidade ou aplicacao. Do lado oposto, ha aqueles, como eu, que tem uma visao "Naturalizada" da Logica e Matematica, que nao apenas podem e devem ser aplicadas, mas que, no limite, so existem emquanto formas idealizadas, abstraidas a partir de varias aplicacoes concretas. Nesta visao, falar em Logica ou Matematica Aplicada nao eh apenas valido, como tem tambem precedencia (de um ponto vista epistemologico ou ontologico, nao didactico) sobre formas (mais) puras e imaculadas das mesmas disciplinas. ---Julio Stern de Canberra, Australia.
> From: mfin...@ime.usp.br > Date: Thu, 19 Dec 2013 14:24:31 -0200 > To: walter.carnie...@gmail.com > CC: logica-l@dimap.ufrn.br; ado...@dainf.ct.utfpr.edu.br > 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 aplicações de Álgebra Linear, que são > muitas e sempre crescente. É claro que se v for ver as implementações > dos operadores da álgebra linear, estas implementações também fazem > uma série de concessões que as distanciam da teoria. Por exemplo, > todas as implementações sofrem de problemas de instabilidade numérica > devido à representação de números em ponto flutuante, são > eminentemente aproximações dos resultados teóricos, etc. > > Idem no caso da LPO. As implementações do PROLOG seguem a semântica > da negação clássica apenas em casos limitados, utiliza-se negação por > falha que, em analogia às instabilidades numéricas, pode-se dizer que > apresenta instabilidades semânticas. > > E existem, sim, ao menos duas indústrias que movimentam da ordem de > vários BILHÕES de dólares por ano e são baseadas em Lógica Clássica. > A saber, Bancos de Dados (com seus cálculos e álgebras relacionais) e > os circuitos eléticos digitais. > > Acontece que a pesquisa nestas áreas já há muito abandonou a lógica, e > vai por outros lados. > > []s > > Marcelo > > > 2013/12/19 Walter Carnielli <walter.carnie...@gmail.com>: > > 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 tem > > aplicação é um ponto de vista sobre > > graus de pertinência difusa (assim como ocorre com as multivalentes). > > Alias, isso concorda com o que o Zadeh me havia dito em Berkeley há > > 25 anos atrás. > > > > Segundo, todas as ditas "aplicações" são apenas pontos de contato > > entre uma teoria e outra. Não há nada que não possa passar sem as > > ditas lógicas. 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". > > > > O que se aplica (se por "aplicar" entende-se "gerar lucros para as > > empresas" ) são as coisas da Google (veja-se o centro de pesquisa > > da Google em BH, que produz ideias relevantes sobre mecanismos de > > busca, e tanto quanto eu saiba não usam uma vírgula de lógica > > no sentido formal) . Fora isso há o PROLOG que usa um simulacro da > > FOL para escrever programas, a maior parte deles ideais e > > "detraqués" da realidade do dia-a-dia. > > > > Abs > > > > Walter > > > > > > Em 18 de dezembro de 2013 20:36, Adolfo Neto > > <ado...@dainf.ct.utfpr.edu.br> escreveu: > >> 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/Nakamatsu:Kazumi), > >> procurei por ele no ISI. > >> O artigo mais citado dele tem 17 citações. A maioria absoluta são > >> auto-citações. Os que não são auto-citações não são citados. > >> Enfim, tudo indica desinteresse por parte de quem aplica. > >> > >> > >> []s > >> Adolfo > >> > >> > >> 2013/12/18 Décio Krause <deciokra...@gmail.com> > >> > >>> 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 por Kazumi Nakamatsu. > >>> Abraço > >>> Décio > >>> > >>> ________________________ > >>> > >>> *Décio Krause* > >>> *Departamento de Filosofia* > >>> *Universidade Federal de Santa Catarina* > >>> *www.cfh.ufsc.br/~dkrause <http://www.cfh.ufsc.br/~dkrause>* > >>> ________________________ > >>> > >>> > >>> > >>> > >>> > >>> Em 18/12/2013, à(s) 20:09, Adolfo Neto <ado...@dainf.ct.utfpr.edu.br> > >>> escreveu: > >>> > >>> Questão no Quora: > >>> > >>> http://www.quora.com/Logic/Is-Paraconsistent-Logic-useful-or-at-least-meaningful > >>> > >>> Gostei desta resposta, de Robert J. Kolker< > >>> http://www.quora.com/Robert-J-Kolker> > >>> > >>> "Meaningful yes. I have not seen a slam bang useful application of a > >>> truly > >>> paraconsistent logic. Perhaps you can provide some examples." > >>> > >>> Eu continuo procurando... > >>> Claro, só estou interessado em aplicações "concretas" em Computação. > >>> > >>> Se alguém souber de algo, me avise. > >>> > >>> > >>> > >>> > >>> ================================================================== > >>> Adolfo Neto > >>> Assistant Professor - Federal University of Technology, Paraná > >>> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > >>> Twitter: http://twitter.com/adolfont > >>> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > >>> ================================================================== > >>> > >>> -------------------------------------------- > >>> Q: Why is this email three sentences or less? > >>> A: http://three.sentenc.es > >>> _______________________________________________ > >>> Logica-l mailing list > >>> Logica-l@dimap.ufrn.br > >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >>> > >>> > >>> > >> > >> > >> -- > >> > >> > >> ================================================================== > >> Adolfo Neto > >> Assistant Professor - Federal University of Technology, Paraná > >> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > >> Twitter: http://twitter.com/adolfont > >> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br > >> ================================================================== > >> > >> -------------------------------------------- > >> Q: Why is this email three sentences or less? > >> A: http://three.sentenc.es > >> _______________________________________________ > >> Logica-l mailing list > >> Logica-l@dimap.ufrn.br > >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > > > > > -- > > ----------------------------------------------- > > Prof. Dr. Walter Carnielli > > Director > > Centre for Logic, Epistemology and the History of Science – CLE > > State University of Campinas –UNICAMP > > 13083-859 Campinas -SP, Brazil > > Phone: (+55) (19) 3521-6517 > > Fax: (+55) (19) 3289-3269 > > Institutional e-mail: walter.carnie...@cle.unicamp.br > > Website: http://www.cle.unicamp.br/prof/carnielli > > _______________________________________________ > > Logica-l mailing list > > Logica-l@dimap.ufrn.br > > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
