Prezados Colegas:
gostaria de comunicar a todos que defenderei amanhã, sexta-feira, 26 de
junho, no Instituto de Filosofia e Ciências Humanas da Unicamp, na Sala
de Defesa de Teses, às 10h, meu trabalho de Doutorado (resumo abaixo):
"Multimodalidades anódicas e catódicas: a negação controlada em lógicas
multimodais e seu poder expressivo"
A sessão de defesa é publica e todos estão cordialmente convidados.
A Banca será assim formada:
Profa. Dra. Itala M. L. D'Ottaviano (Unicamp, Campinas) - orientadora
Prof. Dr. Claudio Pizzi (Università di Siena, Itália)
Prof. Dr. Nelson G. Gomes (UnB, Brasília)
Prof. Dr. Cezar A. Mortari (UFSC, Florianópolis)
Prof. Dr. Marcelo Finger (USP, São Paulo)
Suplentes:
Profa. Dra. Maria da Paz N. de Medeiros (UFRN, Natal)
Prof. Dr. Elias H. Alves (Unicamp, Campinas)
Prof. Dr. Marcelo E. Coniglio (Unicamp, Campinas)
- - - - - - - - - - - - - - - - - - - - - - - - -
Resumo:
O presente trabalho tem por objetivo investigar o papel da negação
no âmbito das modalidades, de forma a poder esclarecer até que ponto a
negação pode ser atenuada, controlada ou mesmo totalmente eliminada em
favor da melhor expressabilidade lógica de certas teorias, asserções
ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou
eliminar a negação tem um alto preço: métodos tradicionais em lógica
podem deixar de ser válidos e certos resultados, como teoremas de
completude para sistemas lógicos, podem ser derrogados.
Do ponto de vista formal, a questão central que investigamos aqui é
até que ponto tais métodos podem ser restabelecidos. Com tal
finalidade, iniciamos nosso estudo a partir do que denominamos
``sistemas anódicos'' (sem negação) e, \textsl{a posteriori},
introduzimos gradativamente o elemento ``catódico'' (negações,
com diversas gradações e diferentes características) nos sistemas
modais por meio de combinações com certas lógicas paraconsistentes,
as chamadas lógicas da inconsistência formal (LFIs).
Todos os sistemas tratados são semanticamente caracterizados por
semânticas de mundos possíveis; resultados de incompletude são também
obtidos e discutidos. Obtemos ainda semânticas modais de traduções
possíveis para diversos desses sistemas. Avançamos na direção das
multi-modalidades, investigando os assim chamados sistemas multimodais
anódicos e catódicos.
Finalmente, procuramos avaliar criticamente o alcance e o interesse dos
resultado obtidos na direção da racionalidade sensível à negação.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Atenciosamente,
Juliana
+++++++++++++++++++++++++++++++++
Juliana Bueno-Soler
Ph.D. Program
IFCH/ CLE- UNICAMP
C. P. 6133
13083-970 Campinas, SP, Brazil
Fax: +55-19-3289-3269
Tel: +5519-3788-6518
homepage: http://geocities.com/j_bueno13/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
