- Argumentao e lgica formal Noes gerais Um argumento dedutivamente vlido se, e apenas se, impossvel que tenha uma

uma concluso falsa e premissas verdadeiras. Num argumento deste gnero as premissas implicam a concluso. Um argumento indutivamente vlido se, e apenas se, muito improvvel, mas no impossvel, que tenha uma concluso falsa e premissas verdadeiras. Num argumento deste gnero as premissas confirmam a concluso. A lgica formal determina a validade dedutiva dos argumentos unicamente a partir do estudo da sua forma, ignorando o seu contedo. Uma falcia um raciocnio enganador. Muitas falcias so argumento invlidos que podem parecer vlidos. As premissas e a concluso de um argumento podem ser verdadeiras ou falsas, mas no so vlidas nem invlidas. Um argumento pode ser vlido ou invlido, mas no pode ser verdadeiro nem falso. Lgica aristotlica Na lgica aristotlica reconhecem-se quatro tipos de proposies: A - Universais afirmativas /// Todos os homens so mortais. E - Universais negativas /// Nenhum homem mortal. I - Particulares afirmativas /// Alguns homens so mortais. O - Particulares negativas /// Alguns homens no so mortais. Nas proposies de tipo A, E, I e O, o primeiro termo o termo sujeito; o segundo termo o termo predicado. Estes termos podem estar ou no distribudos. - O termo sujeito est distribudo nas proposies universais. - O termo predicado est distribudo nas proposies negativas. Um silogismo um argumento constitudo por trs termos e trs proposies em que ambas as premissas e a concluso so proposies de tipo A, E, l ou O.

- O termo maior de um silogismo o predicado da concluso e ocorre uma nica vez numa das premissas (a premissa maior). - O termo menor de um silogismo o sujeito da concluso e ocorre uma nica vez numa das premissas (a premissa menor). - O termo mdio aquele que ocorre em ambas as premissas. Um silogismo vlido se, e apenas se, satisfaz todas as regras de validade silogstica, que se distribuem por regras para termos e regras para proposies. Existem quatro falcias associadas infraco das regras para termos. Regras de validade silogstica para termos 1. Um silogismo tem de ter exactamente trs termos. Infraco: falcia dos quatro termos. 2. O termo mdio tem de estar distribudo pelo menos uma vez. Infraco: falcia do mdio no distribudo. 3. Se um termo est distribudo na concluso, tem de estar distribudo tambm na premissa em que ocorre. Infraco: falcia da ilcita menor; falcia da ilcita maior. 4. O termo mdio no entra na concluso. Regras de validade silogstica para proposies 4. Um silogismo no pode ter duas premissas particulares 5. Um silogismo no pode ter duas premissas negativas. 6. Se ambas as premissas de um silogismo so afirmativas, a concluso no pode ser negativa. 7. A concluso tem de seguir a parte mais fraca: - Se uma das premissas particular, a concluso tambm tem de ser particular; - Se uma das premissas negativa, a concluso tambm tem de ser negativa. Lgica proposicional A lgica proposicional ocupa-se de argumentos cuja validade dedutiva depende de conectivas proposicionais. Reconhecem-se cinco conectivas: - Negao, Conjuno, Disjuno, Condicional, Bicondicional - A negao a nica conectiva unria; todas as outras so conectivas binrias, pois ligam duas proposies. Uma proposio simples no tem conectivas. Uma proposio complexa tem pelo menos uma conectiva.
2

 As letras maisculas A, B, C... so letras proposicionais. Designam proposies simples. As letras P, Q, R... so variveis de frmula. So lugares que podem ser ocupados por qualquer proposio. Uma tabela de verdade um dispositivo grfico que apresenta todas as combinaes possveis de valores de verdade para as letras de uma frmula da lgica proposicional e nos diz qual o valor de verdade dessa frmula em cada caso. As conectivas proposicionais so definidas por tabelas. (Tabela da negao, tabela da implicao, etc.) O mbito de uma conectiva numa dada frmula a parte dessa frmula a que ela se aplica. Sempre que necessrio, utilizam-se parntesis para indicar o mbito das conectivas. A conectiva principal de uma frmula aplica-se a toda a frmula. Na construo de tabelas de verdade com mais do que uma conectiva, avana-se das conectivas de menor mbito para as de maior mbito. O resultado final da tabela surge na coluna da conectiva principal. Um inspector de circunstncias uma tabela em que se calculam os valores de verdade das premissas e da concluso de um argumento. Para determinar se um argumento vlido, realizam-se os seguintes passos: - constri-se um dicionrio, atribuindo uma letra proposicional a cada proposio simples; - formaliza-se o argumento; - constri-se o inspector de circunstncias; - analisa-se o inspector de circunstncias, concluindo-se que o argumento vlido se, e apenas se, em nenhum caso possvel tiver todas as premissas verdadeiras e a concluso falsa. preciso distinguir duas formas vlidas que se confundem facilmente com duas falcias proposicionais. 1. Modus ponens 2. Modus Tollens 1. Afirmao da consequente 2. Negao da antecedente preciso conhecer tambm as seguintes formas vlidas:

3. Silogismo disjuntivo 5, Contraposio

4. Silogismo hipottico 6. Leis de De Morgan

Cada uma destas formas argumentativas, vlidas e invlidas, tem inmeras instncias.