[Logica-l] International Research Center for Artificial Intelligence (IRCAI) em Liubliana, Eslovênia,

Car@s colegas: Passo aqui a informação de que amanhã ocorrerá o lançamento de um centro de pesquisas da Unesco em inteligência artificial: International Research Center for Artificial Intelligence (IRCAI) https://ircai.org/launch-2021/ Com sede em Liubliana, Eslovênia,o centro tem diversas in

Re: [Logica-l] Seminário remoto "Lógicos em Quarentena" 25/03/2021 (quinta-feira) 16:00h

Na "brilhante " demonstração de Teodor J. Stępień e Łukasz T. Stępień no Journal of Mathematics and System Science 10 (2020) doi: 10.17265/2159-5291/2020.01.002 alguém consegue me explicar na Def. 11 por qual razão (¬∃ ∈ 0) recebe a negação linguística, enquanto ~\alpha recebe a nega

Re: [Logica-l] nteligência Artificial com Marcelo Finger, Professor Titular da USP

Parabéns pela iniciativa, Adolfo, otimos podcasts! Parabéns da nesma amolitude ao Marcelo pela respostas interessantes e animadas, Abraços Walter Em qua, 17 de mar de 2021 16:06, Adolfo Neto escreveu: > Oi pessoal, > > Finalmente publiquei como podcast a minha entrevista com Marcelo Finger.

[Logica-l] Call for Researcher, Nicolaus Copernicus University in Toruń

- Call for Researcher Emerging Field: Logic and Philosophy of Science, Department of Logic, Nicolaus Copernicus University in Toruń, Poland Toruń Logic Group invites beginning researchers to take part in the project financed by Emerging Field: Logic and Philosophy of Science ( www.umk.pl/en/res

[Logica-l] Postdoctoral position in mathematical logic, Bern (Switzerland), Deadline: 31 Mar 2021

Postdoctoral position in Mathematical Logic, Bern (Switzerland), Deadline: 31 March 2021 Applications are invited for an 18 month postdoctoral position in the Logic group of Prof. George Metcalfe at the Mathematical Institute of the University of Bern, supported by the Swiss National Science Found

[Logica-l] Faculty positions (Assistant/Associate/Full Professorships) in Computer Science, Edinburgh (Scotland), Deadline: 11 Apr 2021

ASSISTANT PROFESSOR / ASSOCIATE PROFESSOR / PROFESSOR in COMPUTER SCIENCE HERIOT-WATT UNIVERSITY, EDINBURGH, SCOTLAND, UK SALARY (for ASSISTANT/ASSOCIATE PROFESSOR LEVEL): £59,135 -£41,526 per annum

[Logica-l] Postdoctoral position in foundations of autonomous multi-agent systems, Warsaw (Poland)

We are looking to hire a postdoctoral researcher at the Institute of Computer Science, Polish Academy of Sciences (Warsaw, Poland). Employment: full time, 36 months, competitive salary, flexible research environment and working hours. Requirements: PhD in Computer Science, with either a Machine L

Re: [Logica-l] Consulta

Ola, Mario, Pela mnha experiência, as editoras não dão nenhuma importância para isso. Sempre deixei os meus lá, e nunca tive nenhum problema. A mesma coisa em outros sites como Research Gate etc. Ate gostaria de saber se alguém ja teve algum questionamento de alguma editora. Abs Walter Em

Re: [Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

Obrigado João, Incentivos são nossa "moeda de troca" :-) Sempre há o temor de se estar no caminho errado, e os "feedbacks" da comunidade são essenciais. Abraços, Walter Em sáb., 6 de mar. de 2021 às 17:30, Joao Marcos escreveu: > > > Os vários módulos tëm como objetivo: > > > > (1) desenvo

[Logica-l] “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC).

