Sumários

Regras de Inferência

9 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Formas argumentativas dedutivamente válidas vs argumentos válidos.

As regras de Modus Ponens e Modus Tollens.
Falácias da afirmação do consequente e de negação do antecedente. Exemplos.
Derivações usando MT e MP.

Tabelas de verdade.

8 Outubro 2018, 18:00 • Ricardo Santos

Proposições verdadeiras ou falsas em diferentes circunstâncias possíveis; fórmulas verdadeiras ou falsas em diferentes ‘interpretações’ da linguagem. O uso de tabelas de verdade para determinar o valor de verdade de fórmulas complexas nas diversas interpretações. Tautologias, contradições e fórmulas (logicamente) contingentes.

Tradução

8 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Realização de exercícios de tradução e retroversão entre a linguagem natural e a linguagem do Cálculo Proposicional.



A semântica da lógica proposicional. O caso difícil da condicional material.

4 Outubro 2018, 18:00 • Ricardo Santos

A semântica da lógica proposicional. Funções de verdade: negação, conjunção, disjunção, condicional e biciondicional. A semântica da condicional material. Análise de exemplos problemáticos. Formas argumentativas, válidas e inválidas, envolvendo a condicional. Argumentos em defesa da tabela tradicional, segundo a qual uma condicional é falsa se tiver antecedente verdadeira e consequente falsa, e é verdadeira em todos os outros casos. Semântica e pragmática: frases literalmente verdadeiras, mas cuja asserção é inapropriada (ou enganadora) em certas circunstâncias. A condicional material como aquele sentido de ‘se… então…’ em que ‘Se A, então B’ é equivalente a ‘Não é o caso que (A e não B)’.

Tradução

4 Outubro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça

Tradução de enunciados da linguagem natural na linguagem do Cálculo Proposicional.

Distinção entre condição necessária e condição suficiente.
A condição necessária e suficiente.