Aula 4 - Introdução Filosófica à Lógica Verofuncional
Clique nos títulos abaixo para assistir apenas aos trechos correspondentes.
Introduzo uma reflexão sobre o uso da intuição para decidir quais situações são aceitáveis. Questiono até que ponto é racional considerar concebível um cenário onde elefantes se dissolvem na água, enquanto rejeitamos como irracional um cenário onde chove e não chove simultaneamente.
[02:10] - A Lógica como Limite da Racionalidade
Defino a lógica como uma proposta para estabelecer o limite do que é concebível, separando o racional do ilógico. Explico que a tarefa da lógica é descrever as regras mínimas que todos os cenários hipotéticos devem satisfazer para serem considerados admissíveis.
[04:27] - Pluralismo Lógico e Aporias Filosóficas
Abordo a inexistência de uma resposta objetiva sobre qual sistema lógico seria o "correto". Comparo a lógica a outras áreas da filosofia, como a ética e a metafísica, que lidam com aporias — questões que admitem múltiplas respostas racionais, porém conflitantes.
[07:31] - Apresentação da Lógica Verofuncional Clássica
Apresento o sistema que estudaremos: a lógica verofuncional clássica (ou cálculo proposicional). Explico que este sistema postula características mínimas para cenários admissíveis baseadas em palavras específicas chamadas operadores lógicos (não, e, ou, se... então).
[11:02]- Limites e Adequação do Sistema
Discuto os desafios de qualquer sistema lógico, como ser permissivo demais (não reconhecer validades conceituais) ou rígido demais (exigir bivalência absoluta, como no caso de termos vagos como "careca"). Defendo que estudaremos a lógica à moda dos filósofos, questionando sempre seu alcance.
[16:18] - Validade em Virtude da Forma
Inicio o estudo do Capítulo 4 focando na validade formal. Utilizo o argumento sobre "Sheila estar melancólica" para demonstrar como podemos identificar um esqueleto estrutural que sustenta o raciocínio independentemente do conteúdo das sentenças.
[21:31] - Identificação de Estruturas Válidas
Demonstro que qualquer argumento que compartilhe a mesma estrutura de um argumento válido será também válido. Comparo diferentes exemplos para ilustrar como a forma lógica garante a preservação da verdade entre premissas e conclusão.
[28:47] - O Método Formal e a Validade Conceitual
Explico o modo lógico de reconhecer a validade através da extração de estruturas. Diferencio a validade formal da validade puramente conceitual (como no exemplo "macaxeira/aipim"), destacando que a lógica se ocupa de padrões repetíveis.
[32:42] - Letras Sentenciais e Sentenças Atômicas
Apresento o primeiro elemento formal do sistema: as letras sentenciais. Defino as sentenças atômicas como as unidades mais simples, sem partes que sejam sentenças, que servem como blocos básicos de construção da nossa linguagem formal.
[37:49]- Convenções e Uso de Índices
Estabeleço as convenções para o uso de letras maiúsculas (A, B, C...) e explico a utilização de índices numéricos para garantir que tenhamos uma coleção ilimitada de símbolos para representar qualquer quantidade de sentenças.
[40:09] - Chave de Simbolização
Apresento a chave de simbolização como a legenda essencial para o processo de tradução entre o português e a linguagem formal. Enfatizo a importância de fixar o significado das letras dentro de um contexto para evitar confusões durante os cálculos lógicos.