Re: [Logica-l] SPLogic!

que >>> organizaram o SPLogic! Não imagino a dor de cabeça que foi para elaborar >>> toda a logística. >>> >>> Já estou preparando as malas para viajar até Campinas amanhã e >>> participar desse evento que será monumental. >>> >>> Abraços,

Re: [Logica-l] F. William Lawvere (February 9, 1937 – January 23, 2023)

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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv4e9COE9kJo5_ZbLnXtM8LnFqMsQL53oCRiuknbazFq

[Logica-l] Newton da Costa Prize 2022 / Prêmio Newton da Costa 2022

submetido à Logica Universalis. Att. Walter Carnielli e Juliana Bueno-Soler == Dear colleagues of the Brazilian Logic Society (SBl) and members of the Brazilian Logic List: We would like to thank the Newton da Costa 2022

Re: [Logica-l] World Lógica Day-Centre for Logic '23

; Abraços, > > On Fri, Jan 13, 2023 at 5:07 PM Walter Carnielli > wrote: > >> WORLD LOGIC DAY - CLE '23 >> Online Event >> January 16, 2023 >> 10:00-12:00 (UTC/GMT -3) >> Link: https://meet.google.com/gon-mjxb-uyj >> >> >>

[Logica-l] World Lógica Day-Centre for Logic '23

Bueno-Soler - FT and CLE - Unicamp - Advances in Possibilistic Logic 11:00-11:20 Dr. Rodolfo Ertola Biraben - CLE - Unicamp - Recent research 11:20-11:40 Walter Carnielli interviews Dr. Felipe Abraão - CLE- Unicamp 11:40-12:00 Prof. Marcelo E. Coniglio - CLE and IFCH - Unicamp - On Logics of F

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

Gonçalves: será: https://w3.impa.br/~goncalves/ > > At.te, > -- > Clodomir Silva Lima Neto > Professor EBTT Matemática > IFCE Campus Maranguape > > Em seg., 19 de dez. de 2022 23:35, Walter Carnielli > escreveu: > >> Oi Samuel, oi pessoal: >> >> Sem d

Re: [Logica-l] Um plot twist: Lógica no Verão do IMPA (???)

Oi Samuel, oi pessoal: Sem dúvida, um programa muito ambicioso pars tao pouco yrmpo. E deveriam convidar um lógico, mas acharam um "number theorist" entre eles. Mas eu não sei quem é, vc conseguiu saber? Abs Walter Em seg., 19 de dez. de 2022 20:10, 'Samuel Gomes da Silva' via LOGICA-L <

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

> Tel. (+55) 12 3305 8438 > > -- > lealdade, humildade, procedimento > > > On Wed, Dec 14, 2022 at 5:24 PM Walter Carnielli > wrote: > >> Oi Cassiano, >> >> Você escreveu umas 60 ou 70 linhas como advogado do diabo, só que o diabo >> escorrega no s

Re: [Logica-l] Concurso Público (FIL-UnB) - Área: Lógica

Oi Cassiano, Você escreveu umas 60 ou 70 linhas como advogado do diabo, só que o diabo escorrega no seguinte: alguém consegue ter bacharelado em matemática e licenciatura em filosofia, ou vice-versa? Você conhece alguém nessa situação fora dos Estados Unidos, onde o(a) cara faz o major e o

Re: [Logica-l] Fwd: Concurso Público (FIL-UnB) - Área: Lógica

Olá João Ferrari, é claro que deve mudar ! Isso é uma evidente reserva de mercado-- se fosse o caso de se exigir diploma de graduação em filosofia para fazer filosofia, ou bacharelado em matemática para se fazer matemática, etc , Fermat (que era advogado) não teria tido chance, nem Aristóteles

Re: [Logica-l] SI - Logics and Their Interpretations II

Caro Henrique, caro Damian: Parabens pela publicação do segundo volume de "Logics and Their Interpretations", que junto com.o primeiro volume formam uma bela coleção de artigos. Acho que seria otimo noticiar os dois juntos! Abraços, Walter Em dom., 11 de dez. de 2022 21:42, Henrique Antune

[Logica-l] Deadline extended- "Sao Paulo School of Advanced Science on Contemporary Logic,Rationality and Information – SPLogiC”

Dear colleagues: Due to several requests, the deadline for applications to SPLogiC has been postponed to *November 14, 2022*. The São Paulo School of Advanced Science on Contemporary Logic, Rationality and. Information (SPLogIC) is currently offering 100 grants for travel, lodging, and food fo

