Sobre a SBL
Histórico
Diretoria
Estatuto
Atas
 
Associados
Sócios Fundadores
Torne-se Sócio da SBL
 
Eventos
EBL
SLALM
 
Publicações
Boletins Elêtrônicos
Publicações
 
Contato
Fale com a SBL
Localização
 
Links
Links relacionados
 
 
Interatividade
 
 
 
 
 


 
Inicio / Eventos

Eventos

XVI EBL - ENCONTRO BRASILEIRO DE LÓGICA

XVI EBL - ENCONTRO BRASILEIRO DE LÓGICA / ESCOLA BRASILEIRA DE LÓGICA
7 A 13 DE MAIO 2011

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


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

Acesse o site do XVI EBL 2011 para mais informações

 
Model-Based Reasonig 2009 Brazil

Model-Based Reasoning 2009 BRAZIL

From Thursday 17 to Saturday 19 December 2009 (three days) the International Conference "MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY" will be held at the State University of Campinas - UNICAMP in the town of Campinas, Brazil. The conference derives from a research cooperation between theState University of Campinas - UNICAMP, the Department of Philosophy of the University of Pavia (Italy) and the department of Philosophy and Social Sciences of the University of Siena (Italy) and continues the themes both of the Conferences "Model-Based Reasoning in Scientific Discovery" MBR'98, "Model-Based Reasoning: Scientific Discovery, Technological Innovation, and Values" MBR'01, "Model-Based Reasoning in Science and Engineering: Abduction, Visualization, and Simulation" MBR'04, and "Model-Based Reasoning in Science and Medicine", 2006.

Program

The conference will deal with the logical, epistemological, and cognitive aspects of modeling practices employed in science and cognitive science, including logical and computational models of such practices. We solicit papers that examine the role of abduction, visualization, simulation, etc. in model-based reasoning from philosophical, historical, sociological, psychological, or computational perspectives. The conference is also devoted to examine the impact of Model-Based Reasoning research in the enhancement of various kinds of human cognitive skills, mental, hybrid, manipulatory, etc.

Relevant Research Areas

We call for papers that cover topics pertaining to model-based reasoning in science and human cognition from the following list: affordances, artifacts, and model-based reasoning, brain, neuroscience, and model-based reasoning, abduction, logical analyses related to model-based reasoning, visual, spatial, imagistic modeling and reasoning, simulative modeling, the role of diagrammatic representations, computational models of visual and simulative reasoning, causal and counterfactual reasoning in model construction, visual analogy, thought experimenting, manipulative reasoning, distributed model-based reasoning, embodiment in model-based reasoning, model-based reasoning in scientific discovery and conceptual change, model-based reasoning and ethics, model-based reasoning and semiotics, model-based reasoning in scientific explanation, model-based medical diagnosis, model-based reasoning in environment, evolution, development, model-based reasoning and traditional South-American cultures, model-based reasoning in engineering and robotics, model-based reasoning and technological artifacts, model-based reasoning and knowledge management, model-based reasoning and information technology, the role of models in scientific and technological thinking.

Acesse a página do evento para mais informações

 
 
Encontro Internacional de Lógica

XII Encuentro Internacional de Didáctica de La Lógica (EIDL XII Querétaro)

9 al 13 de noviembre de 2009

Objetivos:
- Compartir los materiales y las estrategias para mejorar la enseñanza de la lógica y el pensamiento crítico en cualquier nivel académico.
- Ayudar a desarrollar proyectos de investigación sobre la enseñanza de la lógica y a crear los nuevos materiales para la enseñanza de la lógica.
- Ampliar los recursos didácticos y el conocimiento lógico de los participantes interesados en la lógica y su enseñanza (profesores, investigadores, estudiantes, técnicos académicos).
- Promover estrategias didácticas para incorporar el pensamiento crítico como herramienta en cualquier disciplina del conocimiento.

Acesse a página do evento para mais informações

 

CLE-AIPS - SCIENCE, TRUTH AND CONSISTENCY
23-28 de agosto de 2009
Local: Auditório do IMECC-UNICAMP

Organização:
L'Académie Internationale de Philosophie des Sciences (A.I.P.S.)
Centro de Lógica, Epistemologia e História da Ciência (CLE)

 


MBR'09_BRAZIL- MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY
Abduction, Logic, and Computational Discovery
Campinas, 17-19 de dezembro de 2009
Local: Auditório do IMECC-UNICAMP e Hotel Royal Palm Tower

