Trabalho sobre lógica formal.

2327 palavras 10 páginas
Lógica Formal
Pode-se dizer que a lógica formal estuda certas estruturas de um discurso dentro do próprio discurso. Assim, a "validade" de um raciocínio exposto vai independer da verdade ou não da conclusão: o raciocínio pode ser inválido, embora a conclusão seja verdadeira. E esta validade será dada pelo encadeamento das diferentes proposições que constituem o discurso, se este encadeamento obedecer a algumas regras que são as "leis da lógica formal". De maneira resumida podemos afirmar: a lógica formal estuda alguns aspectos da sintaxe de um discurso, e sua categoria central é a noção de "validade de um raciocínio". Por exemplo: como hoje é Sábado, e a seguir ao Sábado vem sempre o Domingo, então, amanhã será Domingo. Formalmente,
…exibir mais conteúdo…

Geralmente os argumentos dedutivos são estéreis, uma vez que eles não apresentam nenhum conhecimento novo. Como dissemos, a conclusão já está contida nas premissas. A conclusão nunca vai além das premissas. Mesmo que a ciência não faça tanto uso da dedução em suas descobertas, exceto a matemática, ela continua sendo o modelo de rigor dentro da lógica. Note que em todos os argumentos dedutivos a conclusão já está contida nas premissas.
Validade
Argumentos tanto podem ser válidos ou inválidos. Se um argumento é válido, e a sua premissa é verdadeira, a conclusão deve ser verdadeira: um argumento válido não pode ter premissa verdadeira e uma conclusão falsa.A validade de um argumento depende, porém, da real veracidade ou falsidade das suas premissas e e de sua conclusões. No entanto, apenas o argumento possui uma forma lógica. A validade de um argumento não é uma garantia da verdade da sua conclusão. Um argumento válido pode ter premissas falsas e uma conclusão falsa.
A Lógica visa descobrir as formas válidas, ou seja, as formas que fazer argumentos válidos. Uma Forma de Argumento é válida se e somente se todos os seus argumentos são válidos. Uma vez que a validade de um argumento depende da sua forma, um argumento pode ser demonstrado como inválido, mostrando que a sua forma é inválida, e isso pode ser feito, dando um outro argumento da mesma forma que tenha premissas verdadeiras

Relacionados

  • Lógica (contexto atual)
    1749 palavras | 7 páginas
  • Administração
    1221 palavras | 5 páginas
  • Logica
    1017 palavras | 5 páginas
  • A lógica no cotidiano e a lógica na matemática
    1961 palavras | 8 páginas
  • A evolução dos hardwares e softwares
    7020 palavras | 29 páginas
  • Resumo estruturação organizacional-chiavenato
    1285 palavras | 6 páginas
  • Ensinar, aprender, apreender e processos de ensinagem
    853 palavras | 4 páginas
  • A construção científica
    3636 palavras | 15 páginas
  • Resenha mensalão
    10436 palavras | 42 páginas
  • Criticas da teoria classica
    1382 palavras | 6 páginas