Re: [Logica-l] Lista de mulheres mais buscadas na web brasileira

Parabéns, Valéria em #3 e Itala em #7 na lista das " Matemáticas brasileiras mais buscadas": ambas na frente da Marilda Sotomaior! Parabéns para elas e para a nossa comunidade, Walter Em sáb., 29 de out. de 2022 12:30, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > Colegas, > > Imen

Re: [Logica-l] twin primes

Ois, Os artigos vão ser retirados do Sudia Logica. O próprio Janusz Czelakowski pediu para retirar. Abs, Walter Em sáb., 29 de out. de 2022 11:56, 'samuel' via LOGICA-L < logica-l@dimap.ufrn.br> escreveu: > > Olás > > Na verdade é uma série de quatro artigos, estão os quatro no perfil > Resear

Re: [Logica-l] Teenager Solves Stubborn Riddle About Prime Number Look-Alikes | Quanta Magazine

Pessoal, Esses números de Carmichael são bem estranhos: passam no teste de primidade de Fermat, mas não são primos, e podem ser usados para mostrar que outros números são compostos. São como os "primos de segundo grau" na familia... Eu encontrei aqui a prova (nada trivial) do Daniel Larsen, nao

Re: [Logica-l] Prêmio CAPES de tese 2022

Evelyn, Parabéns a você, ao Daniel e ao Ole, e ao João Marcos que começou a empreitada! E parabéns para nossa comunidade da lógica : é a segunda vez que faturamos o prêmio Capes de Tese em Filosofia. Há poucos anos foi meu aluno Bruno Mendonça Abraços, Walter Em sáb., 15 de out. de 2022 14:36

[Logica-l] [Off Topic] Easychair went commercial

inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BUOcnZOkxOcR-5SETJXrFhqto_4tHFKnoOfWMdA8J4UOw%40mail.gmail.com.

Re: [Logica-l] Referência sobre lógica intuicionista de primeira ordem

gt;semântica de Kripke para a lógica intuicionista. Realmente, nunca ouvi falar >>de inquietações similares >>entre pessoas que lidam com lógica paraconsistente Pois é, então temos um acordo :-) Abs Walter Em sex., 30 de set. de 2022 às 10:11, Hermógenes Oliveira escreveu: > >

Re: [Logica-l] Rubens Lintz -- Nota de falecimento

Caro Júlio e colegas: Lamento também a perda do Rubens Linz, grande professor, grande pessoa e historiador da matemática muto original. Lintz foi meu professor de análise na Unicamp há dezenas de anos atrás, depois como membro do CLE e morando no Canadá deu vários cursos e fez muitas visita

Re: [Logica-l] Referência sobre lógica intuicionista de primeira ordem

Ola Henrique no livro do Trelstra & van Dalen tem uma prova de completude da lógica intuicionista de primeira ordem, não sei se com domínios variáveis .Acho que sim. Aqui tem um paper mais recente com uma prova *intuicionista*da completude: https://www.cambridge.org/core/journals/journal-of-sy

Re: [Logica-l] Lógica Viva: A lógica falocêntrica do bolsonarismo, com Érico Andrade

Oi Marcos, Essa é para não se perder, é como aquele hábito bolsonarista , "Falo na Live".. W. Em sáb., 24 de set. de 2022 12:10, Marcos Silva escreveu: > Favor ajudar a divulgar > > > > > > A lógica falocêntrica do bolsonarismo > > > Depois de uma pandemia com mais de 600 mil mortes, em u

[Logica-l] [OFF TOPIC} Ajuda com OpenAI e Dall-e

nequinhos com texto, e quiser colaborar/participar do projeto, por favor escreva em privado. Abs Walter -- ==== Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of C

[Logica-l] Uma solução para dois problema abertos: "Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account "

Colegas: Apraz-nos (!) informar que nosso artigo abaixo acaba de ser publicado pelo The Review of Symbolic Logic: "Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account " (Walter Carnielli, Marcelo E. Coniglio and David Fuenmayor) The Review o

[Logica-l] Postdoc wanted-New Zealand

Pessoal, Bom dia, convite imperdível de Zach Weber, para atuar na Nova Zelândia. Eu posso recomendar, se alguem se interessar me escreva em privado. Abraços, Walter ===/= Dear Walter I hope you are well! I’m writing with the below job ad for a postdoc in paraconsistent logic, to come

[Logica-l] Call for Applications: 100 grants - “Sao Paulo School of Advanced Science on Contemporary Logic, Rationality and Information”, February 2023 at CLE/Unicamp, Brazil

