Busca avançada
Ano de início
Entree

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

Processo: 12/24922-1
Linha de fomento:Auxílio à Pesquisa - Organização de Reunião Científica
Vigência: 29 de março de 2013 - 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 

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)