Colegas: Gostaria de divulgar um projeto pedagógico em que estamos trabalhando no momento, apoiado pelo CNPq: “Inteligência Artificial: da Lógica às Humanidades” (CNPq/ MCTIC). Trata-se de um projeto para ensino médio, estudantes e professores, que tem objetivo de divulgar, em nível super-in

[Logica-l] Coletivo Lógica Viva: Correlação x Causalidade

Caro Marcelo , excelente postagem, muito boa mesmo! Mas só para reafirmar o quanto é difícil falar rapidamente para todo mundo, de maneira que se pareça espontâneo: você cometeu um pequeno deslize aos 3:48, disse sem querer que o baixo índice de vitamina D poderia estar relacionada com o baixo

Re: [Logica-l] Reflexões acerca do argumento de diagonalização de Cantor.

Olá Rodrigo, é verdade, endosso o argumento do Alfredo: sua lista não tem nenhum número irracional :-) E mais ainda : que número 'natural" infinito seria essa "sequência infinita de dígitos 1"? Se entendi bem é 0,111...111..? Mas esse é um racional... Abraços, Walter Em qua, 3 de mar d

Re: [Logica-l] Eleição para Diretoria da SBL 2021 - Cédula de Votação

Cara(o)s: dando meu palpite aqui, bastaria que o advogado entrasse com um mandado de segurança simples e barato, e o juiz daria em poucos dias uma liminar para que a votação fosse feita de maneira eletrônica, em virtude da pandemia. Qualquer banco e cartório aceitaria, mas enfim como não foi fe

Re: [Logica-l] Carnaval dos Lógicos do Brasil - 2021

Oooopa!! Preciso subir mais dois pontinhos no neu h-index pra sair na frente ! Vou dar uma atenção a isso :-) W. Em dom., 28 de fev. de 2021 às 14:41, jean-yves beziau escreveu: > > > h-index (since 2016) > > i10-index (since 2016) > > Citations (since 2016 > > 20 Newton da Costa > > 20 Jean-

[Logica-l] "Sistemas Dedutivos em Lógica Tradicional e Moderna" (acesso livre)

Cara(o)s colegas e estudantes: Acabamos de receber uma cópia do livro lindamente editado (e livre para download) "Sistemas Dedutivos em Lógica Tradicional e Moderna" (MDPI, 2021, editores Alex Citkin e Urszula Wybraniec-Skardowska) Estamos muito felizes em ter um artigo neste belo volume:

[Logica-l] Research and Teaching Assistant Position

Job Advertisement 21/Si08 At the Department of Philosophy’s Chair of Theoretical Philosophy, at the University of Greifswald’s Faculty of Arts and Humanities, there is a position which is expected to be available from 01/04/2021, subject to budgetary regulations, for a part-time (50%) Research and

Re: [Logica-l] lógica viva: trilema de agripa

Oi Marcos, Muito bom o vídeo sobre o Trilema de Agripa, isso não é muito conhecido mas é bastante geral e bastante profundo. Ficou bem agradável , abraço, Walter Em sex, 12 de fev de 2021 19:35, Marcos Silva escreveu: > Car@s, > > estamos retomando o projeto logica viva! em 2021. > > nós pu

[Logica-l] 4th Advanced Online & Onsite Course on Data Science & Machine Learning | July 19-23, 2021 | Certosa di Pontignano, Siena – Tuscany, Italy

#ACDL2021, An Interdisciplinary Course: #BigData, #DeepLearning & #ArtificialIntelligence without Borders ACDL 2021 – A Unique Experience: #DataScience, #MachineLearning & #ArtificialIntelligence with the World’s Leaders in the fascinating atmosphere of the ancient Certosa di Pontignano (Online a

[Logica-l] PhD student position on logics for ethical reasoning in social robots, Toulouse (France), Deadline: 21 Feb 2021

PhD position in Logics for Ethical Reasoning in Social Robots Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse University, France The International Center for Mathematics and Computer Science in Toulouse (https://cimi.univ-toulouse.fr/en ), name

Re: [Logica-l] Fwd: Foundations of Computer Science at the University of Leicester

Também assinada, com comentários... W. Em dom., 7 de fev. de 2021 às 13:07, Valeria de Paiva escreveu: > > obrigada por postar os abaixo-assinados, Joao! assinados, claro. > abs > > On Sat, Feb 6, 2021 at 4:12 AM Joao Marcos wrote: >> >> -- Forwarded message - >> >> Dear all, >> >

[Logica-l] Two funded PhD positions on Epistemic AI at TU Delft - deadline 28 February

TU Delft (Netherlands) offers two fully-funded PhD positions as part of the EU FET Open project Epistemic AI. The first PhD candidate will develop novel approaches for combinatorial optimisation under epistemic uncertainty. The second PhD candidate will develop novel reinforcement learning algori

Re: [Logica-l] ¿ Is there an Axiom for everything ?

Eu acho que pode ser, então talvez eu leia, ou não :-) Abraços W. Em qua, 20 de jan de 2021 22:37, jean-yves beziau escreveu: > Meu derradeiro artigo: > http://www.jyb-logic.org/AXI > 1) Se você está convicto que a resposta a essa pergunta é positiva, faz > sentido ler o artigo começando pelo

Re: [Logica-l] John Corcoran 1937-2021

De fato, é uma notícia muito triste e inesperada . Até há bem pouco tempo Corcoran estava super ativo, escrevendo muito e pedindo apoio, sempre mencionando seu amigo"Frango na Brasa". Para quem nao conhece a história, "Frango na Brasa" é um amigo brasileiro dele que mora nos EUA, um "filósofo

[Logica-l] "Gödelian flowers in exotic fields": horário correto

Colegas: Nossa apresentação em comemoração ao Dia Internacional da Lógica será no sábado, 16 de janeiro, 16:00 - 16:30 *Horário de Zurique* 12:00- 12:30 (meio dia) *Horário de São Paulo* David Fuenmayor & Walter Carnielli "Gödelian flowers in exotic fields: automating (meta-)mathematical r

[Logica-l] Re: Gödelian flowers in exotic fields": Dia Internacional da Lógica- Errata

Prezado Jean-Yces: Você tem acreditado demais na indução. David Hume mandou avisar que a terra tem girado no sentido anti-horário, mas pode perfeitamente mudar o sentido no dia... :-) Mas obrigado por notar, vamos assumir a hipótese que a terra continuará girando de oeste para leste e corrig

