[Logica-l] Em curso nova edição de "Pensamento Crítico. O Poder da Lógica e da Argumentação"

8, Walter -- ------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unica

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

"LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.go

[Logica-l] Postdoctoral position in formal verification, dynamical systems, and constructive analysis, Pittsburgh PA (U.S.A.)

The logic group in the Department of Philosophy at Carnegie Mellon University seeks a postdoctoral researcher for a project in formal verification, dynamical systems, and constructive analysis, beginning August 2018. There are no teaching duties, and the position is for one academic year

[Logica-l] "Pagou, Publicou": periódicos predatórios e Qualis-CAPES

o por este tipo de publicação”. -- ------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutio

[Logica-l] Postdoctoral position in philosophical logic, Helsinki (Finland), Deadline: 15 Jan 2018

Repassando a pedidos da Sara Negri: Dear Colleagues, I am pleased to announce the opening of a Post-Doc position for one year, renewable for a second year, within the Academy of Finland project "Modalities and conditionals: systematic and historical studies" directed by Sara Negri at the

[Logica-l] PhD scholarships Australia

--- The Department of Politics and Philosophy at La Trobe University in Melbourne is offering two doctoral scholarships to research candidates interested in the field of Philosophy in conjunction with the appointment of Rob Wilson as the professor of philosophy. Each scholarship provides an

[Logica-l] Preda Qualis

Direto da Ciência Site mostra que pós-graduação brasileira publica em 485 periódicos predatórios Publicado por Maurício Tuffani

[Logica-l] "An epistemic approach to paraconsistency: a logic of evidence and truth" disponível em Synthese

Caros colegas: Gostaríamos de compartilhar com vocês nosso mais recente trabalho a respeito da interpretação epistêmica da paraconsistência: "An epistemic approach to paraconsistency: a logic of evidence and truth" (Walter Carnielli e Abilio Rodrigues), a aparecer em Synthese,

Re: [Logica-l] Fwd: [logic-bsb] III Colóquio UnB-USP de Lógica e Filosofia da Lógica

Congrats, Marcos! E quando sai o outro? Abraço, Walter Em 9 de nov de 2017 5:22 PM, "Marcos Silva" escreveu: > > -- Forwarded message -- > From: Alexandre Costa-Leite > Date: 2017-11-09 14:09 GMT-05:00 > Subject: [logic-bsb]

[Logica-l] Associate Professorship in Philosophy, Oxford (England), Deadline: 4 Dec 2017

Associate Professorship and Tutorial Fellowship in Philosophy, University College, Oxford Applications are invited for the post of Associate Professor (or Professor) of Philosophy to be held in the Faculty of Philosophy in association with a Sir Peter Strawson Tutorial Fellowship in Philosophy at

[Logica-l] ITA abre concurso para contratar 60 professores

Inscrições ate 31 de outubro, inclusive em Filosofia e Matemática! http://agencia.fapesp.br/ita_abre_concurso_para_contratar_60_professores/26298/ -- 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

Re: [SPAM] Re: [Logica-l] Doutorado em Matemática UFBA - Área de Lógica Matemática

Parabéns, acabei de dar um seminário na UFBA, é contabilizei 8 pesquisadires em Logica, em diversas áreas, talvez o maior grupo da América Latina!! Abraços Walter Em 28 de out de 2017 08:50, "Marcelo Finger" escreveu: > Parabens Samuel, muito bom ver seu grupo se

[Logica-l] [OFF TOPIC] Sad news: Kosta Dosen, e algumas memórias

.cs.bham.ac.uk/~vdp/ > > -- > 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. > Para postar nesse gr

[Logica-l] Recenseamento da comunidade brasileira de lógica: "simplificismo" exagerado?

Colegas, Acho uma boa iniciativa da SBL promover o recenseamento e a lista assistida (fechada) de noticias, mas me pareceu muito mal que a própria Sociedade Brasileira de Lógica não reconhecesse a lógica como área de pesquisa. Ao perguntar se sua área é computação, filosofia ou matemática

[Logica-l] Professor Oswaldo Porchat nos deixou

Colegas, Professor Oswaldo Porchat, fundador do CLE, nos deixou neste Dia do Professor, depois de já estar debilitado há algum tempo. Meu professor em diversas disciplinas desde a filosofia do Quine ("Word and Object"} a lógica estoica, nos primórdios do CLE Porchat levava os estudantes até

