Filosofia Apresentar a lógica como ciência formal das condições de coerência, do pensamento e do discurso LINGUAGEM PENSAMENTO Termo ---------------------------------------------------------------- Conceito Proposições--------------------------------------------------------------Juízo Argumento-------------------------------------------------------------Raciocínio O que é a Lógica Formal? Lógica Formal - estudo das condições de coerência do pensamento e do discurso. A lógica formal estuda argumentos, procurando estabelecer a relação entre a forma de um argumento e a sua validade. A lógica ensina a distinguir argumentos de não-argumentos e argumentos válidos de argumentos não-válidos. Distinguir a validade e a verdade As proposições são frases que podem ser consideradas verdadeiras ou falsas. Verdade matéria ou conteúdo das proposições Os argumentos são válidos ou não-válidos. Validade forma A validade de um argumento decorre exclusivamente do tipo de relação (forma lógica) que se estabelece entre as premissas e a conclusão, sendo independente do conteúdo das proposições (ou seja, da sua verdade ou falsidade). Assim sendo, um argumento é válido quando a conclusão decorre necessariamente da relação estabelecida entre as premissas. Um argumento é não-válido (inválido) quando a conclusão não decorre necessariamente das premissas. Quando um argumento é válido, se tem as premissas verdadeiras, tem uma conclusão necessariamente verdadeira (é o caso da dedução correta). 1 Filosofia - Válidos mas não verdadeiros Argumentos podem ser - Verdadeiros mas não válidos - Falsos e inválidos - Verdadeiros e válidos (argumento sólido) Esclarecer o que é uma proposição e um argumento Proposição – Expressão linguística do juízo. Argumento – Expressão linguística do raciocínio. Caracterizar indução e dedução Dedução – operação intelectual que, a partir de uma ou mais premissas gerais tomadas como antecedente, chega a uma conclusão ou consequente particular. Indução – operação intelectual que, a partir de proposições ou antecedentes particulares, chega a uma conclusão ou consequente expresso por uma proposição geral. Classificar as proposições quanto à quantidade e à qualidade 2 Filosofia Reconhecer a distribuição dos termos na proposição Tipos de Proposição A E I O Sujeito Distribuído Distribuído Não distribuído Não distribuído Predicado Não distribuído Distribuído Não distribuído Distribuído Termo sujeito – está distribuído nas proposições universais (A e E), vem sempre acompanhado pelo quantificador (Todos, Nenhum ou Alguns) quando a proposição se apresenta na forma canónica. Termo predicado – está distribuído nas proposições negativas (E e O) Termo distribuído – o termo de uma proposição que designa todos os elementos do conceito. Termo não distribuído – o termo de uma proposição que se refere apenas a parte dos elementos abrangidos pela extensão do conceito. Identificar a figura e o modo no silogismo Silogismo Categórico Tem obrigatoriamente e apenas 3 termos: Termo Maior – predicado da conclusão e aparece na 1ª premissa (maior). Termo Médio – não está na conclusão e estabelece a relação entre o maior e o menor. Termo Menor – sujeito da conclusão e aparece na 2ª premissa (menor). Modo do Silogismo – Indicação do tipo das 3 proposições do silogismo. O modo depende da qualidade e da quantidade das proposições, ou seja se são de tipo A, E, I ou O. Figuras do Silogismo – Depende da posição do termo médio nas premissas maior e menor. 1ª figura – Su; Pre 2ª figura – Pre; Pre 3ª figura – Su; Su 4ª figura – Pre; Su 3 Filosofia Clarificar as regras do silogismo Regras dos termos Para um silogismo ser válido: Têm três e apenas três termos; Nenhum termo pode ser mais extenso na conclusão do que nas premissas; A conclusão não pode conter o termo médio; O termo médio deve estar distribuído, pelo menos, uma vez. Regras das proposições Para um silogismo ser válido há que ter em conta que: Duas premissas afirmativas não podem conduzir a uma conclusão negativa; De duas premissas negativas nada se pode concluir; De duas premissas particulares nada se pode concluir; A conclusão segue sempre a parte mais fraca. Premissa negativa = conclusão negativa Premissa particular = conclusão particular Detetar falácias cometidas por violação das regras do silogismo Falácias formais do silogismo: Quatro termos – quando apresenta quatro termos. Termo médio não distribuído – quando o termo médio não está pelo menos uma vez distribuído (tem que ser universal em pelo menos uma das premissas). Ilícita maior – quando o termo maior apresenta maior extensão na conclusão do que nas premissas (está distribuído quando o predicado é negativo). Ilícita menor – quando o termo menor apresenta maior extensão na conclusão do que nas premissas (está distribuído quando o sujeito é universal). 4