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
Paraconsistentes.

E não quero enterrar as LP! :)
Newton da Costa é daqui da cidade que adotei pra viver.
Quero que elas brilhem :)

Mas uma coisa é certa. Estou perguntando no foro errado. Devo procurar
alguma lista internacional de IA ou algo semelhante.
Alguém tem uma pra me indicar?

Adolfo

2013/12/18 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ópolis - SC - Brasil*
> *http://www.cfh.ufsc.br/~dkrause *
> *--*
>
> Em 18/12/2013, às 20:46, Adolfo Neto 
> escreveu:
>
> 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 interesse em saber qual o real interesse em lógicas
> paraconsistentes, para o caso de voltar a trabalhar com elas.
>
>
>
>
> 2013/12/18 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 boa.
>> Seria preciso que alguém se debruçasse sobre o que fizeram e analisasse
>> realmente as vantagens. Mas sabemos que isso é difícil, pois cada um fica
>> ocupado com seus botões…paciência. Mas eu não descartaria o trabalho deles
>> em princípio.
>> Abraço
>> D
>>
>> 
>>
>> *Décio Krause*
>> *Departamento de Filosofia*
>> *Universidade Federal de Santa Catarina*
>> *www.cfh.ufsc.br/~dkrause *
>> 
>>
>>
>>
>>
>>
>> Em 18/12/2013, à(s) 20:36, Adolfo Neto 
>> 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 
>>
>>> 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 *
>>> 
>>>
>>>
>>>
>>>
>>>
>>> Em 18/12/2013, à(s) 20:09, Adolfo Neto 
>>> 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
>>>
>>>
>>>
>>

