[Logica-l] Contradiction in Quantum Physics - Carioca Logic Seminar - September 29, 2016, 16h30
Contradiction in Quantum Physics Carioca Logic Seminar http://www.rio-logic.org/ September 29, 2016, 16h30 University of Brazil, Rio de Janeiro with Jose Acacio de Barros, State University of San Francisco, USA Décio Krause, Federal University of Santa Catarina, Brazil Everybody is welcome to join ! [image: Images intégrées 1] -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBhOB6-ci-vaGrMLYxPmJk8fxSk3PUXiW%3D7CCo0EhdS3g%40mail.gmail.com.
[Logica-l] Como anunciar eventos na Sociedade Brasileira de Computação
Caros. Eu não me lembro mais se existe um endereço para anunciar eventos na SBC geral, sem ser nas comissões especiais. Uma vez mandei para sbc-l e o emial voltou. Me lembro de ter visto algo a este respeito, mas uma busca rápida foi infrutífera. Agradeço a clarificação. Por favor enviem ao meu email pessoal. Obrigado Marcelo -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3TMNBhhwaR-CJGQE7S%2BHrMLBkjeHcoT773yx%2BPfzWc8A%40mail.gmail.com.
Re: [Logica-l] Como anunciar eventos na Sociedade Brasileira de Computação
Oi, Marcelo: Agora só associado com pagamento em dia pode anunciar qualquer coisa nas listas da SBC. O endereço é sb...@sbc.org.br. Abraços, Cláudia Em 2016-09-26 10:00, Marcelo Finger escreveu: Caros. Eu não me lembro mais se existe um endereço para anunciar eventos na SBC geral, sem ser nas comissões especiais. Uma vez mandei para sbc-l e o emial voltou. Me lembro de ter visto algo a este respeito, mas uma busca rápida foi infrutífera. Agradeço a clarificação. Por favor enviem ao meu email pessoal. Obrigado Marcelo -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- Você recebeu essa mensagem porque está inscrito 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+unsubscr...@dimap.ufrn.br. Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. Acesse esse grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver essa discussão na Web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3TMNBhhwaR-CJGQE7S%2BHrMLBkjeHcoT773yx%2BPfzWc8A%40mail.gmail.com [1]. Links: -- [1] https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx3TMNBhhwaR-CJGQE7S%2BHrMLBkjeHcoT773yx%2BPfzWc8A%40mail.gmail.com?utm_medium=email&utm_source=footer -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/fa98bdbb6f158d898afd4c703d8e328d%40unb.br.
[Logica-l] CONVITE: Defesa de Mestrado de João Daniel Dantas de Oliveira
Gostaria de convidar os colegas para a defesa do mestrado de *João Daniel Dantas de Oliveira*, com uma interessante dissertação sobre o "argumento estilingue" de Gödel. O resumo do trabalho se encontra abaixo. A dissertação se encontra escrita *em inglês*. Cumprimentos lógicos, Joao Marcos -- Forwarded message -- DISCENTE: JOÃO DANIEL DANTAS DE OLIVEIRA DATA: 30/09/2016 HORA: 09:00 LOCAL: SALA C1 - SETOR II TÍTULO: Revisitando o argumento Estilingue de Gödel: Será que a teoria das descrições de Russell realmente evita o Estilingue? RESUMO: A família de argumentos chamada “Slingshot Arguments” é uma família de argumentos subjacente à visão fregeana de que se sentenças tem referência, a sua referência é os seus valores de verdade. Usualmente visto como um espécie de argumento colapsante, o argumento consiste em demonstrar que, uma vez que você suponha que há alguns itens que são as referências das sentenças (como fatos ou situações, por exemplo), estes itens colapsam em apenas dois: O Verdadeiro e O Falso. Esta é uma dissertação sobre o slingshot que é denominado o slingshot de Gödel. Gödel argumentou que há uma conexão profunda entre estes argumentos e descrições definidas. Mais precisamente, de acordo com Gödel, adotando-se a interpretação de Russell de descrições definidas (que diverge da visão de Frege de que descrições definidas são termos singulares) é possível escapar do slingshot. Nós desafiamos a posição de Gödel de duas formas, primeiramente por apresentar um slingshot mesmo com uma interpretação russelliana de descrições definidas em segundo lugar por apresentar um slingshot mesmo se mudarmos de termos singulares para termos plurais à luz do recente desenvolvimento da chamada Lógica Plural. A dissertação está dividida em três capítulos. No primeiro capítulo apresentamos o debate entre Frege e Russell sobre descrições definidas, no segundo capítulo apresentamos a posição de Gödel e reconstruções de seu argumento e no terceiro capítulo demonstramos nosso próprio slingshot para a Lógica Plural. Através desses resultados pretendemos concluir que podemos recuperar slingshots mesmo com uma interpretação russelliana de descrições definidas ou em um contexto de Lógica Plural. PALAVRAS-CHAVE: Slingshot Arguments; Descrições Definidas; Lógica Plural. PÁGINAS: 74 GRANDE ÁREA: Ciências Humanas ÁREA: Filosofia MEMBROS DA BANCA: Presidente - 1517271 - JOAO MARCOS DE ALMEIDA Interno - 1451225 - DANIEL DURANTE PEREIRA ALVES Interno - 1048318 - SAMIR BEZERRA GORSKY Externo à Instituição - LUIZ CARLOS DIAS PINHEIRO PEREIRA - PUC - RJ -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjBfJiHjugqpXWcS9XhcJUuxA%2BMx9wCvpejZJVBAan02g%40mail.gmail.com.
[Logica-l] Livro sobre fundamentos da mecânica quântica com o Newton.
Este é o texto de divulgação preparado pela editora: ``Neste livro primoroso escrito pelos amigos Newton C. A. Costa e Francisco Antonio Doria podemos ver, quase como um diálogo (ou como uma aula para nós) os autores explanando, concordando e discordando sobre a matemática da teoria quântica. Até porque esse trabalho é fruto de uma série de e-mails entre eles discutindo sem compromisso e conjecturando sobre conceitos e símbolos da mecânica quântica padrão, a mecânica quântica desenvolvida por Schrödinger e Heisenberg, que tem como espaçotempo o espaçotempo clássico, newtoniano.'' -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BKp-WgmT68j9whH1QM5vPtS80j%2B%2BLaPnG7s5foBEsp7tw%40mail.gmail.com.
[Logica-l] Aproveitando o CONVITE...
Após a defesa do João Daniel teremos mais uma conferência IMPERDÍVEL do nosso grupo, LoLITA :) Estão todos convidados! *** Luiz Carlos Pereira (PUC-Rio/UERJ/CNPq) O sistema Ecumênico e o sistema Fat Em um artigo recente [2015], Dag Prawitz propôs um sistema ecumênico no qual a lógica clássica e lógica intuicionista poderiam coexistir pacificamente sem qualquer conflito. A ideia principal envolve uma divisão de alguns operadores: ∧, ¬, ⊥ e ∀ seriam compartilhados entre as duas lógicas, mas cada lógica teria seus próprios operadores para a implicação, a disjunção e a quantificação existencial, denotados por →c, ∨c e ∃c e →i, ∨i e ∃i, respectivamente. O objetivo do presente trabalho é duplo: [1] examinar a teoria da prova e a semântica do sistema ecumênico de Prawitz; e [2] modelar o sistema ecumênico de Prawitz por meio (de uma extensão) do sistema polimórfico atômico Fat proposto por Fernando Ferreira e Gilda Ferreira. Sexta 30/09/2016 16h Auditório da Geografia - CCHLA - UFRN -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador Salgado Filho, s/nº Lagoa Nova, CEP: 59.078-970 - Natal - RN Phone: +55 84 9193-6127 / 3215-3819 Fax: +55 84 3211-9219 http://sites.google.com/site/elainepimentel/ Lattes: http://lattes.cnpq.br/3298246411086415 -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVt%2BF74FLFirKDM_Z9xHyV9uGg-9d_zJVmQs%3DkPdG1_zw%40mail.gmail.com.
[Logica-l] Call for Workshops Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP
(with apologies for multiple postings) CALL FOR WORKSHOPS AND TUTORIALS Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP -- will be held in Brasília, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and practitioners to submit proposals for co-located workshops and in-depth tutorials on topics relating to automated theorem proving and its applications. Workshops/tutorials can target the automated reasoning community in general, focus on a particular theorem proving system, or highlight more specific issues or recent developments. Co-located events will take place between 23 and 24/25 September and will be held on the same premises as the main conference. Conference facilities are offered free of charge to the organisers. Workshop/tutorial-only attendees will enjoy a significantly reduced registration fee. Detailed organisational matters such as paper submission and review process, or publication of proceedings, are up to the organisers of individual workshops. All accepted workshops/tutorials will be expected to have their program ready by 18 August 2017. Proposals for workshops/tutorials should contain at least the following pieces of information: - name and contact details of the main organiser(s) - (if applicable:) names of additional organisers - title and organisational style of event (tutorial, public workshop, project workshop, etc.) - preferred length of workshop (between half day and two days) - estimated number of attendees - short (up to one page) description of topic - (if applicable:) pointers to previous editions of the workshop, or to similar events Proposals are invited to be submitted by email to na...@unb.br, no later than 9 December 2016. Selected events will be notified by 23 December 2016. The workshop/tutorial selection committee consists of the TABLEAUX, FroCoS, and ITP program chairs and the conference organisers. -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx0eTJoU0rRTnaLq0iKthhfFpBD%3DDuHxLf%3DiQfTKZkGg5A%40mail.gmail.com.
