Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim. As apresentações serão gravadas e estarão disponíveis na página do evento http://lq.sbl.org.br (com a agenda completa).
Data: 07 de maio de 2020 Horário: 16:00h Apresentador: Prof. Wagner Sanz (DF/UFG) Título: Lógica como Teoria de Problemas Resumo: Nosso objetivo nesta exposição é o de abordar o problema da natureza da lógica. A disciplina tem longa história e passou por profundas modificações desde o fim do século XIX. Existem várias formas de caracterizar a disciplina e provavelmente essas formas não são equivalentes. Mais ainda, dependendo da escolha, algumas atividades caem sob o título de lógica e outras não, variando o caso conforme a decisão. Teoria de conjuntos faz parte da lógica? Teoria da recursão? E teoria da argumentação? Outra questão relevante envolvida nessa conceituação diz respeito à abordagem pedagógica da matéria. Diferentes escolhas implicam também diferentes abordagens pedagógicas. Levando em conta que o tema pode ser de interesse de matemáticos, de cientistas da computação, de filósofos, de lingüistas, etc., diferentes perspectivas se multiplicam em diversos vieses pedagógicos. Porque um aluno de filosofia deveria estudar teoria de conjuntos? Porque um aluno de ciência da computação deveria estudar teoria da argumentação? Essas são apenas algumas das questões que surgem naturalmente relacionadas a este ponto. Nosso esforço na exposição será de delinear uma Teoria de Problemas que articularemos como o quadro amplo no qual, a nosso ver, estaria inserida a lógica. A exposição tem caráter preliminar e sobretudo visa articular o problema mais amplo de caracterizar o que é ou como entender a lógica. A apresentação ocorrerá pelo Google Meet através do link público http://meet.google.com/eiq-mozd-faf . Caso você deseje contribuir com uma apresentação, por favor preencha o formulário disponível em https://forms.gle/bCmQHTA1p4kYaRga9 . -- Bruno Lopes Professor Adjunto Instituto de Computação Universidade Federal Fluminense http://www.ic.uff.br/~bruno -- 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 discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAD-Wq09UfNGw4zt1yxwVnQM_Ea4k%3DpW%3DnrgA%2BQQUoe9gTFwUsQ%40mail.gmail.com.