fter completion of the Ph.D) from all countries are encouraged to apply. For additional information, and to apply, visit the WebSite: https://www.cle.unicamp.br/splogic/ **Please circulate!** We look forward to receiving you! Itala M. Loffredo D’Ottaviano, Coordinator Walter Carnielli, Advi

Re: [Logica-l] Prêmio CAPES de tese 2022

Meus parabéns à Evelyn, Daniel e Ole! Já são dois prêmios para área de Lógica o outro para meu aluno Bruno Mendonça (e eu). Abs Walter Em sex., 12 de ago. de 2022 11:41, Thiago Nascimento da Silva < thiagnascsi...@gmail.com> escreveu: > Fico muito feliz por tal conquista. Meus parabéns para Eve

Re: [Logica-l] Sessão de Lógica Matemática no Encontro Conjunto Brasil-Portugal de Matemática)

Pessoal ,desejo boa sorte mas esclareço que não poderei participar porque eu estou dando uma palestra em um Fórum da Unicamp neste dia. Abs Walter Em sex., 12 de ago. de 2022 17:22, Valeria de Paiva < valeria.depa...@gmail.com> escreveu: > >PS: Temos colegas lógicos também na Sessão de Teoria d

[Logica-l] Livro recente, Zach Weber, "Paraconsistency in Mathematics", disponível até 08/08

-mathematics/5A6C1DAD98EC456A5C63B703E0653F4A?fbclid=IwAR3y37Lx9VnF8crFdePET7N1WZ77OI7eFGPySa8OnaMyurrh-ZohpJf_-eM Abraços Walter -- Walter Carnielli CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L

Re: [Logica-l] LogicaMx novo vídeo: Fabio Bertato sobre Itala D'Ottaviano

Olá Maria, Parabéns pela excelente iniciativa homenageando os (as) "Mestres da América Latina". Parabéns ao Fábio por ter tão bem retratado a Ítala e seu trabalho no cenário brasileiro e unternacional,. abraços, Walter Em qua., 27 de jul. de 2022 22:31, Itala Maria Loffredo D'Ottaviano < it..

[Logica-l] Plataformas Chagas e Lattes, infernos virtuais...

, mas não se consegue cadastrar uma nova... Alguém mais com esse problema? abs Waler -- Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil

[Logica-l] Artigo recente no Journal of Philosophical Logic:

LP, we show how these tools, which we call here the method of anti-extensions + valuations, can be naturally applied to a number of non-classical logics." Algumas (poucas) cópias estarão disponíveis para os primeiros que solicitarem. Abraços, Walter -- =====

Re: [Logica-l] SI - Logics and Their Interpretations I