[Logica-l] PhD student positions in theoretical computer science, Stockholm (Sweden), Deadline: 23 Oct 2017

. Informal enquiries about this position are welcome and may be sent to a...@csc.kth.se . -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859

[Logica-l] [OFF TOPIC] Universidades agora podem receber doações para setores ou projetos específicos

, países, especialmente nos Estados Unidos”, acrescentou. -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521

[Logica-l] DEADLINE EXTENSION: November 15, 2017 "Logic, Probability, and their generalizations", Vichy (France), 16-20 Jun 2018

nie...@gmail.com Waiting for your contribution, Walter Carnielli & Juliana Bueno-Soler = = = = = = = = = = = = = = = = = = = = = = = = Workshop aims: Logic and Probability have a long partnership, having survived together as a legacy from Leibniz, Bernoulli, De Morgan, Boole, Bolzano, Pe

Re: [Logica-l] OT

Parabéns ao casal, sei que foi uma conquista! W. Em 10 de out de 2017 06:59, "Famadoria" escreveu: > Uma notícia off topic boa: nasceu João Bernardo, filho de Virginia e Greg > Chaitin. > > Sent from my iPhone > > -- > Você está recebendo esta mensagem porque se inscreveu

[Logica-l] "Revolução" nos fundamentos da matemática

+ 1 = Omega, o conto chinês dele começa... sem dizer o que é. \infty Mas talvez alguém queira ler até. o final, Abs, Walter -- ------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy –UNIC

[Logica-l] Vladimir Voevodsky (1966-2017)

https://www.ias.edu/news/2017/vladimir-voevodsky The Institute for Advanced Study is deeply saddened by the passing of Vladimir Voevodsky, Professor in the School of Mathematics. Voevodsky, a truly extraordinary and original mathematician, made many contributions to the field of mathematics,

[Logica-l] [OFF TOPIC] desregulamentar para lucrar

compromisso com a geração de > conhecimento. > > 2017-09-29 7:50 GMT-03:00 Walter Carnielli <walter.carnie...@gmail.com>: > > Deputado Mineiro do PSDB quer desregulamentar ainda mais as > Universidades, > > tirando "obrigação de fazer pesquisa" , só para ve

[Logica-l] [OFF TOPIC] desregulamentar para lucrar

Deputado Mineiro do PSDB quer desregulamentar ainda mais as Universidades, tirando "obrigação de fazer pesquisa" , só para vender mais cursos vagabundos. o Fulano é o mesmo quê vai atuar como relator da denúncia contra Temer. Tem que ser denunciado junto por obstrução mental , sacanagem máxima

[Logica-l] JOB: Unisinos, Brazil.

Este e-mail puede contener imágenes, si no las puede ver, véalas en su navegador [image: Alfa-n] JOB: Unisinos, Brazil JOB: Unisinos, Brazil. Graduate Program in Philosophy Deadline: October 16th, 2017 The Graduate

Re: [Logica-l] [OUF!] UFRJ na pole position, mais uma vez !

É verdade,parabéns à UFRJ, deve ser pir causa dos seus excelentes professores  Mas a manchete se referia à Unicamp: Unicamp passa USP e chega ao 2º lugar no RUF E o interessante é que a Filosofia teve uma posicao saliente, seria bom investigar quanto a área de Lógica contribuiu nisso.. Na

Re: [Logica-l] A Hipótese do Contínuo continua em pé!

; por letras góticas e aqui eu não sei se aparecem. > > On 16 Sep 2017, at 13:39, Walter Carnielli <walter.carnie...@gmail.com> > wrote: > > Maryanthe Malliaris > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Goo

[Logica-l] A Hipótese do Contínuo continua em pé!

ipótese do Contínuo, quem quiser que pense em outra :-) W. -- ------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy –UNICAMP On leave as an Alexander von Humbolt Research Grantee at the Fakultät für P

[Logica-l] OAS – Western Kentucky University Undergraduate Scholarship in USA

--- The OAS General Secretariat (GS/OAS) is offering scholarship to Brazilian students to pursue an undergraduate degree at Western Kentucky University in USA. The deadline of the scholarship is November 1, 2017. Students can get more information through the given link: OAS – Western Kentucky

