[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

[Logica-l] O castorzinho ocupadíssimo

jecturei (mas nao consegui provar nada...) http://www.math.nthu.edu.tw/~amen/2015/AMEN(150711).pdf No capítulo 8 de "Computabilidade, funções computáveis, lógica e os fundamentos da matemática". damos uma receita detalhada de como demonstrar que o Castar Ocupado ganha de qualquer Máquina de T

[Logica-l] P continua não sendo igual a NP...

Instituto de Computação > Universidade Federal Fluminense > http://www.ic.uff.br/~bruno > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, en

[Logica-l] O lado escuro da Inteligencia Artificial

Colegas: Acabo de publicar um ensaio sobre o lado sombrio da IA, que certamente vai gerar polêmica: "How AI can be surprisingly dangerous for the philosophy of mathematics— and of science" Walter Carnielli Circumscribere Vol 27 (2021) Open access: https://revistas.pucsp.br

[Logica-l] A matemática está em alta (muito justamente)

...e a lógica deve caminhar junto! Abs W. https://www1.folha.uol.com.br/ciencia/2021/04/com-novo-campus-no-rio-impa-quer-estreitar-lacos-com-industria-e-popularizar-a-matematica.shtml?utm_source=whatsapp&utm_medium=social&utm_campaign=compwa -- Você está recebendo esta mensagem porque se inscre

[Logica-l] Techniques for proving decidability

Rasga, Cristina Sernadas and Walter Carnielli The Bulletin of Symbolic Logic, online Online, https://www.doi.org/10.1017/bsl.2021.17 Satisfaction systems and reductions between them are presented as an appropriate context for analyzing the satisfiability and the validity problems. The notion of

Re: [Logica-l] Já conhecem este livro?

>> >>> -- >>> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos >>> Grupos do Google. >>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie >>> um e-mail para logica-l+unsubscr...@dimap.ufrn.br. >>

[Logica-l] The Provability of Consistency talk.

Repassando a pedido de Sergei Artemov: *Celebrating 90 Years of Gödel's Incompleteness Theorems. * The conference is a hybrid event, taking place online and in Nürtingen (Germany) from 5 to 9 July 2021. https://uni-tuebingen.de/en/212629 [uni-tuebingen.de]. The conference will use the following

Re: [Logica-l] Re: Entrevista com Walter Carnielli

uni 2021 kl. 16:58:11 UTC-3 skrev Adolfo Neto: > >> Oi pessoal. >> >> Entrevistei o professor Walter Carnielli. >> >> Spotify: https://open.spotify.com/episode/3baby3b5ipyDtgRHpdvP4x >> YouTube: https://youtu.be/FBrExIIO6Hk >> Anchor: >> https://anch

[Logica-l] O livro “O Universo Neoliberal do Desencanto”

tico Francisco Antonio Doria, retrata o trabalho do lógico Newton da Costa, do matemático Antonio Doria e do economista Marcelo Tsuji, Parabéns! Walter === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy Universit

Re: [Logica-l] On Hilbert’s Sixth Problem

p.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/61ABC78F-F3D6-4FC7-BB50-837D581F9FA6%40gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Departm

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

;> Theoria dos quarks tem nomes "picantes" by design... >> ---Julio Stern >> >> >> >> -- >> *From:* Manuel Doria >> *Sent:* Tuesday, June 22, 2021 6:18 PM >> *To:* Walter Carnielli >> *Cc:* Hermógenes

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Cara(s)s, Concordo em boa com Hermogenes; gosto do Nabokov, gostei tambem do filme "Lolita" de Adrian Lyne, mas isso não ajuda a ser um.bom nome para um grupo de pesquisa que quer parecer (e é de fato) serio. O que pensaríamos de um grupo de pesquisa em Astrofisica que se chamasse C*entro de As

Re: [Logica-l] Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

Para fazer alguma justiça- o artigo diz: "Lean was originally created by a computer scientist at Microsoft Research in Redmond, Washington, for the purpose of rigorously checking computer code for bugs". Não é claro a quem estão se referindo, mas, a própria página da "Community" informa: "T

Re: [Logica-l] [discussão sobre Lógica e inclusão] uma rosa com um novo nome?

Eu sugeriria trocar por N*ucleo de Inf*ormação e T*eoria e A*plicacada :-) (mais risadas da claque). Brincadeiras à parte, pessoalmente sempre achei este nome (me perdoem a franqueza) provocador, deselegante e "engraçadinho" demais. Sem pretender ofender a ninguém, mas se pedem opiniões, est

