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

2017-01-15 Por tôpico Walter Carnielli
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 pesquisa

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

2017-01-15 Por tôpico Walter Carnielli
mctic?recruiter=662300180&utm_source=share_petition&utm_medium=email&utm_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

Re: [Logica-l] Re: [fora do tópico] Algorithmic Bias

2017-01-14 Por tôpico Walter Carnielli
-- > Hermógenes Oliveira > > "There are two ways of constructing a software design: One way is to > make it so simple that there are obviously no deficiencies and the other > way is to make it so complicated that there are no obvious > deficiencies." C. A. R. Hoare ---

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

2017-01-14 Por tôpico Walter Carnielli
mctic?recruiter=662300180&utm_source=share_petition&utm_medium=email&utm_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

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

2017-01-12 Por tôpico Walter Carnielli
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, "Joao Marcos" escreveu

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

2016-12-28 Por tôpico Walter Carnielli
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

2016-12-01 Por tôpico Walter Carnielli
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! > > Bruna > > > -- > Você recebe

Re: [Logica-l] Game Theory and Philosophy of Economics

2016-11-11 Por tôpico Walter Carnielli
r/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMezR3yk5dEDOMP-2L6o39vQ7fP5UHhzE%2BKyD7Qx4NHvFpYaWQ%40mail.gmail.com. -- --- Walter Carnielli Centre for Logic, Epistemology an

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

2016-11-11 Por tôpico Walter Carnielli
://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

2016-11-03 Por tôpico Walter Carnielli
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 for

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

2016-11-01 Por tôpico Walter Carnielli
and-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. >> >> basta me escrever em privado. >> >> >&

Re: [Logica-l] Probabilistic Theorem Proving

2016-10-30 Por tôpico Walter Carnielli
frn.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/CABqmzx26Yb%2BGbDE_%3DkD9rMmD%3D%2BKyB3fWANwPat3RULz-8CeUwQ%40mail.gmail.com. > > > -

[Logica-l] Paraconsistência como preservação de evidências

2016-10-01 Por tôpico Walter Carnielli
raduate Center http://nylogic.org/topic/paraconsistency In a forthcoming paper, Walter Carnielli and Abilio Rodriguez propose a Basic Logic of Evidence (BLE) whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent

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

2016-09-21 Por tôpico Walter Carnielli
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

Re: [Logica-l] Dúvida de Ensino

2016-09-05 Por tôpico Walter Carnielli
olá Adolfo, Não é questão que está errada, é o método! Na na minha opinião, letra C ( a menos que se demonstre que a regra é admissível). Abs Walter Em 05/09/2016 21:44, "Adolfo Neto" escreveu: > Olá, > > Peço que ignorem a dúvida caso esteja fora do escopo da lista. > > Quando vocês ensinam alg

[Logica-l] Professor Position at La Trobe

2016-09-04 Por tôpico Walter Carnielli
La Trobe University is currently advertising a Full Professor in Philosophy Position (where the successful candidate would be expected to do research in one or more of the following areas: Political Philosophy, Ethics, Public Policy, Feminist Philosophy) , closing on the 19th of September. Here is

Re: [Logica-l] Convite para defesa de Doutorado de Pedro Mendes Ferreira Lemos ( 02/09, 15:00, CLE)

2016-09-02 Por tôpico Walter Carnielli
f Contingency: On Tense, Modals, and >> Assessment-Sensitivity" >> >> A defesa ocorrera ananha, 02 de setembro, sexta-feira às 15:00 no >> CLE-Unicamp. >> A composição da banca esra informaca abaixo; todos sao bem-vindos! >> >> Atenciosamente, >&

Re: [Logica-l] line art portraits of logicians

2016-08-26 Por tôpico Walter Carnielli
ap.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/CAO6j_Lg_%3DzPRJMQoOGKiHDutGAqDfgaf9tZ10Wc%3DHUVpSmZ3Mw%40mail.gmail.com. -- ----

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

