[Logica-l] Re: [OUF] CHEGA DE MAMATA DOS REFRIGERANTES. APOIE AGORA!

2021-10-30 Por tôpico jyb
Coca-Cola – Change Has A Taste https://www.youtube.com/watch?v=5dcksBDOcTI On Friday, October 29, 2021 at 3:24:28 PM UTC-3 jyb wrote: > CHEGA DE MAMATA DOS REFRIGERANTES. APOIE AGORA! > https://actbr.org.br/mamatadosrefrigerantes/# > > Em crise, Metrô Rio vende nome de estaç

[Logica-l] Re: [OFF-TOPIC] metafísica da autoria

2021-09-13 Por tôpico jyb
://en.wikisource.org/wiki/Schopenhauer_as_Educator Sobre Schopenhauer, gostaria de lembrar o artigo que escrevi: Metalogic, Schopenhauer and Universal Logic http://www.jyb-logic.org/METALOGIC-SCHOPENHAUER JYB On Monday, September 13, 2021 at 10:00:46 AM UTC-3 Cassiano Terra Rodrigues wrote: > Camarad

Re: [Logica-l] Re: My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

2021-09-12 Por tôpico jyb
de set. de 2021 às 12:54, Carlos Augusto Prolo >>> escreveu: >>> > >>> > Pessoal, >>> > o que mais me chamou a atenção nestas duas mensagens foi a >>> "metodologia de ensino:" >>> > Aprendi mais sobre filosofia e Hegel nestas duas mensagens do qu

[Logica-l] Re: My (33F) husband's (35M) career in academic philosophy is ruining our marriage.

2021-09-12 Por tôpico jyb
s críticas foram retomadas por Wittgenstein (que tinha lido Schopenhauer enquanto adolescente) e depois por Carnap no ensaio dele "Superação da metafísica pela análise lógica da linguagem" (The Elimination of Metaphysics Through Logical Analysis of language, 1932) JYB On Saturday,

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

2021-08-07 Por tôpico jyb
2 que é da Creta (ele está lá no momento). As condições são favoráveis. Prorrogamos os prazos para submeter resumos, tutoriais e workshops: https://sites.google.com/view/unilog-2022/call JYB On Saturday, August 7, 2021 at 11:57:35 AM UTC-3 abilio.rodrigues wrote: > Olá Petrucio e demais coleg

[Logica-l] Re: Invitation to Publish

2021-07-24 Por tôpico jyb
icionais fazem isso também, mesmo que o jeito seja diferente. "Ir atrás de autores" não é uma condição suficiente para qualificar negativamente uma editora. JYB On Saturday, July 24, 2021 at 1:13:43 AM UTC-3 carniell wrote: > Dear Ms. Nadya S. Columbus &

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

2021-07-23 Por tôpico jyb
DE DEJETOS DE SUÍNOS. In: 5º Congresso Internacional de Bioenergia ? Congresso Brasileiro de Geração Distribuída e Energias Renováveis, 2010. 5º Congresso Internacional de Bioenergia ? Congresso Brasileiro de Geração Distribuída e Energias Renováveis, 2010. JYB On Thursday, July 22, 2021 at 9:09

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

2021-04-07 Por tôpico jyb
Three questions to J. MICHAEL DUNN http://www.paraconsistency.org/18f-mike-dunn.html The Algebra of Intensional Logics by J. MICHAEL DUNN with an introductory essay by Katalin Bimbó http://collegepublications.co.uk/lphd/?2 Le mercredi 7 avril 2021 à 18:54:35 UTC-3, aloparic a écrit : > Com

[Logica-l] Re: 15 anos de LOGICA-L

2021-03-24 Por tôpico jyb
Debutante ... https://grupobisutti.com.br/o-que-e-debutante/#:~:text=Esse%20termo%20%C3%A9%20utilizado%20para,nova%20fase%20para%20a%20jovem. Vamos comemorar, Parabéns ! JYB Le mercredi 24 mars 2021 à 10:10:26 UTC-3, O Administrador da LOGICA-L a écrit : > Muita coisa aconteceu nos últimos

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

2021-03-22 Por tôpico jyb
David Publishing ---> Predatory Publisher https://predatoryjournals.com/publishers/ Le lundi 22 mars 2021 à 09:31:42 UTC-3, Joao Marcos a écrit : > Aparentemente a demonstração é "elementar": > http://www.davidpublisher.org/Public/uploads/Contribute/5fa38c7b876bf.pdf > > Talvez siga como corolá

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