Re: [Logica-l] Coletivo Logica Viva: Existe apenas uma lógica certa?

Muito bom, parabéns à Gisele Reis pelo ótimo vídeo, muito bem gravado inclusive! E a pergunta que ela deixa é ótima: Será que qualquer raciocínio ou juizo esdrúxulo pode ser suportado por alguma lógica especifica? Esperemos que não, mas falta agora alguém fazer um vídeo explicando essa questão.

[Logica-l] Bolsa de Doutorado para o Departamento de Lógica da Univ. Nicolaus Copernicus -Toruń, Polônia,

colegas de Toruń me encarregaram de selecionar alguns pré-candidatos (obviamente a decisão é deles, não minha). Quem tiver interesse por favor me procure em privado; posso explicar melhor e ajudar no que for possível. Abs, Walter -- ======= Walter Carnielli, Profes

Re: [Logica-l] Triste nota de pesar

rança e Turquia. > > Em sex, 28 de mai de 2021 19:00, Marcelo Finger > escreveu: > >> Walter. >> >> Muito triste esta notícia! Mais um para o Panteão dos que se foram por >> motivos evitáveis. Lamentável. >> >> Minhas condolências aos familiares

[Logica-l] Triste nota de pesar

Faleceu no dia 25 de maio nosso querido colega, ex-estudante, orientando e companheiro de discussões Antônio (Tony) Marmo, vítima da COVID 19. Tony foi meu orientando de mestrado na Unicamp, e orientando de doutorado do Jean-Yves Beziau na UFRJ. Estava buscando uma posição, algo muito difícil

[Logica-l] Postdoctoral position (1y) in the Geometry of Algorithms, Paris (France), Deadline: 15 Jun 2021

Repassando a pedidos, Walter - Dear colleagues, The project "GoA: The Geometry of Algorithms", based at the Institute for History and Philosophy of Sciences and Technologies (IHPST) in Paris, is seeking to hire a postdoctoral researcher for 12 months. The project is led by Alberto Naibo and

Re: [Logica-l] palestra de Wilfrid Hodges sobre história da lógica

esse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiPyD7XnyruOtEZTAjEeFQwirizCw159YLi2yqSqKFWkA%40mail.gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campin

[Logica-l] Libro homenaje a Eugenio Bulygin (1931-2021)

Colegas, acho que esse material pode ser de interesse para muitos, W. -- Estimadxs señorxs, Como ya es conocido por la comunidad filosófica y lógica latinoamericana y mundial, el día martes 11 de mayo el destacado filósofo del derecho Eugenio Bulygin (1931-2021). Nos sumamos a las mu

Re: [Logica-l] estará completa esta nova biografia de Gödel?

Essa eu não sei, só sei que aquela da Rebecca Goldstein é bem fraquinha... W. Em sáb, 15 de mai de 2021 20:33, Joao Marcos escreveu: > > https://www.wsj.com/articles/journey-to-the-edge-of-reason-review-godels-beautiful-mind-11621003883 > > -- > Você recebeu essa mensagem porque está inscrito

[Logica-l] Lamentável perda do Prof. Ubiratan D’Ambrosio, Unicamp

= -- === 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: walter.carnie...@cle.unicamp.br

Re: [Logica-l] Lógica Viva, Youtube e argumentação

Caro Ricardo , excelente sugestão -o vídeo é péssimo, mas pelo menos um dos lados tem alguma posição com alguma sensatez. Eu já pensei em a gente tomar esse tipo de vídeo e discutir. ponto por ponto, evidenciando as falácias (que são muitas), os erros de interpretação do método científico, os po

Re: [Logica-l] "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (H, Wansing)

éticas/contraditórias quanto as lógicas conexivas foram muito > exploradas por Richard Sylvan/Routley. > > Abraços inconsistentes, > Joao Marcos > > PS: Em Portugal o anglicismo "inconsistente" costuma ser tratado com > os dedos tapando o nariz... > > -- > http://sequiturqu

Re: [Logica-l] Re: Validade dedutiva

o 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/2d5979d5-b029-4a76-a02b-7d8043ee63f4n%40dimap

Re: [Logica-l] "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (H, Wansing)

