Re: [Logica-l] EBL 2014 repetindo o local?

Fortaleza eh muito ruim, grande demais e insegura. As praias melhores " fecham " aas 5 por medo de ladroes, e as centrais são muito sujas. Petrópolis eh bem melhor, tem muito mais infra- estrutura, Natal seria uma ótima esçolha, tem até o João Marcos lá com sua eficiência, que poderia inaugura

Re: [Logica-l] EBL 2014 repetindo o local?

Caro Samy, Conheço Fortaleza há 30 anos. No ano passado fui numa banca,e fiquei vários dias num belo. Hotel na Praia de Iracema. O pessoal todo, do Hotel e da Universidade, nos desincentivou a sair mais longe, fomos de taxi (eu e colegas do Rio e Brasília) e nem o taxi nos queria levar aa Praia

[Logica-l] Folha de S.Paulo : Fator de impacto: o fetiche do cientista | Teoria de Tudo

Folha de S.Paulo - Blogs - Fator de impacto: o fetiche do cientista | Teoria de Tudo http://teoriadetudo.blogfolha.uol.com.br/2013/05/21/fator-de-impacto-o-fetiche-do-cientista/ Enviado via iPad ___ Logica-l mailing list Logica-l@dimap.ufrn.br htt

Re: [Logica-l] Lógicos brasileiros não tem imaginacao

Imaginacao temos, paciência para trabalhar por prêmios pequenos, menos. :-) W. Enviado via iPad > Em 01/02/2014, às 16:30, Arthur Buchsbaum escreveu: > > Caros colegas, eu mesmo não sei desenhar, daí não poderia participar de um > concurso como este, mas tenho escrito um tanto a respeito de

Re: [Logica-l] South American Journal of Logic - SAJL

Ola Jean-Yves, Belo, mas tem a bandeira da argentina no logo !!! Abs Walter Enviado via iPad > Em 13/02/2014, às 20:55, jean-yves beziau escreveu: > > Dear Colleagues > > We are pleased to announce the launching of the > South American Journal of Logic - SAJL > Free on-line access and also p

[Logica-l] : Comunicado de la Universidad de Los Andes, Venezuela.

> > > Pedimos muy respetuosamente la difusión que le pueda dar a este > pronunciamiento en su Universidad, de manera que llegue a profesores, > estudiantes, comunidad universitaria toda, y al país Democrático en > general. > > Cordialmente, > > Prof. Margarita Belandria > Coordinadora de la

Re: [Logica-l] Verbete Wikipedia

