Fórum de Lógica Computacional by Jefferson Morgado https://padlet.com/jeffersonmorgado/forum_logicacomput en-us 2022-08-21 13:46:33 UTC 2022-08-21 17:26:30 UTC hello@padlet.com Aristóteles é o autor do primeiro trabalho sobre Lógica. jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266569087 A Lógica tem dois significados principais: fazer uso de raciocínio em alguma atividade e apresentar-se como estudo normativo e filosófico do raciocínio válido. No segundo sentido, a lógica é discutida principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos sentidos se baseiam no foco comum referente à harmonia de raciocínio e à proporcionalidade formal entre argumentos. Assim, visa a correta relação entre todos os termos e a total concordância entre cada um deles dentro de um desenvolvimento.

A lógica examina de forma genérica as formas que a argumentação pode tomar, quais dessas formas são válidas e quais são falaciosas.
]]> 2022-08-21 15:10:32 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266569087 Proposição é um termo usado em lógica para descrever o conteúdo de asserções. jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266574453 A proposição lógica é definida como toda oração que declare algo, podendo ser valorada como verdadeira ou falsa, sem casos em que ela se encaixe nas duas opções. Dessa maneira, uma frase deverá ter um sujeito e um predicado.

Para que isso seja compreendido de maneira mais simples, a proposição lógica é dividida em algumas categorias, como o princípio da identidade (onde uma proposição verdadeira é verdadeira e uma proposição falsa é falsa), o princípio do terceiro excluído (uma proposição deve ser verdadeira ou falsa, não existindo outra opção) e o princípio de não-contradição (uma proposição nunca será verdadeira e falsa de modo simultâneo).

Além disso, pode ser dividida em duas partes: proposições lógicas simples e compostas, sendo a primeira representada de forma única e a segunda por um conjunto.
]]> 2022-08-21 15:26:38 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266574453 jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266594450 Em Lógica, uma premissa é uma fórmula considerada hipoteticamente verdadeira, dentro de uma dada inferência. Esta constitui-se de duas partes: uma coleção de premissas, e uma conclusão.

Premissa significa a proposição, o conteúdo, as informações essenciais que servem de base para um raciocínio, para um estudo que levará a uma conclusão.
]]> 2022-08-21 16:29:05 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266594450 jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266600022 Um argumento pode ser definido como uma afirmação acompanhada de justificativa (argumento retórico) ou como uma justaposição de duas afirmações opostas, argumento e contra-argumento (argumento dialético).

Na lógica e na filosofia um argumento é um conjunto de uma ou mais sentenças declarativas, também conhecidas como proposições, ou ainda, premissas, acompanhadas de uma outra frase declarativa conhecida como conclusão.

Em um argumento dedutivo (válido), o valor-verdade da conclusão é uma consequência lógica necessária das premissas que a antecedem, ou seja, sendo verdadeiras as premissas, segue-se que necessariamente será verdadeira a conclusão. Caso alguma(s) premissa(s) não seja(m) verdadeira(s), uma conclusão verdadeira será apenas uma contingência. Também será contingente a verdade de uma conclusão num argumento dedutivo inválido, ou seja, um argumento em que mesmo a veracidade integral das premissas não garante, necessariamente, uma conclusão verdadeira.

Em argumento indutivo a verdade da conclusão não é garantida pelas premissas, mas apenas indicada pelas premissas.
]]> 2022-08-21 16:47:25 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266600022 jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266602852 Um silogismo ('conexão de ideias', 'raciocínio') é um termo filosófico com o qual Aristóteles designou a conclusão deduzida de premissas, ou seja, a argumentação lógica perfeita.

Na forma clássica, é um argumento dedutivo constituído de três proposições declarativas (duas premissas e uma conclusão) que se conectam de tal modo que, a partir das duas primeiras (as premissas), é possível deduzir uma conclusão.

Composição do Silogismo Aristotélico

A primeira e a segunda proposições são chamadas de premissas e a última é a conclusão:

  • Premissa Maior (P1): declaratória, onde todo M é P.
  • Premissa Menor (P2): indicativa, onde S é M.
  • Conclusão: da união das duas primeiras premissas, é possível deduzir a terceira proposição, onde S é P.