2016-08-18 Por tôpico Walter Carnielli
ions can 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)

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

2016-07-11 Por tôpico Walter Carnielli
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...

2016-07-08 Por tôpico Walter Carnielli
entrate) > > Prolo > > 2016-07-08 13:25 GMT-03:00 Walter Carnielli : > >> Finalmente, o exemplo procurado pelo amigo Priest: suco "made from >> concentrate and not from concentrate"! Não está claro se o suco é "made >> from concentrate" e "

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

2016-07-08 Por tôpico Walter Carnielli
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&utm_source=footer> > . > -- ---

[Logica-l] Trends in Logic CLE &Studia Logica Impact Factor

2016-07-02 Por tôpico Walter Carnielli
Caros Colegas: Só para lembrar, os anais do Trends in Logic XVI- 40 Years of CLE serão publicados na série Trends in Logic ligada à Studia Logica. Ainda há tempo de participar!! Abraços Walter > > Dear Colleague, > > Recently the 2015 Studia Logica Impact Factor (Thomson Reuters Journal Citati

Re: [Logica-l] Convite para defesa de doutorado

2014-05-12 Por tôpico Walter Carnielli
> Prof. Dr. Daniel Tausk (USP - Orientador) > Prof. Dr. Francisco Miraglia (USP) > Prof. Dr. Paulo Veloso (UFRJ) > Prof. Dr. Marcelo Coniglio (UNICAMP) > Prof. Dr. Samuel da Silva (UFBA) > > Suplentes: > > Prof. Dr. Ricardo Bianconi (USP) > Prof. Dr. Hugo Mariano (USP) &g

Re: [Logica-l] Quadrado das Oposicoes: Vaticano ----> Ilha da Pascoa

2014-05-12 Por tôpico Walter Carnielli
-> >>> World Congress on the Square of Opposition >>> Montreux 2007 - Corsica 2010 - Beirut 2012 - Vatican 2014 - Easter Island >>> 2016 >>> http://www.square-of-opposition.org >>> ___ >>> Logic

[Logica-l] Call for Papers/Publication: Quine and His Place in History (from Frederique Janssen-Lauret, Post-doc at CLE-Unicamp)

2014-05-07 Por tôpico Walter Carnielli
for Logic, Room 309 | Rua Sérgio Buarque de Holanda 251 |13083-859 Campinas, SP, Brazil --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -

Re: [Logica-l] Um vídeo sobre aquelas sequências numéricas mágicas

2014-05-06 Por tôpico Walter Carnielli
Nada assim muito original. Essa historia do Taleb está apenas confirmando o velho falsificacionismo de Popper (o qual, pela "proposta" do video, deveria se tentar desconfirnar...) Walter On May 5, 2014 2:50 PM, "Adolfo Neto" wrote: > Can You Solve This? Excellent video inspired by > @nntaleb<

[Logica-l] Editoras-arapuca

2014-05-05 Por tôpico Walter Carnielli
es de alguns pesquisadores trabalhos marcados com a "estrelinha" de principal, que se enquadram claramente na categoria de "self published on-demand book".' Abs, Walter -- ------- Prof. Dr. Walter Carnielli Director Centre f

[Logica-l] "Logicians pervert the order of things”

2014-05-05 Por tôpico Walter Carnielli
Genial, já assisti umas 5 vezes! Só faltou Hitler berrar: "Es hat keine philosophische Relevanz! " Abs W. --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campina

[Logica-l] "The Advanced Reasoning Forum" lança a série "Classic Reprints"

2014-05-04 Por tôpico Walter Carnielli
, www.ARFbooks.org or r...@arfbooks.org If there is sufficient demand for these as well as interest in other works to be reprinted, ARF will publish more titles in this series. = = = = = = = = = = = = = -- --- Prof. Dr. Walter Carnielli Director Centre for

Re: [Logica-l] Presença de mais um embaixador no congresso sobre o quadrado no Vaticano

2014-04-29 Por tôpico Walter Carnielli
> Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State Univ

[Logica-l] Philosophical Analysis: call for papers

2014-04-27 Por tôpico Walter Carnielli
k National Univ.), Byeong-uk Yi (Univ. of Toronto), Sang Wook Yi (Hanyang Univ.) http://philevents.org/event/show/14253 -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas

Re: [Logica-l] Brasil é um dos últimos em teste que avalia capacidade de resolver problemas lógicos elementares

2014-04-01 Por tôpico Walter Carnielli
obre o >> > desempenho. O relatório da OCDE mostrou que o currículo das escolas e a >> > formação dos professores são essenciais no desenvolvimento desse tipo de >> > competência. >> > >> > >> > http://www.estadao.com.br/noticias/vidae,brasil-e-u

[Logica-l] Oitava velinha-paradoxos paratodos

2014-03-24 Por tôpico Walter Carnielli
> Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP

[Logica-l] Convite ciclo de palestras no DF-Unicamp

2014-03-19 Por tôpico Walter Carnielli
. Debatedores: Profs. Waldyr Rodrigues, André Assis e Adolfo Maia Jr. -- Silvio Seno Chibeni Professor Associado Departamento de Filosofia - Unicamp --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE

[Logica-l] Eventos no CLE

2014-03-16 Por tôpico Walter Carnielli
://dl.dropboxusercontent.com/u/6465890/Programa1.docx https://dl.dropboxusercontent.com/u/6465890/Programa2.docx Todos estão convidados a participar - por favor divulguem -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of

Re: [Logica-l] Fwd: TO: Marcos Silva / What does it mean to negate a proposition?

2014-03-14 Por tôpico Walter Carnielli
Walter = = = = Dear Walter Carnielli, I am writing on behalf of an international publishing house, LAP Lambert Academic Publishing. In the course of a research on the University of Campinas, I came across a reference to your research paper on "Groups, not Squares: unveiling a fetish". As

[Logica-l] Outro anúncio, a pedido dos colegas romenos

2014-02-25 Por tôpico Walter Carnielli
. -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http

[Logica-l] A pedido dos amigos romenos

2014-02-25 Por tôpico Walter Carnielli
-- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br Website

[Logica-l] Concurso UFPR: Filosofia e Ed. Física - Dep. De Ed. Física- medo da concorrência?

2014-02-19 Por tôpico Walter Carnielli
Mais proteção de mercado ("exigência" de doutorado em Ed Física/Pedagogia/ Ciências Humanas e Sociais)? Tanto medo assim da concorrência? Nossos colegas deveriam se sentir envergonhados desse tipo de atitude... W. On Feb 19, 2014 12:54 PM, "Daniel L. Tozzini" wrote: > Segue edital: > > > ht

Re: [Logica-l] o preconceito se manifesta de muitas formas

2014-02-14 Por tôpico Walter Carnielli
Pois eh, todos, e as mulheres, devemos/ devem combater o preconceito, ainda que positivo... W. On Feb 15, 2014 12:31 AM, "Carolina Blasio" wrote: > > How it works: > https://xkcd.com/385/ > > Cheers,Carol > > Date: Fri, 14 Feb 2014 06:15:11 -0800 > > From: valeria.depa...@gmail.com > > To: mfin.

Re: [Logica-l] Gendered Conferences: hipocrisia?

2014-02-12 Por tôpico Walter Carnielli
Eh obvio que se deve evitar qualquer discriminação, e ate incentivar a participação de mulheres, ou de representantes de países não-anglófonos, mas também eh obvio que nao se deve estabelecer "quotas" para quaisquer que sejam os "sub-representados". A posição do Chalmers me parece hipócrita e

Re: [Logica-l] O quanto nós devemos deixar os losers se ferrarem... / The Lives of Animals

2014-01-31 Por tôpico Walter Carnielli
t; >"We point to the Germans and Poles and Ukrainians who did and > did not know of the atrocities around them. We like to think they > were inwardly marked by the aftereffects of that special form of > ignorance. We like to think that in their nightmares the ones whose > suffering they had refused to enter came bac