E como se muda? Quem muda ? Enviado via iPad > Em 01/04/2014, às 15:28, Francisco Antonio Doria > escreveu: > > Agradeço ao Helder a gentileza do retorno, mas já desisti da Wikipedia > brasileira. Ou mudam esse pessoal que dela se assenhorou, ou vou continuar > mostrando-a como fracasso (ou co

[Logica-l] Brasil é um dos últimos em teste que avalia capacidade de resolver problemas lógicos elementares

Vai ver que cada povo tem a wiki que merece... Brasil é um dos últimos em teste que avalia capacidade de resolver problemas > País amarga 38.º entre 44 países, de acordo com levantamento da Organização > para a Cooperação e o Desenvolvimento Econômico (OCDE) > 01 de abril de 2014 | 9h 50 > Notí

Re: [Logica-l] PhilPapers seeking financial support through institutional subscriptions

Caro Daniel, Eu concordo inteiramente. So não sei como convencer a CAPES sobre isso. Mas talvez vc pudesse abrir um abaixo-assinado no Avaaz, por exemplo. Abs Walter Enviada do meu iPad > Em 15/04/2014, às 13:47, Daniel Durante escreveu: > > Colegas, > > Repasso a informação sobre o portal

Re: [Logica-l] "problemas para reconhecer a importância da lógica"

Outros senhores, membros de CAs, também têm problemas para reconhecer a importância da lógica. Enviada do meu iPad > Em 08/05/2014, às 07:15, Joao Marcos escreveu: > > mas ainda têm problemas para reconhecer a > importância da lógica." ___ Logica-l

Re: [Logica-l] Re: Is there a model of ZFC inside which ZFC does not have a model?

Oi Samuel, O fato de o Segundo Teorema de Incompletude ser consequência imediata do Primeiro é, sim, bem conhecido por aí... Abs Walter > Em 16 de jun de 2016, às 00:04, 'Samuel Gomes' via LOGICA-L > escreveu: > > Esse aspecto do Segundo Teorema de Incompletude ser consequência imediata (d

Re: [Logica-l] "Paraconsistent Logic: Consistency, Contradiction and Negation" (Walter Carnielli e Marcelo E. Coniglio)

Caro Marcelo: Muito obrigado, vindo de você nunca eh tardio, apenas bem refletido :-) Aproveitamos a oportunidade para agradece aas dezenas de mensagens congratulatorias que recebemos de colegas desta lista. Abracos, Walter > Em 19 de jul de 2016, às 16:26, Marcelo Finger escreveu: > > Walte

[Logica-l] PhD and post doc opportunities

Call for applications for Phd and postdoc positions in the history and philosophy of mathematics at ETH Zurich. https://apply.refline.ch/845721/4747/pub/1/index.html Walter -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscr

[Logica-l]

Car@s: A propósito do Alan Robinson, conversei bastante com ele em Viena ha uns 8 anos atras, interessado que sou sobre o PROLOG, sabendo que ele criara aquela coisa simples e certeira que eh a Regra de Resolução em seu “A Machine-Oriented Logic Based on the Resolution Principle”. Nao so

[Logica-l] Ivo Pitanguy, ética, estética, Academia Brasileira de Letras e Olimpíadas

Colegas, Um tanto offtopic, mas não muito se levarmos a serio a cadeia Estética--> ética --> filosofia--> lógica ... De BIOETHICS, "Cosmetic surgery. Rio and euthanasia.": "The death of Ivo Pitanguy in Rio this week was the intersection of bioethics and the Olympics. The world’s best-know

[Logica-l] Convite para defesa de Doutorado de Pedro Mendes Ferreira Lemos ( 02/09, 15:00, CLE)

Prezados colegas e estudantes: Gostaria de convidar a todos os interessados para a sessao de defesa de Doutorado do meu orientando Pedro Mendes Ferreira Lemos no Programa de Pôs-Graduação em Filosofia da Unicamp, linha de Logica, com titulo: "The Fading Light of Contingency: On Tense, Modal

Re: [Logica-l] Convite para defesa de Doutorado de Pedro Mendes Ferreira Lemos ( 02/09, 15:00, CLE)

ta reunida, hein, Walter! >>> > >>> > dream team na banca. >>> > >>> > parabéns ao Pedro! (Fomos colegas na PUC-RJ e participamos juntos dos >>> > encontros do Cone Sul de Filosofia Formal um par de vezes.) >>> > >>> > O tema

Re: [Logica-l] Convite: workshop em homenagem aos 70 anos do professor Chico Miraglia

Carissimo Cifuentes /"Cifa", como de certa forma o "causador" do excelente " efeito" de você ter mudado sua carreira e sua vida para o Brasil, deste quando você morava em Lima e trabalhávamos em Santiago de Chile, e também como o organizador do Trends in Logic XVI que celebra os 40 anis do CL

[Logica-l] Artigo open access ("Paraconsistent Probabilities: Consistency, Contradictions and Bayes’ Theorem", Juliana Bueno-Soler & Walter Carnielli )

Caros colegas: Antes que a Lista se apague ( como parece, para tristeza de todos nos) gostaria de divulgar um artigo recentíssimo do nosso grupo, num tema fascinante e ainda pouquíssimo explorado com detalhes, os fundamentos lógicos da teoria das probalidades: Paraconsistent Probabilities: C

[Logica-l] Lógica para o século XXIl?

Caros colegas, Pode interessar a alguns a leitura de uma amena entrevista , dada ao Jornal da Unicamp, sobre o nosso recente livro ( Marcelo e eu) e sobre o Trends in Logic XVI Paraconsistent Logic: Consistency, Contradiction and Negation (Logic, Epistemology, and the Unity of Science) Spri

[Logica-l] USP perde a mesmo a liderança das universidades para a UFRJ?

Este índice RUF da Folha de Sao Paulo não leva o QS em conta. Tem credibilidade baixa, e leva em conta a procura ( Medicina,etc) e outros critérios de mercado, e nao verdadeiramente a pesquisa. Segundo o QS, a USP subiu 23 posicoes, e está agora situada na posição 120 no mundo. A UNICAMP ocu

Re: [Logica-l] [HUMOR] realismo modal

Bem bacaninha a "explicação" deles, que resume. 25 séculos de formulação de teorias filosóficas: " ...David Lewis is certainly not the first to accept a fairly crazy sounding theory because he saw no other way out. In fact it is one of philosophy's longest and proudest traditions. " W. >

[Logica-l] Postdoc at Leverhulme Centre for the Future of Intelligence, Cambridge

Repassando a pedidos, Walter -- *Post-doctoral Research Associate vacancy in the study of values and intelligence* *Leverhulme Centre for the Future of Intelligence, University of Cambridge, UK (lcfi.ac.uk )* Salary: £28,982 - £37,768 Start Date: Negotiable (between April

Re: [Logica-l] like dirt under the carpet, the incompleteness just won’t go away

Breve e inútil. Mereceria ser publicado na " Superrinteressante". Mas acho que para isso teria que ser melhorado... W. > Em 24 de nov de 2016, às 15:35, Joao Marcos escreveu: > > The shaky foundations of mathematics > We cannot be certain that the standard > axiomatic systems never lead to c

[Logica-l] Susan Haack em "Five Answers on Philosophy of Logic", dialeteismo e paraconsistencia

Caro Joao, caros colegas: A respeito da nota de pé de página número 10, ha alguns anos atrás Susan Haack me disse (pessoalmente , numa reunião da ANPOF) exatamente o conteúdo da nota, de que Graham Priest havia sido seu estudante, mas que ninguém a responsabilizasse pelo dialeteismo. Isso ,

Re: [Logica-l] Re: Saiu o Qualis 2015 !

Ola Samuel, No Qualis Filo aparecem coisas que me parecem aberrantes, como "Educação e Pesquisa", e "O Eixo e a Roda, da UFMG. Kriterion também eh bastante discutível, aceita coisas que Manuscrito rejeita... > Em 19 de dez de 2016, às 21:13, 'Samuel Gomes' via LOGICA-L > escreveu: > > Oi

[Logica-l] Tigra do Bengalo

"Tigra do Bengalo" eh delicioso, Jean-Yves. Ganha ate do " uma tipa", um dos meus preferidos :-) Feliza Natala, W. > Em 22 de dez de 2016, às 07:59, jyb escreveu: > > Confondi o nome da sua cachorra "Selana" (rainha da lua na grecia) com o > nome de uma amiga minha "Selma" (pacifica, em arab

[Logica-l] Petr Hajek

Nosso colega Petr Hajek, que fez muito pela lógica difusa e tocava órgão esplendidamente bem , nos deixou hoje... > > > Dear Friends, > > I have the sad task of informing you that tonight > Petr Hajek died. We stand by his family in this time > of great sorrow. > > D.Mundici -- Você está rec

[Logica-l] [Off-topic] Academia de Ciências do Estado de São Paulo: PELO REPASSE DE 1% DA ARRECADAÇÃO DE SÃO PAULO PARA A FAPESP

Car@s, acabei de assinar o abaixo-assinado "Academia de Ciências do Estado de São Paulo: PELO REPASSE DE 1% DA ARRECADAÇÃO DE SÃO PAULO PARA A FAPESP" e queria saber se você pode ajudar assinando também. A nossa meta é conseguir 1.000 assinaturas e precisamos de mais apoio. Você pode ler mais

Re: [Logica-l] [OFF] "It is time to delete your Academia.edu account"

Acabei de deletar a minha conta na Academia.edu: "Your account has been removed" Ja sabia que era um "bullshit acadêmico",não tinha tido ainda paciência para apagar a conta. Agora tive. Façam o mesmo! Walter > Em 28 de jan de 2017, às 16:49, Joao Marcos escreveu: > > Mais um episódio envo

[Logica-l] Geometria Analitica e "An experiment concerning mathematical writing"

A informação esta incompleta. O primeiro autor eh M. Ganesalingam. Ganesalingam, M., & Gowers, W. T. Journal of Automated Reasoning February 2017, Volume 58, Issue 2, pp 253–291 A Fully Automatic Theorem Prover with Human-Style Output doi.org/10.1007/s10817-016-9377-1 O artigo esta disponivel a

Re: [Logica-l] on the foolish quest for consistency: coerências tem obrigação de explicar-se por si mesmas

A propósito, esta bela citação do Ralph Waldo Emerson, " a foolish consistency is the hobgoblin of little minds, adored by little statesmen and philosophers and divines" foi emprestada num artigo de 2 anos atras: CLE e-Prints Vol. 14(3), 2014 Experimenting with consistency J. Bueno-Soler, W. A.

[Logica-l] Inscrições abertas: concurso para Professor Doutor na FCA Unicamp

http://www.fca.unicamp.br/portal/comunicacao/noticias/1009-inscricoes-abertas-concurso-publico-para-professor-doutor-na-area-de-engenharia.html Estão abertas até dia 03 de março/2017 as inscrições para concurso público para admissão de 1 (um) Professor Doutor para a Área de Engenharia. As ins

[Logica-l] Mitacs funding for collaborative international research

Oportunidades de pesquisa no Canada para estudantes de graduação e pós-graduação Version française ci-dessous Greetings, Mitacs is now accepting applications for competitive international research opportunities, including student travel to and from Canada. The deadline to apply is March 31,

[Logica-l] Amílcar Sernadas e Ray Smullyan

Tive a satisfação e o privilégio de ter, antes de todos os não -portugueses nessa lista, conhecido Amilcar e seu grupo e de ter aproximado os lógicos brasileiros dos portugueses. Foi uma aproximação valiosíssima, dos dois lados, como muitos de voces podem atestar. Amilcar foi uma peca funda

[Logica-l] Post-doc na Argentina, Universidad Nacional de Quilmes

Beca Posdoctoral en la Universidad Nacional de Quilmes Tipo de Beca: Superior Área: Ciencias Humanas Investigador Responsable: Pablo Julio Lorenzano Título del Proyecto: Modelos y teorías en ciencias físicas, biológicas y sociales Código del Proyecto: PICT-2014-1741 Institución Beneficiaria:

[Logica-l] Janelas para a Filosofia (Kindle)

De nossos colegas luso-brasileiros Airs Almeida e Desidério Murcho: ​ Considere-se a questão de saber se há ou não vida extraterrestre. Isto é algo que estabelecemos observando, fazendo experiências científicas e raciocinando com base nelas. Caso não tenhamos provas suficientes, suspendemos o

Re: [Logica-l] Artigo LJ-IGPL

Caro Júlio , parabéns, e obrigado ao que nos concerne, Petrucio, Hermann e eu , enquanto editores. De fato, o volume levou três anos para ficar pronto, mas ficou primoroso ; agradecemos a todos os que contribuíram , abraços , Walter > Em 4 de jul de 2017, às 08:39, Julio Stern escreveu: >

Re: [Logica-l] [OUF] O Presidente da Academia Brasileira de Filosofia se candidata a Presidente da República por eleição indireta

[Era off-topic e continua sendo] Que o Deus Tupã, que criou o infinito cheio de beleza e perfeição, e os deuses de Teotihuacán em conjunto nos livrem de um filosofo-semi-logico como presidente... Basta Jean Van Heijenoort, que Trotski teve a infeliz ideia de contratar como garda-costas em

[Logica-l] Postdoctoral Researcher in Ethics of AI - Digital Ethics Lab - OII - University of Oxford

Reenviando a pedidos do Luciano Floridi: University of Oxford Postdoctoral Researcher in Ethics of AI Grade 7: £31,076 to £38,183 p.a. Vacancy ID: 129889 Closing Date: 3 August 2017 12:00pm BST Posted Date: 5 July 2017 We are looking for a full-time Postdoctoral Researcher to work on the ethic

[Logica-l] [OFF TOPIC] Situação periclitante do CNPq

Car@s colegas: A situacao do CNPq esta periclitante. Parece que o Temer torrou todo o dinheiro dando "benesses" aos deputados para se manter na cadeira. A SBPC e ABC encaminharam carta ao Kassab. Creio que sem duvida a SBL e outras sociedades como a SBC, SBM deveriam enviar também, e mesmo a

[Logica-l] LU book reviews ("Paraconsistent Logic: Consistency, Contradiction and Negation")

Car@s: Se alguém estiver interessado em publicar uma resenha do livro abaixo , enviaremos uma cópia através da Springer: "Paraconsistent Logic: Consistency, Contradiction and Negation" (W. A. Carnielli, M. E. Coniglio) Springer, 2016 http://www.springer.com/cn/book/9783319332031 Walter > > 20

[Logica-l] Textos introdutórios sobre Teoria de Tipos

Car@s, Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem textos introdutórios sobre Teoria de Tipos, para uso com estudantes avancados de graduação, Abraços, Walter -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Pa

Re: [Logica-l] Textos introdutórios sobre Teoria de Tipos

Muito obrigado, Thanos! Abracos, Walter > > Oi Walter, > >> On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote: >> Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem >> textos introdutórios sobre Teoria de Tip

[Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

Car@s, Estou tentando fazer o upload de uma apresentação oral (short Communication ) de 300 palavras para o ICM 2018, mas estou encontrando grandes problemas de coerência . Eles não dizem se eh para mandar um arquivo Tex completo, com preâmbulos ou não, de um lado pedem o PDF junto, do outro d

Re: [Logica-l] Alguém conseguiu fazer inscrição no UCM2018?

Prezado Samuel, muito obrigado , foi exatamente isso que eu intui em meio aa linguagem confusa do sistema, antes mesmo da sua resposta, e deu certo. Mas sua resposta confirma que "chute" acertou. Fica aqui a sugestão para quem quiser fazer o mesmo, Abraços, Walter > Em 5 de mar de 2018, às

Re: [Logica-l] Re: Parabéns ao Cassiano, novo professor do ITA

Caro Cassiano, Parabéns pela vitoria junto ao Departamento de Humanidades do ITA! Fico duplamente feliz, por ter ainda sugerido o concurso-- isso reforça a atitude de divulgar concursos aqui nesta lista, abraços, Walter > > Caro Tony, obrigado pela mensagem calorosa. > O resultado acabou

[Logica-l] OFF -TOPIC Abaixo ssinado

Assinado! Walter > Em 16 de abr de 2018, às 23:13, Cassiano Terra Rodrigues > escreveu: > > Colegas, esta mensagem foi veiculada hoje pela ANPOF nas suas redes sociais. > Trata-se especificamente da permanência de filosofia e sociologia. > Eu já assinei e repasso a quem tenha o interesse em

[Logica-l] Medalhistas Fields, Nevanlina, Gauss, Chern, Leelavati

Car@s, Noticias testemunhais do ICM 2018 Rio- os ganhadores são: Caucher Birkar, Alessio Figalli, Peter Scholze e Akshay Venkatesh ganharam a Medalha Fields. Constantinos Daskalakis, Premio Nevanlina David Donoho, Premio Gauss Masaki Kashiwara, Medalha Chern Ali Nesin, Premio Leelavati

Re: [Logica-l] Pontos altos de ontem do ICM2018, o IMPA e a matemática no Brasil

Oi Marcelo (e quem mais se interessar) Nao, a estrutura dos p-adicos eh uma estrutura algébrica fantástica, uma representação dos números em bases infinitas de primos, uma ampla generalização dos anéis e corpos finitos. Aqui uma introdução intuitiva e bem introdutória: https://www.obm.or

[Logica-l] Funded PhD position at Loughborough University: The Social Dimension of Mathematics

Repassado a pedido do colega Fenner Tanswell, Feliz ano novo W. > > >> Hi everyone, >> >> I've got a funded PhD studentship on offer for a full-time student to start >> in September 2019 at the Maths Education Centre, Loughborough University, >> UK. >> >> The area is the Philosophy of Mat

[Logica-l] Filosofia - CAPES - GT Qualis Livros

> > > > > Prezad@s Colegas, > > > > Bom dia! > > Como foi decidido em nossa reunião de acompanhamento de área da Filosofia em > Brasília (CAPES, 12-13/12/2018), procedemos à criação de 4 comissões de > consultores (grupos de trabalho) para revisar, aprimorar e atualizar os > processos a

[Logica-l] Convite de Felsefe Arkivi (Arquivos de Filosofia)

Car@s colegas e estudantes: A revista turca de filosofia e lógica Felsefe Arkivi ( Arquivos de Filosofia) está lançando um volume especial com trabalhos de lógicos e lógicas com menos de 40 anos. O editor me pediu que convidasse lógicos brasileiros , mas infelizmente a "deadline" é 10 de novem

Re: [Logica-l] Uma nova classe de modelos para a Teoria Paraconsistente de Conjuntos

Olá Carlos e tod@s, SIm, é a velha questão da existência, mas não somente em matemática. Na matemática temos a questão da existência dos números complexos, do infinito,do ponto...mas também fora disso há a questão da existência do estilo, do bom gosto, etc. O formalismo é uma saída. confortável

Re: [Logica-l] Vídeos -VI Ciclo de Palestras Consciência e Cognição (UFPE) [

Obrigado Eduardo. Vou checar também com meu filho, que tem experiência de cinema. Isso pode resolver o meu caso, mas tomara que os outros também se animem a investir em melhores microfones :-) Abs W. Em seg., 17 de fev. de 2020 às 14:53, Eduardo Ochs escreveu: > > Oi Walter, > > acho que em ge

Re: [Logica-l] uma noticia boa!

Muito merecida, e alentadora para a Lógica a premiação de Prawitz e Martin-Loef Uma nota curiosa, para quem não conhece: Prawitz foi presidente da Schock Foundation entre 1988 e 1997, e foi ele quem deu o formato ao prêmio. Ele era colega do Rolf Shock, de quem ele diz num artigo de reminiscê

Re: [Logica-l] ensino de Lógica [e tudo o mais] na era do distanciamento social

A Unicamp está incentivando os professores a postar links, vídeos, tarefas no Moodle, etc, para ajudar a manter o interesse dos estudantes e a minimizar os esforços depois para acertar o calendário, É penoso, muitas pessoas estão reclamando, não substitui o semestre, foi feito às pressas,

Re: [Logica-l] Re: LFIs com replacement

Caro Umberto: Muito obrigado pela observação. Talvez devêssemos escrever mais claramente, mas acho que a explicação do Marcelo esclarece nossa intenção. Abraços, Walter Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio escreveu: > > > Caro Walter, > > Um detalhe no abstract: > > It

[Logica-l] Palestras remotas organizadas pelo Munich Center (LMU Munique)

Colegas: Nesta quinta-feira 23/04 farei uma palestra remota via Zoom, através do LMU- Munique. A participação é aberta através do ID e senha abaixo. Na próxima quinta-feira 30 de abril. no mesmo horário a Juliana fará sua palestra também. Gostaria de ver vocês por lá! Abraços, Walter =

[Logica-l] Horário da palestra remota no LMU-Munique amanhã: 11:15

Car@s , agradeço pelas mais de uma dúzia de mensagens que recebi perguntando o horário :-) O seminário da minha palestra de amanhã 23/04, será às 11:15. da manhã, horário de Brasília/São Paulo "The Brazilian Paraconsistency Program and its unfoldings" Via Zoom https://zoom.us/ Meeting

[Logica-l] Link: CLE- Unicamp no "Logic Supergoup"

Colegas, As coordenadas para a sessão do Colliquium Logicae -CLE co-organizado pelo MCMP -LMU Munique como parte do "Logic Supergoup" são : Zoom Meeting ID: 925-6562-2309 Password: 621422 Abs Walter Em ter, 28 de abr de 2020 00:01, Walter Carnielli < walter.carnie...@gmail.com> escreveu:

[Logica-l] Invitation/ Convite- Colloquium Logicae @CLE-Unicamp

Carxs colegas e estudantes: Convidamos a toda(o)s para nos acompanhar nos seminários virtuais do CLE "Colloquium Logicae @CLE-Unicamp" , que faremos via Conferência Web, uma plataforma nacional gratuita (aparentemente) bem melhor que Zoom, SKype ou Google Meet. O "Colloquium Logicae @CLE-Unicamp

Re: [Logica-l] palestra no oxford set theory seminar

Muito bem Rodrigo, eu ia anunciar, e você foi mais rápido. É uma satisfação saber que o Alfredo está indo assim tão bem, e que aproveitou também os recursos da sua bolsa da Fapesp . Parabéns a você também Rodrigo, pela ajuda que você deu uma orientação! Abraços, Walter Em qui, 21 de mai de 20

[Logica-l] Several four-year PhD grants at the Faculty of Computer Science of the Free University of Bozen-Bolzano in Italy

Repassando a pedidos: excelente oportunidade . Se não tivesse doutorado, e tivesse alguns anos a menos, eu me candidataria... 😁😁 *18 four-year grants* are offered by the Faculty of Computer Science of the Free University of Bozen-Bolzano in Ita

[Logica-l] Two postdoctoral research fellowships in proof theory (2y w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020

-- Forwarded message - De: [LOGIC] Mailing List Date: ter, 26 de mai de 2020 14:11 Subject: [LOGIC] Two postdoctoral research fellowships in proof theory (2y w/ possibility of extension), Birmingham (England), Deadline: 24 Jun 2020 To: Research Fellow in Proof Theory - School of

[Logica-l] Postdoctoral position in mathematical logic, Vienna (Austria), Deadline: 15 Jun 2020

-- Forwarded message - De: [LOGIC] Mailing List Date: ter, 26 de mai de 2020 14:08 Subject: [LOGIC] Postdoctoral position in mathematical logic, Vienna (Austria), Deadline: 15 Jun 2020 To: The University of Vienna seeks to fill the position as soon as possible of a University Ass

Re: [Logica-l] The Normal and Self-extensional Extension of Dunn–Belnap Logic

Car@s, contribuindo para a discussão (Joao, Jean-Yves) gostaria de dar meu pitaco: De fato, o paper "Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics" é excelente, e está disponível para download no próprio site; Mas só gostaria d

Re: [Logica-l] The Normal and Self-extensional Extension of Dunn–Belnap Logic

> Acho que você, Walter, poderia aclarar em breves linhas aclarar esse ponto > > para todos poderem seguir melhor essa discussão. Obrigado. > > > > > > https://independent.academia.edu/TonyMarmo > > > > On 29 May 2020, at 12:26, Walter Alexandre Carnielli &

Re: [Logica-l] Day of Inclusive Logic

João , peço desculpas mas eu li a iniciativa, e não consegui entender claramente do que se vai tratar nesses slots. Imagino que isso reflita a dúvida de outros. Voce vai usar como: Space where you can feel free to share the various ways you or others have been disadvantaged (of course, there i

Re: [Logica-l] Inclusive Logic: o castelo anglófono

Prezada Nastassja, c/c tod@as Obrigado pelas considerações- tenho certeza que você tem o sucesso relativo à sua área. Mas não se deixe enganar pelas aparência: como dizem, o diabo só é cheio de truques porque é mais velho que todo mundo :-) Meu modesto sucesso se deve em boa parte a meus colabo

Re: [Logica-l] Women in Logic: repetindo informacoes

Oi Valéria, Obrigado,valeu para bem mais de uma pessoa! By the way, aprovo com todas as letras a sugestão implícita do Cifuentes a respeito da Ayda Arruda que voce encampou :-) Eu, Itala e outr@s fomos alunos da Ayda, eu a conheci muito bem e tenho muitas histórias e lembranças, uma mulher dedi

[Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019

Colegas: Para comunicar uma boa notícia: A revista "Manuscrito" do Centro de Lógica da Unicamp está em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019: https://www.scimagojr.com/journalrank.php?category=1211&area=1200&country=Latin%20America Parabéns ao Marco Rufi

Re: [Logica-l] "Manuscrito" em primeiro lugar entre as revistas Latino-Americanas de Filosofia em 2019

de jun de 2020 16:43, Andrea Loparic escreveu: > Parabéns! Mas, por falar nisso, faz tempo que não recebo mais as revistas > do CLE > > Em dom., 14 de jun. de 2020 às 16:38, Walter Alexandre Carnielli < > walte...@unicamp.br> escreveu: > >> Colegas: >>

[Logica-l] Next session: Colloquium Logicae, Wednesday, June 17 2020, 14:00 Sâo Paulo (GMT -3 hours)

Colloquium Logicae @CLE-Unicamp This is a virtual session of the Colloquium Logicae, traditional conferences held the Centre for Logic, Epistemology and the History of Science at Unicamp, now linked to the “Logic Supergroup” organized by the University

[Logica-l] Colloquium Logicae: June 17th, 2020, 14:00 São Paulo/Brasília time (GMT -3 hours)

Dear joyfull logicians, At the risk of duplicating posts, let me send you this announcement for a talk tomorrow, best Walter Carnielli Colloquium Logicae @CLE-Unicamp This is a virtual session of the Colloquium Logicae, traditional conferences held th

[Logica-l] Colloquium Logicae (CLE-UNICAMP) @ Logic Supergroup

Colloquium Logicae (CLE-UNICAMP) Speaker: Ekaterina Kubyshkina (CLE-UNICAMP) Title: Ignorance: A Truth-Functional Perspective Time and Date: Wednesday, July 1, 2 pm GMT-3 Moderator: Walter Carnielli Link: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae Abstract: I will pres

[Logica-l] Colloquium Logicae: talk available on Youtube

Dear Cheerful Logicians: (thanks Shay, I loved it!) This is to inform that the talk "Remarks on a nice theorem of Monsieur Glivenko" by Itala M. L. Loffredo D' Ottaviano is now available at the CLE channel on Youtube https://www.youtube.com/watch?v=ljUhCss_gdg&feature=youtu.be The recent talk

[Logica-l] Colloquium Logicae @CLE-Unicamp as part of the Supergroup

Dear enthusiastic logicians and partisans of Logic: On Wednesday July 15th Marcelo Coniglio will give a talk on how we found a solution to the "problem of replacement" in paraconsistent logic (with a little from our friend Isabelle), and what this may represent for the applicability of the pa

[Logica-l] Re: Colloquium Logicae @CLE-Unicamp as part of the Supergroup

gt; Aires Logic Group: http://www.ba-logic.com/logic-supergroup/ ). We > really ought to have a proper separate website for the Supergroup… > > Yay for Logic! > > Cheers, > Marcus > > > > > > On Jul 10, 2020, at 10:15 PM, Walter Alexandre Carnielli < &g

Re: [Logica-l] on the Synthese special issue on *Varieties of Entailment*, dedicated to the memory of Carolina Blasio

Joao, Parabéns a você pela iniciativa e pelo prefácio, aos editores, à memória da querida Carol e a todos os que participaram. Estamos orgulhosos de poder ter prestado esta singela homenagem. Abraços, Walter Em qua., 15 de jul. de 2020 às 16:30, Joao Marcos escreveu: > > O belo editorial

Re: [Logica-l] Etnomatemática

Bom dia Cassiano, eu ouvi falar alguma coisa que o o Ubiratan fez, mas francamente deveriam ser três ou quatro exemplos apenas. Falei com Smullyan sobre isso numa certa ocasião, mas ele me disse que só sabia de alguns jogos africanos. Vou lhe passar o contato do Ubiratan em privado, você pode f

Re: [Logica-l] Lukasiewicz

Oi Regivan, a demonstração sintática não deve ser difícil, mas como a lógica é completa (imagino que se trate da lógica infinitária de Lukasiewicz) isto pode ser verificado em termos de propriedades da função min. Abs Walter Em sáb., 18 de jul. de 2020 às 17:26, Regivan Hugo Nunes Santiag

[Logica-l] Re: Beth Prize 2020

Dear Mehrnoosh: c/c Board of the Association for Logic, Language and Information Thanks for your message informing me that the nomination of my ex-student Alfredo Roque Friere has not been chosen for the Beth Prize 2020. . I have to confess that I feel a bit disappointed with this decision. O

Re: [Logica-l] Aviso de falecimento

Conheci bem Matias . Ainda ontem, por coincidência, estava pensando nele ,no Roberto e no Barbosa, ex-alunos do nosso programa, do Nordeste, de 30 anos atrás. Meus sentimentos pela perda do Matias. W. Em dom, 19 de jul de 2020 18:41, Andrea Loparic escreveu: > Aos mais velhos, > Com muita t

[Logica-l] Youtube link: seminar/ seminário Prof. Marcelo Coniglio -CLE-COLLOQUIUM-LOGICAE:

Caros colegas/ Dear colleagues: (English below) Encaminho abaixo o link da gravação referente à apresentação do seminário do Prof. Marcelo Coniglio no CLE-COLLOQUIUM-LOGICAE: "Logics of Formal Inconsistency and a solution to the problem of replacement" ocorrido em 15/07/2020 https://www.youtube.

[Logica-l] Colloquium Logicae @CLE-Unicamp - August 5th, 2020 (2:00 PM, GMT -3 hours) –

Dear enthusiastic logicians and partisans of Logic: On Wednesday August 5th our recent PhD Alfredo Roque Freite will give a talk focusing on some results of his PhD Thesis on foundations of set theory. Colloquium Logicae @CLE-Unicamp This is a virtual

[Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

Car@s colegas: embora ninguém desta lista tenha comentado minha mensagem ao Beth Prize, que reproduzo abaixo, Minha indignação se deu porque o trabalho do noso colega Alfredo Roque Freite, excelente e extraordinário em todos os sentido, não foi sequer "short-listed" ou reconhecido como 'nominat

Re: [Logica-l] [OFF TOPIC] Desinclusão em Lógica/ Ciência

t;> >>  >> Eu tenho uma ideia que acho melhor apesar de ser mais radical. Acabar com >> todos os prêmios exceto, talvez, os de fim de carreira. >> >> On Fri, Jul 24, 2020 at 3:55 PM Francisco Miraglia Neto >> wrote: >>> >>> Car@s, >&g

Re: [Logica-l] ativismo lógico?

Oi Marcos,obrigado pela menção! ;-) Eu tenho todo interesse em participar, se você organizar os conteúdos-- já pensei em organizar um exemplo notório para cada falácia, e para cada conceito, por exemplo, mas a dificuldade é organizar a sequência e escolher quais itens cobrir. Se você tiver um t

Re: [Spam] Re: [Logica-l] Lógicas Brasileiras - o site

Olá Gisele, Valeria, Elaine, Nastassja: Parabéns pela iniciativa-- gostei dos "seres lógicos", mas poderiam ser também "entidades lógicas" ! Abraços, Walter Em sáb., 1 de ago. de 2020 às 16:58, Abilio Rodrigues Filho escreveu: > > Olá Gisele, Valeria, Elaine, Nastassja e demais colegas. > Qu

[Logica-l] [OFF-TOPIC] "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"

Colegas: Para quem se interessa em discutir como surge o negacionisno na ciência, acabo de publicar um pequeno artigo na Folha de São Paulo: "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo" (Walter Carnielli) https://tinyurl.com/y4qtlsqa Versão em PDF, mais alguns come

[Logica-l] Re: [OFF-TOPIC] "Do ceticismo sadio à dúvida venenosa, as origens do negacionismo"

Colegas, Peço desculpas, o link correto para. o blog ode. há uma versão do artigo da. Folha de São Paulo em PDF é este: https://waltercarnielli.com/ Abs Walter Em qua., 5 de ago. de 2020 às 14:10, Walter Alexandre Carnielli escreveu: > > Colegas: > > Para quem se interessa

Re: [Logica-l] Elliott Mendelson (May 24, 1931 - May 7, 2020)

Colegas, Lamento muito.Todos nós aprendemos com o Mendelson. Lembro-me de ter ficado modestamente orgulhoso quando as primeiras edições do nosso livro "Computability" foram publicadas pela mesma editora onde ele publicava, a Wadsworth Brooks\Cole. Era uma satisfação termos nosso livro anunciado

[Logica-l] "Twist-Valued Models for Three-Valued Paraconsistent Set Theory"

Colegas: Marcelo E. Coniglio e eu acabamos de publicar em Logic and Logical Philosophy (on line) uma nova classe de modelos para teorias de conjuntos paraconsistentes, que julgamos bastante interessante. Propomos uma família de modelos algébricos para ZFC baseados na lógica paraconsisten

[Logica-l] Re: Supergroup BLAST!

Dear Shay, dear all: We have an even bountifuller week ahead! We are forgetting Alfredo Roque Freire (perhaps I had to fill some Supergroup agenda, and did not...) In any case, there's still time to add: == Dear enthusiastic logicians and partisans of Logic:

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

Caro Herrmann. parabéns pela perseverança, já ouvi vc falar várias vezes sobre isso, e obviamente não conseguiu passar dos primeiros slides... Mas vocês fizeram muito bem em tentar e escolher o Bulletin! Uma pergunta: se fossemos buscar um argumento-matemático, em base de evidência, não ser

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

Colegas: No intuito de continuar discussão sobre este importantíssimo resultado do Lev e do Hermann, só gostaria de notar que o argumento do Anderson apontando um possível erro esbarra em outras tentativas que também acreditam que NP = PSPACE . O artigo (draft) abaixo define um problema cha

[Logica-l] Video- talk by Alfredo Freire - Colloquium Logicae

Dear all: Here is the link for the video-recording of the recent talk by Alfredo Freire at Colloquium Logicae: https://www.youtube.com/watch?v=9U_sZcePbfE&feature=youtu.be Best, Walter Carnielli -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Goo

Re: [Logica-l] Prova de NP=PSPACE no Bulletin of Section of Logic

ORNSAT também será interpretável. No > entanto, será mais palatável compreender a relação entre k-SAT, 2-SAT e > HORNSAT porque eles estão na mesma linguagem, os dos últimos são reduções. > > Abraços, > > Anderson > > > Em qui., 13 de ago. de 2020 às 11:22, Walter Alexandre Ca

logica-l@dimap.ufrn.br

Colegas uma informação que diz respeito a todos de São Paulo ,e certamente aos demais desta lista: governo Dória na mesma toada do governo Bolsonaro só que mais matreiro está fazendo todo o possível para acabar com as universidades paulistas e com a FAPESP. Recebemos isso de um colega da USP na

  1   2   >