[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 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
 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 
>
>> 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 *
>> 
>>
>>
>>
>>
>>
>> Em 18/12/2013, à(s) 20:09, Adolfo Neto 
>> 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

[Logica-l] Fwd: DP-PMI - Second edition of the Doctoral Programme in the Physics and Mathematics of Information

2013-12-19 Por tôpico Carlos Caleiro 
Por favor circulem entre possíveis interessados.
Obrigado,
Carlos

---

Dear Friends,

We are happy to announce the opening of the call for applications for the
2014/15 edition of the *Doctoral Programme in the Physics and Mathematics
of Information: Foundations of Future Information Technologies* (DP-PMI).

The DP-PMI aims at providing advanced curricular and research training in
the recent developments and fundamental challenges in information sciences
and technologies.

The DP-PMI is hosted by Instituto Superior 
Tecnico  (IST), the School of Science and
Engineering of the University of Lisbon, in Portugal, and eight associated
research centres .

The programme is funded  mainly by a
2.2 MEuro grant from the Portuguese Science
Foundation(FCT). The first DP-PMI
class has been selected and will start in January
2014. The programme will recruit up to 30 more students over the next four
years, with the last DP-PMI class expected to graduate in 2021.

The *Doctoral Programme in the Physics and Mathematics of Information* aims
at recruiting top-level students at the global scale. The
applicationsfor the 2014/15
edition of the DP-PMI, starting in September 2014, are now
open!

For more information, see:
 http://www.dp-pmi.org/


Please advertise this information through your contacts and to potential
candidates.

Thank you very much and best wishes,

Yasser

 Doctoral Programme in the Physics and Mathematics of Information (DP-PMI)
 http://www.dp-pmi.org/



-- 

Carlos Caleiro

SQIG - Instituto de Telecomunicações
Departamento de Matemática
Instituto Superior Técnico
Universidade de Lisboa

Av. Rovisco Pais, 1049-001 Lisboa
Portugal

tel: (+351) 218417138
fax: (+351) 218417048
email: carlos.cale...@tecnico.ulisboa.pt
www: sqig.math.ist.utl.pt/ccal

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

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çõ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 :
> 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
>  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 
>>
>>> 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 *
>>> 
>>>
>>>
>>>
>>>
>>>
>>> Em 18/12/2013, à(s) 20:09, Adolfo Neto 
>>> 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
>>> _

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 interessantes.
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

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 pode haver
de aplicação mais prática em Computação do que LPs?), até onde sei,
surgiram de pesquisas.
Por exemplo, a maioria das linguagens mais usadas  (
http://www.tiobe.com/index.php/content/paperinfo/tpci/index.html ) são
Orientadas a Objetos.
A linguagem na posição 25 (Lua) foi criada no Brasil por professores da
PUC-RJ. A 31 foi criada na Suiça por um professor da EPFL. Hoje há um certo
reavivamento de linguagens funcionais (Clojure, Scala, Haskell) que foram
muito estudadas na Academia por anos.

É verdade que na Computação muita coisa interessante vem do mercado e
depois nós estudamos. Exemplos: TDD, Programação Pareada, Métodos Ágeis,
etc. Mas isto é melhor do que ficar inventando coisas que claramente não
servem pra nada (o que já vi acontecer). Não que não se deva criar coisas
novas, mas tem um limite.

Um exemplo de aplicação real de algo ligado a Lógica para Computação é este
aqui:
SAT4J 2.0 to drive Eclipse next generation update manager
http://forge.ow2.org/forum/forum.php?forum_id=1369

É este tipo de coisa que quero ver relacionado à paraconsistência.
Talvez exista, mas eu não conheço.

Já que você mencionou Fuzzy, alguns números que talvez não signifiquem nada.
Neste ano foram publicados 3902 artigos com a palavra fuzzy no título.
Destes, 2715 nas áreas de Computer Science e Engineering.

Somando Paraconsistent (3), Paraconsistency (1), Inconsistent (138, sendo
16 em CS&E) e Inconsistency (125, sendo 23 em CS&E), não chega nem a 300.

Em tempo, o artigo Fuzzy Sets de Zadeh (1965) foi citado 16840 vezes na
base do ISI. Só em 2013 foram 1016 citações até agora. E já tem 20 pra 2014.
No Google Scholar, 44312.

O artigo On the Theory of Inconsistent Formal Systems (1975) do prof.
Newton (ver Perfil de Newton da Costa no
Scholar)
não está na base do ISI, infelizmente.
No Google Scholar tem 621 citações. Maravilhoso. Vou procurar lá nas
citações algo que talvez não conheça.


Adolfo



2013/12/19 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 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
>  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 
> >
> >> 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
> >> interessante

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 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 interessantes.
> JM
>



-- 


==
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

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 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 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 interessantes.
>> JM
>>
>
>
>
> --
>
>
> ==
> 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
>
>


-- 


==
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

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úmeros em Criptografia para que elas se
sintam motivadas a fazer suas pesquisas em Álgebra Linear ou em Teoria
dos Números.  Quem produz boa pesquisa, produz pesquisa porque
^gosta^.

> De uma obra de arte, serve para eu me divertir, pra me instruir, pra me
> educar...

Para todo artefato há sempre um indivíduo sem a sensibilidade certa
para apreciá-lo.

Eu, por exemplo, não tenho a sensibilidade para apreciar "robozinhos
paraconsistentes".  Já os vi ; não me impressionam.  Se eu tivesse que
gostar disso para fazer Ciência, também acharia melhor não fazê-la.

Não é interessante como as pessoas são diferentes?

> Não vejo como isso pode ser uma pergunta errada...

Talvez as suas perguntas tenham resposta se você clarificar antes para
si mesmo que tipo de resposta está buscando.

A lógica paraconsistente não é mais extraordinária do que qualquer
outra lógica formal.  Só você pode determinar quais aplicações você
considera convincentes, em se tratando de uma certa lógica formal
arbitrária, ou qualquer outra.

> Não que não se deva criar coisas novas, mas tem um limite.

Como se determina, no momento da criação, qual é este limite?

> Algumas pesquisas sem nenhum vislumbre de aplicação prática devem ser feitas.

Ainda bem que não é você quem decide que pesquisas são estas que devem
ser feitas!

JM

-- 
http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: 9th SCANDINAVIAN LOGIC SYMPOSIUM

2013-12-19 Por tôpico Joao Marcos 
-- Forwarded message --

==
9th SCANDINAVIAN LOGIC SYMPOSIUM
25-27 August 2014, University of Tampere, Finland
http://www.sis.uta.fi/SLS2014/


FIRST ANNOUNCEMENT AND CALL FOR SUBMISSIONS


The 9th Scandinavian Logic Symposium will be held at the University of
Tampere, Finland, during 25-27 August 2014 under the auspices of the
Scandinavian Logic Society (SLS, http://scandinavianlogic.org/).

As with previous editions of the Symposium, its primary aims are to
reflect the current activities in logic in the Nordic countries and to
provide a local meeting forum for their logical communities, broadly
conceived. Besides, it invites and warmly welcomes participation of
logicians from all over the world.


SCOPE AND TOPICS
The scope of SLS 2014 is broad, ranging over the whole areas of
Mathematical and Philosophical Logic, as well as Logical Methods in
Computer Science, Artificial Intelligence, Linguistics, etc. Major
topics include (but are not limited to): Proof Theory, Constructivism,
Model Theory, Set Theory, Computability Theory, Algebra and Logic,
Categorical Logic, Logic and Computer Science, Logic and Linguistics,
Logic in AI and Multi-Agent Systems, Logics of Games, Modal and other
non-classical Logics, Philosophical Logic.


INVITED SPEAKERS:
Mai Gehrke (LIAFA, Paris)
Volker Halbach (University of Oxford)
Asger Törnquist (University of Copenhagen)
Jouko Väänänen (University of Helsinki)
Thomas Ågotnes (University of Bergen)


PROGRAM COMMITTEE
Co-chairs: Sara Negri (University of Helsinki) and Valentin Goranko
(Technical University of Denmark)

Members:
Luca Aceto (Reykjavik University)
Lars Birkedal (Aarhus University)
Patrick Blackburn (Roskilde University)
Patricia Blanchette (University of Notre Dame, US)
Thierry Coquand (University of Gothenburg)
Ali Enayat (University of Gothenburg)
Øystein Linnebo (University of Oslo and Birkbeck College London)
Kerkko Luosto (University of Tampere)
Dag Normann (University of Oslo)
Gabriel Sandu (University of Helsinki)
Arild Waaler (University of Oslo)
Dag Westerståhl (University of Stockholm)


ORGANISING COMMITTEE
Chair: Lauri Hella (University of Tampere)

Members:
Kerkko Luosto (University of Tampere)
Antti Kuusisto (University of Wroclaw)
Jonni Virtema (University of Tampere)
Jevgeni Haigora (University of Tampere)


SUBMISSIONS
Abstracts of contributed talks, in PDF format, not exceeding one A4
(11pt) page, should be submitted by April 25, 2014, through
EasyChair: https://www.easychair.org/conferences/?conf=sls2014
Abstracts should be typeset following the format of a LaTeX style
file that will be posted soon on the conference website.


IMPORTANT DATES:
Submission deadline: April 25, 2014
Notification: May 16, 2014
Final programme: July 25, 2014

LOCATION
University of Tampere (UTA) is situated close to the center of Tampere
within a ten minutes walk from the railway station.

ACCOMMODATION
There are several hotels within a walking distance from the conference
venue. The organizers will provide a list of some alternatives on the
conference website.

REGISTRATION
Details concerning registration will be posted with the next announcement.

ENQUIRIES: Write email to scandinavianlogicsympos...@gmail.com


--
http://cadillac-dk.weebly.com/

C.A.D.I.L.L.A.C
Copenhagen Association for Dynamics Interaction Logic Language And Computation
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Julio Stern 


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 :
> > 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
> >  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 
> >>
> >>> 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 Nakama

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 minha intenção dizer que eles usam estes critérios portanto eu estou
correto. Foi mais na seguinte linha: talvez eu precise dos órgãos de
pesquisa (acabei de precisar e deu certo) portanto o melhor é tentar pensar
como eles.

Mas é claro que é uma questão pessoal. Algumas pessoas se satisfazem com o
que fazem sem precisar de algum estímulo externo. Outras não.


2013/12/19 Joao Marcos 

> Adolfo:
>
> >> "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úmeros em Criptografia para que elas se
> >> sintam motivadas a fazer suas pesquisas em Álgebra Linear ou em Teoria
> >> dos Números.  Quem produz boa pesquisa, produz pesquisa porque
> >> ^gosta^."
> >
> > Essa afirmação é baseada em que evidência?
> > Já li algumas entrevistas com cientistas "famosos" e a aplicação prática
> do
> > conhecimento foi citada várias vezes. Não tenho evidências. Só minha
> memória
> > pouco confiável. Lembro do Miguel Nicolelis, que chorou ao falar do
> projeto
> > Walk Again.
>
> Eu já vi o Nicolelis chorar, e já chorei em pelo menos uma palestra
> dele.  Vejo-o frequentemente aqui na UFRN.  Eu choro também todas as
> vezes em que mostro aos alunos o argumento da diagonal de Cantor para
> a não-enumerabilidade dos números reais, todas as vezes em que mostro
> como a noção de logaritmos pode ser usada para mensurar quantidade de
> informação e para estimar a compressão de dados, todas as vezes em que
> mostro como a fórmula de Euler permite solucionar equações de
> recorrência lineares com raízes complexas.  Infelizmente, a maior
> parte dos alunos que recebemos hoje na nossa universidade não aprendeu
> sobre funções, sobre logaritmos ou sobre a fórmula de Euler na escola
> para se emocionarem junto comigo.  Talvez porque estes temas "não têm
> aplicação concreta"?
>
> >>> "Ainda bem que não é você quem decide que pesquisas são estas que devem
> >>> ser feitas!"
> >
> > Eu não decido. Mas acho (apenas uma impressão) que o pessoal que decide
> que
> > pesquisas financiar leva sim isso em questão.
>
> Pois a minha impressão é justamente de que critérios dúbios ligados a
> "aplicações" difusas (fuzzy?) tornam nebulosas (fuzzy?) as decisões
> sobre financiamento de pesquisas.  Critérios filistinos de uma área
> nem sempre funcionam quando aplicados em outra.  É muito difícil, em
> geral, julgar a produção de certas áreas teóricas, onde ocorre real
> avanço conceitual, com as lentes "aplicadas" que você lhas impõe.
> Talvez por isto mesmo estejamos no estado lastimável onde hoje
> estamos, em que as coisas são medidas como são.
>
> Há porcarias com aplicação tanto quanto porcarias sem aplicação.
> Concordo com a maior parte das críticas que você levanta a respeito
> dos critérios usados por nossos órgãos de pesquisa, como já deixei
> claro, mas não compreendo como você junta os pontinhos que ligam
> "aplicações" a "citações".
>
> Abraços,
> Joao Marcos
>
> --
> http://sequiturquodlibet.googlepages.com/
>



-- 


==
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

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ês, 
que não recebem resenhas críticas, pois não é nosso hábito. Qualquer crítica é 
levada para o lado pessoal. Ademais, o português não é lido nem em  Buenos 
Aires. Textos em português devem ser dirigidos para alunos, não para expressar 
teses filosóficas, pois não serão lidos por quem deveriam.
Temos ainda um longo caminho, com gente colocando pedras na frente.
D



--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://www.cfh.ufsc.br/~dkrause
--

Em 18/12/2013, às 23:58, Joao Marcos  escreveu:

>>> 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, *produzir* é condição ^necessária^ para ser citado.
> 
> Torçamos para que com o inchaço da produção irrelevante brasileira,
> cresça junto também a produção de relevo.
> JM
> 
> -- 
> http://sequiturquodlibet.googlepages.com/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l