Tutorial-Combinacao de logicas
Combinac¸a˜o de L´ ogicas(Tutorial)Primeira Mini-Escola de L´ogicaPUC–Rio, Setembro de 2005Marcelo E. ConiglioDepartamento de FilosofiaeCentro de Logic´ a, Epistemologia e Hist´oria da Ciˆencia (CLE)Universidade Estadual de CampinasCampinas, SP, Brazilconiglio@cle.unicamp.brResumoO objetivo deste tutorial ´e introducir as no¸c˜oes b´asicas de composi¸c˜aoe decomposi¸c˜ao de l´ogicas, assim como analisar algumas t´ecnicas intro-duzidas na literatura. Do ponto de vista da composi¸c˜ao de logi´ cas, ana-lisaremos a fibrila¸c˜ao (fibring, no original em inglˆes) de l´ogicas, tanto naperspectiva original de D. Gabbay quanto na perspectiva alg´ebrica (ca-tegorial) de A. Sernadas e seus colaboradores. A forma oposta de combi-nar l´ogicas (isto ´e, a decomposic˜¸ao de uma l´ogica dada em logi´ cas maissimples), denominada splitting logics, ser´a tamb´em analisada, atrav´es dediferentes m´etodos: Semˆantica de Tradu¸c˜oes Poss´ıveis e Fibrila¸c˜ao B´asicade Matrizes. Finalmente, a quest˜ao de recuperar uma logi´ ca a trav´es dacombina¸c˜ao de seus fragmentos ser´a tamb´em abordada. Varios´ exemplose aplicac˜¸oes ser˜ao discutidos.1Sum´ario1 Introdu¸c˜ao 32 No¸c˜oes preliminares 53 Semˆantica de Tradu¸c˜oes Poss´ıveis 104 Fibrila¸c˜ao de Gabbay de l´ogicas modais 165 Fibrila¸c˜ao categorial 186 Fibrila¸c˜ao B´asica de Matrizes 277 Colapso e anti-colapso:Traduc¸˜oes e Metatradu¸c˜oes 3221 Introdu¸c˜aoO uso da logica´ formal na representa¸ c˜ao do ...