tural a parte, a noticia eh boa. > Tudo de bom, > ---Julio Stern > > > From: Walter Carnielli > Sent: Thursday, April 22, 2021 2:07 PM > To: Lista acadêmica brasileira dos profissionais e estudantes da área de > LOGICA > Subject: [Logica-l] "Cont

[Logica-l] "Contradictory Logics: A Radical Challenge to Logical Orthodoxy" (H, Wansing)

f certain non-trivial inconsistent logical systems. " === Abraços um pouco menos pessimistas, Walter -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philos

[Logica-l] Videos:"Como comparar infinitos"

Colegas: Gostaria de recomendar os vídeos que o Alfredo Freire está postando sobre como comparar infinitos. Acho que estão muito bem feitos, exatos e profundos: https://www.youtube.com/watch?v=nrG4XQqjAS4&list=PLqv5niGUIgiPLLUDxnH1gwfHxI_oarhzV Abraços Walter -- Você está recebendo esta men

Re: [Logica-l] Lógica Viva: O que é Lógica? (Giselle Reis)

Giselle, Parabéns, ficou excelente o vídeo! Só agora consegui assistir, no meio de tanta coisa em que eu estou metido no momento. Mas você tem razão, no teste de Watson com cartões as pessoas erram muito, porque não tem contexto. Quando há contexto fica bem mais fácil entender. Eu também verifi

Re: [Logica-l] Re: [OFF] Nota da SBL sobre a troca de presidentes na Capes

t; preferia mil soldades armades para fuzilar os próprios ditadores contra >>> paredões. No entanto, eu mesmo só atirei de estilingue qdo era criança e >>> nunca fui bom de mira, errei todos os pardais q almejei. >>> Aos poucos, meu curriculum mortis vai crescendo. &

Re: [Logica-l] Re: [SBL-Sócios] Declaração da SBL a respeito da nomeação da nova presidente da CAPES

Também se junta a esta orgia curriculo-vitaeina a suspeita de que que se encontrem publicação em periódicos predatórios. Eu suspeitei de alguns no CV Lattes da reitora-advogada-presidentea, mas não consegui verificar. Alguém sabe melhor sobre essa questão? Abraços, Walter Em seg, 19 de abr de

Re: [Logica-l] Re: [OFF] Nota da SBL sobre a troca de presidentes na Capes

Não Cassiano, Muitos grãos de areia derrubam a estátua de um ditador :-) Abraços, Walter Em sáb, 17 de abr de 2021 21:18, Cassiano Terra Rodrigues < cassiano.te...@gmail.com> escreveu: > Camaradas, aproveitando a mensagem do Cezar, revelo q redigi a maior parte > da Declaração da SBL, e revelo

[Logica-l] [OFF] Nota da SBF sobre a troca de presidentes na Capes

https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhJtPvLOxn84-V00NnG30LeuxhsrCVxLkcGFSmM81SzvA%40mail.gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campi

[Logica-l] Postdoctoral position in philosophy of AI, Utrecht (The Netherlands), Deadline: 25 Apr 2021

Utrecht University: Postdoc Philosophy of AI (0.9 FTE) for four years Postdoc Philosophy of AI (0.9 FTE) for four years In order to strengthen its research capacity in newly emerging research fields in theoretical philosophy, the Department of Philosophy and Religious Studies at Utrecht Universit

[Logica-l] "And Logic Begat Computer Science", Virtual, 28 May 2021

Isso é certamente de interesse da Lista dos Lógicos. É quase um relato bíblico: "begat", termo meio em desuso, no sentido de "engendrar". Nossa vingança contra excesso de fé em Machine Learning e Big Data? Abs Walter -- To mark its relaunch the VvL (Dutch Association for Logic and P

Re: [Logica-l] Re: A persistência da burrice

ilhe conosco suas impressoes sobre o livro. >> Gostaria tambem da ter a opiniao de outros de nossos redistas. >> Como ja disse, o assunto me interessa. >> Se o ouro que o Walter viu realmente estiver la, >> certamente comprarei o livro. >> >> Abraco e tudo de bom, &

Re: [Logica-l] Re: A persistência da burrice

Me permito discordar cavalheirescamente de vocês : o cara é pomposo, falador, cheiao de oratória e beletrismo como muitos dos nossos colegas da Filosofia . Mas ele levanta um ponto que eu acho que é legal : a chamada burrice tem uma lógica, tem um modus operandi ,tem um estatuto metafísico de esi

Re: [Logica-l] A persistência da burrice ( ou "A Lógica da Desrazão")

Obrigado Júlio, nao sabia que já existia :-) Abs Walter Em dom., 11 de abr. de 2021 às 13:43, Julio Stern escreveu: > > > Segue a traducao... > ---Julio Stern > > > ____ > From: Walter Carnielli > Sent: Sunday, April 11, 2021 4:08 PM >