2021-01-04 Por tôpico jyb
uma brincadeira, até agora so uma pessoa reparou isso Um abraço JYB Le samedi 2 janvier 2021 à 16:31:30 UTC-3, carniell a écrit : > Colegas: > > Nossa apresentação no Dia Internacional da Lógica será no sábado, 16 de > janeiro, > > 16:00 - 16:30 > *Horário de Zuri

[Logica-l] Re: A lógica da misoginia – ainda sobre a “política da lógica”

2020-09-23 Por tôpico jyb
pensada para aqueles > que *genuinamente* desejam aprender algo novo sobre o tópico que tem sido > discutido aqui na lista. > > > > > Em qua, 23 de set de 2020 às 13:00, jyb escreveu: > >> Não vejo a necessidade de sempre se referir a pensadores norte-americanos >> Aqu

[Logica-l] Re: A lógica da misoginia – ainda sobre a “política da lógica”

2020-09-23 Por tôpico jyb
Não vejo a necessidade de sempre se referir a pensadores norte-americanos Aqui no Brasil tem pessoas bem inteligentes e divertidas https://www.youtube.com/watch?v=vQp21H8DJsY JYB Le mercredi 23 septembre 2020 à 05:27:28 UTC-3, gisele secco RS a écrit : > Pessoas, > > > >

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

2020-09-22 Por tôpico jyb
; > Não é porque tem dois ou tres pessoas gritando que tudo mundo tem que > concordar, se alinhar > > Falando de analogia, escrevi um artigo sobre o assunto > > An Analogical Hexagon > > http://www.jyb-logic.org/ANALOGY > > JYB > > > Le mar. 22 sept. 2020 à 21:

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

2020-09-22 Por tôpico jyb
pode ser ... mas fundamentalmente é a inocência Le mardi 22 septembre 2020 à 20:27:01 UTC-3, eduardoochs a écrit : > A garotinha é você, né?... =( > > [[]], E. > > On Tue, 22 Sep 2020 at 20:21, jyb wrote: > > > > Certo Eduardo, mas estou fazendo uma metafora, uma

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

2020-09-22 Por tôpico jyb
um artigo publicado na New England Law Review em 1992 - ou seja, > antes da Camille Paglia virar uma referência canônica! - o trecho > principal sobre esse assunto começa na página 1350 (página 42 do > PDF)... > > [[]], E. > > On Tue, 22 Sep 2020 at 19:29, jyb wrote:

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

2020-09-22 Por tôpico jyb
ada por um gangue de babacas. Para se justificar eles dizem: a garota estava andando semi nua na rua nos provocando. Será que a moça tem que pedir desculpa? Um abraço, JYB PS: isso não é a minha ultima mensagem sobre o assunto, tem que ir até o transfinito para ultrapassar todas as bar

Re: [Logica-l] pandemia paraconsistente

2020-09-20 Por tôpico jyb
essa liberação) Sei que a situaçâo no Brasil e no mundo não é facil, mas melhor ficar otimista: https://www.youtube.com/watch?v=lkGBLLjAXEA JYB Le dimanche 20 septembre 2020 à 20:31:16 UTC-3, nastassj...@gmail.com a écrit : > Jean-Ives, > > Em contagem mundial, o Brasil é o qu

Re: [Logica-l] pandemia paraconsistente

2020-09-20 Por tôpico jyb
ito *anti-numérico* de "minoria" fica realmente entalado > na garganta. > > > On Sun, Sep 20, 2020 at 6:56 PM jyb wrote: > > > > Não é bem assim, Nastassja. Tem pessoas que so entendem a lógica de > primeira ordem, e não a lógica de segundo ordem, e isso não

Re: [Logica-l] pandemia paraconsistente

2020-09-20 Por tôpico jyb
ão original, > > hétera, é "frowned upon". Vamos esperar mais pessoas opinarem. > > > > [[]], E. > > > >> On Sun, 20 Sep 2020 at 16:52, jyb wrote: > >> > >> Caro Eduardo > >> A resposta a sua pergunta (porque a moça esta l

Re: [Logica-l] pandemia paraconsistente

2020-09-20 Por tôpico jyb
e o Gato, "somos todos loucos > por aqui. Eu sou louco. Você é louca". > >>>>> > >>>>> "Como é que você sabe que eu sou louca?", disse Alice. > >>>>> > >>>>> "Você deve ser", disse o

[Logica-l] Re: OFF-TOPIC: Filosofia da Observação de Aves

2020-09-16 Por tôpico jyb
Muito bem! Tenho um primo (ramo suiço da minha famila) que é diretor executivo da sociedade para a conservação das aves do Brasil - SAVE Brasil (BirdLife no Brasil): https://www.escavador.com/sobre/1276622/pedro-ferreira-develey e para a capa do livro relativo ao congresso sobre imaginação (Rio

[Logica-l] Re: The Mystery of the Fifth Logical Notion :) Alice in the Wonderful Land of Logical Notions