[Logica-l] Os pesquisadores 1A do CNPq refletem de fato a excelencia em pesquisa no pais?

2014-01-30 Por tôpico Walter Carnielli
/2015 Instituição/UF/País: Universidade Federal do Rio de Janeiro - RJ - Brasil -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil

[Logica-l] CNPq- transparencia- Produtividade em Pesquisa - PQ

2014-01-28 Por tôpico Walter Carnielli
t; > > > > > > > Em 28/01/2014, à(s) 18:15, Adolfo Neto escreveu: > > > >> Walter, > >> > >> Nós do grupo bolsapesq temos pedido isto e outras coisas faz tempo. Sem sucesso, por enquanto. > >> > >> Adolfo > >> > &g

Re: [Logica-l] CNPq - Resultado do julgamento - [307134/2013-0] - Produtividade em Pesquisa - PQ - 2013

2014-01-28 Por tôpico Walter Carnielli
solicitações >> em outras oportunidades. >> >> Atenciosamente, >> >> Guilherme Sales Soares de Azevedo Melo >> Diretor de Engenharias, Ciências Exatas e Humanas e Sociais >> > > ___ > Logica-l mailing list > Log

[Logica-l] University of Queensland: Two Postdoctoral Researchers in Philosophy

2014-01-21 Por tôpico Walter Carnielli
ts must supply the following documents: Cover letter, Resume and Selection Criteria responses. --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas

Re: [Logica-l] Uma questao estrategica

2014-01-15 Por tôpico Walter Carnielli
o certeza de que o Priest, por >> > > exemplo, ou algum outro que prefiro nem mencionar, aceitará >> > > imediatamente. Esta questão é obviamente de alta importancia >> > > estratégica: os trabalhos do Priest e Prestigiosa Companhia são os >

[Logica-l] Uma questã erstretégica

2014-01-13 Por tôpico Walter Carnielli
lopedia. etc.,em detrimento do que fazemos por aqui, e em outros lugares. Por este angulo, não aceitar o convite da De Gruyter é arriscar a piorar este quadro. Por favor, brindem-me com opiniões. Abs Walter, -- ------- Prof. Dr. Walter Carni

Re: [Logica-l] Perdao a Turing

2013-12-26 Por tôpico Walter Carnielli
10:01, bedregal escreveu: >> >>> Emfim hoje Alan Turing recebeu o perdao...quem deveria pedir perdao é o >>> governo Ingles pelo castigo imposto ao Turing... >>> >>> http://noticias.terra.com.br/mundo/condenado-por-ser-gay- >>> homem-que-quebrou-c

[Logica-l] Novos editores dos "Cadernos de História e Filosofia da Ciência" ("Cahiers of History and Philosophy of Science")