cal Systems > (Diego Tajer & Camillo Fiore) > 3. Metainferential Paraconsistency > (Bruno Da Ré & Mariela Rubin, Paula Teijeiro) > 4. A Logic for a Critical Attitude? > (Federico Boem & Stefano Bonzio) > 5. The Liar Paradox: Between Evidence and Truth > (Jonas Beck

Re: [Logica-l] Lógica possibilística

br/d/msgid/logica-l/86b15460-954b-4d10-9178-0538d6b48f24n%40dimap.ufrn.br. > > -- > LOGICA-L > Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica > > --- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupo

Re: [Logica-l] Ideias Brasileiras - Ítala D'Ottaviano

oogle. > 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHk6N6YAOg2ixqjPKV6s8%3DS6iR9aUE4TFRPuNHHsa-GY

[Logica-l] [OF TOPIC] Universidades brasileiras reféns do Google

The Intercept Brasil *_Quanto custa o gratuito?_* Sábado, 21 de maio de 2022 - The Intercept Brasil *Como universidades brasileiras se tornaram reféns do Google.* Daqui a dois meses, milhares e milhares de arquivos de universidades brasileiras podem correr risco. O Google passará a limitar o arma

[Logica-l] Concursos Públicos para ProfessorDr-FT-Unicamp - Áreas: Computação, Engenharia Ambiental e Engenharia de Telecomunicações

be009057d38fe67e ==== Walter Carnielli Laboratory for Applied Ontology (LOA), ISTC-CNR Trento, Italy http://www.loa.istc.cnr.it and CLE and Department of Philosophy University of Campinas –UNICAMP, Brazil https://waltercarnielli.com/ -- LOGICA-L Lista acadêmica brasileira dos

Re: [Logica-l] Dutilh Novaes Wins Lakatos Award

Parabéns Catarina, tenho observado sua carreira desde há bastante tempo, realmente um feito!. Um grande abraço, Walter Em qui., 19 de mai. de 2022 12:13, Marcos Silva escreveu: > Parabéns para a Catarina! > > https://dailynous.com/2022/05/19/dutilh-novaes-wins-lakatos-award/ > > Ela deu, há

[Logica-l] Chamada para bolsa PQ do CNPq

Colegas: como alguns de vocês, eu preciso apresentar minha solicitação de renovação da Bolsa de Pesquisa (ou nova bolsa) do CNPq neste semestre. Alguém do CNPqme disse que a chamada seria publicada no fim de abril, mas nao encontrei nada. Tentei falar com o CNPq mas também não consegui . Al

[Logica-l] Open positions in SMT Project in Israel

-- Forwarded message - De: Anna Zamansky < Dear Friends, Hope all is well with you! Can you please forward to anyone interested in positions in Yoni Zohar's project on SMT at Bar-Ilan University? Thank you! Anna -- Formal Methods and Automated Reasoning Department

Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera

pela excelente e importante iniciativa! Já estou acompanhando e > recomendando às minhas turmas. > > Abraços, > > Cezar > > > > Em 2022-04-28 23:15, Walter Carnielli escreveu: > > Colegas: > > > > Gostaríamos de compartilhar com vocês que nosso cur

Re: [Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera

esmo uma beleza, uma alegria e honra para nós lógicos! > > Itala > > Em qui., 28 de abr. de 2022 às 23:16, Walter Carnielli > escreveu: >> >> Colegas: >> >> Gostaríamos de compartilhar com vocês que nosso curso "Pensamento >> Críti

[Logica-l] [Off Topic] Curso "Pensamento Crítico, Lógica e Argumentação" está nos Highlights da plataforma Coursera

Na semana de 25 de abril já contávamos com 4.460 "Total Learners" e 85.455 visualizações recentes. Para nós é uma grata surpresa saber que tanta gente se interessa pelo pensamento crítico, por um pouco de lógica e pela argumentação! Abs, Walter & Juliana -- ===

[Logica-l] Postdoctoral position in contradictory logics, Bochum (Germany), Deadline: 15 May 2022

*Ruhr University Bochum (RUB): Post-Doctoral Position (3 years)*. The Ruhr University Bochum (RUB) is one of the leading research universities in Germany. As a reform-oriented campus university, it uniquely combines the entire range of major scientific fields in one place. The dynamic coexistence

[Logica-l] Re: Ganhadores do Premio Newton da Costa 2021

Csro Ciro: Obrigado pelos esclarecimentos. Parece então que o Prêmio Unilog é independente do Premio Newton da Costa. Abs Walter Em seg., 11 de abr. de 2022 18:31, Ciro Russo escreveu: > Olá Walter, > > Obrigado pelos parabéns. As mensagens que estão chegando são sobre o > prêmio geral da UNI

[Logica-l] Ganhadores do Premio Newton da Costa 2021

Caros colegas : quero juntar-me a todos os que parabenizaram o prezado Ciro Russo por ter ganho o prêmio Newton da Costa 2021. Que o Ciro receba meus parabéns! Mas quero lembrar a todos que o Abílio Rodrigues e o Henrique Antunes também ganharam o prêmio! Esperamos que o prêmio seja dividido e

Re: [Logica-l] [OFF] 'Precisamos de uma revolução na educação', diz 1ª mulher a presidir Academia Brasileira de Ciências

Eu vejo Academia Brasileira de ciências muito como "igrejinha" , ligada a grupelhos. É muito difícil que eles reconhecem o trabalho de outras pessoas como cientistas," só os amigos dos amigos. Acho que a verdadeira revolução deveria ser essa: reconhecer como tais *todos* os cientistas do pais.

[Logica-l] Trends in Logic XX Kyiv confernce cannot take place in May 2022

-- Dear participants of the Kyiv Trends in Logic XX conference, dear colleagues and friends: First of all, we would like to thank international logical community for all the support and solidarity with the Ukrainian people, which we obtain these days from the colleagues from all over the

Re: [Logica-l] Entrevistas Lógicas

Olá Adolfo , Parabéns, estão muito boas suas entrevistas. Gostei de todas, mas realmente achei super interessante a do Leonardo Moura. Não só porque ele dedicou vários minutos respondendo a minha pergunta ( e discordamos cavalheirescamente), mas porque eu acho fantástico alguém ter a ideia d

Re: [Logica-l] 2^4 anos de LOGICA-L

Parabéns a todos nós e ao João como administrador da lista em especial ! Mas, sem objeções pitagoricas, não precisamos esperar 2^4 +1 =17 para festejar. 2^4 já é suficientemente interessante Primeiro, xue não existem números não-interessantes., depois é uma das poucas potenciais que valem tam

[Logica-l] Assistant Professorship in Experimental Methods for AI in Logic & Language, Amsterdam (The Netherlands), Deadline: 1 Jan 2022 (extended)

ASSISTANT PROFESSORSHIP in Experimental Methods for AI in Logic and Language Institute for Logic, Language and Computation (ILLC) Universiteit van Amsterdam (UvA) https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Experimental-Methods-for-AI-in-Logic-and-Language/736130202/ DEADLINE: 1 Ja

[Logica-l] Postdoctoral research scholarship in mathematics, Lisbon (Portugal), Deadline: 28 Jan 2022

*Center for Mathematics and Applications (NOVA University Lisbon, Portugal)* One postdoctoral research scholarship is opened within the scope of the R&D Unit ?Center for Mathematics and Applications? (CMA) (UI/297/2020), financed by ?Fundação para a Ciência e a Tecnologia, I.P.?/MCTES (FCT, I.P.)

[Logica-l] Re: Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp)

com a seguinte ementa: >> -Argumentos, linguagem e lógica >> >> -Os limites do argumento e os bons argumentos >> >> -Reparando argumentos e avaliando premissas >> >> -Lógica e argumentos complexos >> >> -Como generalizar e evitar erros >> >> -Com

Re: [Logica-l] Coletivo Lógica Viva: Teoria X Prática

Caro Marcus, Muito bom. Você logo vira un "loginfluencer". Mas sua gatinha aparecendo de improviso deixa claro o hiato entre a teoria e a prática :-) Abraços Walter Em ter., 14 de dez. de 2021 09:28, Julio Stern escreveu: > > Caro Marcos: > Esta serie de videos esta muito boa. > A linguagem

