Lógica Computacional by https://padlet.com/danilo186/7pj5v2dqvoyibwux Danilo Loner en-us 2022-08-21 17:36:00 UTC 2025-10-22 18:38:57 UTC hello@padlet.com Um argumento é um conjunto de afirmações conectadas das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar que a outra (a conclusão) é verdadeira. Assim, para termos um argumento precisamos de premissas e conclusões.Vamos ver o que isso quer dizer analisando vários exemplos de argumentos.No dia a dia, não é incomum pensar que um argumento com uma briga verbal, comandos, avisos, sugestões, crenças e opiniões. Mas estritamente falando, tudo isso não é argumento. Ao contrário. Se um argumento é uma tentativa racional de convencer as pessoas, então uma briga é justamente o oposto, já que usa a agressão para convencer as pessoas. danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615891


]]> 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615891 A lógica é uma área da filosofia que visa estudar a estrutura formal dos enunciados (proposições) e suas regras. Em suma, a lógica serve para se pensar corretamente, sendo assim, uma ferramenta do correto pensar.Lógica tem origem na palavra grega logos, que significa razão, argumentação ou fala. A ideia de falar e argumentar pressupõe que o que está sendo dito possua um sentido para aquele que ouve.Esse sentido fundamenta-se na estrutura lógica, quando algo "tem lógica" quer dizer que faz sentido, é uma argumentação racional. danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615892 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615892 danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615893 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. 
Uma dada fórmula pode ou não ser conclusão de uma dada coleção de premissas.
Isto depende da Lógica ou do sistema lógico considerado. 
]]> 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615893 Proposição é um termo usado em lógica para descrever o conteúdo de asserções. Uma asserção é um conteúdo que pode ser tomado como verdade é altamente controversa entre filósofos, muitos dos quais são céticos sobre a existência de proposições. Muitos lógicos preferem evitar o uso do termo proposição em favor de usar sentença.Diferentes sentenças podem expressar a mesma proposição quando têm o mesmo significado. Por exemplo, "A neve é branca" e "Snow is white" são sentenças diferentes, mas ambas dizem a mesma coisa, a saber, que a neve é branca. Logo, expressam a mesma proposição. Outro exemplo de sentença que expressa a mesma proposição que as anteriores é "A precipitação de pequenos cristais de água congelada é branca", pois "precipitação de pequenos cristais de água congelada" é a definição de "neve".Na lógica aristotélica uma proposição é um tipo particular de sentença, a saber, aquela que afirma ou nega um predicado de um sujeito.Proposições são usualmente consideradas como o conteúdo de crenças e outros pensamentos representativos. Elas também podem ser o objeto de outras atitudes, como desejo, preferência, intenção, como em "Desejo um carro novo" e "Espero que chova", por exemplo.Também não é raro contrastar com a noção de proposição como conteúdo mental a noção de proposições russellianas. De facto, boa parte da discussão em torno da natureza da proposição travada no século XX e contemporaneamente, oscila e, por vezes, tenta conciliar ambas noções. danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615894 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615894 Falácia é um raciocínio que parece lógico e verdadeiro, porém existe alguma falha que o faz ser falso.A falácia foi um recurso utilizado por Aristóteles, pela Escolástica, pela Demagogia e serve como figura de linguagem em discursos e temas argumentativos. danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615895 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615895 O silogismo é a estrutura básica de um argumento ou um raciocínio dedutivo, o qual é formado por três proposições que estão interligadas.Na filosofia, o silogismo é parte integrante da lógica aristotélica e está baseado na dedução. Ou seja, parte de afirmações verdadeiras para uma nova afirmação também verdadeira danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615896 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615896 O que significa inferência:Inferência é uma dedução feita com base em informações ou um raciocínio que usa dados disponíveis para se chegar a uma conclusão.Inferir é deduzir um resultado, por lógica, com base na interpretação de outras informações. Inferir também pode significar chegar a uma conclusão a partir de outras percepções ou da análise de um ou mais argumentos.Exemplo: Se eu tiver dinheiro, irei viajar. Se eu for viajar, ficarei feliz. Portanto, se eu tiver dinheiro, ficarei feliz.O silogismo é um modelo de raciocínio baseado na ideia da dedução a partir de duas premissas, ou seja, é um tipo de inferência.A palavra inferência tem origem do latim inferentia.A inferência causal acontece ao se estabelecer uma relação de causalidade (causa e efeito) entre fatos, a partir da observação de acontecimentos.Exemplo: Está chovendo. Depois da chuva vem o sol. Então, o sol deve aparecer logo. danilo186 https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615897 2022-08-21 17:36:00 UTC https://padlet.com/danilo186/7pj5v2dqvoyibwux/wish/2266615897