"Álgebra: dos árabes ao ocidente"
Rubens Lintz
membro fundador do CLE e
Professor Emérito da Mac Master University do Canadá.
24.10.11
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
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.
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.
Assinar:
Postagens (Atom)