Re: [Logica-l] A persistência da burrice ( ou "A Lógica da Desrazão")

...@dimap.ufrn.br. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6iGRVxN67%2BdHBvdjM7JCh%3DRT-VoA8xSHS4_qzfBoa2Yzg%40mail.gmail.com. -- === Walter Carnielli, Professor Centre for Logic, Epistemology and

[Logica-l] Vácuo

Excelente colocação do Daniel. Mas ao apelar para a distinção entre a leitura indicativa e a subjuntiva, ele chamou os condicionais para a briga. Nesse ponto eu gostaria de sugerir um curso muito bacana na ESSLI em 2008 que traz vários exemplos muito semelhantes, e mostra como os condicionais i

[Logica-l] Lógica paraconsistente em contradições na informação e ontologia.

informação e ontologia. Claro que, como anglófono, ele reduz tudo à "Lógica do Paradoxo", mas já é um reconhecimento... https://www.youtube.com/watch?v=5DiitzdHqTU Walter -- ======= Walter Carnielli, Professor Centre for Logic, Epistemology and the History of S

Re: [Logica-l] outra noticia triste: Roberto Bedregal (UFPB)

0087cb8-1623-4213-9d0c-4811c52deae9n%40dimap.ufrn.br. -- === 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 I

Re: [Logica-l] J. Michael Dunn (1941-2021)

Pessoal, Que notícia triste! Ele estava tão bem, sempre polidamente irónico, inclusive iria vir para a nossa,Escola São Paulo (adiada em razão da pandemia). Minhas condolências à familia e a toda a comunidade lógica. Uma grande perda. Walter Em qua, 7 de abr de 2021 10:27, Joao Marcos e

[Logica-l] Job: University of Connecticut (AOS: Philosophical Logic)

-- Forwarded message - De: Joe Ulatowski Date: sáb, 30 de jan de 2021 21:39 Subject: [Aphil-l] Job: University of Connecticut (AOS: Philosophical Logic) To: aphi...@anu.edu.au Job ad: https://philjobs.org/job/show/16654 Assistant Research Professor AOS: Philosophical Logic pr

[Logica-l] Entrevista para o Centro de Estudos Tributários da UFRGS

Car@s: Para quem se interessar, segue entrevista dada ao Prof. Igor Danilevicz, Professor de Direito Tributário da UFRGS-Porto Alegre a respeito do tema "Argumentação e Pensamento Crítico ". Abraços Walter https://www.youtube.com/watch?v=7Pp1tkzElpc&list=PLsksM3za5xB1K6nP7VgyCS9c-0Qc3qSHT&in

[Logica-l] My First Type Theory

Fantástico! Como o poema diz, "we may be stupid, but machines for sure are not" :-) Mas esse cara é um gênio - type theory jamais vai produzir um tal poema! Feliz 2021, W. Em seg, 28 de dez de 2020 07:10, escreveu: > logica-l@dimap.ufrn.br >

[Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

rg.br > http://sbl.org.br/mailman/listinfo/socios_sbl.org.br -- --- 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

[Logica-l] Colloquium Logicae @CLE-Unicamp- Next talk by October 28th, 2020 (4: 00 PM, GMT -3 hours)

have an RNP account ********** 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 -- Você está recebendo est

[Logica-l] Seminários GLTA -CLE (30/09/2020)

Seminários GLTA-CLE Caras e caros colegas, Nesta quarta-feira (30/09/2020) as 16h, teremos a apresentação do Pesquisador Rafael Testa (CLE/Unicamp). Link da apresentação: https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae Título: Representação do Conhecimento e Raciocínio: apl

[Logica-l] Seminário Alfredo Freire- daqui a pouco, 20;00 Hora de Brasília

História da Ciência (CLE) em parceria com o Programa de Pós-Graduação em Filosofia do IFCH e com o Grupo de Lógica Teórica e Aplicada (GLTA). A programação completa está disponível em: https://seminarioscle.word press.com --- Walter Carn

[Logica-l] OCIE Seminar, September 8th Reminder

cini...@univ-paris-diderot.fr>, Daniele Struppa < stru...@chapman.edu>, Richard T. W. Arthur , Ivan Magrin-Chagnolleau , , Benedict Eastaugh , Marianna Antonutti < marianna.antonu...@gmail.com>, Gerhard Heinzmann < gerhard.heinzm...@univ-lorraine.fr>, , Walter Carnielli , Will S

[Logica-l] Can Computers Solve the Collatz Conjecture? | Quanta Magazine

Colegas: Como alguns de vocês sabem, me interesso há muito tempo pelo Problemade Collatz generalizado. Tenho um artigo onde mostro que há infinitas versões muito naturais desse problema, e evidencias robustas de que todas estas versões convergem . Isso dá origem a infinitas conjecturas tipo Coll

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

Olá Marcelo, e demais interessad@s: Ótima pergunta, que nos dá ensejo de esclarecer o papel da aritmética.em nosso artigo Como notamos no Remark 5.2, existem outros estudos sobre aritmética paraconsistente. Mas não é essa nossa intenção. Nossa análise assume o lema de ponto fixo (paraconsi

[Logica-l] Colloquium Logicae @CLE-Unicamp : Alfredo Roque Freire on August 12th 2020 (2:00 PM, GMT -3 )

5262. To participate. please access. https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae **Please enter as “anonymous” unless you have an RNP account Everyone welcome! === Walter Carnielli https://waltercarnielli.com/ Centre

[Logica-l] Versão revisada da entrada "Combining Logics" na SEP

bs Walter + Marcelo -- ------- 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.cnpq

[Logica-l] Fwd: On the Beth Prize

-- Forwarded message - De: Luis Estrada González Dear Walter, First of all, I hope that you and all your beloved ones are doing well in these difficult times. I am not subscribed to Logica-L but I happened to know about your fair complaint about the Beth Prize. If there's anythi

[Logica-l] "An Introduction to Partially Ordered Structures and Sheaves", 2020.

. I am proud to have contributed to it. Campinas, July 2020 Walter Carnielli ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy University of Campinas –UNICAMP 13083-859

[Logica-l] [Off Topic] Philosophy Department in the USA threatened with closure

Repassando a pedido de colegas da Illinois Wesleyan University . W. =^ I'm writing to you because the Illinois Wesleyan University philosophy department is facing an existential threat within the next month, and we need all the support we can get to convince our Board of Trustees

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

>> anglofonos, especialmente estadounidenses. Mesmo temas e autores de outras >> tradicoes sao retratos, quando retratados, dentro deste "straight jacket". >> >> Ah, isto tambem me marcou: a Oxford University Press ja me deu um parecer >> negativo para um pr

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

os imediatamente recusaram tudo o que tinham aceito até então. > > https://independent.academia.edu/TonyMarmo > <https://independent.academia.edu/TonyMarmo/Analytics/activity/overview> > > On 11 Jun 2020, at 10:02, Walter Carnielli > wrote: > >  > Car@s colegas:

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

Car@s colegas: Infelizmente devido a um deadline não consegui participar da apresentação do João Marcos ontem sobre o Dia Da Lógica Inclusiva. Dessa forma eu continuo sem entender exatamente o que significa ter um slot lá, mas de todo modo a sugestão do João Marcos é realmente muito boa. Há temp

[Logica-l] Quarta-feira, dia 20, será um dia cheio de lógica!

Colloquium Logicae @CLE-Unicamp Quando qua. 17 jun. 2020 14:00 – 16:00 Horário Padrão de Brasília - São Paulo Onde https://conferenciaweb.rnp.br/spaces/unicamp-cle-colloquium-logicae (mapa

[Logica-l] Doutorado em Métodos Lógicos (12 vagas, UT-Wien,Viena)

/admission/ Abraços, Walter -- --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes

[Logica-l] [OFF TOPIC] Re: Lógica, Matemática e Portugês !

unesco-em-sua-207%C2%AA-sess%C3%A3o-adotou-decis%C3%A3o-que-proclama-o-/2538397442892329/ > > Cordialmente > >- > Prof. Dr. Dr. Jean-Yves Beziau > Presidente da Academia Brasileira de Filosofia > https://www.academia-de-filosofia.org.br/ > > > > > > > >

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

Colegas: O CLE- Unicamp agora faz parte também da corrente do "Logic Supergoup" com seu Colloquium Logicae, juntamente com a SBL e varias outras instituicoes. https://seminarioscle.wordpress.com/ Fique em casa quem puder, Walter -- ----

[Logica-l] Erik Jens Fenstad, mais uma vítima da COVID-19

Conheci Fenstad em Santiago há muitos anos, quando participava de um dos primeiros SLALM. Mais um colegas que se via levado pela COVID-19. Lamento muito , como todos devem lamentar. W. -- --- Walter Carnielli https://waltercarnielli.com/ Centre

Re: [Logica-l] Corona vírus nos levou John Conway

aravilhosos livros de análise funcional e >> variáveis complexas. Que falta de chão. John Conway. >> Claus >> >> Em dom, 12 de abr de 2020 22:24, Walter Carnielli >> escreveu: >>> >>> Colegas, >>> >>

[Logica-l] Corona vírus nos levou John Conway

Colegas, Tenho a tristeza de comunicar o falecimento de John Conway hoje, dia 12 de abril. de COVID-19. https://www.lucianne.com/2020/04/12/the_creator_of_the_game_life_mathematician_john_conway_died_of_covid-19_31671.html Meus sentimentos a todos. W. -- Você está recebendo esta mensagem porq

[Logica-l] LFIs com replacement

ts/issue/view/242 Abraços de longe, em quarentena, Walter -- ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083

[Logica-l] A surpresa, e o paradoxo do enforcado

Mas e se o juiz dissesse "Você será enforcado de surpresa na segunda ou na terça ou na quarta ou na quinta ou na sexta" ? Nesse caso, mesmo que o preso (ou rábula) concluísse pela inconsistência ou pela impossibilidade do enforcamento, o juiz poderia enforcá-lo em qualquer dia. O rábula certam

[Logica-l] Extended deadline: Applications for full grants at SPLogic (CLE/Unicamp, Brazil)

information visit the WebSite: https//splogc.org Itala M. Loffredo D’Ottaviano, Coordinator Walter Carnielli, Advisory Committee Chair Centre for Logic, Epistemology and the History of Science University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil -- Você está recebendo esta mensagem porque

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

Gostaria de parabenizar os organizadores e os palestrantes, e agradecer pelos vídeos das palestras. No entanto, tenho uma coisa a compartilhar com todos, que é um problema que também me aflige: Por que nossos áudios são tão ruins ?Será que não teríamos que investir em microfones especiais, que n

[Logica-l] Felsefe Arkivi (Archives of Philosophy)

2 Abracos, Walter -- ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lat

[Logica-l] Axioms Travel Award 2020

%3FauthAll%3Dtrue --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes : http

logica-l@dimap.ufrn.br

s, Walter -- ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes : http://lattes.cnpq.br/105496835379 --

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

iano, Coordinator Walter Carnielli, Advisory Committee Chair --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas

[Logica-l] Fwd: Two logic PhD opportunities

tp://careers.pageuppeople.com/513/cw/en/job/602195/phd-scholarship-in-philosophy -- --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes

[Logica-l] Re: Paraconsistent newsletter fall 2019

Thanks Jean-Yves! Yes, my interview is perhaps (fortunately) inconsistent, but in this case it can be contradictory without danger of triviality explosion :-) Season greetings, Walter Em sex, 20 de dez de 2019 12:07, jean-yves beziau escreveu: > Paraconsistent Newsletter - Fall 2019 > with an

[Logica-l] Re: Spirit of Contradiction", o filme...

Caro Adonai: Obrigado pela continuação da discussão. Certamente termos um filme nessas condições é melhor que não ter nada, e reconheço obviamente que um filme não se faz com.papel e lápis,mas continuo pensando que o filme poderia ter sido muito, muito melhor. Pode passar também minhas opiniões a

[Logica-l] Novo artigo sobre a interpretação epistêmica das lógicas Par x Int

https://academic.oup.com/jigpal/advance-article-abstract/doi/10.1093/jigpal/jzz041/5670472 Abstract >From the technical point of view, philosophically neutral, the duality between a paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that explosion does n

[Logica-l] "Spirit of Contradiction", o filme...

Ola Eduardo e tod@s: Concordo com Eduardo. O filme para ser ruim falta bastante coisa. Não tem nenhum"Spirit of Contradiction", alias não tem nenhum espirito. São 70 minutos de lugares-comuns que nosso mestre Newton fala sempre. O diretor certamente não tem nenhuma ideia sobre logica talv

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

De fato, nós pelo menos nunca falamos em "conjuntos paraconsistentes ". Referimo-nos à teoria paraconsistente de conjuntos: https://link.springer.com/chapter/10.1007%2F978-3-319-33205-5_8 Falar em "conjuntos paraconsitentes " seria um erro categorial, seria como se referir a uma "situação para

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

e levantou o assunto, vou fazer uma pergunta: > > Os conjuntos paraconsistentes existem? > > Uma paráfrase possível para essa pergunta: o que garante a existência de > conjuntos paraconsistentes? > > Obrigado > > Em qui, 5 de dez de 2019 12:36, Walter Carnielli > escreve

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

only of ZF). ==== Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil CV Lattes : http://lattes.cnpq.br/105496835379

