Princípios de LógicaProf. Oscar
lógicaSegundo Aristóteles, a lógica não se enquadra em nenhum dos 3 gêneros de ciências, sendo, pelo contrário, uma prévia condição para todas elas. A lógica mostra como procede o pensamento, ou seja, trata de seus elementos (categorias, definições e proposições) e sua estrutura (argumentos)
lógicaCategorias: elementos fundamentais da linguagem (substância, ação, qualidade, etc.)Definições: determinam o objeto que a palavra indica, segundo a ideia de proximidade e diferença (ex. homem = animal racional)Proposições: expressão de um juízo que afirma ou nega a relação de dois conceitos; verdade e falsidade são determinadas a partir da correspondência (ou não) entre o que é enunciado e o que se constata na realidade.
lógicaArgumento: Arranjo de proposições onde uma delas (aquela sobre a qual se está argumentando) é determinada como decorrente das demais.Pode ser considerado conforme seus aspectos formais, ou conforme o caráter de suas premissas (se são verdadeiras, falsas ou verossímeis)
lógicaEstrutura padrão de um argumento: (P) - Todo A é B(P) - Todo B tem a propriedade Z(C) - Portanto, todo A tem a propriedade ZPremissas – servem de base à conclusãoConclusão - sobre o que se argumenta
lógicaA lógica formal de um argumento:(P) - Todo estudante é halterofilista(P) - Todo halterofilista tem gengivite crônica(C) - Portanto, todo estudante tem gengivite crônica(P) - Todo cabeça de bagre é filhinho da mamãe(P) - Wardisney é cabeça de bagre(C) - Portanto, Wardisney é filhinho da mamãe
lógicaSilogismo científico: argumento válido com premissas verdadeirasToda baleia é um mamíferoTodo mamífero tem sangue quentePortanto, toda baleia tem sangue quenteTodo homem é mortalSócrates é homemLogo, Sócrates é mortal
lógicaDiferença entre verdade e validadeUma conclusão que provém de um argumento válido não é necessariamente verdadeira.Argumentos podem ser absurdos do ponto de vista da verdade de suas premissas, porém perfeitamente válidos.Argumentos serão válidos ou não-válidosProposições serão verdadeiras ou falsas
lógicaDiferença entre verdade e validadeEm polêmica com os Sofistas, Aristóteles irá ressaltar a diferença que existe entre provar (apresentar o porque) e persuadir(apresentar o em que)Na prova, nos valemos de silogismos científicos; na persuasão, de silogismos dialéticosUm argumento válido, jamais conduzirá  premissas verdadeiras a conclusões que não o sejam.
lógicaArgumentos condicionaisA coerência é a maior virtude em Lógica.Não-contradição = ~ (p ^ ~p) = [não(p e não-p)]O diamante é mais duro que o ouro e não é mais duro que o ouro                                          Se o diamante é mais duro que o ouro, então o ouro não é mais duro que o diamante.
lógicaArgumentos condicionaisp g q                 afirmação do antecedentep                     :. q                       válido  (Modus Ponens)p g q                  afirmação do consequenteq                     :. p                        não-válido  (Falácia)
lógicaArgumentos condicionaisp g q                 negação do antecedente                     ~p                     :. ~q                      não-válido (Falácia)p g q                 negação do consequente         ~q                     :. ~p                        válido (Modus Tollens)
lógicaArgumentos indutivos e dedutivosArgumentos dedutivos são os únicos dotados de necessidade lógica, ou seja, necessariamente conduzem de premissas verdadeiras à conclusões também verdadeirasArgumentos indutivos estabelecem apenas probabilidades, sendo seus resultados prováveis, porém não necessários
lógicaArgumentos indutivos e dedutivosArgumento por analogia:A, B e C têm a propriedade ZA e B têm a propriedade YLogo, C tem a propriedade YJoão, Joaquim é José caíram do corrimãoLogo, Chad também cairá?
lógica“Mesmo que você tenha visto 100 mil cisnes brancos ao longo de sua vida, nada de racional lhe garante que o próximo cisne que você vir será também branco”                                                Sir Karl Popper (1902-1994)