2013-12-22 Por tôpico Walter Carnielli
n philosophy of science and epistemology or theory of knowledge. -- ------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (

[Logica-l] Paraconsistent Logics & Applications

2013-12-19 Por tôpico Walter Carnielli
t;> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> >> >> > > > -- > > > == > Adolfo Neto > Assistant Professor - Federal University of Technology, Paraná > Web: http://www.d

Re: [Logica-l] consequencia significativa

2013-11-19 Por tôpico Walter Carnielli
do. >> > Neste caso podemos dizer >> > que a proposicao "JM gosta de queijo minas" >> > nao é uma consequencia significativa das proposicoes >> > "JM sabe tudo de logica" e "JM nao sabe alguma coisa de logica" >> > JYB >> > _

Re: [Logica-l] consequencia significativa

2013-11-19 Por tôpico Walter Carnielli
nao é uma consequencia significativa das proposicoes > "JM sabe tudo de logica" e "JM nao sabe alguma coisa de logica" > JYB > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --

Re: [Logica-l] duas nocoes / duas palavras

2013-11-19 Por tôpico Walter Carnielli
Alguma suggestao JM para a traducao das duas concepcoes da borboleta: > borboleta polonesa vs borboleta americana? > > Um abraço, JY > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailma

Re: [Logica-l] Filmes sobre lógica

2013-11-11 Por tôpico Walter Carnielli
://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > _______ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- --- Pro

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Walter Carnielli
; ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > fad > > ahhata alati, awienta Wilushati > ______

Re: [Logica-l] Computer Scientists Prove God Exists

2013-11-06 Por tôpico Walter Carnielli
E Christoph Benzmüller publicou no número especial de Logica Universalis que Pizzi e eu editamnos (accesso livre via Portal Capes): Logica Universalis Volume 7, Issue 1, March 2013 Special Issue on Multimodal Logics Edited by Walter Carnielli and Claudio Pizzi http://link.springer.com/journal

[Logica-l] Nota de profundo pesar

2013-11-05 Por tôpico Walter Carnielli
-- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carnie...@cle.unicamp.br

[Logica-l] Minha entrevista ao "The Reasoner 7(11)"

2013-11-01 Por tôpico Walter Carnielli
ner/vol7/TheReasoner-7(11).pdf > > Abs, > Renato > > > -- Forwarded message -- > The latest issue of The Reasoner is now freely available for download in > pdf format at > http://www.thereasoner.org/ > > > Editorial - Zach Weber > > Interview with Walter Carni

Re: [Logica-l] artigo newton da costa

2013-10-24 Por tôpico Walter Carnielli
.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > > > -- > http://sequiturquodlibet.googlepages.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --

[Logica-l] Post Doc em Filosofia (todas as áreas)- Unicamp

2013-10-23 Por tôpico Walter Carnielli
( tema em aberto) por favor me contacte. Atenciosamente, Walter Carnielli -x-x-x-x-x-x-x-x-x-x-x-x-x-x- STATE UNIVERSITY OF CAMPINAS (UNICAMP), BRAZIL POSTDOCTORAL RESEARCH FELLOWSHIP OPPORTUNITY The Department of Philosophy of the University of Campinas (Unicamp) calls for applications for two

[Logica-l] Palestra do Prof. Jean-Yves Beziau no CLE (15 de outubro, 11:00)

2013-10-11 Por tôpico Walter Carnielli
Caros colegas e estudantes: Convido a todos para a palestra do colega Professor Jean-Yves Beziau do Departamento de Filosofia da UFRJ na terça-feira, 15 de outubro, aas 11:00, na Sala de Seminários do CLE: TITULO: "Logpica Paraconsistente de A a Z". Att., Walter

[Logica-l] Filosofia do medo?

2013-09-25 Por tôpico Walter Carnielli
http://adonaisantanna.blogspot.com.br/2013/09/a-filosofia-do-medo.html -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone

Re: [Logica-l] Espaço para divulgação dos trabalhos por lógicos brasileiros

2013-09-23 Por tôpico Walter Carnielli
lícito--não se poderia guardar artigos que ferissem direitos autorias. Se alguém dos interessados se dispuser a se responsabilizar por organizar dessa forma, o CLE estará a disposição. Att Walter Carnielli Em 23 de setembro de 2013 12:13, Marcelo Fischborn escreveu: > Olá a to

[Logica-l] The Australasian Journal of Logic

2013-09-23 Por tôpico Walter Carnielli
35234 -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e

Re: [Logica-l] Adonai Sant'Anna: O que é um Pesquisador do CNPq?

2013-09-16 Por tôpico Walter Carnielli
número de artigos que tiveram mais de 10 citações bibliográficas). Recoloco aqui a lista compilada pelo Jean-Yves, com alguns i10 + citações dos pesquisadores na área de Lógica: H-index 33 Newton da Costa i10: 75 citações: 4119 25 Walter Carnielli i10: 49 citações: 2350 24 Valeria de Paiva 110

Re: [Logica-l] vagas docentes na UFRN