[Logica-l] Fwd: [Ifch-docentes-l] luto

-- Mensagem encaminhada -- De: "jorge coli" Data: 26 de ago de 2017 19:44 Assunto: [Ifch-docentes-l] luto Para: "lista alunos" , "Lista docente" < ifch-docente...@listas.unicamp.br>, "Funcionários IFCH" <

[Logica-l] Uma noticia de profundissimo pesar

Colegas e amig@s: Achei que me cabia, por estar sabendo, repassar a estarrecedora e pesarorosa noticia sobre a tragédia que envolveu nossa querida colega Carol Blasio, organizadora desta lista: https://www.acidadeon.com/campinas/cotidiano/NOT,1,1,1270220,Vitimas+eram+

[Logica-l] Six full professorships in computing (including algorithms & complexity), Leeds (England), Deadline: 17 Sep 2017

-- Mensagem encaminhada -- Six new full professorships are available at the School of Computing of the University of Leeds: https://jobs.leeds.ac.uk/Vacancy.aspx?ref=ENGCP1052 Two of these Chairs are in any area of Computer Science. The School of Computing has five main research

[Logica-l] Concurso na tora da Faculdade de Tecnologia da Unicamp, Campus de Limeira

primeiro dia útil subsequente ao da publicação deste edital no Diário Oficial do Estado – DOE –, no horário das 9h00 às 12h00 e das 14h00 às 17h00, na Assistência Técnica da Faculdade de Tecnologia. Endereço: Rua Paschoal Mar -- --- Walter Carnielli Centre

[Logica-l] mperial College Research Fellowships in Computing, London (England), Deadline: 29 Aug 2017

, a Stonewall Diversity Champion, a Two Ticks Employer, and are working in partnership with GIRES to promote respect for trans people. -- Prof Francesca Toni Department of Computing Imperial College London www.doc.ic.ac.uk/~ft/ --- Walter Carnielli Centre

[Logica-l] PhD student position in game theory, Paris (France), Deadline: 4 Sep 2017

, please also contact Jérémie Cabessa (jeremie.cabe...@u-paris2.fr). With kind regards, Jérémie Cabessa E-mail: jeremie.cabe...@u-paris2.fr ** --- Walter Carnielli Centre for Logic, Epistemology and the History

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

deve-se trocar de aeroporto (um horror, com malas, em metrô e ônibus), ou então custam pelo menos EUR 1800. Ainda por cima a maioria dos voos chega no sábado, o que não parece facilitar nada... Alguma dica? Abs Walter -- --- Walter Carnielli

Re: [Logica-l] LaTeX para Mac

/CANa0U%3Dq_dWtGSJnptkc786D%3Dk5JLSaXAA94rj8MJYyd5fG_XFw%40mail.gmail.com. -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19

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

Dear Andrés: Great, thanks indeed, this is very helpful of yours. It seems that the movement of academics had already got some effects, as the president of CNPq came in public to "guarantee" the no-cut in research grants. I think there will be a circulating letter, and if so I will suggest

[Logica-l] [OFF TOPIC] : Nota pública SBPMat contra cortes e contingenciamento à CTI

6P4eG0ftlP5i8ZA-2B0de-2FYpU17E4jzqVGMK1SjOTGTMYw4oIWst7ZKuiuT83pc7aK6vNmKdG9b8OJVMUOT0tf21ZZmfHfCS4Rrc-3D> SBPMat Rua Marquês de São Vicente, 225 - Gávea, Rio de Janeiro, RJ, 22451900 -- ------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Phi

[Logica-l] O Diretor-Geral do IMPA é um lógico enrustido!

ww1.folha.uol.com.br/colunas/marceloviana/2017/08/1906992-quando-genios-conversam-poincare-e-a-origem-dos-23-problemas-de-hilbert.shtml --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State Uni

[Logica-l] [OFF TOPIC] Pagamento de bolsas do CNPq pode ser suspenso

Car@s, OFF TOPIC, mas muito importante: estao sabendo disso? Acho que a SBL precisa sr mobilizar, em favor de mutos de seus membros bolsistas, de M, D e Pq CNPq atinge teto orçamentário e pagamento de bolsas pode ser suspenso *Herton Escobar - São Paulo* UOL - 02/08/2017 - 09h41 >