Princípios de lógica

  • 1.
  • 2.
    lógicaSegundo Aristóteles, alógica não se enquadra em nenhum dos 3 gêneros de ciências, sendo, pelo contrário, uma prévia condição para todas elas. A lógica mostra como procede o pensamento, ou seja, trata de seus elementos (categorias, definições e proposições) e sua estrutura (argumentos)
  • 3.
    lógicaCategorias: elementos fundamentaisda linguagem (substância, ação, qualidade, etc.)Definições: determinam o objeto que a palavra indica, segundo a ideia de proximidade e diferença (ex. homem = animal racional)Proposições: expressão de um juízo que afirma ou nega a relação de dois conceitos; verdade e falsidade são determinadas a partir da correspondência (ou não) entre o que é enunciado e o que se constata na realidade.
  • 4.
    lógicaArgumento: Arranjo deproposições onde uma delas (aquela sobre a qual se está argumentando) é determinada como decorrente das demais.Pode ser considerado conforme seus aspectos formais, ou conforme o caráter de suas premissas (se são verdadeiras, falsas ou verossímeis)
  • 5.
    lógicaEstrutura padrão deum argumento: (P) - Todo A é B(P) - Todo B tem a propriedade Z(C) - Portanto, todo A tem a propriedade ZPremissas – servem de base à conclusãoConclusão - sobre o que se argumenta
  • 6.
    lógicaA lógica formalde um argumento:(P) - Todo estudante é halterofilista(P) - Todo halterofilista tem gengivite crônica(C) - Portanto, todo estudante tem gengivite crônica(P) - Todo cabeça de bagre é filhinho da mamãe(P) - Wardisney é cabeça de bagre(C) - Portanto, Wardisney é filhinho da mamãe
  • 7.
    lógicaSilogismo científico: argumentoválido com premissas verdadeirasToda baleia é um mamíferoTodo mamífero tem sangue quentePortanto, toda baleia tem sangue quenteTodo homem é mortalSócrates é homemLogo, Sócrates é mortal
  • 8.
    lógicaDiferença entre verdadee validadeUma conclusão que provém de um argumento válido não é necessariamente verdadeira.Argumentos podem ser absurdos do ponto de vista da verdade de suas premissas, porém perfeitamente válidos.Argumentos serão válidos ou não-válidosProposições serão verdadeiras ou falsas
  • 9.
    lógicaDiferença entre verdadee validadeEm polêmica com os Sofistas, Aristóteles irá ressaltar a diferença que existe entre provar (apresentar o porque) e persuadir(apresentar o em que)Na prova, nos valemos de silogismos científicos; na persuasão, de silogismos dialéticosUm argumento válido, jamais conduzirá premissas verdadeiras a conclusões que não o sejam.
  • 10.
    lógicaArgumentos condicionaisA coerênciaé a maior virtude em Lógica.Não-contradição = ~ (p ^ ~p) = [não(p e não-p)]O diamante é mais duro que o ouro e não é mais duro que o ouro Se o diamante é mais duro que o ouro, então o ouro não é mais duro que o diamante.
  • 11.
    lógicaArgumentos condicionaisp gq afirmação do antecedentep :. q válido (Modus Ponens)p g q afirmação do consequenteq :. p não-válido (Falácia)
  • 12.
    lógicaArgumentos condicionaisp gq negação do antecedente ~p :. ~q não-válido (Falácia)p g q negação do consequente ~q :. ~p válido (Modus Tollens)
  • 13.
    lógicaArgumentos indutivos ededutivosArgumentos dedutivos são os únicos dotados de necessidade lógica, ou seja, necessariamente conduzem de premissas verdadeiras à conclusões também verdadeirasArgumentos indutivos estabelecem apenas probabilidades, sendo seus resultados prováveis, porém não necessários
  • 14.
    lógicaArgumentos indutivos ededutivosArgumento por analogia:A, B e C têm a propriedade ZA e B têm a propriedade YLogo, C tem a propriedade YJoão, Joaquim é José caíram do corrimãoLogo, Chad também cairá?
  • 15.
    lógica“Mesmo que vocêtenha visto 100 mil cisnes brancos ao longo de sua vida, nada de racional lhe garante que o próximo cisne que você vir será também branco” Sir Karl Popper (1902-1994)