Muito obrigado, Marcelo. As referências são muito interessantes e têm a ver justamente com o que estava pensando. Visitei imediatamente a página dessa moça e lá tem mesmo artigos proveitosos.
O assunto topologia pode à primeira vista parecer estranho para quem tem preocupações filosóficas, mas no fundo é justamente o tipo de abordagem que é filosoficamente interessante para estudo das lógicas (modais). O que me chamou a atenção no caso do operador º foram no artigo de vocês alguns axiomas que remetem alguns das lógicas não-normais que juntos geralmente dão K. O Walter explicou que se os demais princípios fossem como na lógica clássica eles de fato dariam K ou algo como K. Mas, nada impede que um tente ver a situação em termos de vizinhança, fecho ou interior. Em 24 de abril de 2012 10:03, Marcelo Esteban Coniglio <meconig...@gmail.com > escreveu: > Caro Tony, > > A Tamar Lando, estudante de doutorado em Berkeley sob a orientação de > Paolo Mancosu e Barry Stroud, está realizando um excelente trabalho > mostrando a conexão entre lógicas modais, topologia, medida e > probabilidades. Eis sua pagina > http://philosophy.berkeley.edu/people/detail/66 > > Veja seus papers online em > http://philosophy.berkeley.edu/people/files/66 > > Talvez a abordagem da Tamar, combinada com os estudos do Jean-Yves > Béziau e do João Marcos mostrando as conexões entre lógica modal e > paraconsistência, possam ser úteis para sua pesquisa. > > Abraço, > > Marcelo > > 2012/4/23 Tony Marmo <marmo.t...@gmail.com>: > > Dear friends, colleagues and Professors, > > > > > > > > I write to inquire on the issue of interpreting the consistency operator > ° > > as a modal one, either necessity or possibility. > > > > > > > > 1. Are there any works which, from the perspective of neighbourhood > > semantics, treat it as necessity operator, i.e., °A means that [[A]] > belongs > > to N(w)? > > > > > > > > 2. Are there any works which, by another topological approach, treat °A > as > > necessity operator defined as the interior, i.e., [[°A]]= int[[A]]? > > > > > > > > 3. 2. Are there any works which, by another topological approach, treat > °A > > means the closure of [[A]]? > > > > > > Please, feel free to write me any thoughts you might have on the issue. > > > > > > Thank you very much. > > > > > > Very best regards, > > > > > > Tony Marmo > _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
