Formas e Regras de Inferência em Filosofia

Anotacoes

1. Formas de inferência válidas: Negação dupla: Consiste em negar uma negação. Por exemplo: "Não é verdade que não vai chover" equivale a "Vai chover". Silogismo disjuntivo: Tipo de argumento que assume que, se uma das alternativas em uma disjunção (ou... ou...) for falsa, a outra deve ser verdadeira. Exemplo: "Ou ele vai ao cinema ou ele fica em casa. Ele não vai ao cinema, então ele fica em casa." Silogismo hipotético: Se A implica B, e A é verdadeiro, então B também será verdadeiro. Exemplo: "Se estudar, vai passar. Você estudou, então vai passar." Leis de De Morgan: A relação entre negação de uma conjunção e disjunção. Exemplo: "Não é verdade que (A e B)" é o mesmo que "Não A ou Não B". Modus Ponens e Modus Tollens: Modus Ponens: Se A implica B e A é verdadeiro, então B é verdadeiro. Modus Tollens: Se A implica B e B é falso, então A também é falso. 2. Distinção entre validade dedutiva e não dedutiva: Dedutiva: A validade do argumento é garantida, ou seja, se as premissas são verdadeiras, a conclusão será necessariamente verdadeira. Não dedutiva: A validade do argumento não é garantida, mas a conclusão pode ser provável, mesmo que as premissas sejam verdadeiras. 3. Tipos de arg...