Organizadores:
Lorenzo Magnani e Walter Carnielli

Anais/Proceedings

- Serão publicados pela Springer (na série "Studies in Computational Intelligence")

- Artigos técnicos selecionados serão publicados num volume especial do "Journal of Algorithms in Cognition, Informatics and Logic" (publicado pela Elsevier, em breve sob a Oxford University Press)

Organização:
Departamento de Filosofia da Universidade de Pavia (Itália)
Departamento de Filosofia e Ciências Sociais da Universidade de Siena (Itália)
Sociedade Brasileira de Lógica (SBL)
Centro de Lógica, Epistemologia e História da Ciência (CLE)

Eventos já Realizados

16th The Workshop on Logic, Language, Information and Computation - WoLLIC’2009
21-24 de junho de 2009
Tóquio, Japão

CLE 30 Anos
Apresentação
Conferências CLE 30 Anos

Eventos CLE 30 Anos - Associados

CLE 30 Anos - XV EBL - XIV SLALM
11-17 de maio de 2008 - Paraty, RJ

Programação

V Simpósio Internacional Principia
Florianópolis, 6 a 9 de agosto de 2007
Hotel Praiatur (Praia de Ingleses, Florianópolis, SC)

Com a participação dos GTs da ANPOF

CLE-SBL 25 Anos
26-30 de maio de 2003
Local: CLE-UNICAMP

IV World Congress of Paraconsistency (WCP4)
13-18 de julho de 2008
Ormond College - University of Melbourne

III World Congress of Paraconsistency (WCP3)
28-31 de julho de 2003
IRIT-Toulouse, França

15th The Workshop on Logic, Language, Information and Computation - WoLLIC’2008
01-04 de julho de 2008
Edinburgh, Scotland

14th The Workshop on Logic, Language, Information and Computation - WoLLIC’2007
02-05 de julho de 2007
Rio de Janeiro, Brasil

 

SÉRIE DE COLÓQUIOS CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

Conforme decisão da reunião da assembléia geral da SBL em abril de 2006, a Sociedade Brasileira de Lógica passa a apoiar oficialmente a série de Colóquios Cone Sul de Ciências Formais.

XII COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 08 a 12/11/2008 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “VISUALIZAÇÃO”.

XI COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 14 a 18/11/2007 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “NEGAÇÃO”.

X COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 15 a 19/11/2006 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “MODALIDADES”.

XII SIMPÓSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA

Está programado para o início de 2004 o “XII Simpósio Latinoamericano de Lógica Matemática (XII SLALM)”.

O evento, que deverá realizar-se na Costa Rica, América Central, está sendo organizado pelo seguinte comitê: Carlos Di Prisco (Instituto Venezuelano de Investigações Científicas - IVIC, Venezuela), Xavier Caicedo (Univ. de los Andes, Colômbia), Renato Lewin (Univ. Católica de Chile, Chile), Marta Sagastume (Univ. de La Plata, Argentina), Francisco Miraglia (USP, Brasil) e Jorge Guier (Univ. de Costa Rica, Costa Rica).

CombLog'04 - Workshop on Combination of Logics: Theory and Applications
Department of Mathematics, IST, Lisbon, Portugal
July 28-30, 2004

Executive Committee:

Walter A. Carnielli (UNICAMP, Campinas)
Marcelo E. Coniglio (UNICAMP, Campinas)
Paulo Mateus (IST, Lisbon)
Amílcar Sernadas (IST, Lisbon, Chair)

 
 

 

 
Notícias:
 
De 29/03/2013 a 07/04/2013
Evento
4º Congresso Mundial e Escola da Lógica Universal
6/3/2013
Revista Cálculo
Problemão disfarçado de probleminha
 
03/09/2009
Agência Fapesp
Combate à exclusão racional
 
 
 
Eventos
 
 
 
 
 
 
 
 
 
 
 
Vídeos
 
 
 
 
 
 
 

© Copyright SBL 2009. Todos os Direitos Reservados.
SOCIEDADE BRASILEIRA DE LÓGICA - SBL
Centro de Lógica - UNICAMP
Rua Sérgio Buarque de Holanda, 251 | Caixa Postal - 6133 A | CEP 13083-970 Campinas, SP | Brasil
sbl@cle.unicamp.br