Querida comunidade: No âmbito do UNILOG 2025, que terá lugar em Cusco (Peru), de 9 a 14 de dezembro de 2025, serão realizados dois workshops especialmente dedicados a explorar o diálogo entre a lógica e as ciências. Convidamos a enviar resumos de até 1 página até o dia 10 de outubro de 2025.
________________________________ Workshop 1: Logic, Reasoning, and Cognitive Sciences A lógica contribuiu de maneira decisiva para o desenvolvimento das ciências cognitivas. A noção de raciocínio como cálculo de representações tem seus antecedentes na definição lógica de argumento. Por sua vez, a ideia de uma mente que calcula está no centro da teoria computacional da mente, que tem modelado o raciocínio e os processos cognitivos como operações de cálculo. Este workshop busca promover o intercâmbio entre lógica e ciências cognitivas. Tópicos sugeridos (não exaustivos): forma lógica e composicionalismo, forma lógica e iconicidade, o problema da parada, o problema da “busy beaver”, o problema da onisciência lógica, modelos lógicos do raciocínio, modelos cognitivos do raciocínio, gramática de Montague. Envios: [email protected] Mais informações: https://philevents.org/event/show/140358 ________________________________ Workshop 2: Logic and the Empirical Sciences O estudo da lógica em relação às ciências empíricas é central para compreender o raciocínio científico, a formação de teorias e a projeção do conhecimento. Este workshop busca explorar a interseção entre enfoques formais e filosóficos da ciência, com atenção aos princípios, métodos e fundamentos conceituais da investigação empírica. Tópicos sugeridos (não exaustivos): fundamentos lógicos e filosóficos do raciocínio científico, enfoques clássicos e não clássicos da teoria da ciência, métodos formais na análise de teorias e modelos científicos, indução, projetabilidade e continuidade na inferência científica, classes naturais, classificação e estrutura do conhecimento científico, realismo científico e realismo estrutural na avaliação de teorias, indução pessimista e confiabilidade das teorias, mudança e escolha de teorias, confirmação científica, abstração, modelização e generalização na prática científica, perspectivas interdisciplinares sobre lógica e ciências empíricas. Envios: [email protected] Mais informações: https://philevents.org/event/show/140366 -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO3doGx5Tf2n4dys09xan2Qm5v2TM1C5spKOryA0eTNaBPngWA%40mail.gmail.com.