[Logica-l] Gödelian flowers in exotic fields": Dia Internacional da Lógica- Errata

Colegas: Nossa apresentação no Dia Internacional da Lógica será no sábado, 16 de janeiro, 16:00 - 16:30 *Horário de Zurique* 20:00- 20:30 Horário de São Paulo David Fuenmayor & Walter Carnielli "Gödelian flowers in exotic fields: automating (meta-)mathematical reasoning for non - classical

Re: [Logica-l] "Gödelian flowers in exotic fields": Dia Internacional da Lógica

ação > da Matemática, talvez vocês queiram considerar submeter algo para este > workshop? > https://www.uc.pt/en/congressos/thedu/ThEdu21/cfp > > []s, Joao Marcos > > > On Sat, Jan 2, 2021 at 3:38 PM Walter Alexandre Carnielli > wrote: > > > > Conferência 14 de janeiro,

[Logica-l] "Gödelian flowers in exotic fields": Dia Internacional da Lógica

Conferência 14 de janeiro, Dia Internacional da Lógica/World Logic Day Carlos colegas : no Dia Internacional da lógica, Davi Fuenmayor e eu estaremos representando a lógica brasileira no evento Formalize!(?) A philosophical & educational perspective on formalization in mathematics Zurich / Onli

[Logica-l] Aulas de "Mathematica"

Colegas: Gostaria de saber se há algum estudante, ou colega com paciência para tanto, que possa me dar algumas instruções básicas (remuneradas, se for o caso) sobre o software Mathematica. As coisas começam por ser um tanto confusas: existe o Wolfram Cloud, Wolfram Language, Wolfram Alpha, e o

