Translate

24.10.11

26/10 - Rubens Lintz

"Álgebra: dos árabes ao ocidente"

Rubens Lintz
membro fundador do CLE e Professor Emérito da Mac Master University do Canadá.

5.10.11

Alteração no cronograma dos próximos seminários

Outubro:
26 - Rubens Lintz - "Álgebra: dos árabes ao ocidente"

Novembro:
09 - Pedro Lemos
30 - Ricardo M. Grande

Dezembro:
07 - Paulo de Tarso

3.10.11

05/10 - Roberto Dumaresq

Plausibilidade e Consistência em LEI

Roberto Dumaresq - mestrando CLE/IFCH

Neste seminário, apresentaremos a lógica paraconsistente denominada
LEI (Logic of Epistemic Inconsistency). Ela vale-se de um conectivo de
plausibilidade '?', cuja presença em uma fórmula determina se esta tem
comportamento clássico (irrefutável) ou não-clássico (defensável). Ao
longo do processo de detalhamento das idéias de plausibilidade e
consistência em LEI procuramos observar como estas idéias são
representadas na estrutura desta lógica.
Deste modo, através da semântica de LEI mostramos que ela é uma LFI
não-estrutural.