[Logica-l] Seleção professor substituto na UFC - área Filosofia Analítica

Caros colegas, Divulgo seleção para professor substituto, regime de 20h, para o curso de Filosofia da UFC, campus Fortaleza, para a área "Filosofia analítica". O período de inscrições está sendo reaberto hoje e vai até o dia 21 de Julho, próxima sexta-feira, exigindo titulação de Mestre. Mais

[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

Re: [Logica-l] Lógica construtiva

Diogo Dias escreveu: Gostaria de pedir ajuda com duas perguntas. 1. É possível definir, na lógica clássica proposicional, uma noção de "construtível" de tal forma que se possa dizer que tal prova é construtível e, portanto, aceita intuicionisticamente? Dito de