UNILOG'2013 - 4th World Congress and School on Universal Logic

• Processo: 12/24922-1
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 29 de março de 2013
• Data de Término da vigência: 07 de abril de 2013
• Área do conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Itala Maria Loffredo D'Ottaviano
• Beneficiário: Itala Maria Loffredo D'Ottaviano
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica polivalente Lógica intuicionista
• Palavra(s)-Chave do Pesquisador: logica deontica | Lógica Intuicionista | Lógica Linear | Lógica Não Monotônica | lógica polivalente | lógica universal | Lógica Universal

Resumo

Da mesma forma que a álgebra universal é uma teoria geral das estruturas algébricas, a lógica universal é uma teoria geral de estruturas lógicas. Durante o século 20, numerosas lógicas foram criadas: lógica intuicionista, lógica deôntica, lógica polivalente, lógica relevante, lógica linear, lógica não-monotônica etc. A lógica universal não é uma nova lógica, é uma forma de unificar essa multiplicidade de lógicas, com o desenvolvimento de ferramentas e conceitos gerais que podem ser aplicados às lógicas em geral. Um dos objetivos da lógica universal é determinar o domínio de validade dos metateoremas (p.e., o teorema da completude) e dar formulações gerais de metateoremas. A lógica universal pode também ser vista como uma caixa de ferramentas para a produção de lógicas específicas, adequadas a determinadas situações como, por exemplo, uma lógica deôntica paraconsistente temporal. Este evento será constituído por uma escola de lógica e um congresso. A escola oferecerá mais de 20 tutoriais sobre uma ampla gama de assuntos. O evento contará com conferencistas brasileiros e estrangeiros convidados de reconhecida competência, e com comunicações submetidas, organizadas em vários workshops. A Escola de Lógica versará sobre variados temas da lógica universal. Os tutoriais apresentarão técnicas gerais úteis para um estudo abrangente dos numerosos sistemas da lógica existentes na literatura. (AU)

Patente(s) depositada(s) como resultado deste projeto de pesquisa