[Logica-l] Por que a Unicamp ultrapassou a USP, investimento em pesquisa, e salários

"O Brasil gasta mais em pesquisa e desenvolvimento do que outros países na região, mas seu investimento é baixo para os padrões mundiais. Apesar dos níveis de produtividade de pesquisa serem muito altos, a proporção que o país gasta especificamente em ensino superior é mais baixa do que a de

[Logica-l] Bath-Bristol Workshop Crosses the Atlantic

Bath-Bristol Workshop Crosses the Atlantic 24th July 2017 In Bristol. Room TBC. Organised by Can Baskent 1400: Juliana Bueno-Soler - Popper's Conditional Probability, Negation and Consistency 1445: Walter Carnielli - Consistency, possibilistic, and necessitistic measures 1530: Break 1545: Rohit

[Logica-l] Maryam Mirzakhai, por Terry Tao

Novo post em *What's new* I am totally stunned to learn that Maryam Mirzakhani died today , aged 40, after a severe recurrence of the cancer she has been fighting for several years. I had

Re: [Logica-l] Fwd: [DocPesq] Corte no Fantástico

receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.goog

Re: [Logica-l] BIG PROOF

n.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/f095ec87-57fb-4479-979d-caccba428d54%40dimap.ufrn.br. --

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

.02915.pdf onde colocam: "The authors are grateful to Juliana Bueno-Soler and Walter Carnielli for reawakening their interest on the probabilization of propositional logic". Um viva à memória do nosso amigo Amilcar! Walter 2017-07-14 5:14 GMT-03:00 Joao Marcos <botoc...@gmail.com>

[Logica-l] Pos-docs na UNAM, Cidade do México

The Instituto de Investigaciones Filosóficas of the Universidad Nacional Autónoma de México (UNAM), offers postdoctoral research fellowships. Postdoctoral fellows are expected to: a) Carry out their proposed research, and publish its results; b) Work full time on their research project; c)

Re: [Logica-l] Documentos famosos prima facie internamente inconsistentes

Caro Manuel, Obrigado pela interessante compilação de contradições. Só gostaria de notar que, pela terminologia das Lógicas da Inconsistência Formal o que temos são ※de fato※ contradições,e elas são ※realmente※ inconsistentes, porque conseguimos sobreviver com elas sem explodir nossos códigos,

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

Permissão concedida, caro Marcelo!! Abraços Em 5 de jul de 2017 12:34, "Marcelo Finger" escreveu: > 2017-07-04 23:59 GMT-03:00 Walter Alexandre Carnielli > : > > > > Que o Deus Tupã, que criou o infinito cheio de beleza e perfeição, e os > >

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

Caro Jean-Yves, caros todos: Tenho comigo há alguns anos no CLE a transcrição e as fitas de uma prova do primeiro Teorema de Gödel (o segundo é corolário) que o Kripke deu em Campinas. A prova é substancialmente diferente de uma que ele deu na China e que já apareceu publicada, mas gostaria

Re: [Logica-l] Texto na área do Direito com termos lógicos

