IMG_1728

Prévia do material em texto

Argumentos Um argumento é uma sequência de proposições, onde algumas delas são chamadas de premissas e outra é chamada de conclusão. A ideia central de um argumento é que a conclusão deve seguir logicamente das premissas. Se isso ocorrer, dizemos que argumento é válido. Um exemplo de argumento seria: Premissa 1: "Se está chovendo, então chão está molhado." Premissa 2: "Está chovendo." Conclusão: "O chão está molhado." Um argumento é considerado válido se, e somente se, for impossível que todas as premissas sejam verdadeiras e a conclusão seja falsa ao mesmo tempo. Ou seja, a validade de um argumento não depende das proposições individuais serem verdadeiras ou falsas, mas sim da forma como a conclusão segue logicamente das premissas. Regras de Inferência As regras de inferência são padrões ou esquemas que permitem que novas proposições sejam derivadas a partir de proposições já assumidas como verdadeiras (as premissas). Elas são ferramentas fundamentais para construir deduções e provar a validade dos argumentos. Algumas das principais regras de inferência tratadas por Alencar Filho incluem: Modus Ponens: Se (se então q) e p (p é verdadeiro), então podemos inferir q (q é verdadeiro). Exemplo: (Se está chovendo, então chão está molhado.) (Está chovendo.) Logo, q (O chão está molhado.) Modus Tollens: Se (se então q) e (q é falso), então podemos inferir (p é falso). Exemplo: (Se está chovendo, então chão está molhado.) (O chão não está molhado.) Logo, -p (Não está chovendo.) Silogismo Hipotético: então podemos inferir Exemplo: p->q (Se estudar, então passa.) .q->r (Se passar, então se forma.) Logo, (Se estudar, então se forma.) Essas são algumas das regras de inferência básicas discutidas no livro, e elas formam a base para muitas outras inferências mais complexas. Alencar Filho aborda também a importância de sistemas dedutivos e métodos formais para garantir a correção das inferências em argumentos lógicos.