Bem lembrado, João Marcos Dois dos artigos desse volume de Synthese, os de Muller e de Suppes, foram usados em meu trabalho que está em http://www.springerlink.com/content/d66162kn27887830/, feito com dois alunos, onde discutimos diversas maneiras de axiomatização. Quem tiver interesse no artigo pode me pedir uma cópia. Claro que a axiomatização é importante, mas o que coloco é se vale a pena em áreas terrivelmente enroladas como a física atual, a psicanálise, etc. se pretendermos amplidão, procurando abarcar " todo" o campo. Acho que o que resultará será a elaboração de pequenas " teorias" parciais que funcionam localmente para tratar de problemas específicos, mas o todo fica como uma colcha de retalhos, feita de pedaços distintos. A " grande lógica" se se pode falar disso, seria uma lógica paraconsistentes modal, deôntica, intensional, sei lá. Exemplo: para fazer uma ponte, engenheiro usa a mecânica de Newton; para enviar um satélite rápido, o mesmo engenheiro usará a mecânica relativista (uma delas), para mostrar as estrelas para seu neto, a teoria de Ptolomeu, e assim por diante. Cada umas funciona em domínios particulares de apliçação e podem ser inconsistentes umas com as outras. Axiomatizamos pedaços de pseudo-teorias (deixando o termo "teoria" para algo bem estruturado, digamos axiomatização). D
------------------------------------------------------ Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-900 Florianópolis - SC - Brasil http://www.cfh.ufsc.br/~dkrause ------------------------------------------------------ Em 19/11/2011, às 23:05, Joao Marcos <[email protected]> escreveu: >> Infelizemente os grandes projetos axiomaticos foram deixados de lado. >> Estamos longe do tempo onde Suppes organizou um grande congresso sobre >> axiomatizacao em Berkeley em 1957: >> L. Henkin, P. Suppes, & A. Tarski (Eds.), The Axiomatic Method with Special >> Reference to Geometry and >> Physics. Proceedings of an international symposium held at the University >> of California, Berkeley, December 16, 1957 - January 4, 1958 > > O último volume da revista Synthese, publicado este mês, foi > inteiramente dedicado a este tópico do "método axiomático": > > The axiomatic method, the order of concepts and the hierarchy of sciences > http://www.springerlink.com/content/kj6n36072k17/ > > Há vários papers interessantes ali, inclusive um sobre a "revolução de > 1958 em Stanford". > > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > [email protected] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