2013-09-14 Por tôpico Walter Carnielli
Há tão poucos lugares para se fazer Lógica que os que existem coincidem com os melhores... :-) Em 14/09/2013 15:13, "Joao Marcos" escreveu: > Levando em consideração o fato de que a UFRN é um dos melhores lugares > do Brasil para se fazer Lógica, pode ser que as vagas abaixo > interessem aos co

[Logica-l] Shut up and calculate? Olhemos nossos umbigos...

2013-09-13 Por tôpico Walter Carnielli
Não muito impressionante. Meio déjà vu... achei mais interessante o post sobre umbigos. Pouco a ver com logica, admito, a não ser a surpresa http://m.huffpost.com/us/entry/3901527/ Walter ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dima

[Logica-l] ICDCIT -- 2014 (Bhubaneswar, India)

2013-08-29 Por tôpico Walter Carnielli
eptember 2013 CONTACT URL: http://www.icdcit.ac.in ------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517

Re: [Logica-l] Fwd: Segundo desafio da promoção Sherlock Holmes do Blog IF e da Coquetel

2013-08-13 Por tôpico Walter Carnielli
> > Outras publicações da Coquetel: http://coquetel.uol.com.br/ > > E seu facebook: https://www.facebook.com/revistascoquetel > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/l

[Logica-l] [***** SPAM 2.5 *****] Re: [***** SPAM 2.5 *****] Re: [***** SPAM 2.5 *****] Re: Fwd: Desafio Sherlock Holmes por Blog IF & Coquetel

2013-08-10 Por tôpico Walter Carnielli
ulpado. Sobre Art podemos neste caso concluir que ele é Falseoso, e > é culpado se e somente se Mori for um Veritoso. > > Sobre: > > > [...] e nada se concluiria > > permita-me discordar: é _sempre_ possível concluir *alguma coisa*! > > Abraços, JM > > > 2013/

[Logica-l] [***** SPAM 2.5 *****] Re: [***** SPAM 2.5 *****] Re: [***** SPAM 2.5 *****] Re: Fwd: Desafio Sherlock Holmes por Blog IF & Coquetel

2013-08-10 Por tôpico Walter Carnielli
ênero, e quer entender melhor como > resolvê-los usando Lógica Proposicional pode ler mais a respeito em: > http://www.dimap.ufrn.br/~jmarcos/courses/LAaC/Trad-LCP/Smullyan_Cap3-7.pdf > e conferir as soluções formalizadas em: > > http://www.dimap.ufrn.br/~jmarcos/courses/LAa

[Logica-l] [***** SPAM 2.5 *****] LSFA 2013 no IME - chamada para participação

2013-08-09 Por tôpico Walter Carnielli
-- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail

[Logica-l] [***** SPAM 2.5 *****] Re: Fwd: Desafio Sherlock Holmes por Blog IF & Coquetel

2013-08-07 Por tôpico Walter Carnielli
...". >> > >> >> E você, caro leitor, sabe como Holmes chegou a uma conclusão? O primeiro a >> solucionar e explicar corretamente como Sherlock desvendou o enigma >> receberá o primeiro volume de "Aprenda a pensar como Sherlock". Assim que >> for

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Walter Carnielli
porque eu e ela ficaremos lutando? > É como ser paternalista com alunos, dar aula com powerpoints superexplicados > e não estimular o aluno a ler. > > 2013/8/5 Walter Carnielli >> >> Oi Décio. >> >> temo que seja pior que isso-- alguém acendeu o rojão e n

