Re: [Logica-l] SBL: nova diretoria

2017-07-04 Por tôpico Carol Blasio
Cara diretoria da SBL, Caros membros da lista, Parabéns pela nova direção e conte também com meu apoio para efetivar as propostas — enquanto lógica e enquanto administradora da Logica-L! A Logica-L desde 2006, ano de sua criação por João Marcos, foi escolhida como meio de comunicação da Sociedade

[Logica-l] Three Postdoctoral Fellowships at the MCMP (LMU Munich)

2017-07-04 Por tôpico Carol Blasio
Oportunidades em Munique: The Munich Center for Mathematical Philosophy (MCMP) seeks applications for three 3-year postdoctoral fellowships starting on *October 1, 2017*. (A later starting date is possible.) We are especially interested in candidates who work in the field of mathematical philosoph

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

2017-07-04 Por tôpico Marcelo Finger
Caros. Quando o Kripke esteve na Unicamp há alguns anos, acho que ele apresentou um esboço desta prova. SE não me engano, naquela época p único escrito sobre isso era um relatório de outro pesquisador sobre a prova de Kripke. Ele começava contando o que se sabia sobre o assunto ANTES de Goedel.

[Logica-l] Fwd: [LICS] SIGLOG Monthly 194

2017-07-04 Por tôpico Joao Marcos
-- Forwarded message -- SIGLOG Monthly 194 July 4, 2017 *** * Past issues of the newsletter are available at http://lii.rwth-aachen.de/lics/newsletters/ * Instructions for submitting an announcement to the newsletter

[Logica-l] Jun17 - verbetes SEP recentemente publicados ou reformados

2017-07-04 Por tôpico Joao Marcos
* * * NOVO VERBETE Logics for Analyzing Power in Normal Form Games Paolo Turrini https://plato.stanford.edu/entries/logic-power-games/ * * * ALGUNS VERBETES RECENTEMENTE REVISADOS Abduction Igor Douven https://plato.stanford.edu/entries/abduction/ Causal Theories of Mental Content F

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

2017-07-04 Por tôpico jean-yves beziau
O Presidente da Academia Brasileira de Filosofia , João Ricardo Moderno, se candidata a Presidente da República por eleição indireta http://lulacerda.ig.com.br/carioca-se-candidata-a- presidente-da-republica-por-eleicao-indireta/ -- Você está recebendo esta mensagem porque se inscreveu no grupo "

[Logica-l] Artigo LJ-IGPL

2017-07-04 Por tôpico Julio Stern
Caros: Gostaria de compartilahr o link para meu artigo recem-pulicado no LJ-IGPL: >>> Continuous Versions of Haack’s Puzzles: >>> Equilibria, eigen-states and ontologies. https://doi.org/10.1093/jigpal/jzx017 Opinioes e criticas sao muito bem vindas. Meus especiais agradecimentos a

Re: [Logica-l] Artigo LJ-IGPL

2017-07-04 Por tôpico Walter Alexandre Carnielli
Caro Júlio , parabéns, e obrigado ao que nos concerne, Petrucio, Hermann e eu , enquanto editores. De fato, o volume levou três anos para ficar pronto, mas ficou primoroso ; agradecemos a todos os que contribuíram , abraços , Walter > Em 4 de jul de 2017, às 08:39, Julio Stern escreveu: >

[Logica-l] lógica, pra quê?

2017-07-04 Por tôpico Joao Marcos
estudar filosofia ajuda a pensar melhor? um curso em lógica (ou pensamento crítico) melhora o nosso raciocínio na vida? “a investigação tem mostrado que é muito difícil melhorar o raciocínio das pessoas, sendo a instrução em raciocínio lógico particularmente difícil” http://criticanarede.com/ens

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

2017-07-04 Por tôpico Walter Alexandre Carnielli
[Era off-topic e continua sendo] Que o Deus Tupã, que criou o infinito cheio de beleza e perfeição, e os deuses de Teotihuacán em conjunto nos livrem de um filosofo-semi-logico como presidente... Basta Jean Van Heijenoort, que Trotski teve a infeliz ideia de contratar como garda-costas em

Re: [Logica-l] lógica, pra quê?

2017-07-04 Por tôpico Giselle Reis
Obrigada pelo artigo João! Achei interessante que todas as universidades citadas pelo autor estão nos Estados Unidos... Dada a grande competitividade entre essas instituições, não me surpreende que os departamentos usem "fatos" de origem duvidosa pra atrair estudantes (e isso vale não só pra filoso