io, não é nenhum dessas referido há pouco) sobre Lógica e Direito. Abraços, Walter Em 23 de junho de 2017 19:06, Adolfo Neto <adolfo@gmail.com> escreveu: > O Walter Carnielli ainda lê as mensagens da lista? > > Lembro que quando eu estava no CLE-UNICAMP (passei uma parte do meu &

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

Varanasi vai ser bem apropriado para um Congresso de lógica e religião,: a gente já vai ver os barcos cruzando o Ganges cheio de mortos, prontinhos para serem despachados. E logo ali as piras de lenha de sândalo despachando diretamente, em forma de fumaça preta... ligação direta com o céu! W.

Re: [Logica-l] Exercitus Aristotillis ad destruendum turrim falsitatis cum suo commentatore

E vejam que a turrim falsitatis é bem menos controversa do que a turrim contradictionis Google Translator amicus, sed cognostentia Latinus amica veritas!! W. Em 23 de jun de 2017 06:41, "Joao Marcos" escreveu: Per interemptionem aut per distinctionem oportet

Re: [Logica-l] Fwd: Logic Journal of the IGPL Advance articles

Caros, Agradecemos aa Valéria, Samuel, Marcelo e todos os outros que contribuíram para o nosso volume. Muitos outros artigos saírao em breve . Infelizmente a Oxford UP é o IGPL Journal não mencionam o fato de que os artigos fazem parte dos proceedings, fica tudo separado e desconectado. É uma

Re: [Logica-l] Lista de Speakers - Painel de Lógica e Fundamentos - ICM 2018

Lamentavel que nao nos convidem a nos todos... Em 16 de jun de 2017 17:29, "Famadoria" escreveu: > Lamentável que não convidem o Newton. > > Sent from my iPhone > > On 16 Jun 2017, at 15:31, 'Samuel Gomes' via LOGICA-L < > logica-l@dimap.ufrn.br> wrote: > > Caros, > >

Re: [Logica-l] Homenagem ao Newton

%40mail.gmail.com. > > -- > 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. > Para postar

[Logica-l] Postdoctoral position - Algebraic logic

- Dear colleagues: The University of Cagliari is recruiting a postdoctoral researcher for 18 months. The successful candidate will work within the project “Order-theoretic properties in the algebraic semantics of nonclassical logics” (P.I. Antonio Ledda). You can find below a short resumé of the

[Logica-l] 10 fantásticas bolsas num lugar lindíssimo: Univ. of Bozen-Bolzano, Italy (e Lógica está na parada!)

of this call contact prof. Alessandro Artale at art...@inf.unibz.it. -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55

Re: [Logica-l] Morre no Rio o matemático Elon Lages Lima, ex-diretor do IMPA, aos 87 anos

tar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJh6kGX-CisZAnmoK9QnvYofjXsNNUWVMqw1cv%2B4cUbydAdA

[Logica-l] Postdoctoral Fellow at the University of Otago

Please address any questions about the position to Associate Professor James Maclaurin (james.maclau...@otago.ac.nz). -- Kourken Michaelian http://phil-mem.org/ --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department

Re: [Logica-l] `Scam' envolvendo o nome da FAPESP [Off Topic]

> quase todo dia. Só não sei o que é um "Lógico Honorário", mesmo > apreciando a fina ironia do termo. > > O que é? > > []s > > > 2017-04-26 12:41 GMT-03:00 Walter Carnielli <walter.carnie...@gmail.com>: >> Colegas: >> (copio aqui o jornalist

[Logica-l] `Scam' envolvendo o nome da FAPESP [Off Topic]

surpreso, porque já indiquei este site supostametn ligado à FAPESP, http://fapesp.org, a amigos da iniciativa privada! Abraços, Walter -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy

Re: [Logica-l] ainda sobre generalizações de Birkhoff

t > > Desculpa o atraso. > > > 2017-04-25 12:58 GMT-03:00 Joao Marcos <botoc...@gmail.com>: >> 2017-04-25 16:37 GMT+02:00 Walter Carnielli: >>> Xavier Caicedo provou em ''The subdirect decomposition theorem for >>> classes of structures closed under direct

Re: [Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

Car@s, Muitíssimo obrigado à Cláudia, Valéria, Renata e João Marcos pelos excelentes `reports'. Teria levado meses para chegar a isso, se chegasse! Aproveito meus agradecimentos para contar, no interesse da Lógica, porque isso me interessa. Xavier Caicedo provou em ''The subdirect decomposition

[Logica-l] ATPs (Automatic Theorem Provers) para Lógicas Não-Clássicas

-- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br

Re: [Logica-l] Entrevista com Rodrigo Freire (UnB)

oup/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD335O6xfJYY0oNR1FoLtDm4DdyK3zjYN5HP9E2ajPCC6wW4-g%40mail.gmail.com. -- --- Walter Carnielli Centre for Logic, Epistemolog

[Logica-l] Um livro um pouco difícil

um emprestimo, pessoa ou inter-bibliotecas? Abraços, Walter -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55

Re: [Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

es.olive...@student.uni-tuebingen.de> escreveu: > Walter Carnielli <walter.carnie...@gmail.com> escreveu: > >> >> [...] >> >> Para os estudantes iniciantes compreenderem [...] o Axioma da Escolha >> não é [...] falso [...] > > Me parece que

[Logica-l] A respeito de um Teorema de Tarski e uma historinha interessante

raenkel. A propósito: o livro com dezenas de equivalentes do Axioma da Escolha é Rubin, Herman and Rubin, Jean E. "Equivalents of the Axiom of Choice II." North-Holland, 1985. Walter ------- Walter Carnielli Centre for Logic, Epistemology a

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

uot;LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufr

[Logica-l] [OFF TOPIC] Mensalidades na Graduação e Pós-Graduação nas universidades públicas

, assim que Michel Temer (PMDB) assumiu a presidência da República. -- -- --- Walter Carnielli 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] A lógica do cancer: entendendo argumentos probabilisticos

-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/414ec890-b45c-4f7c-9a6d-09594073feee%40dimap.ufrn.br. -

[Logica-l] Research Fellowship: Institute of Mathematics in Prague

w.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam -- ------- Walter Carnielli Centre for Logic, Epistemology and t

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

Ola Daniel, febre amarela?Não está fácil conseguir vacina.. tem gente que vai declinar por causa disso! >- Teremos um ônibus saindo do aeroporto de Brasília na segunda > e no sentido inverso na sexta (Brasília têm mais opções de vôo). E quem precisar chegar na terça-feira, ou

[Logica-l] Conferência na CUNY em memória de Raymond Smullyan

Uma pequena conferência na CUNY em memória de Raymond Smullyan, com fastásticas fotos dele desde 1945: https://eva16968.wixsite.com/smullyanremembrance Quem estiver por la, não perca! Walter -- --- Walter Carnielli Centre for Logic, Epistemology

[Logica-l] Fwd: now out!

idence Matters: Science, Proof, and Truth in the Law. A substantial collection of my papers, presentations, book flyers, etc., is now available electronically at https://miami.academia.edu/SusanHaack. -- --- Walter Carnielli Centre for Logic, Episte

Re: [Logica-l] Judment

ermo, como os > julgamentos da teoria de Martin-Loef. > > a gente ja' discutiu isso por aqui, assim como ja discutimos (e discordamos > uns dos outros) sobre Teoria da Prova, etc... > meus dois tostoes, como sempre, > abs > Valeria > > > 2017-02-15 4:02 GMT-08:00 Wal

Re: [Logica-l] Judment

e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/972A0AEF-2207-485B-BE84-7A88499FD051%40gmail.com. --

Re: [Logica-l] da matemática brasileira

Universidade Católica de Brasília. 2007. > > Esse artigo, de fato, merece uma análise "tupsiniquim-lógica"... > > > Abraços, > > Carolina > > Em 15 de fevereiro de 2017 12:16, Walter Carnielli > <walter.carnie...@gmail.com> escreveu: >> >

Re: [Logica-l] da matemática brasileira

gt; Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLADgS5YHXbYA09p8%3DJ1NwtoCRVggh0%3DOujUYb2vMjeTpQ%40mail.gmail.com. -- ------

Re: [Logica-l] Raymond Smullyan

de receber e-mails dele, envie > um e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https

[Logica-l] Raymond Smullyan

Caros, uma noticia triste: um matemagico nos deixou, abandonados... e não saberemos sua ultima noticia: > Raymond has passed away. I am getting this second hand, and the details may not be entirely correct, but they are close enough. I understand that yesterday he had a small stroke and was

[Logica-l] SLALM 2017: deadline for submissions February 24, 2017

Castro Tapia. Abstracts of contributed talks submitted by ASL members will be published in The Bulletin of Symbolic Logic. --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University

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

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

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

CLE oferece minicurso de verão de Introdução à lógica http://www.unicamp.br/unicamp/eventos/2017/01/16/cle-oferece-minicurso-de-verao-de-introducao-logica -- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department

[Logica-l] [Off-Topic] Governador de São Paulo e deputados subtraem R$ 120 milhões da FAPESP

a pesquisadores e intelectuais criticando a Fapesp por pesquisas 'sem utilidade prática': http://www1.folha.uol.com.br/ciencia/2016/04/1765028-alckmin-critica-fapesp-por-pesquisas-sem-utilidade-pratica.shtml Vamos ter que pedir autorização a Alckmin e ao PSDB para fazer lógica, filosofar e pesquisar? Walter

[Logica-l] [OFF TOPIC] Petição pró MCTI- Pela Ciência no Brasil!

?recruiter=662300180_source=share_petition_medium=email_campaign=share_email_responsive NÃO VAMOS DESISTIR DA CIÊNCIA NO BRASIL --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University

[Logica-l] Petição pró MCTI- Pela Ciência no Brasil!

?recruiter=662300180_source=share_petition_medium=email_campaign=share_email_responsive NÃO VAMOS DESISTIR DA CIÊNCIA NO BRASIL --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University

Re: [Logica-l] mais uma história de sucesso made in Brazil

Também de minha parte, Marcos, meus sinceros parabéns, de alguem que tem, de certa forma, acompanhado sua carreira, abraços, Walter Em 12/01/2017 10:33, "Marcelo Esteban Coniglio" escreveu: > Parabéns Marcos!! > > Grande abraço > > Marcelo > > Em 11 de jan de 2017 20:01,

[Logica-l] Call for papers: Logic, Inference, Probability and Paradox (Deadline: 20 July 2017)

st Editors: Julio Stern Walter Carnielli Juliana Bueno-Soler Reasoning with uncertain knowledge is a growing area of interest, involving several tendencies, such as reasoning with non-standard theories of probability (e.g., theories of probability based on non-classical logics) and combining arg

Re: [Logica-l] RESPOSTAS DO QUESTIONÁRIO DE FILOSOFIA DA CIÊNCIA

Quantas respostas foram consideradas? Como foi escolhida a amostra?Qual foi o modelo estatístico usado na compilação do resultado? Começo a duvidar que isso nao esteja enviesado... Em 01/12/2016 03:39, "bruna souza" escreveu: > Segue em anexo. > > > Boas férias!

[Logica-l] Um par de boas notícias do CNPq

://www.cnpq.br/web/guest/noticiasviews/-/journal_content/56_INSTANCE_a6MO/10157/5562464 Foram também liberados recursos para pagamentos restantes do Universal 2014 e INCTs tem recursos assegurados Abs, Walter -- --- Walter Carnielli Centre for Logic

[Logica-l] New job: Postdoctoral Researcher in Ethics of Data and Algorithms, OII, University of Oxford

A pedido de Luciano Floridi: We are advertising a Postdoctoral Researcher in Ethics of Data and Algorithms, OII, University of Oxford. If you are interested in ethics and digital technology please apply, the position is open to a large spectrum of research interests and expertise. >And please

Re: [Logica-l] logical pluralism (Leipzig, nov 7, 2016)

phie/veran/games-rules-and-agreements-to-understand-logical-pluralism/ >> >> >> >> Eu tenho os slides da apresentação para aqueles interessados em me ajudar >> com um par de observações críticas legais para eu desenvolver melhor alguns >> pontos. >

Re: [Logica-l] Probabilistic Theorem Proving

gt; > -- > 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. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.u

[Logica-l] Two Full Professorships in Hannover (Leibniz Center for Science and Society)

heoretica, http://www.springer.com/journal/10441 <http://www.springer.com/journal/10441> --- --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas

[Logica-l] Discount extended: "Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE"

n now be made through PayPal or by bank deposit! --- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521

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

Caros colegas e estudantes: É com satisfação que anunciamos que nosso livro "Paraconsistent Logic: Consistency, Contradiction and Negation" (autores: Walter Carnielli e Marcelo E. Coniglio) http://link.springer.com/book/10.1007/978-3-319-33205-5?wt_mc=alerts.TOCseries acaba de ser pu

Re: [Logica-l] O café da manhã dos campeões...

[from] not/non concentrate) > > Prolo > > 2016-07-08 13:25 GMT-03:00 Walter Carnielli <walter.carnie...@gmail.com>: > >> Finalmente, o exemplo procurado pelo amigo Priest: suco "made from >> concentrate and not from concentrate"! Não está claro se

Re: [Logica-l] O café da manhã dos campeões...

tps://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGHpQ0zu-3X4i5mWrRGCEsoW_z7e94rWrma4%2BmebNtNLrGYuFw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGHpQ0zu-3X4i5mWrRGCEsoW_z7e94rWrma4%2BmebNtNLrGYuFw%40mail.gmail.com?utm_medium=email_source=footer> >

<    1   2   3   4   5   6   7   8   >