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 in
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
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 outro
modo, é possível determinar