Re: [Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Walter Carnielli
a. > D > > > > -- > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > 88040-900 Florianópolis - SC - Brasil > http://www.cfh.ufsc.br/~dkrause > ------ > > Em 05/08/2013, às 19:

[Logica-l] "Profissao" de cientista? Nao inclui "serviços de argumentação"?

2013-08-05 Por tôpico Walter Carnielli
; == > Adolfo Neto > Assistant Professor - Federal University of Technology, Paraná > Web: http://www.dainf.ct.utfpr.edu.br/~adolfo > Twitter: http://twitter.com/adolfont > Mestrado em Computação Aplicada: http://www.ppgca

[Logica-l] Concurso do Departamento de Filosofia- Unicamp

2013-08-03 Por tôpico Walter Carnielli
Caros Colegas: Estão abertas as inscrições para o concurso público de provas e títulos, para provimento de 1 cargo de Professor Doutor I, nível MS-3.1, em RTP, com opção preferencial para o RDIDP, na área de História da Filosofia, na disciplina HG-401 História da Filosofia Moderna I, do Departamen

[Logica-l] Regulamentar a “ profissão de cientista”, um paralelo à regulamentação das empregadas domesticas?

2013-07-30 Por tôpico Walter Carnielli
ésticas limpam tudo direitinho ... Walter --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19

[Logica-l] "Profissao" de cientista?

2013-07-28 Por tôpico Walter Carnielli
É mais uma manobra rasteira com intenção de proteger mercado para incompetentes. Imagine o que sería a ciência se se exigisse "canudo" de Arquimedes, Torricelli, Darwin... A única "profissão" que deveria exigir "deproma" (!) seria a de deputado e senador, para dizerem menos besteiras . Walt

Re: [Logica-l] Historiadores

2013-07-27 Por tôpico Walter Carnielli
> > Décio Krause > Departamento de Filosofia > Universidade Federal de Santa Catarina > www.cfh.ufsc.br/~dkrause > > > > > > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www

Re: [Logica-l] Teoria Paracosistente de Conjuntos via LFIs

2013-07-13 Por tôpico Walter Carnielli
Brasil* > *http://www.cfh.ufsc.br/~dkrause* > *------* > > Em 13/07/2013, às 08:57, Walter Carnielli > 'walter.carnie...@gmail.com');>> > escreveu: > > Caros colegas: > > Para aquele que possam se interessar pelos efeitos da lógica > paraconsistente nos fun

[Logica-l] Teoria Paracosistente de Conjuntos via LFIs

2013-07-13 Por tôpico Walter Carnielli
theory by predicating on consistency Walter Carnielli; Marcelo E. Coniglio Journal of Logic and Computation 2013; doi: 10.1093/logcom/ext020 Abstract: http://logcom.oxfordjournals.org/cgi/content/abstract/ext020? ijkey=KkzfyloKwr3NaYZ&keytype=ref PDF: http://logcom.oxfordjournals.org/cgi/reprint

[Logica-l] Turing vs Post? Onde está a adversariedade?

2013-06-11 Por tôpico Walter Carnielli
o geral, me parece que as >> >> contribuições de Post à lógica são melhores quando comparadas com as >> >> de Turing, mesmo se nos restringirmos à teoria da computabilidade. >> >> Lembro ainda que Post fez muito do que há de não trivial para a lógica >> &g

Re: [Logica-l] Ponto de vista de americanos

2013-05-24 Por tôpico Walter Carnielli
-------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail: walter.carni

Re: [Logica-l] Quantificadores vagos

2013-05-22 Por tôpico Walter Carnielli
cago.edu/kennedy/classes/s06/readings/grim05.pdf > > Um forte abraço. > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- ------

[Logica-l] Abaixo o fator de impacto em jornais (JIF, em inglês) !

2013-05-20 Por tôpico Walter Carnielli
realmente um mix", diz Mark Patterson, diretor-executivo da eLife, que afirma que a grande lista de apoio à Dora é uma evidência da preocupação com o fator de impacto. (Jornal do Brasil) -- ------- Prof. Dr. Walter Carnielli Director Centre for Logic,

Re: [Logica-l] Lógica e Aplicações: Matemática, Ciência da Computação e Filosofia (Livro do Carnielli, Coniglio e Bianconi).

2013-05-14 Por tôpico Walter Carnielli
--------- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Fax: (+55) (19) 3289-3269 Institutional e-mail:

Re: [Logica-l] "Memórias de um matematiqueiro"

2013-05-14 Por tôpico Walter Carnielli
> Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l -- --- Prof. Dr. Walter Carnielli Director Centre for Logic, Epistemology and the History of Science – CLE State University of Campi

Re: [Logica-l] Motivações e implicações filosóficas para as traduções entre lógicas.

2013-05-12 Por tôpico Walter Carnielli
> >>> Logica-l mailing list > >>> Logica-l@dimap.ufrn.br > >>> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > >>> > >> > >> > > > ___ > Logica-l

Re: [Logica-l] Cor e/ou Raca no Lattes

2013-05-06 Por tôpico Walter Carnielli
; >>> >> que > >>> >>>>> eles possam não gostar disso. Ridículo. > >>> >>>>> D > >>> >>>>> > >>> >>>>> > >>> >>>>> Décio Krause > >>> >>>>> D

Re: [Logica-l] extraordinary claims demand extraordinary evidence

2013-05-05 Por tôpico Walter Carnielli
Joao, Na minha opinião é uma pequena bobagem, algebra de Boole repintada. Publiquei um artigo na Coleção CLE chamado "Formal polynomials an the Laws of Form" onde mostri isso. No momento estou respondendo pelo telefone, mas posso depois colocar no Dropbox, Abs Walter Em 05/05/2013 12:19, "Julio

[Logica-l] The Reasoner 7(5): Thinking and Rationality

2013-05-01 Por tôpico Walter Carnielli
Caros: para os que participaram do Workshop on Thinking and Rationality (UNILOG 2013), e também para os que não participaram mas têm interesse no tema, publicamos uma nota no The Reasoner de maio. abs, Walter = = = = = Thinking and Rationality, 29 March-7 April - Walter Carnielli

[Logica-l] Pelo bem da Lista (Re: Doria)

2013-05-01 Por tôpico Walter Carnielli
;>> maioria dos físicos não conhecem filosofia e não conhecem história da >>>> ciência. Uma graduação em física não quer dizer nada. Em muitas faculdades >>>> de física o curso é o mesmo que o de engenharia. Talvez o cara saiba melhor >>>> a pa

Re: [Logica-l] 11 dreams for the publishing debate, by Peter Krautzberger

2013-04-28 Por tôpico Walter Carnielli
Resposta: isso nao tem NADA a ver com a Lista, e, apesar de divertido, acaba cansando... Walter Em 28/04/2013 12:46, "Eduardo Ochs" escreveu: > Décio, > > deixa eu te contar uma historinha. > > Em 2006 eu trabalhava como programador na Vivo, e eu tinha acabado de > ser realocado pra "sede princi

Re: [Logica-l] the death of proofs

2013-04-22 Por tôpico Walter Carnielli
alpha. >> >> > >> >> > 3. Por fim, vem a prova do teorema por indução na complexidade. >> >> >> >> Você poderia apontar um exemplo específico de algum livro que faça >> >> este tipo de "prova"? >> >> >> &

Re: [Logica-l] the death of proofs

2013-04-20 Por tôpico Walter Carnielli
iscute abertamente se a noção de *rigor* em uma >>> > demonstração matemática "é só um ritual do qual os matemáticos >>> > gostariam de se livrar"... >>> > jm >>> > >>> > -- >>> > http://sequiturquodlibet.googlepages.com

Re: [Logica-l] the death of proofs

2013-04-19 Por tôpico Walter Carnielli
;> > > >> > ___ >> > Logica-l mailing list >> > Logica-l@dimap.ufrn.br >> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> --- End of Original Message --- >> >>

Re: [Logica-l] Cor e/ou Raca no Lattes

2013-04-12 Por tôpico Walter Carnielli
; por razoes análogas às do Júlio teria que > >>>>>>> responder como "nao-ariano" (e sem certificacao da Gestapo!). > >>>>>>> > >>>>>>> Uma estupidez copiada dos americanos: ou o CNPq não sabe o > >> que > >>>>>>> fazer com isso, o

<    1   2   3   4   5   6   7   8   9   >