[Logica-l] Curso "Pensamento Crítico, Lógica e Argumentação" (Coursera-Extecamp)

m analogias e números -Como tomar decisões e raciocinar bem com causa e efeito -Como se defender de golpes e fake news = ======= Walter Carnielli, Professor Laboratory for Applied Ontology – CNR, Trento, Italy and Centre for

[Logica-l] Estado Bíblico

Pessoal, sobre essa questão da " "Construção do Reino de Deus" na UFRN, parece que algumas pessoas não estão percebendo bem o ponto. Claro que seria fantástico fazer um curso sobre o Talmud , sobre o Budismo, sobre a teologia cristã na filosofia , ou sobre o Candomblé, ou sobre o Sufismo. O pr

Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN

Oi Manuel, eu não estou de acordo com isso não Dar palanque para a pseudo-ciência faz com que se argumente que se trata de una "discussão acadêmica " ou "divergência científica ", quando claramente não é isso. Abs, Walter Em qua., 8 de dez. de 2021 16:25, Manuel Doria escreveu: > Esses tema

Re: [Logica-l] Meio off-topic: Construção do Reino de Deus na UFRN

tSQ%40mail.gmail.com. > > > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > 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,

[Logica-l] Membros;:- estudantes da ASL

Parabens ao estudante que agora são membros da ASL, e parabéns aa SBL pela iniciativa e pela organização : Pedro Henrique Carrasqueira Zanei (orientador: Walter Carnielli) Júlio Cândido Veloso Júnior (orientador: Jonas Rafael Arenhart) Allan Patrick De Freitas Santana (orientador: Bruno Lopes

[Logica-l] Twenty PhD student positions in "Logics for Computer Science", Vienna (Austria), Deadline: 30 Dec 2021

the Universiteit van Amsterdam -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail

Re: [Logica-l] pode a IA nos ajudar a demonstrar teoremas?

o 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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/

[Logica-l] Oportunidade: Master in Pure and Applied Logic UB UPC

, scheduling, scholarships, housing etc. please contact masterlo...@ub.edu Best wishes, Tommaso Moraschini -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859

Re: [Logica-l] Entrevista com Leonardo de Moura (Microsoft Research)

ICA-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 ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYX-4j%2BxQ3x

Re: [Logica-l] Viganò explicando security

Muito interessante o vídeo, também conheço o Viganò desde quando ele tinha cabelo... Mas iv interessante da coisa é a importância do Nicolas Cage para a AI e ML: https://allaboutwork.org/2014/05/27/spurious-correlations-or-why-nicolas-cage-must-be-stopped/ Cage vai acabar ganhando a Medalha

Re: [Logica-l] It is dark before dawn

Colegas, e Cláudia em especial: Meus sinceros parabéns à eleição da Cláudia como membro do "board of trusrees" do CADE. Fico feliz em saber que além da escolha do co-chairs para o IJCAR e eventos do CADE, as tarefas incluem nominar o Herbrand Award selection committee. Nossa esperança de

[Logica-l] "Compreender a ciência" (Desidério Murcho )

ados possam brincar com o lema da Royal Society, "Nullius in verba", como "nada de verba", o lema é o núcleo do espírito crítico científico. Abraços, na véspera do Dia do Saci, Walter ------- Walter Carnielli https://waltercarnielli.

[Logica-l] Andrea Loparic

Saiu também na Folha hoje: https://www1.folha.uol.com.br/cotidiano/2021/10/mortes-ensinou-logica-com-afeto-acolhimento-e-generosidade.shtml Abraços Walter Em qua., 27 de out. de 2021 02:29, Elaine Pimentel < elaine.pimen...@gmail.com> escreveu: > Bom dia! > > Tem também o relato comovente do A

Re: [Logica-l] What is Logic?

ps://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LguSBPaZ7wD4xswGpb_54g%2BNn-PYab7-VqvmF3y%3DdCaPQ%40mail.gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas

Re: [Logica-l] Andrea Loparic

Colegas: Junto minhas manifestações de pesar e minhas condolências à família pela perda da amiga Andrea, um exemplo a ser seguido de dedicação e coragem frente às maiores adversidades. Andrea fez brilhantes contribuições à lógica brasileira, sempre pronta a raciocinar da melhor maneira possíve

Re: [Logica-l] Série Ideias brasileiras - Newton da Costas e as lógicas para consistentes - Canal ad infinitum

Parabéns Alfredo e Edgar, muito bem explicado e com qualidade técnica. Abraços, Walter Em qui., 21 de out. de 2021 20:33, Luiza Ramos escreveu: > Uau, muito bacana, Alfredo e Edgar! > > Já estava achando bastante incrível o que vocês estão fazendo, mas essa > ideia agora é realmente excepciona

Re: [Logica-l] Entrevista - Walter Carnielli -Ad Infinitum

ut. de 2021 às 18:47, Alfredo Roque Freire < > alfrfre...@gmail.com> escreveu: > >> Olá a todas e todos, >> >> >> Começamos uma nova série de entrevistas no canal *Ad Infinitum*. >> >> A nossa primeira entrevista será com o professor *Walter Carnielli* >>

Re: [Logica-l] a ciência precisa de pirataria?

; e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGZ3pzJHPXt%3DdBMyWDBr9xsLEK6xXkC0%2BizMc4R5VamCpwD1Dw%40mail.gmail.com. -- === Walter Carnielli, Professor Cen

Re: [Logica-l] in praise of rationality

Impenetrável paywall, infelizmente... Nem o Outline consegue acessar... Em sáb., 9 de out. de 2021 08:07, Joao Marcos escreveu: > uma rescensão do novo livro de Steven Pinker > > https://www.nytimes.com/2021/10/03/books/review/rationality-steven-pinker.html > > > JM > > -- > Você recebeu essa m

[Logica-l] O canal "Ad Infinitum" de vento em popa

g Métodos de indução Tablôs proposicionais Kant e os tipos de conhecimento - Racionalismo e empirismo Kant - analítico x sintético e a priori x a posteriori Um grande auxílio ao aprendizado, parabéns Alfredo e Edgar! Abraços, Walter -- ======= Walter Carnielli, Profes

[Logica-l] 20 milhões de dólares para um projeto para formalização de matemática [...]

ad. > > https://www.cmu.edu/news/stories/archives/2021/september/hoskinson-center-for-formal-mathematics.html > -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNI

[Logica-l] Posicao de Post-Doc na Polônia (36 meses)

Olá jovens doutores buscando posição: acabo de receber esta msg de um amigo na Polônia. Eles continuam procurando um candidato, se alguém se interessar pf me escreva em privado, eu ajudarei a fazer os contatos. Abs, Walter >Hi Walter, I am writing to you since I have a > job offer for a yo

[Logica-l] Barcelona Principles etc

Eu acho o problema importante, mas a solução proposta não tem muito senso. É claro que quem domina a língua vai usá-la como um instrumento de poder e colonização cultural, e dificilmente vai aceitar desarmar seu AK-47 linguístico. Pedir a inclusão de "non-native speakers" em comitês, revistas et

[Logica-l] Nota de profundo pesar (falecimento do Prof. Carlos Gustavo González)

Também lamento muito a perda do Carlito González. Fui colega dele na Unicamp, mais tarde estive em sua banca de concurso em Uberlândiia. Testemunhei quanto foi dura a vida dele ao cuidar sozinho devum filho, e que requeria tanta atenção. Tanto ele quanto Tony Marmo farão muita falta na nossa li

[Logica-l] PhD student position in the philosophy of mathematical practice, Aarhus (Denmark), Deadline: 1 Nov 2021

Repassando a pedidos: ótima oportunidade para um PhDbcom possibilidade de trabalho no futuro! Walter -- Title of project: The Philosophy and History of Mathematics Research area and project description: We are looking for a PhD student in the philosophy of mathematical practice. The

Re: [Logica-l] Genesis da Matematica Moderna na America do Sul

ositorios abertos de documentos, > temos? > e quem faz historia da matematica (nao da logica) no Brasil? > Agradeco mais informacoes, se vc as tiver. > > E acho que ja' dei os parabens antes pelo livro "A ‘Nova Lógica’ e a > filosofia de W.V.Quine no Brasil', mas na

Re: [Logica-l] Genesis da Matematica Moderna na America do Sul

ógica, como (tentei) dizer em: "A ‘Nova Lógica’ e a filosofia de W.V.Quine no Brasil' https://www.unicamp.br/unicamp/ju/noticias/2018/08/10/nova-logica-e-filosofia-de-wvquine-no-brasil a respeito da nossa edição/tradução, "The Significance of the New Logic” (editado e traduzido po

Re: [Logica-l] Re: da origem dos termos matemáticos

Eu uso, no livro de Pensamento Crítico, "cortina de fumaça " no lugar de "arenque vermelho ". A origem do nome vem de que o arenque é mal cheiroso, e distrai os cachorros de trenó... Nada a ver com nada, para nós. Abs Walter Em qua., 25 de ago. de 2021 19:58, samuel escreveu: > Caros, >

Re: [Logica-l] Lógica viva: OS PARADOXOS ESTÓICOS: hora de aprender (por Aldo Dinucci)

A única solução em PT é usar "seuas alunaos "... ou a prática de" ladies and gentlemen ", tipo dizer sem preguiça "suas alunas e seus alunos", nesta ordem obviamente. W Em sáb., 21 de ago. de 2021 19:21, Joao Marcos escreveu: > > Favor ajudar na divulgação, especialmente para seus alunes. >

Re: [Logica-l] [ OUF] Tabela Qualis - Convite de Publicação de Artigo Científico

Oi J-Y, Amigo meu não é, poderia ser mais amigo seu, porque ele tem atitudes de bolsonarista -:) Hoje eu já escrevi uma carta bem malcriada pedindo para ele parar de encher a paciência de todo mundo com esses spams... abraços, W. Em ter., 17 de ago. de 2021 17:20, jean-yves beziau escreveu:

[Logica-l] Concurso para Filosofia na UFBA: a Bahia quer lógicos!

ome>* -- --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes : http://lattes.c

Re: [Logica-l] Prêmio Newton da Costa

Olá Petrúcio, com cópia toda(o(s, Também acho muito pouco tempo ,só quem porventura soubesse do prêmio antes é que poderia ter condições de concorrer. Abraço, Walter Em sáb., 7 de ago. de 2021 11:33, Petrucio Viana escreveu: > A Sociedade Brasileira de Lógica (SBL) anuncia a edição de 2021 do

Re: [Logica-l] [OFF TOPIC] Moção da SBL contra o aparelhamento da CAPES

> On Fri, Aug 6, 2021 at 6:01 PM Walter Carnielli wrote: >> >> Colegas: >> >> Escrevo para manifestar minha indignação, que imagino deve ser de >> todas e todos, quanto ao aparelhamento da CAPES . Não basta o CNPq >> ser desmantelado, sem recursos para f

[Logica-l] [OFF TOPIC] Moção da SBL contra o aparelhamento da CAPES

ão, talvez se juntando à da SBPC. Abraços, desejando a todas e todos tempos melhores, Walter - ======= Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859 Campinas -

Re: [Logica-l] Suíça, : 730 anos de paz ...

"...nunca vai ter então na Suíça uma Lula, uma Kadafi, uma Putin ... " Mas uma Bolsonaro não poderá ter, principalmente se ajudar a "laver plus blanc"? W. Em dom., 1 de ago. de 2021 20:31, jean-yves beziau escreveu: > Hoje é a festa nacional da Suíça, 730 anos de paz ... > https://www.missi

Re: [Logica-l] Functional Interpretations

am.ac.uk/~vdp/publications/dial87.pdf. > > abracos, > Valeria > > On Sat, Jul 31, 2021 at 8:28 AM Walter Carnielli > wrote: > >> Colegas: >> >> Gostaria de divulgar aqui um livro talvez pouco conhecido, mas que >> traz uma excelente visão sobre a

Re: [Logica-l] [OFF] "ditadura da língua"

atin is taught at key stage three in less than 3% of state schools, compared with 49% of independent schools. > > > Ruy > > > > Em sex., 30 de jul. de 2021 às 21:15, Walter Carnielli < walte...@unicamp.br> escreveu: >> >> Oi Alexandre, >> Mas nem se comp

[Logica-l] Functional Interpretations

dified Realizations of Constructive Set Theory; The Q-Hybrid of the -Interpretation of Constructive Set Theory in Finite Types; Majorizability of Constructive Set Functionals. === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Depart

Re: [Logica-l] [OFF] "ditadura da língua"

Bem, já é difícil convencer o uso de Esperanto, que tem uma base de falantes > bem maior de acordo com > https://en.wikipedia.org/wiki/Comparison_between_Esperanto_and_Interlingua… > > > > On 30 Jul 2021, at 20:46, Walter Carnielli wrote: > > > > Caros: > > >

Re: [Logica-l] [OFF] "ditadura da língua"

e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPYP284MB14311291D23715179C3F72A1B6EC9%40CPYP284MB1431.BRAP284.PROD.OUTLOOK.COM. -- === Wa

Re: [Logica-l] Re: Invitation to Publish

gt; seja em (B), seja em (D), deixo os porcologos avaliarem. > JYB > > On Sat, Jul 24, 2021 at 11:43 AM Walter Carnielli wrote: >> >> Já publiquei duas ou três vezes na MDPI. A questão não é o modelo >> "open access", a questão é as porcarias que se pub

Re: [Logica-l] Re: Invitation to Publish

our homepage, thus providing >>> > more exposure to your book; >>> > - Information provided by you in our questionnaire (such as keywords, >>> > biography, journal description and audience) will be included on our >>> > website; >>> > - We provide a special 30% discount on all prepub

[Logica-l] Re: Invitation to Publish

York, should such a possibility arise. Should you have any questions, > please contact Stella Mottola at nova.m...@novapublishers.com. > > Sincerely yours, > > Nadya S. Columbus > President > Nova Science Publishers, Inc. > 415 Oser Avenue, Suite N > Hauppauge, NY 11788 USA

[Logica-l] " Invitation to Publish a Scientific Article": Predatória??

Pessoal, Alguém tem ideia se esta revista (abaixo) é predatória? Tem toda a cara de ser, mas não está na Beallslist: https://beallslist.net/ Abraços, Walter -- Forwarded message - De: South Florida Journal of Development < editor3.s...@southfloridapublishing.com> Date: qui.,

Re: [Logica-l] O castorzinho ocupadíssimo

egundo a qual a função contraexemplo para P=NP cresceria nos picos ao > menos tão rápido quanto o Busy Beaver. Embora tenhamos dúvidas sobre o > significado disso, provamos esse resultado nalgum canto. > > Sent from my iPhone > > > On 20 Jul 2021, at 17:56, Walter Carnielli wro

Re: [Logica-l] [Off Topic] Iniciada a privatização da USP?

ão uma decisão do IPT não pode ser imputada à USP, e > vice-versa. > > []s > > Em ter., 20 de jul. de 2021 às 20:40, Walter Carnielli < > walte...@unicamp.br> escreveu: > >> Alguen(s) da USP poderia comentar isso? >> >> >> jul 2021 - 14:56 >&g

[Logica-l] [Off Topic] Iniciada a privatização da USP?

Alguen(s) da USP poderia comentar isso? jul 2021 - 14:56 O governador de São Paulo, João Doria (PSDB), decidiu permitir a instalação de uma faculdade particular, criada por sócios do banco BTG Pactual , dentro d

<    1   2   3   4   5   6   7   8   9   >