2020-07-13 Por tôpico jyb
i duas propostas com possíveis soluções deste enigma. JYB Le lundi 13 juillet 2020 09:37:04 UTC-3, jyb a écrit : > > http://www.jyb-logic.org/ALICE > <http://www.google.com/url?q=http%3A%2F%2Fjyb-logic.org%2FALICE&sa=D&sntz=1&usg=AFQjCNGiIY-3VqPcp7MV7On4NSjTKaPlWw> > >

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

2020-06-11 Por tôpico jyb
De fato a situação é mais absurda de que a gente imagina. Um vez eu apresentei uma coletana a OUP, e me foi dito que não iria funcionar porque não tinha autor americano e que o mercado principal deles era os Estados Unidos. JYB Le jeudi 11 juin 2020 16:56:42 UTC-3, Joao Marcos a écrit

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

2020-06-11 Por tôpico jyb
s-fieser-powers/M9780078119156.html que reflete bem a perspectiva dele Na IEP tem um area ja faz tempo sobre filosofia africana, e agora estão abrindo areas de filosofia chinesa e de "Indigenous World Philosophy" Um abraço, JYB Le jeudi 11 juin 2020 16:24:27 UTC-3, Marcos Silva a écrit : >

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

2020-06-11 Por tôpico jyb
a film on Notre Dame de Paris without mentioning Victor Hugo as a co-author of the scenario, his works being long ago in the public domain)." JYB Le jeudi 11 juin 2020 10:03:00 UTC-3, Walter Carnielli a écrit : > > Car@s colegas: > > Infelizmente devido a um deadline não con

[Logica-l] Re: [HUMOR] Bertrand Russell Invents Analytic Philosophy

2020-05-19 Por tôpico jyb
Boa a piada JM ! Com falou o Schopenhauer: "o senso de humor é a única qualidade divina do ser humano". Eu diria também: quem não tem senso de humor, nem é um verdadeiro ser humano, é mais parecido com um queijo, um macaco, ou, nos melhores dos casos, com um numéro primo ... JYB L

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

2020-05-05 Por tôpico jyb
Très bien, merci beaucoup Walter ! De fato já existe o dia UNESCO da francofonia, é dia 20 de março : https://en.unesco.org/commemorations/francophonieday Um abraço, JYB Le mardi 5 mai 2020 20:04:01 UTC-3, Walter Carnielli a écrit : > > Òtimo, quando for o dia do Franssêz a gente

Re: [Logica-l] S5 self-extensional LFI

2020-03-26 Por tôpico jyb
Grato Marcelo, agora o que mostramos com o Arnon é que não ha realemente logica paraconsistente 3-valoradas self-extensional: A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 (April 2017), pp.183-19

[Logica-l] Re: 14 anos de LOGICA-L

2020-03-25 Por tôpico jyb
Parabéns JM, longa vida a lista Logica-L ! Um abraço, JY https://www.youtube.com/watch?v=l-yrTrzyYtM Le mardi 24 mars 2020 11:16:36 UTC-3, O Administrador da LOGICA-L a écrit : > > Esta lista acaba de completar 14 anos. Estendo meus parabéns a todos > aqueles que a tornam diariamente um espaço

[Logica-l] Re: Paraconsistent newsletter fall 2019

2019-12-20 Por tôpico jyb
Sure Walter, and anyway "inconsistant" is not the same as "inconsistent" Vive la différance ! Happy Summer Jean-Yves Le vendredi 20 décembre 2019 15:20:14 UTC+1, Walter Carnielli a écrit : > > Thanks Jean-Yves! > Yes, my interview is perhaps (fortunately) inconsistent, but in this case > it can

[Logica-l] Re: The Algebra of Intensional Logics by J. Michael Dunn

2019-11-07 Por tôpico jyb
E aqui uma entrevista do Mike Dunn: http://paraconsistency.org/18f-mike-dunn.html Le mercredi 6 novembre 2019 11:46:26 UTC+1, jyb a écrit : > > I am glad to announce the publication of > The Algebra of Intensional Logics by J. Michael Dunn > with an introductory essay by Katalin

[Logica-l] Re: [OFF-TOPIC] Produtividade com LaTex

2019-10-10 Por tôpico jyb
O departamento de computação onde esta o Donald Knuth em Stanford foi financiado por Bill Gates https://en.wikipedia.org/wiki/Gates_Computer_Science_Building,_Stanford latex = word Le jeudi 10 octobre 2019 18:30:45 UTC+2, jyb a écrit : > > A influencia do LaTeX foi desastrosa para a mate