Re: [Logica-l] censo da população da LOGICA-L

João Bom trocar "sexo" por "gênero", pelo menos nesta lista nos educamos um pouquinho. A última pergunta é a única que admite respostas diferentes simultâneas , ou mais de uma resposta. Acho que isso deveria ser esclarecido, Abraços W. Em sex, 4 de dez de 2020 19:18, O Administrador da LOGIC

Re: [Logica-l] uma pergunta sobre. wiki brasil

Talvez não João- pelo menos com algumas pessoas eles entram em contato; re-veja aqui o que Petrúcio escreveu: "Ela [a amiga, ou conhecida] me disse que um desses responsáveis entrou em contato com ela ..." Confere? Abs, W. Em qui, 26 de nov de 2020 18:33, Joao Marcos escreveu: > > A mi

Re: [Logica-l] uma pergunta sobre. wiki brasil

Petrúcio, de minha parte, não tenho a mais remota ideia de quem seja responsável pela Wikipédia no Brasil Sei que ha alguma ou outra outra coisa boa em lógica e matemática, e um monte de porcaria. A mim nunca ninguém perguntou nada, e nem sei onde nem como encontrar alguém da Wikipédia. A

[Logica-l] David Fuenmayor- Dec 2nd (4:00PM, GMT -3 hours) -Colloquium Logicae @CLE-Unicamp

Dear spirited logicians and friends of logic: The Colloquium Logicae, traditional conferences held at the Centre for Logic, Epistemology and the History of Science at Unicamp now linked to the “Logic Supergroup https://logic.uconn.edu/supergroup/is glad to announce its NEXT TALK: "General

[Logica-l] Em busca de reviewers para "Paraconsistent Logic: Consistency, Contradiction and Negation"

