Sumários
Controvérsias lógicas em torno da condicional (2)
8 Fevereiro 2023, 11:00 • Ricardo Santos
Análise de exemplos de argumentos com condicionais, que são aparentemente inválidos, mas que a lógica clássica avalia como válidos. A explicação pragmática (de Grice) não é aplicável a muitos destes exemplos, porque a condicional “errada” não é afirmada. A conclusão de que existem condicionais mais fortes do que a condicional material.
O alegado contra-exemplo ao modus ponens de Vann McGee. Discussão do contra-exemplo. Análise das condicionais que ocorrem no argumento: quais delas são condicionais materiais? A explicação do contra-exemplo como falácia que usa condicionais com forças diferentes na premissa e na conclusão (Lowe).
Controvérsias lógicas em torno da condicional (1)
6 Fevereiro 2023, 09:30 • Ricardo Santos
A lógica clássica e a semântica da condicional material: “se A então B” equivalente a “não-A ou B”. Regras de inferência válida envolvendo condicionais. Os paradoxos da condicional material: (i) todas as condicionais com antecedente falso são verdadeiras; (ii) todas as condicionais com consequente verdadeiro são verdadeiras; (iii) para quaisquer proposições A e B, ou A implica B ou B implica A. O caso difícil das condicionais contrafactuais: todas têm antecedente falso, mas nem todas são verdadeiras.
Explicação pragmática dos contra-exemplos. A teoria de Grice das máximas conversacionais e das implicaturas. A distinção entre verdade e asseverabilidade. Condicionais verdadeiras mas “erradas”, isto é, não-asseveráveis.
Dois argumentos em defesa da condicional material: (1) se a condicional é verofuncional, então a única tabela possível é a da lógica clássica; (2) muitos exemplos favorecem as teses de que “A ou B” implica “se não-A, então B” e “não (A e B)” implica “se A, então não-B”.
Análise de exemplos que colocam dificuldades à teoria clássica da condicional.
O Método das Árvores para a Lógica Proposicional
1 Fevereiro 2023, 11:00 • Ricardo Santos
O método das árvores para a lógica proposicional. Noções básicas: árvore, raiz, nós, caminhos. As regras do método. Árvores acabadas, fechadas e abertas. O uso das árvores como teste de validade dedutiva e como teste de verdade lógica (ou contradição). Resolução de exercícios. A construção de contramodelos a partir de um ramo aberto de uma árvore acabada; verificação do contramodelo.
Breve revisão da lógica proposicional clássica (2)
30 Janeiro 2023, 09:30 • Ricardo Santos
Exercícios de formalização na Lógica Proposicional clássica. O caso difícil da conectiva “a menos que” (ou “a não ser que”). A semântica para a lógica proposicional: noções de interpretação, de verdade numa interpretação, de consequência lógica e de verdade lógica (ou tautologia). Exercícios de raciocínio semântico.
Breve revisão da lógica proposicional clássica (1)
25 Janeiro 2023, 11:00 • Ricardo Santos
Breve apresentação da linguagem da Lógica Proposicional clássica (LP): os símbolos e as regras sintácticas. Símbolos primitivos e definidos. Convenções sobre o uso dos parêntesis. O carácter recursivo das regras. Exercícios simples de formalização.