Sociedade Brasileira de Lógica

2010-12-16T15:31:00.001-08:00

Call for Papers
Chamada de Trabalhos para o XVI Encontro Brasileiro de Lógica (EBL 2011)
incluindo uma "Tarde Turing" dedicada à celebração do centenário de nascimento de Alan Turing (1912-1954)

9 a 13 de maio de 2011
Laboratório Nacional de Computação Científica – Petrópolis (RJ)

O XVI Encontro Brasileiro de Lógica (EBL) é um evento que ocorre tradicionalmente. Faz parte da agenda de eventos de vários e destacados pesquisadores do Brasil e da América Latina, nas áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Lógica e Matemática.
As versões anteriores do EBL foram um grande sucesso, atraindo pesquisadores de toda a América Latina e de outros lugares. O EBL tornou-se um importante ponto de encontro e fórum de discussão para estudantes e pesquisadores interessados nos estudos interdisciplinares de Lógica.
Em 2011, o EBL será realizado no Laboratório Nacional de Computação Científica (LNCC), em Petrópolis, Rio de Janeiro. O presidente do Comitê Científico é Newton Carneiro Affonso da Costa (CLE e USP/UFSC) e o Presidente da Comissão Organizadora é Oswaldo Chateaubriand (CLE e PUC-Rio).
Durante cinco dias, serão apresentadas cerca de 10 palestras plenárias e 70 trabalhos originais, com até três sessões paralelas. Em 2011, o EBL também incluirá uma "Tarde Turing", dedicada à celebração do centenário de nascimento de Alan Turing (1912-1954).
O objetivo do EBL é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial e Matemática.
Os tópicos centrais do evento incluem, mas não estão restritos, aos seguintes:
Lógica Matemática, Filosófica e Aplicações;
História e Filosofia da Lógica;
Lógica Não-Clássica e Aplicações;
Filosofia das Ciências Formais,
Fundamentos da Computação, da Física e da Matemática.
Os EBLs anteriores ocorreram em Campinas (1977), Campinas (1978), Recife (1979), Campinas (1980), Campinas (1981), São José dos Campos (1983), Rio de Janeiro (1984), São José dos Campos (1986), São Paulo (1988), Itatiaia (1993), Salvador (1996), Itatiaia (1999), Campinas (2003), Itatiaia (2006), Paraty (2008).

ESCOLA DE LÓGICA

Desde a última edição do EBL, em 2008, foi incorporada ao encontro uma Escola de Lógica, destinada a alunos de graduação e pós-graduação com interesse em lógica e áreas afins, mas aberta também a todos os interessados. A Escola de Lógica acontecerá no fim de semana anterior ao EBL 2011, nos dias 07 e 08 de maio de 2011, no Instituto de Matemática da UFF.

Em 2011 serão oferecidos os seguintes minicursos:

1. SATISFIABILITY AND PROBABILISTIC SATISFIABILITY
Marcelo Finger (USP)

2. FOUNDATIONS OF COMPUTERIZED THEOREM PROVING
João Marcos (UFRN)

3. PROOF THEORY FOR CONTEMPORARY LOGIC BY HANDLING POLINOMIALS OVER FINITE FIELDS
Walter Carnielli (UNICAMP)

4. THE ALGEBRAIC TRADITION OF LOGIC AND SOME RELATIONAL SISTEMS
Leandro O. Suguitani (UNICAMP), Itala M. L. D'Ottaviano (UNICAMP), Petrucio Viana (UFF)

5. Tba, Oswaldo Chateaubriand (PUC-Rio)

Para mais informações sobre os cursos e inscrições, consulte:
http://www.cle.unicamp.br/ebl2011/logic_school.php

Comitê Científico da Escola de Lógica:
Renata de Freitas (UFF)
Petrucio Viana (UFF)

CHAMADAS DE TRABALHO

Convidamos submissões em todos os temas relacionados a Lógica. As submissões devem ser em português, espanhol ou inglês, de 2 (duas) a um máximo de 10 (dez) páginas, incluindo um pequeno resumo de, no máximo, 20 linhas e referências bibliográficas.
O autor deverá enviar um arquivo .pdf para o endereço ebl2011@vm.uff.br, até o dia 15 de janeiro de 2011.
Os trabalhos podem ser apresentados em português, espanhol ou inglês, num intervalo de tempo de 20 (exposição) + 10 (discussão) minutos.
O Comitê Científico, levará em consideração os seguintes itens, na seleção dos trabalhos que serão apresentados:
1. Pertinência e relevância do tema;
2. Originalidade;
3. Qualidade do trabalho;
4. Relevância acadêmica do autor.
A lista de trabalhos aceitos para apresentação será divulgada no dia 15 de março de 2011. Pelo menos um autor de cada artigo aceito deverá apresentar o trabalho no encontro.

