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 parece. Se alguém projetasse transístores que implementem funções de uma álgebra booleana paraconsistente, isso seria considerado inegavelmente uma aplicação tecnológica da lógica paraconsistente ou o engenho teria que proporcionar alguma contribuição interessante para a resolução de determinado problema? Acredito que ninguém irá discordar da existência de inúmeras aplicações *filosóficas* da lógica paraconsistente; em epistemologia da ciência na caracterização da racionalidade envolvida no ato de se aceitar modelos científicos empiricamente adequados mas formalmente inconsistentes entre si, em filosofia da linguagem na formalização de semânticas de vagueza, em filosofia moral na problematização de dilemas deônticos, etc. Abraços. 2013/12/23 Vivek Nigam <vivek.ni...@gmail.com> > 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 a motivação de sua pesquisa fundada em possíveis > aplicações, sejam teorias que ajudem a explicar comportamentos > computacionais, ou que ajudem a construir sistemas corretos, etc, ou que > criem novos produtos. > > Isso me lembra um pouco Jean-Pierre Jouannaud que nas apresentações da > conferência Logic in Computer Science (LICS) sempre perguntava aos > palestrantes com pesquisas mais teóricas: > > "Tudo bem, mas para que serve essa teoria?" > > Acho que pesquisadores em Lógica Computacional devem ter essa visão quando > fazem a sua pesquisa. > > Abraços e Boas Festas! > > Vivek > > ------------------------------------------------- > Vivek Nigam > > Computer Science Department > Federal University of Paraíba > http://www.nigam.info/ > -------------------------------------------------------- > > > 2013/12/22 Valeria de Paiva <valeria.depa...@gmail.com> > > > 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 cientistas, > > independentemente dos processos de avaliacao usados pelos orgaos de > > financiamento--ou assim me parece. > > > > Nao sei se voce conhece o paper > > > > On the Unusual Effectiveness of Logic in Computer Science > > www.cs.cmu.edu/~rwh/papers/*unreasonable*/basl.ps > > > > > > > > *se nao conhece, deve gostar, e e' um tanto mais amplo do que os dois > > exemplos de sucesso que o Marcelo indicou.* > > e os outros dois, dos quais 'e uma brincadeira-continuacao, o famoso do > > Wigner e do Hamming tambem valem muito a pena serem lidos. eu tenho umas > > outras sugestoes em termos de "pratical uses of functional programming" e > > de "Computational Thinking" da Jeanette Wing que talvez te interessem tb, > > mas minha internet de ferias nas 'e das melhores. Te mando depois do Ano > > Novo. > > > > Boas Festas a todos, > > Valeria > > > > > > 2013/12/19 Marcelo Finger <mfin...@ime.usp.br> > > > > > 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 > > > > > > > > > > > -- > > Valeria de Paiva > > http://www.cs.bham.ac.uk/~vdp/ > > http://valeriadepaiva.org/ > > _______________________________________________ > > 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 > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
