Re: [Logica-l] Re: Lógica para cegos

2018-09-20 Por tôpico Luiz Henrique
Grato! *Luiz Henrique da Silva Santos* Graduando em Filosofia - UFAL Bolsista de iniciação científica pelo CNPq Lattes: http://lattes.cnpq.br/662785085298 Em qua, 19 de set de 2018 às 16:57, jyb escreveu: > Sempre tive interesse para este assunto, no UNILOG'2013 > https://www.uni-log.org/e

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Manuel Doria
Eu tinha dado margem para dúvidas mas dadas essas generalizações ignorantes e arrogantes sobre a lógica matemática e o positivismo lógico, o charlatanismo de Mário Ferreira dos Santos nesses tópicos ficou evidente. [ ]'s On Thu, Sep 20, 2018 at 8:18 AM Joao Marcos wrote: > > Eu não sei se isso

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Evandro L. Gomes
Caro Augusto, Obrigado pela referência. abs, Evandro. On Thu, Sep 20, 2018 at 10:18 AM Augusto Andraus wrote: > Olá Ricardo, > > Recentemente investiguei (de forma muito breve) esse assunto, e encontrei > este paper aqui: > > > https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Jessé Silva
Divertido mesmo, ainda mais quando faz referências a este tipo de pessoa. Confesso que dou gargalhadas... Em qui, 20 de set de 2018 às 09:42, Famadoria escreveu: > Desculpem-me, mas que bestialógico! > > Sent from my iPhone > > On 20 Sep 2018, at 08:19, Joao Marcos wrote: > > >> Eu não sei se i

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Ricardo Grande
Obrigado, Augusto :) Em 20 de setembro de 2018 10:18, Augusto Andraus escreveu: > Olá Ricardo, > > Recentemente investiguei (de forma muito breve) esse assunto, e encontrei > este paper aqui: > > https://www.cambridge.org/core/journals/bulletin-of- > symbolic-logic/article/div-classtitlerussell-

Re: [Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Augusto Andraus
Olá Ricardo, Recentemente investiguei (de forma muito breve) esse assunto, e encontrei este paper aqui: https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/article/div-classtitlerussell-and-godeldiv/0C347F171985A54395CDA89D31C4A59A O paper também tem uma lista de referências bibli

[Logica-l] Russell - Gödel - Pergunta

2018-09-20 Por tôpico Ricardo Grande
Olá, bom dia. Uma estudante minha de matemática me perguntou se existe alguma referência de Russell mencionando, comentando ou discutindo os teoremas de Gödel de 1931. Eu procurei por algo na net, não vi nada sólido. Se alguém tiver alguma referência, eu vou repassar para a estudante. Eu já havia m

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Famadoria
Desculpem-me, mas que bestialógico! Sent from my iPhone On 20 Sep 2018, at 08:19, Joao Marcos wrote: >> Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem um >> documento chamado "O homem livre" >> Aqui está o link: >> https://bibdig.biblioteca.unesp.br/bitstream/handle/10

[Logica-l] Dados em Lógica de Descrição EL (OWL-EL)

2018-09-20 Por tôpico Marcelo Finger
Caros. Alguém conhece bases de dados (ontologias) públicas escritas na linguagem de lógica de descrição EL (ou EL++) ou em sua sintaxe oficial, OWL-EL? Agradeço de antemão qualquer ajuda e me comprometo a enviar à lista a lista de sites que eu compilar. []s -- Marcelo Finger Departament of

Re: OFF TOPIC: Paranoia e charlatanismo --> Re: [Logica-l] Re: Porque Mario Ferreira dos Santos não deve ser levado a sério.

2018-09-20 Por tôpico Joao Marcos
> Eu não sei se isso contribui para o tema da postagem, mas na UNESP tem um > documento chamado "O homem livre" > Aqui está o link: > https://bibdig.biblioteca.unesp.br/bitstream/handle/10/8974/o-homem-livre-1965-0002.pdf?sequence=2 Agradeço pelo link. * * * O texto "Os sinais, um tema de máxi

[Logica-l] Square of Opposition, Crete, November 1-5, 2018

2018-09-20 Por tôpico jean-yves beziau
Final extended deadline to send an asbtarct is September 24 http://www.square-of-opposition.org/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+