[Logica-l] Re: Entrevista de Walter Carnielli

ot;O que é matemática? `É aquilo que os matemáticos. fazem-- o que se aplica a muitas outras áreas, talvez a todas. . Walter Entrevista de Walter Carnielli - 4 atualizações > > OFF-TOPIC - Rede Brasileira de Mulheres Filósofas - 1 atualização > > Entrevista de Walter Carnielli

[Logica-l] [OFF TOPIC] Memórias de Krasner : arara assada e participação em concerto

Continuando na série Memórias de Marc Krasner, dois fatos engraçados: quando ele veio a Campinas há muitos anos atrás, a Profa Ayda Arruda, à época diretora do IMECC, me pediu para ciceronea-lo. Ele quase não cabia no meu velho fusca verde, por causa do seu peso avantajado. De toda forma levei

[Logica-l] Flow Theory x lambda-cálculo

Oi Márcio, Não vi ainda mas parece interessante. Você poderia comentar um pouco sobre as relações entre Flow Theor y e teoria de tipos ,em particular sobre o abstrator lambda que forma

[Logica-l] Livro recente disponível: "Abstract recursion and intrinsic complexity",

PDF: http://www.math.ucla.edu/~ynm. W. -- ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil

[Logica-l] RE: Quantum supremacy reached?

ticles/s41586-019-1666-5 A crítica da IBM está no ar desde anteontem: https://www.ibm.com/blogs/research/2019/10/on-quantum-supremacy/ https://arxiv.org/abs/1910.09534 -- --- Walter Carnielli https://waltercarnielli.com/ Centre for Logic

[Logica-l] "Mau gosto ", não "mal gosto "

Uma questiúncula menor, mas que me sinto obrigado a reparar ; escrevi (ou o corretor escreveu) "mal gosto " quando deveria ser "mau gosto ". Continua sendo. W. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo

Re: [Logica-l] [OFF TOPIC] Re: Criticar mau gosto não é conservadorismo

gt; próprios editores! O mesmo não pode ser dito, claro, a respeito > autor-personagem/pai-proxeneta de Lori Lamby, por exemplo... mas este > último não se identifica de modo algum com a meta-autora Hilda Hilst. > > JM -- --- Walter Carn

[Logica-l] [OFF TOPIC] Re: Criticar mau gosto não é conservadorismo

Obrigado João por lembrar da Hilda Hilst. Tomei muitas garrafas de uísque de qualidade meio duvidosa com ela, muitas vezes ela me pedia "venha aqui, traga uma garrafa de uísque, tem mais gente, estou sem grana para isso". Eu passava no supermercado comprava o que tinha lá tipo "uísque de balada

[Logica-l] Criticar mal gosto não é "conservadorismo "

Não tem nada de "conservadorismo" em se pretender manter o bom gosto. É claro que a luta pelo empoderamento feminino é valida, mas é diferente a "marcha das várias". Quem imaginou esse refrão se inclui, com toda a ironia. Por outro lado, se referir a uma cientista polonesa como "vagabunda", m

[Logica-l] Falecimento de Gerald E. Sacks,

nding doctoral dissertation in mathematical logic. Gerald supervised over 30 students, several of whom are among the most visible logicians in the world." -- ------- Walter Carnielli https://waltercarnielli.com/ Centre for Logic, Epistemology and t

<    1   2   3   4   5   6   7   8   9   10   >