Exemplo dado pelo próprio Aristóteles: Sabendo que todos os homens são mortais (premissa maior) e que Sócrates é um homem (premissa menor), nós podemos concluir que Sócrates é mortal. Argumentos silogísticos geralmente são representados em um texto de três linhas:

Todos os homens são mortais.
Sócrates é um homem.
Logo, Sócrates é mortal.
]]> 2022-08-21 16:56:31 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266602852 jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266610182 O termo falácia deriva do verbo latino fallere, que significa enganar. Designa-se por falácia um raciocínio errado com aparência de verdadeiro. Na lógica e na retórica, uma falácia é um argumento logicamente incoerente, sem fundamento, inválido ou falho na tentativa de provar eficazmente o que alega.
Argumentos que se destinam à persuasão podem parecer convincentes para grande parte das pessoas, apesar de conterem falácias, mas não deixam de ser falsos por causa disso.

Às vezes, reconhecer as falácias é difícil. Os argumentos falaciosos podem ter validade emocional, íntima, psicológica, mas não validade lógica. É importante conhecer os tipos de falácia para evitar armadilhas lógicas na própria argumentação e para analisar a argumentação alheia.
As falácias que são cometidas involuntariamente designam-se por paralogismos e as que são produzidas de forma a confundir alguém numa discussão designam-se por sofismas.
]]> 2022-08-21 17:18:03 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266610182 jeffersonmorgado https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266612453 Em Lógica, inferência ou ilação é a operação mediante a qual se afirma a verdade de uma proposição em decorrência de sua ligação com outras proposições já reconhecidas como verdadeiras. Consiste, portanto, em derivar conclusões a partir de premissas conhecidas ou decididamente verdadeiras. A conclusão também é chamada de idiomática.

O processo pelo qual uma conclusão é inferida a partir de múltiplas observações é chamado processo dedutivo ou indutivo, dependendo do contexto. A conclusão pode ser correta, incorreta, correta dentro de um certo grau de precisão ou correta em certas situações. Conclusões inferidas a partir de observações múltiplas podem ser testadas por observações adicionais.

Exemplos de Inferência

Aristóteles definiu uma série de silogismos, que podem ser usados ​​como blocos de construção para o raciocínio mais complexo. Começamos com o mais famoso de todos eles:

  • Todos os homens são mortais
  • Sócrates é um homem
  • Portanto, Sócrates é mortal.

O processo acima é chamado de dedutivo.

As premissas e a conclusão são verdadeiras, mas a lógica segue junto com inferência. Mas a verdade da conclusão nem sempre se segue da verdade das premissas. A validade de uma inferência depende da forma da inferência. Isto é, a palavra "válido" não se refere à verdade das premissas ou da conclusão, mas sim a forma da inferência. Uma inferência pode ser válida, mesmo se as partes são falsas, e pode ser falsa, mesmo se as partes são verdadeiras. Mas uma forma válida e com premissas verdadeiras sempre terá uma conclusão verdadeira.

Exemplo

  • A - Todos os frutos são doces.
  • B - A banana é uma fruta.
  • C - Portanto, a banana é doce.

Agora uma forma inválida:

  • Todo A é B.
  • C é um B.
  • Portanto, C é um A.

Para mostrar que esta forma é inválida, buscamos demonstrar como ela pode levar, a partir de premissas verdadeiras, a uma conclusão falsa.

  • Todas as maçãs são frutas. (Correto)
  • Bananas são frutas. (Correto)
  • Portanto, as bananas são maçãs. (Errado)

Um argumento válido com premissas falsas podem levar a uma falsa conclusão:

  • Todas as pessoas gordas são gregas.
  • John Lennon era gordo.
  • Portanto, John Lennon era grego.

Quando um argumento válido é usado para derivar uma conclusão falsa de premissas falsas, a inferência é válida, pois segue a forma de uma inferência correta.

Um argumento válido pode também ser usado para derivar uma conclusão verdadeira a partir de premissas falsas:

  • Todas as pessoas gordas são musicistas
  • John Lennon era gordo
  • Portanto, John Lennon era um músico

São duas premissas falsas que implicam uma conclusão verdadeira.
]]> 2022-08-21 17:26:30 UTC https://padlet.com/jeffersonmorgado/forum_logicacomput/wish/2266612453