COMITÊ CIENTÍFICO

Newton Carneiro Affonso da COSTA (Presidente) (CLE, USP, UFSC)
Mario Folhadela BENEVIDES (UFRJ)
Fábio M. BERTATO (CLE)
Jean-Yves BÉZIAU (UFRJ)
Ricardo BIANCONI (USP)
Juliana BUENO-SOLER (UFABC/Santo André)
Xavier CAICEDO (CLE, Univ. de Los Andes)
Walter CARNIELLI (CLE, UNICAMP)
Oswaldo CHATEAUBRIAND (CLE, PUC-Rio)
Marcelo Esteban CONIGLIO (CLE, UNICAMP)
Antonio Carlos da Rocha COSTA (FURG)
Alexandre COSTA-LEITE (UnB)
Itala M. Loffredo D'OTTAVIANO (CLE, UNICAMP)
Marcelo FINGER (USP)
Edward Hermann HAEUSLER (PUC-Rio)
Décio KRAUSE (UFSC)
João MARCOS (UFRN)
Ana Teresa de Castro MARTINS (UFC)
Maria da Paz Nunes de MEDEIROS (UFRN)
Francisco MIRAGLIA (USP)
Luiz Carlos PEREIRA (PUC-Rio, UFRJ)
Elaine PIMENTEL (UFMG)
Samuel Gomes da SILVA (UFBA)

DATAS IMPORTANTES

15 de janeiro de 2011: data limite para submissão de trabalhos
15 de março de 2011: divulgação dos trabalhos aceitos
9 de abril de 2011: data limite para inscrição do autor que vai apresentar o trabalho
9 a 13 de maio de 2011: apresentação dos trabalhos

INSCRIÇÕES

http://www.cle.unicamp.br/ebl2011/inscricao.php

REALIZAÇÃO

Centro de Lógica, Filosofia e História da Ciência, UNICAMP
Departamento de Filosofia, Departamento de Informática, PUC-Rio
Instituto de Matemática e Estatística, UFF

APOIO

Academia Brasileira de Ciências - Regional São Paulo (ABC-SP)
Association for Symbolic Logic (ASL)
Sociedade Brasileira de Lógica (SBL)
Turing Centenary Advisory Committee (TCAC)

2010-12-16T15:24:00.000-08:00

XVI EBL - Encontro Brasileiro de Lógica - 9 a 13 de maio

Escola de Lógica - 7 e 8 de maio de 2011

Laboratório Nacional de Computação Científica – Petrópolis (RJ)

Instituto de Matemática/UFF – Niterói (RJ)

Histórico

O Encontro Brasileiro de Lógica é um evento que ocorre tradicionalmente, destinado a pesquisadores. O EBL faz parte da agenda de eventos de vários e destacados pesquisadores do Brasil e da América Latina, nas áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Lógica e Matemática. É importante salientar que várias agências de fomento, nacionais e internacionais (FAPESP, CNPq, FINEP, ASL-USA) e também o FAEPEX têm apoiado regularmente a realização dos Encontros Brasileiros de Lógica.

O objetivo dos Encontros Brasileiros de Lógica é estimular a divulgação e a discussão dos trabalhos de pesquisa na área de Lógica e suas interconexões com as áreas de Ciência da Computação, Fundamentos e Filosofia das Ciências, Informática, Inteligência Artificial, Matemática.

Realização/Realization:
Centro de Lógica, Epistemologia e História da Ciência - CLE

Apoio/Sponsorship:
Sociedade Brasileira de Lógica - SBL
Association for Symbolic Logic - ASL
Academia Brasileira de Ciências - Regional São Paulo / Brazilian Academy of Sciences - São Paulo Chapter

Acesse a página oficial do XVI EBL - Encontro Brasileiro de Lógica

2009-11-24T15:25:00.000-08:00