Car@s Colegas: O editor de reviews da "History and Philosophy of Logic" (https://www.tandfonline.com/toc/thpl20/current) está procurando reviewers para o livro "Paraconsistent Logic: Consistency, Contradiction and Negation" Springer, 2016 (W.A. Carnielli, M.E. Coniglio) https://www.amazon.com/P

[Logica-l] Edward Zalta & Uri Nodelman - October 28th -Colloquium Logicae @CLE-Unicamp

Dear joyfull logicians and enthusiasts of logic: The Colloquium Logicae, traditional conferences held the Centre for Logic, Epistemology and the History of Science at Unicamp,now linked to the “Logic Supergroup https://logic.uconn.edu/supergroup/ is glad to announce its NEXT TALK: "Number Theor

Re: [Logica-l] the greatest mathematician that never lived

Colegas, Achei fantástico o vídeo sobre "The greatest mathematician that never lived" ! Alguém tem alguma ideia, ou sugestão, sobre como fazer aquele tipo de desenhos (cartoons) memso que fossem bem mais grotescos e simplificados , tipo " personagens com palitos"? Abs Walter Em qui., 2

Re: [Logica-l] Re: videopédia "Introdução Computacional à Lógica Matemática"

Parabéns Daniel! Mas gente, a UFRN deve estar na vanguarda mesmo, como o Daniel postulou , mas muito -- eu por exemplo não tenho a menor idéia do que seja "Forall": Forall_x (o ParaTodxs - Natal) Só sei que Marcelo, Juliana e eu temos um projeto de livro semi-pronto há anos chamado "

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

João e equipe, parabéns pela videopédia, vídeos bem concisos, informativos, corretos (tanto quanto eu pude verificar--é fácil "deslizar") , textos bem escolhidos e ótimo som! Aliás, você poderia passar aqui dica: que microfone usou? Abraços, Walter Em ter., 20 de out. de 2020 às 09:41, Jo

[Logica-l] 1.o Workshop Internacional sobre Interpretação das Lógicas Paraconsistentes.

Os colegas Jonas Arenhart e Ederson Melo da UFSC estarão organizado nos dias 20, 21 e 22 de outubro próximo, entre 14:00 e 16:00, o 1.o Workshop Internacional sobre Interpretação das Lógicas Paraconsistentes. Os palestrantes serão Abilio Rodrigues, Eduardo Barrio, Jonas Arenhart, Ederson Mel

Re: [Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física

responde várias críticas feitas ao ENM. O outro livro citado > é uma obra bem curta e de divulgação científica (há uma sessão de perguntas e > respostas com Hawking, N. Cartwright e A. Shimony) > > abraços amigos, > R. > > > Em qua., 7 de out. de 2020 às 00:08, Walter Alexa

[Logica-l] Roger Penrose, Reinhard Genzel e Andrea Ghez ganham Nobel de Física

O Prêmio Nobel de Física deste ano foi concedido a Roger Penrose, Reinhard Genzel e Andrea Ghez, pelo seu (deles) trabalho que ajuda a revelar os segredos dos buracos negros. O interessante para nós, lógicos, filósofos e computólogos, é que Penrose (para os mais jovens que talvez não tenh

Re: [Logica-l] Re: A Máquina de Turing e o que os computadores podem e não podem fazer, por Valdemar W. Setzer

Muito bom Adolfo ,obrigado pelos links. Tão interessante quanto o tema é a figura do professor Setzer, que aos 80 anos é um nadador em vários estilos , ginasta , e um ótimo músico-- para mim um 'virtuose' com sua flauta transversal. Abs W. Em ter, 6 de out de 2020 18:57, Adolfo Neto escreveu:

[Logica-l] Seminário do Programa III CLE/Unicamp- - atualização de 05/10/2020

Car@s colegas e estudantes: Segue a programação atualizada (05/10/2020) do Seminário do Programa III -CLE/Unicamp, sempre às (mas não todas) quartas-feiras, 16:00. == Link para participar via Google Meet: meet.google.com/rzo-zyxu-opy ===

Re: [Logica-l] Fwd: SILFS Prize for Women in Logic and Philosophy of Science for Anne Sophie Meincke and Anela Lolic

Car@s, Muito apreciei um dos critérios, o qual, por coincidência ou não, retrata um dos pontos pelos quais tenho me batido há anos: "Breadth of the literature considered, also with regard to scientific production that goes beyond Anglo-American literature.". O paradigma anglo-americano, perdoe

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

Sim, vários colegas haviam comentado sobre isso nas edicorss anteriores. Alguns queriam até organizar um abaixo-assinado. A edição anterior figurava uma "lolita" lendo no jardim. É um desserviço à paraconsistência esse tipo de atitude do Jean-Yves , sinceramente. Em particular, é um desserviço

Re: [Logica-l] Re: categorias e inclusão

Me perdoem a(o)s adepta(o)s. desta Eugenia Sheng, mas eu acho que. muita coisa que ela escreve não tem nada a ver com nada... Como bem reconhece última linha: "A theory doesn’t have to be perfect to be useful. I’d say the same for Cheng’s manifesto on gender." W. Em sex., 4 de set. de 2020 à

Re: [Logica-l] Re: indicadas ao Prêmio Filósofas 2020

Caríssimo João, Car@s tod@s: Belíssima homenagem, realmente as duas foram nártires da ciência sem querer. É uma coisa a inacreditável ter acontecido esse acidente trágico por ocasião do doutorado de ambas. Muito triste, mas a homenagem é muito alentadora, nos conforta um pouco o espírito. Ab

[Logica-l] Fernando Pessoa contribuindo para o domínio da anglofonia

Adoro o Fernando Pessoa, o que não quer dizer que ele sempre esteja certo. Prefiro a seguinte diretiva: para o que queremos sentir, ouvimos os poetas. Para o que queremos ensinar, ouvimos os que fazem ciência. W. "Usando do inglês como língua científica e geral, usaremos do português como

Re: [Logica-l] mais sobre post hoc ergo propter hoc, na imprensa

Oi Adolfo, Pelo que eu me lembro, era o Konrad. um médico alemão professor da Faculdade de Medicina da Unicamp, muito interessado em Filosofia da Ciência. Abs W. Em seg., 31 de ago. de 2020 às 09:44, Adolfo Neto escreveu: > > João, > > Lá pelos idos de 2003-5 quando eu era assíduo nos Semi

Re: [Logica-l] Fwd: Glossário inglês-português

Olá Desi, Mas como criticar alguem por traduzir anedoct por anedota, se os proprios dicionarios o fazem? https://dictionary.cambridge.org/dictionary/english/anecdote anecdote noun [ C ] UK /ˈæn.ɪk.dəʊt/ US /ˈæn.ɪk.do

Re: [Logica-l] Fwd: Glossário inglês-português

Colegas, acrescento aqui meus palpites à discussão entre Júlio e João-- o Desi fez um excelente trabalho essa lista é muito necessária. Mas teria alguns apontamentos: se é para ser usado pelos dois lados do Atlântico, seria bom preservar o que já tem sido usado. Para além dos pontos lev

Re: [Logica-l] IV Congresso da Sociedade Brasileira de Filosofia Analítica (1-5/9)

Muito bom Marcos E tem ambém tem eu, que sou da SBL (fui ate presidente, alem de fundador) e vou falar sem mesa, será uma "cadeira redonda", abraços W. Em sex, 28 de ago de 2020 15:07, Marcos Silva escreveu: > Car@s, > > semana que vem começa o VI congresso da Sociedade Brasileira de Fil

[Logica-l] Os Teoremas de Gödel são menos inevitáveis do que parecem...

Caros: David Fuenmayor e eu publicamos recentemente um artigo sobre limitações dos Teoremas de Gödel no que se refere a certas lógicas não-clássicas, ao mesmo tempo ilustrando o interesse em se utilizar assistentes de prova na pesquisa em lógica: -

[Logica-l] Joint seminar- Colloquium Logicae + others @ Supergroup

Dear passionate logicians and supporters of Logic: Just a small correction: the next seminar under the Logic Supergroup by Alfredo Roque Freire is being organized by the following consortium: Chapman University, USC San Bernardino, Claremont University, UC Riverside and Colloquium Lo

[Logica-l] Joint seminar- Colloquium Logicae & OCIE Seminar UC Irvine @ Supergroup

Dear passionate logicians and supporters of Logic: As part of the Logic Supergroup (https://sites.google.com/view/logicsupergroup/the-logic-supergroup), the Colloquium Logicae at CLE-Unicamp is happy to announce its joint seminar with the OCIE Seminar in the History and Philosophy of Mathematics

[Logica-l] [OFF TOPIC] Doria ameaça recursos da Unesp, Unicamp, USP e Fapesp

Caro Adolfo e demais colegas: Por favor assinem esta petição contra o recente golpe do governo de São Paulo: http://chng.it/f6rSRvnF Em dom, 16 de ago de 2020 22:59, Adolfo Neto escreveu: > Toda a minha solidariedade, Walter. Como podemos ajudar, além de > repercutir? > >> >> -- Você está

[Logica-l] [OFF TOPIC] Doria ameaça recursos da Unesp, Unicamp, USP e Fapesp

Colegas, peço desculpas pela insistência, mas esse ataque é uma das piores coisas que já aconteceram para a ciência e tecnologia de São Paulo e do país nos últimos tempos. Acho que todos temos que nos mobilizar. E. http://www.diretodaciencia.com/2020/08/16/projeto-de-lei-de-doria-ameaca-recursos

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

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

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

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

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

[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

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

[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

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

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

[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

[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] 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.

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

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

[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

[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] 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) @ 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: 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] 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

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] "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] 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

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

[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

[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] 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

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

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

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

  1   2   >