Aula 2 - O Alcance da Lógica
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
Reviso os conceitos de argumento, premissas e conclusão e apresento os objetivos do dia: explorar os limites da lógica e introduzir conceitos como validade, contraexemplo e forma lógica.
[02:09] - Validade e Independência de Conteúdo
Demonstro que conseguimos reconhecer um argumento como válido mesmo sem saber o significado exato de todos os termos. Enfatizo que a validade foca na estrutura da relação entre as sentenças, e não no conteúdo específico.
[05:26] - Definições Técnicas: Validade vs. Consequência
Diferencio o jargão para vocês: reservo o termo "consequência" para a relação entre sentenças e "validade" para a propriedade do argumento. Explico que um argumento é válido se a verdade das premissas garante a verdade da conclusão.
[08:47] - Testando a Intuição: O Argumento do Motorista e da Babá
Proponho um novo argumento para testarmos nossa intuição e verificarmos se a verdade das premissas é realmente suficiente para sustentar a conclusão.
[13:33] - O Conceito de Contraexemplo
Defino o que é um contraexemplo: uma situação hipotética onde as premissas são verdadeiras, mas a conclusão é falsa. Explico que um único contraexemplo prova que o argumento é inválido.
[16:46] - Natureza da "Situação" (Cenário Hipotético)
Explico profundamente o conceito de situação como um "estado de coisas" que nos fornece informações para julgar se uma sentença é verdadeira ou falsa, mesmo que seja um cenário apenas imaginado.
[21:45] - Limites das Situações e Diferentes Lógicas
Discuto quais restrições impomos aos nossos cenários. Demonstro que, dependendo se aceitamos violar leis da física ou significados de palavras, teremos diferentes tipos de validade.
[26:38] - Validade Nomológica e Validade Conceitual
Exemplifico argumentos que dependem das leis da ciência ou do significado dos conceitos (como o exemplo da oftalmologista) para serem considerados válidos.
[33:43] - Validade Formal e Forma Lógica
Explico que a lógica formal estuda o limite máximo de permissividade ao desconsiderar o conteúdo. Demonstro como substituímos termos por variáveis (A, X, Y) para identificar padrões estruturais que garantem a validade independentemente das palavras usadas.
[50:39] - Argumentos Corretos (Soundness)
Defino o "argumento correto" como aquele que atende a duas condições: ser logicamente válido e possuir premissas que são de fato verdadeiras no mundo real. É este tipo de argumento que realmente comprova uma verdade.
[55:43] - Distinção entre Verdade e Validade
Mostro que um argumento pode ter todas as sentenças verdadeiras (como no exemplo do Oscar Schmidt) e ainda assim ser inválido, caso a conclusão não se siga logicamente das premissas.
[59:16] - Como Comprovar e Refutar Argumentos
Sistematizo as tarefas: para comprovar, precisamos de validade e premissas verdadeiras; para refutar, basta encontrar um contraexemplo ou mostrar que uma premissa é falsa.
[01:02:10] - Argumentos Indutivos
Menciono brevemente os argumentos indutivos, que são racionais e úteis, mas não infalíveis. Esclareço que nosso foco principal nesta disciplina será a lógica dedutiva.