Aula 03

Aula 03

1. 1. DIAGRAMAS DE EULER-VENN

   • "Todo A é B"
     • equivale a
       • A é subconjunto de B
       • B contém A
       • A é parte de B
   • "Algum A é B"
     • equivale a
       • Algum B é A
     • existe pelo menos um elemento de A que pertence a B
   • "Nenhum A é B"
     • equivale a
       • Nenhum B é A
       • Todo A não é B
       • Todo B não é A
   • "Algum A não é B"
     • NÃO equivale a
       • Algum B não é A

2. 2. INTRODUÇÃO AOS ARGUMENTOS

   • 1. Argumentos
     • Inferência
       • é proposição que é baseada em outras para declarar algo
       • corresponde a uma argumentação
         • conclusão
           • preposição que se deseja justificar
           • é única
         • premissa
           • preposições para apoiar a conclusão
           • podem ser várias
         • silogismo
           • argumento com duas premissas e uma conclusão

3. 3. AMBIGUIDADE

   • Uma mesma frase exprima mais de uma proposição

4. 4. VERDADE E VALIDADE

   • Argumentos são válidos ou inválidos
   • Proposições são verdadeiras ou falsas
   • A validade de um argumento só depende da conexão lógica com entre as premissas e conclusão
   • Não podemos ter argumentos válidos com premissas verdadeiras e conclusão falsa
     • seria um argumento inválido

5. 5. REGRAS DE INFERÊNCIA

   • Aumentam a rapidez na análise da validade de um argumento
   • Modus Ponens
     • modo de afirmar
     • Se P, então Q
       • P.
         • Portanto Q.
     • Se estudo, obtenho boas notas
       • Estudei.
         • Portanto, obterei boas notas
   • Modus Tollens
     • Modo de negar
     • Se P, então Q
       • Não Q
         • Portanto, não P
     • Se me alimento bem, me sinto disposto
       • Não me senti disposto
         • Portanto, não me alimentei bem
   • Silogismo hipotético
     • Se P, então Q
       • Se Q, então R.
         • Portanto, se P então R

6. 6. SOFISMAS OU FALÁCIA

   • É um argumento inválido que tem aparência de um argumento válido
   • Sua invalidade não é óbvia
   • Falácias formais
     • Nem sempre a invalidade de um argumento está na falsidade das premissas
       • pode ser na forma em que são colocadas
     • 1. Falácia de afirmação do consequente
       • Se p, então q
         • q.
           • Logo, p
       • Se João se atira do vigésimo andar, ele morre
         • João está morto
           • Logo, João se atirou do vigésimo andar
     • 2. Falácia de negação do antecedente
       • Se p, então q
         • ~p
           • Logo, ~q
       • Se Gui tomasse veneno, ficaria doente
         • Gui não tomou veneno
           • Logo, Gui não ficou doente

7. 7. REPRESENTAÇÃO DOS ARGUMENTOS

   • Representador pelo Diagrama de Venn
     • permite saber se um argumento é válido ou não
       • válidos
         • são evidentes
       • inválidos
         • são ambíguos
   • Regras para teste dos argumentos
     • De duas premissas
       • negativas
         • nada se conclui
       • afirmativas
         • não se pode tirar uma conclusão negativa
       • particulares
         • nada se conclui

8. 8. FIGURAS E MODO DO SILOGISMO CATEGÓRICO

   • Silogismos
     • Termo menor
       • Sujeito da conclusão
         • Presente na premissa menor
     • Termo maior
       • Predicado da conclusão
         • Presente na premissa maior
     • Termo médio
       • estabelece um vínculo entre os outros termos
   • Figuras
     • O que é?
       • Formas que um silogismo pode tomar devido a posição do termo médio como sujeito ou predicado nas proposições
     • Possibilidades
       • Figura 1
         • termo médio é sujeito na maior e predicado na menor
       • Figura 2
         • termo médio é predicado na maior e predicado na menor
       • Figura 3
         • termo médio é sujeito na maior e sujeito na menor
       • Figura 4
         • termo médio é predicado na maior e sujeito na menor

Imagens e arquivos do mapa