Controvérsias lógicas em torno da condicional (2)

9 Fevereiro 2021, 18:30 • 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)

8 Fevereiro 2021, 18: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”. 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.

Um argumento em defesa da condicional material. 1ª parte: se a condicional é verofuncional, então a única tabela possível é a da lógica clássica. 2ª parte: a conexão estreita entre a condicional e a relação de consequência lógica fornece razões para pensar que a condicional é verofuncional.

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.

Outros exemplos difíceis. As condicionais contrafactuais: todas têm antecedente falso, mas nem todas são verdadeiras. Poderá traçar-se uma divisão entre condicionais indicativas e condicionais contrafactuais?

Exemplos problemáticos para a explicação pragmática: quando a condicional “errada” (ou aparentemente falsa) não é afirmada, mas é apenas um componente ou uma parte de algo que é afirmado.

Exemplos de argumentos (com condicionais) aparentemente inválidos, mas que a lógica clássica avalia como válidos.

O Método das Árvores para a Lógica Proposicional

4 Fevereiro 2021, 18:30 • 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.

O Método das Árvores para a Lógica Proposicional

2 Fevereiro 2021, 18:30 • 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)

1 Fevereiro 2021, 18: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.