Pensamento Crítico, de Walter Carnielli, será lançado às 19 horas

Hélio Costa Júnior

Fotos: Dilvulgação

Edição das imagens: Everaldo Silva

[24/11/2009] Versão nacional baseada no best-seller americano Critical Thinking, o livro Pensamento Crítico – O poder da lógica e da argumentação (Editoras Cultura e Rideel), de autoria dos professores Walter Carnielli, diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE) da Unicamp, e de Richard L. Epistein, do Advanced Reasonig Forum, entidade ligada à atividade de argumentação e raciocínio crítico (EUA), será lançado nesta terça-feira (24), às 19 horas, na Livraria Cultura do Shopping Center Iguatemi de Campinas.

O livro estuda as técnicas de como construir um bom argumento, analisa as discussões sobre o pensamento crítico, frases vagas, afirmações morais, maus argumentos, frases ambíguas, entre outras. Na publicação, os autores utilizam-se de exemplos do cenário público brasileiro, como política, televisão, jornalismo, cultura, e de gráficos, cartoons, imagens e tabelas para ilustrar o conteúdo e facilitar a compreensão da obra.

A versão brasileira é dirigida a estudantes de todas as categorias, inclusive secundaristas e vestibulandos, profissionais de todas as especialidades que necessitem analisar, expor e criticar argumentos e qualquer pessoa interessada na arte de argumentar.

Os autores
Carnielli é autor de vários livros e artigos científicos. Seus trabalhos estão publicados em editoras nacionais e internacionais. Foi vencedor do Prêmio Jabuti, em 2007, na categoria "Melhor Livro de Ciências Exatas, Tecnologia e Informática". É membro-fundador do Advanced Reasoning Forum.

Epistein é presidente do Advanced Reasoning Fórum e autor de diversas publicações. Entre eles Critical Thinking (Wadsworth, 1998) e Five ways to saying ‘therefore’ (Wadsworth, 2001).

SERVIÇO
Pensamento Crítico – O poder da lógica e da argumentação
Walter Carnielli e Richard L. Epstein
ISBN: 978853391298-4
Formato: 135 mm x 205 mm
Páginas: 384
Informações: 19-3521-6517 ou 7850-9138

Lançamento: Pensamento Crítico

2009-10-30T06:15:00.000-07:00

Pensamento crítico – O poder da lógica e da argumentação
Autores: Walter Carnielli e Richard Epstein Editora Rideel, São Paulo,2009

Este livro pretende funcionar como um guia prático da arte de pensar, convencer racionalmente e se defender da desonestidade intelectual

Mais informações

XII Encuentro Internacional de Didáctica de la Lógica

2009-10-30T01:41:00.001-07:00

XII ENCUENTRO INTERNACIONAL DE
DIDÁCTICA DE LA LÓGICA

“Herramientas para el aprendizaje de la lógica y el pensamiento crítico”

QUE SE EFECTUARÁ EN LAS INSTALACIONES DE LA
ESCUELA DE BACHILLERES “SALVADOR ALLENDE” DE LA UNIVERSIDAD AUTÓNOMA DE QUERÉTARO
DEL LUNES 9 AL VIERNES 13 DE NOVIEMBRE DE 2009

SBL - Sociedade Brasileira de Lógica

2009-10-08T20:06:00.000-07:00

A Sociedade Brasileira de Lógica (SBL) foi criada em 14 de fevereiro de 1979, em reunião realizada no Instituto de Matemática, Estatística e Computação Científica (IMECC) da Universidade Estadual de Campinas (UNICAMP), presidida pelo Prof. Dr. Oswaldo Porchat Pereira, coordenador do Centro de Lógica, Epistemologia e História da Ciência (CLE)

A SBL é filiada à:

International Union of History and Philosophy of Science
Division of Logic, Methodology and Philosophy of Science
International Council of Scientific Unions (ICSU )

Objetivos da SBL

A Sociedade Brasileira de Lógica tem por objetivos congregar lógicos e estudiosos da lógica em todos os seus aspectos do Brasil e também do exterior, estimular e manter um interesse ativo pela lógica e suas aplicações, incentivar a pesquisa e contribuir para o aperfeiçoamento neste ramo da ciência.

A Sociedade mantém estreita relação científica com os lógicos e grupos de pesquisa da América Latina e com o Committee on Logic in Latin America da Association for Symbolic Logic.