Direito, Lógica e Inteligência Artificial
Pós-Graduação em Direito Digital e Lawtech da Egas Moniz
Descrição: A lógica pode ser vista como dois campos distintos, mas inter-relacionados: por um lado, uma soft skills que diz respeito ao pensamento crítico (critical thinking), raciocínio aguçado para avaliar informações, evitando o erro e incluindo capacidade de elaborar e expor argumentos claros, coerentes e sólidos; por outro lado, pode ser vista como uma disciplina matemática que cria e investiga linguagens para a representação simbólica de informação e conhecimento, e define precisamente a noção de consequência lógica e dedução. Seja como pensamento crítico, seja como lógica matemática, trata-se de uma disciplina relevante à formação do profissional do direito do futuro por diversos motivos: (1) o pensamento crítico é uma habilidade essencial à argumentação e à compreensão de informações, inclusive aplicável no combate às fake news; (2) a lógica matemática fornece ferramentas analíticas rigorosas para a avaliação de informações e argumentos em todos os campos; (3) a lógica matemática está por trás dos fundamentos da abordagem simbólica em Inteligência Artificial e até mesmo da própria computação.
Objetivo: Introduzir de forma prática e ativa a lógica como pensamento crítico e a lógica como lógica matemática, a fim de que o estudante apure suas habilidades analíticas, inclusive fornecendo-lhe ferramentas lógicas para tanto. O foco da disciplina será sobre a aplicação de tais habilidades ao domínio jurídico. No contexto da lógica matemática, espera-se que o estudante compreenda a sua relação com a inteligência artificial e como ele mesmo pode criar representações simbólicas do direito.
Carga horária: 30h.
Ementa
O que é lógica.
Lógica como pensamento crítico.
Vieses cognitivos e fake news.
Evitando enganos causados por gráficos.
Tipos de raciocínio: dedução, indução e abdução.
Argumento, premissa e conclusão.
Análise de argumentos.
Correlação e causalidade.
Verdade e validade.
Diagramas de Venn e silogismos.
Lógica Proposicional: sintaxe e semântica.
Tautologia, contradição e contingência.
Equivalência lógica e consequência lógica.
Inteligência Artificial: o que é e quais as aplicações atuais.
IA Simbólica x Conexionista.
Sistemas Baseados em Conhecimento e Sistemas Especialistas.
Direito da Inteligência Artificial.
Inteligência Artificial no Direito.
Slides e Atividades
Avaliação
Material de Estudo
Pensamento Crítico
Critical Thinking Web [inclui lógica formal]
Capítulo 2 do livro do Alec Fisher sobre pensamento crítico
Como mentir com gráficos: mais 7 detalhes que podem te enganar
Como identificar a veracidade de uma informação e não espalhar boatos
O efeito Dunning-Kruger: por que as pessoas falam sem ter nenhum conhecimento
Lógica Formal
Inteligência Artificial
Ferramentas