Sumários
Traduções
3 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Continuação de realização de traduções da linguagem corrente para o C. Proposicional. Especial incidência sobre a diferença entre condições necessária e suficiente e seus múltiplos correspondentes na linguagem natural.
A semântica da lógica proposicional. O caso difícil da condicional material.
2 Outubro 2017, 18:00 • Ricardo Santos
Formalização de argumentos e avaliação intuitiva da sua validade. A semântica da lógica proposicional. Funções de verdade: negação, conjunção, disjunção. 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ções
2 Outubro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios de tradução de frases na linguagem corrente na linguagem do Cálculo Proposicional.
Condicionais e bicondicionais. Formalização.
28 Setembro 2017, 18:00 • Ricardo Santos
Mais formalizações com condicionais. A bicondicional (‘A se e só se B’) como abreviatura de duas condicionais (‘A se B e A só se B’). Exercícios de formalização de frases complexas e de argumentos inteiros.
Forma lógica
28 Setembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercício de determinação da forma lógica de fórmulas bem formadas do Cálculo Proposicional.