Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

2017-04-04 Por tôpico Fernando Yamauti
Oi Bruno, Obrigado pelas referencias. Eu já conhecia todas elas menos a do Walsh (que vou ler depois com mais calma, mas aparentemente o que ele faz é pegar a imagem da diagonal pelo elemento final da fibra em A, mas isso leva a um problema semelhante ao do artigo do Ladyman e Presnell, já

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

2017-04-04 Por tôpico Famadoria
Melhor considerar exemplos específicos. Sent from my iPhone > On 4 Apr 2017, at 10:10, Bruno Bentzen wrote: > > Oi Fernando, > > Talvez você possa se interessar também por esta animada discussão na FOM > > https://www.cs.nyu.edu/pipermail/fom/2016-March/019575.html >

[Logica-l] Palestra do Marcos Silva na PUC-Rio dia 07/04

2017-04-04 Por tôpico Bruno Lopes
Caros, Na sexta-feira próxima, dia 7, teremos a palestra abaixo no Departamento de Filosofia da PUC-Rio. Abraços, Bruno. Prof. Marcos Silva - UFAL Sexta-feira, 07 de Abril, 10:00, sala do dep. de Filosofia, PUC-Rio Como entender a normatividade da razão no contexto do pluralismo lógico? É

Re: [Logica-l] Philosophia Mathematica Vol 23 Issue 3

2017-04-04 Por tôpico Bruno Bentzen
Oi Fernando, Talvez você possa se interessar também por esta animada discussão na FOM https://www.cs.nyu.edu/pipermail/fom/2016-March/019575.html que chegou a ser uma thread bem animada no mês de março do ano passado (inclusive este paper é mencionado). O Ladyman e o Presnell parecem ter

[Logica-l] Fwd: [LICS] The 2018 Federated Logic Conference (FLoC 2018) - First Announcement

2017-04-04 Por tôpico Joao Marcos
-- Forwarded message -- FLoC 2018 — The 2018 Federated Logic Conference 6-19 July 2018 Oxford, England UK http://www.floc2018.org/ In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted the first Federated Logic Conference (FLoC). It was modelled after

[Logica-l] Last call for papers: DARe at LPNMR'17

2017-04-04 Por tôpico Ivan José Varzinczak
* Please accept our apologies if you receive multiple copies of this call * == Call for Papers DARe at LPNMR 2017 Date: 3 July 2017 Espoo, Finland *** Deadline: 10 April 2017 *** == The Fourth International Workshop on "Defeasible and