[Logica-l] Re: [OFF-TOPIC] Produtividade com LaTex

2019-10-10 Por tôpico jyb
para escrever matematica com bem explicado por Leslie Lamport https://lamport.azurewebsites.net/pubs/lamport-latex-interview.pdf JYB An Efficiency Comparison of Document Preparation Systems Used in Academic > Research and Development > *We show that LaTeX users were slower than Word users,

[Logica-l] Re: "calling something logic doesn't make it so"

2019-06-04 Por tôpico jyb
em particular no meu artigo "Logic is not logic" http://abstracta.oa.hhu.de/index.php/abstracta/article/view/150/134 JYB Le mardi 4 juin 2019 03:14:42 UTC+2, Joao Marcos a écrit : > > "calling someone rational doesn't make it so" > > The magical thinkin

Re: [Logica-l] METALOGIC, SCHOPENHAUER & UNIVERSAL LOGIC

2019-03-11 Por tôpico jyb
o a um evento com o mesmo titulo que foi organizado a cerca de >> uma ano na Alemanha no qual eu fui convidado e com a participação em >> particular do Hans-Johann Glock, autor do Dicionário Wittgenstein (que foi >> traduzido em português pela mulher do Luiz Carlos - é r

Re: [Logica-l] Doria Workshop - Dec 8 and 9, 2018 - Brazilian College of Advanced Studies

2018-12-11 Por tôpico jyb
://www.dezenovevinte.net/arte%20decorativa/hotel_balneario.htm JYB Le lundi 10 décembre 2018 03:10:04 UTC+1, marmo.tony a écrit : > > Caros, > > Transcorreu o evento ontem e hoje. Tive a felicidade de participar dele > neste domingo. > > Estava muito bom, excelentes apr

[Logica-l] Re: Lógica abdutiva -Referências bibliográficas

2018-12-06 Por tôpico jyb
The Method of Scientific Discovery in Peirce’s Philosophy: Deduction, Induction, and Abduction Cassiano Terra Rodrigues Logica Universalis, April 2011, Volume 5, Issue 1, pp 127–164 https://link.springer.com/article/10.1007/s11787-011-0026-5 Le jeudi 6 décembre 2018 02:11:42 UTC+1, yurilumer a éc

Re: [Logica-l] Creation of the World Logic Day: January 14,

2018-10-25 Por tôpico jyb
pelo proprio Julius Caesar. Para o lançamento do dia mundial da lógica podemos então dizer: Alea Jacta est ... JYB Le jeudi 25 octobre 2018 21:07:48 UTC+2, Joao Marcos a écrit : > > O dia 14/01 é um belo dia, o aniversário de nascimento de Tarski é uma > bela escolha. Além de tudo,

[Logica-l] Re: Lógica para cegos

2018-09-19 Por tôpico jyb
Sempre tive interesse para este assunto, no UNILOG'2013 https://www.uni-log.org/enter-rio convidei o Laurence Goldstein para dara um tutorial sobre isso, nesta pagina pode encontrar info: https://www.uni-log.org/t4-blind.html JYB Le mercredi 19 septembre 2018 14:25:49 UTC+2, Luiz Henri

[Logica-l] Re: [logic-bsb] Graham Priest (CUNY) @ Lógica no Avião

2018-05-09 Por tôpico jyb
Priest estara também em Vichy para o UNILOG'2018, um os dos 4 keynote speakers do workshop REFLECTIONS ON PARACONSISTENCY, outros keynote serão: Jonas Becker, Maria del Rosario e Roy Sorensen a programmacao completa deste workshop organizado por Franca D'Agostini e Elena Ficara esta disponive

Re: [Logica-l] Lógica em Fortaleza / FUNCAP

2018-05-02 Por tôpico jyb
nesta epoca onde tudo mundo se queixa de falta >> de dinheiro para a pesquisa. >> Isso inclua em particular um projeto cientifico-politico muito >> interessante: cada secretaria do estado do Ceará vai ter orbigação de ter >> um equipe de pesquisadores da FUNCAP trabalh

[Logica-l] Re: [OUF!] Filosofia Brasileira: sem Imaginação ?Ou imaginação brasileira sem filosofia?

2018-01-31 Por tôpico jyb
e terminar sabado dia 31 de março com a noite da filosofia > um mega evento organizado por Mériam Korichi, > que ja aconteceu em Nova Iorque, na UNESCO em Paris, Londres, Berlim, etc > Vai durar a noite inteira, até o amanhecer do 1 de abril > http://www.imagination2018.fr/noite-da-filosofi

Re: [Logica-l] Re: [OUF] imposto de 20% sobre as taxas de inscricao

2017-10-30 Por tôpico jyb
écrit : > > Caro Jean Yves, > > Acabo de assinar a petição que voce iniciou. > > Abraços, > > Chico Mraglia > > > Quoting jyb >: > > > Caro Cassiano > > > > Grato pelo apoio. > > Não conhece bem este site de peticao, é aprimeir

[Logica-l] Re: Filosofia da logica - miami

2017-10-30 Por tôpico jyb
Parabens Marcos Um titulo engraçado em ingles para sua palestra de 2/11 seria Excluded Middle Wittgenstein Um abraço, JY Le dimanche 29 octobre 2017 23:34:21 UTC+1, Marcos Silva a écrit : > > Caros, > > como sei que há brasileiros interessados em logica e filosofia em várias > cidades interessan

[Logica-l] Re: [OUF] imposto de 20% sobre as taxas de inscricao

2017-10-28 Por tôpico jyb
comentario e dizer quem eles sao. Um abraço, JYB Le vendredi 27 octobre 2017 14:11:30 UTC+2, Cassiano Terra Rodrigues a écrit : > > OI Jean-Yves, eu tentei assinar - aliás parabéns pela iniciativa - mas o > change.org diz q o abaixo-assinado está indisponível. > Um abraço, > cass

[Logica-l] Re: Collected Works by Charles S. Peirce

2017-10-24 Por tôpico jyb
com mutios links uteis http://www.uni-log.org/t5-lewiscarroll.html JYB Le vendredi 20 octobre 2017 19:09:49 UTC+2, marmo.tony a écrit : > > Caríssimos, > > Estou precisando encontrar em PDF a coleção de trabalhos de Peirce. > Achei um PDF que na verdade fala dos vários t

Re: [Logica-l] Re: Recenseamento da comunidade brasileira de lógica

2017-10-17 Por tôpico jyb
ciados estão (e/ou querem estar) > cadastrados na logica-l (inclusive pelo volume de mensagens). A lista da > SBL será um canal de comunicação com todos. Claro, se alguém quiser, pode > redirecionar algum tema para discussão aqui. > > Bruno > > Em ter, 17 de out de 2017 08:00,

[Logica-l] Re: Recenseamento da comunidade brasileira de lógica

2017-10-17 Por tôpico jyb
Não vejo boa razão de ter duas listas A SBL pode mandar annuncios nesta lista sempre é bom a coisa ser simetrica: a possibidade de fazer comentarios JYB Le mardi 17 octobre 2017 01:04:07 UTC+2, Bruno Lopes a écrit : > > Caros, > > > A Sociedade Brasileira de Lógica (SBL) convi

[Logica-l] Re: the most influential living philosophers

2017-09-18 Por tôpico jyb
Bom receber noticias suas Marcos, sabendo que voce bem chegou nos Estados Unidos sobrevivendo a Irma, Trump e outros Tsunamis ... Parece que esta lista é muito anglo-americano na filosofia, muito mais que na ciencia, isso é um problema porque tem muitos filosofos que nao fazem filosofia em ingl

Re: [Logica-l] Material didático sobre TC

2017-08-24 Por tôpico jyb
Um livro muito bom é o livro do Enderton, Elements of Set Theory o livro do Halmos também é interessante, mas nao ha muitos detalhos um livro menos conhecido é do Murray Eisenberg Axiomatic Theory of Sets and Classe baesado na teoria das categorias, bem interessante JYB Le jeudi 24 août 2017 14

Re: [Logica-l] LU book review / Theories of the Logos

2017-08-15 Por tôpico jyb
> http://www.logica-universalis.org/ >> Vamos daqui pouco lançar uma sessão de book reviews. >> tudo mundo é bemvindo para escrever um review de um livro >> por exemplo do livro recentemmente publicado do Bencivenga >> Theories of the Logos >> http://www.springer.co

[Logica-l] Re: [OFF TOPIC] Viagem para o ISRALOG em Haifa

2017-08-15 Por tôpico jyb
Caro Walter Também estou indo para o ISRALOG em Haifa o que me parce o mais simples e o mais barato é voce viajar com a Air France: São Paulo - Paris Paris - Tel Aviv Um abraço Jean-Yves Le mardi 15 août 2017 12:45:26 UTC+2, Walter Carnielli a écrit : > > Car@s, > este assunto é OFF-TOPIC mas

[Logica-l] Re: LaTeX para Mac

2017-08-07 Por tôpico jyb
Parece que a moderadora da lista esta de ferias comendo uma boa choukroute ja que assuntos estao liberados aproveito para dar a receita de uma exclente feijoada FEIJOADA "À BRASILEIRA" 19 commentaires Impr

Re: [Logica-l] Sequent Systems for Negative Modalities

2017-07-21 Por tôpico jyb
Aproveito para dizer que este projeto GeTFun 2012-2016 http://sqig.math.ist.utl.pt/GeTFun/ montado pelo João Marcos e Carlos Caleiro foi muito proveitoso reforçando em particular as relaçãoes com nossos colegas do Portugal e também de Israel. Jean-Yves Le jeudi 20 juillet 2017 15:52:25 UTC+2,

Re: [Logica-l] BIG PROOF

2017-07-16 Por tôpico jyb
sei o banho frio para a minha filha asmática (muito bem > justificado) que está viva e sem crises! Funciona... > > > > > Abs. > > Maria > > > > > > > -- > *De:* jyb > > *Enviado:* sábado, 15 de julho de 2017 07:49 >

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico jyb
, JYB Le samedi 15 juillet 2017 12:56:59 UTC+2, Joao Marcos a écrit : > > > Boole era irlandês,não? > > Britânico, de Lincoln. Mas "As Leis do Pensamento" são irlandesas, > como boa parte da literatura inglesa de algum valor: foram escritas > (descobertas?) já quan

Re: [Logica-l] BIG PROOF

2017-07-15 Por tôpico jyb
com eu lembro no meu artigo Is the principle of contradiction a consequence of xx = x ? http://www.jyb-logic.org/papers/jyb-boole.pdf A mulher do George Boole se chamava Mary Everest, era sobrinha de George Evererst que deu nome a aquela BIG MOUNTAIN Mary Everest promoveu a matematica e as

[Logica-l] Re: merecido tributo a Amílcar Sernadas

2017-07-14 Por tôpico jyb
Meus colegas de Libosa me confirmaram que vai ser organizado um prêmio Amiclar Sernadas no Portugal o décimo primeiro na nossa lista de prêmios de lógica http://www.uni-log.org/logic-prize-world JYB Le vendredi 14 juillet 2017 10:15:25 UTC+2, Joao Marcos a écrit : > > Logic and Compu

[Logica-l] Re: Provas do Teorema de Gödel

2017-07-05 Por tôpico jyb
ndo... > > Essa de Paris vai sair publicada? > > abraços, > > Walter > > > > > > Em 3 de jul de 2017 20:43, "Fernando Yamauti" > escreveu: > > > > Em 3 de julho de 2017 09:40, jyb > > escreveu: > >> Gostaria de apontar que

Re: [Logica-l] How do we construct the Gödel’s sentence in Martin-Löf type theory?

2017-07-03 Por tôpico jyb
Gostaria de apontar que o Saul Kripke apresentou em Paris uma prova semantica do teroema de Gödel "A Model Theoretic Approach to Gödel's Theorem" http://www.logic-in-question.org/ Bem detalhada mas ainda não publicada, todavia a palestra foi gravada ... Saudações JYB Le lundi 3

Re: [Logica-l] Grothendieck, simplificação e criação

2017-06-23 Por tôpico jyb
eceu pare ele totalemente obvio a existencia >> de um Criador. >> >> Para quem quer saber mais, as palestras vão ser publicadas em breve. >> >> Foi confirmado a organização do >> 3rd World Congress on Logic and Religion >> na India em Varanasi em 2019. >

[Logica-l] Re: South American Journal of Logic vol. 2, n..2 -

2017-06-20 Por tôpico jyb
Gostaria de emfatizar que o nosso jornal South American Journal of Logic - SAJL foi reconhecido muito rapidemente pela AMS (American Mathematical Society) - o que não é obvio nesta epoca onde tem muitos "fake" open access jornais - coniderando que decidimos de crear um website que não é parecido

Re: [Logica-l] what is like to be a philosopher, by priest

2017-06-09 Por tôpico jyb
muitos anos atras sobre isso que foi publicado no Brasil http://www.jyb-logic.org/papers/schopenhauer-mathematics-beziau.pdf vai acontecer daqui alguns meses na alemanha o primeiro congresso sobre Schopenhauer e a logica para o qual fui convidado JYB Le vendredi 9 juin 2017 22:49:25 UTC+2, Joao

Re: [Logica-l] Logic Prize: from Newton da Costa to the World

2017-05-07 Por tôpico jyb
Nosso objetivo é commemorar no UNILOG'2018 em Vichy prêmios de lógica >> de pelo menos 10 paises >> o Canada ja esta se organizando >> http://www.uni-log.org/logic-prize-canada >> assim que a Russia, a Bélgica, a Croatia, a India, a Turquia, o Mexico, o >>

Re: [Logica-l] PARACONSISTENT NEWSLETTER SPRING 2017

2017-05-03 Por tôpico jyb
Pois é Marcelo, acho que você esta se tornando um verdadeiro "Paraconsistent man" entendendo que segundo a lógica paraconistente verão é hiverno, dia é noite, falsidade é verdade, mulher é homen, que a terra é um cube e assim por trás ! JYB Le mardi 2 mai 2017 17:39:02 UTC+2, mfing

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico jyb
ical rationality": https://www.youtube.com/watch?v=aj0uB761jQc E uma versao "cover" tocada por mim mesmo JYB Le samedi 1 avril 2017 17:45:23 UTC+2, Walter Carnielli a écrit : > > Que surpresa! Nao pela filha de Gödel, mas não imaginava que a > Marilyn Monroe soubesse l

Re: [Logica-l] Filha do Kurt Gödel e da Marylin Monroe

2017-04-01 Por tôpico jyb
Caro JM Sei que com muitas pessoas, voce acredita so nas coisas que voce ve (a chamada "visual rationality") Por isso estou mandando aqui uma foto da Marilyn junto com a Adeline Gödel Monroe (AGM): http://indulgy.com/post/AHj1kcNSL2/marilyn-monroe-reading-a-childrens-book JY Le samedi 1 avril 2

[Logica-l] Re: [OUF] 11 anos é realmente a pior idade?

2017-03-27 Por tôpico jyb
*Parabens Carolina,* *e ai vem o bolo !* [image: Image result for feliz aniversario 11 anos] -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsu

[Logica-l] Re: a lógica do cancer

2017-03-24 Por tôpico jyb
hereditaridade e ao ambiente/comportamento sera que a hereditaridade é evitavel? - 2/3 são devidos ao azar mas azar pode incluir determinações ainda não conhecidas Como falou o Einstein: "Deus não joga dedos" (boa sorte para seu dedo ;-) Saudade a todos! JYB Jean-Yves. Parece que v

[Logica-l] Re: "abstract logics", Polish-style

2017-03-19 Por tôpico jyb
Universal reproduzimos o artigo previo "Some Theorems on Abstract Logics" de Stephen L. Bloom, D.J. Brown, and R. Suszko com uma apresentacao do Ramon Jansana "Bloom, Brown and Suszko’s Work on Abstract Logics" . http://www.springer.com/br/book/9783034601443 JYB Le samedi 18 ma

[Logica-l] Re: da matemática alemã

2017-02-12 Por tôpico jyb
E aqui uma entrevista do Bartel Leendert van der Waerden http://www.ams.org/notices/199703/interview.pdf Interessante o que ele fala sobre Brouwer ... a aqui um livro sobre van der Waerden http://www.springer.com/fr/book/9783034807111 Jean-Yves Le dimanche 12 février 2017 21:31:27 UTC+1, Joao Mar

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

2017-02-09 Por tôpico jyb
Amilcar Sernadas ficou entusiasto pela logica universal desde do inicio e nos encorajou a organizar o UNILOG'2010 em Lisboa Falo sobre isso e a nossa relacao na ultima parte do artigo dedicado a ele que eu escrevi recentemente Monosequent Proof Systems http://www.jyb-logic.org/MONO Jean-Yves Le

[Logica-l] Re: [OFF TOPIC] Lógica para todos no CLE

2017-01-16 Por tôpico jyb
Um curso de logica off topic numa lista de logica, bacanana Walter! Isso me lembro o paradoxa da mentirosa e outras marmotas ... Le lundi 16 janvier 2017 23:06:51 UTC+1, Walter Carnielli a écrit : > > CLE oferece minicurso de verão de Introdução à lógica > > http://www.unicamp.br/unicamp/eventos

[Logica-l] Re: Dúvida no ``S5 is a Paraconsistent Logic...'' do JYB

2016-12-28 Por tôpico jyb
o João Marcos em particular fiz JYB Le mardi 27 décembre 2016 20:39:48 UTC+1, eduardoochs a écrit : > > Oi todos, > > eu tou tentando ler o ``S5 is a Paraconsistent Logic and so is > first-order classical logic'', do Jean-Yves Beziau (obs: d� pra > baixar ele aq

[Logica-l] Re: [Meta] O que tem a ver com Lógica

2016-12-22 Por tôpico jyb
ndo levar ela tambem para Kolkata JYB Le jeudi 22 décembre 2016 10:33:18 UTC+1, jyb a écrit : > > Bom de saber que a Selma tem interesse para diagramas Eduardo > Acho que ela iria ficar muito feliz se voce leva ela com voce na India > para a > 2nd Indian Winter School on Diagra

[Logica-l] Re: [Meta] O que tem a ver com Lógica

2016-12-22 Por tôpico jyb
Bom de saber que a Selma tem interesse para diagramas Eduardo Acho que ela iria ficar muito feliz se voce leva ela com voce na India para a 2nd Indian Winter School on Diagrams 2017, Kolkata (India), 13-17 Feb 2017 https://sites.google.com/site/winterschoolondiagrams2017/ Jean-Yves Le jeudi 22

Re: [Logica-l] Heyting

2016-12-18 Por tôpico jyb
Le samedi 17 décembre 2016 19:10:56 UTC+1, bruninha_elisabeth a écrit : > > Obrigada pelas dicas! > Já baixei os livros. > Boa noite. Interessante também o livro do A.Heyting Les fondements des mathématiques. Intuitionnisme, théorie de la démonstration, 1955. publicado na Collection de logi

Re: [Logica-l] accesso aos artigos originais do Gentzen

2016-09-27 Por tôpico jyb
Grato Hermógenes Outro artigo que estou procurando é do Paul Hertz Reichen die üblichen syllogistischen regeln für das schließen in der positiven logik elementarer sätze aus? Annalen der Philosophie und philosophischen Kritik December 1928, Volume 7, Issue 1, pp 272–277 http://link.springer.com/ar

[Logica-l] Re: pedido de referência

2016-09-17 Por tôpico jyb
9defd90b1 Em Maio de 2017 estou organizando o workshop Non-Classical Logics in Artificial Intelligence no congresso FLAIRS-30 na Florida http://jyb-logic.org/nocla promovendo em particular a paraconsistencia em AI Esperamos ver voce la! Um abraço, JYB Le samedi 17 septembre 2016 10:29:03 UTC+2, r

[Logica-l] Re: The Arbitrariness of the Sign -100 ans du cours de lingustique générale

2016-09-16 Por tôpico jyb
septembre 2016 23:05:04 UTC+2, jyb a écrit : > > Gostaria de emfatizar que o evento do 100 anos do Cours de Lingustique > Générale que vai acontecer na cidade de Genebra de 9 a 14 de janeiro de 2017 > é um evento de grande porte no mundo intellectual > nao ha obra igual no mundo moder

[Logica-l] Re: The Arbitrariness of the Sign -100 ans du cours de lingustique générale

2016-09-10 Por tôpico jyb
Genebra, capital mundial da paz https://www.youtube.com/watch?v=wZFk0JZiTg0 Jean-Yves Le samedi 10 septembre 2016 12:04:42 UTC+2, jyb a écrit : > > Estou organizando o workshop > The Arbitrariness of the Sign > > http://www.clg2016.org/geneve/programme/ateliers-libres/the-arbitrarin

[Logica-l] Re: MANY 1 - A Transversal Imaginative Journey across the Realm of Mathematics

2016-08-16 Por tôpico jyb
Corrigi alguns typos. a nova versão continua no mesmo link, JYB Le lundi 15 août 2016 11:59:21 UTC+2, jyb a écrit : > > Me foi recentemente pedido um artigo sobre o assunto quente do pluralismo > matemático. > Escolhi então de escrever um artigo sobre o número 1: > > MANY

[Logica-l] Re: IV SBFA (Campinas 5-8/7)

2016-07-21 Por tôpico jyb
Interessante seu relatorio Marcos estou vendo que a nova direitoria da SBFA é 70% Silva e 00% Costa Talvez seria melhor organizar o proximo encontro na floresta que na prahia ... Gostaria de saber como foi a presença da lógica nesta edição. Na edição anteiror em Fortaleza da SBFA achei meio fr

[Logica-l] Re: [pinaxos] Enc: Livro Lógica Estoica

2016-06-24 Por tôpico jyb
Recentemente publicado: Logique et Dialectique dans l'antiquité do nossos colegas Jean-Baptiste Gourinat e Juliette Lemaire do Centre Léon Robin, Paris Sorbonne http://www.centreleonrobin.fr/publication/ouvrages-collectifs-2/179-jean-baptiste-gourinat-et-juliette-lemaire-%C3%A9d-,-logique-et-dia

[Logica-l] Re: Paper do Gentzen

2016-06-21 Por tôpico jyb
Non-Aristotelian ? in D.Zaitsev (ed), Nikolai Vasiliev's Logical Legacy and Modern Logic, Springer, Dordrecht, 2016. http://www.jyb-logic.org/papers/nal.pdf JYB Le samedi 18 juin 2016 23:22:05 UTC+2, cic...@lia.ufc.br a écrit : > > Caras(os), > > Saudações cordiais! Alguém teria