Você está na página 1de 6

Filosofia: Racionalidade argumentativa e filosofia:

Argumentao e lgica formal (Aristotlica).

Distino validade-verdade:

O que a lgica?

Podemos considerar a lgica como cincia do raciocnio. Um raciocnio um processo de


inferncia: consiste em extrair uma concluso a partir de premissas.

So competncias da lgica formal:

Propor modelos ou formas-padro de raciocnio;


Estabelecer as regras que nos permitem raciocinar correctamente;
Identificar erros nos raciocnios e tornar possvel a sua correco.

Raciocnios e argumentos.

Um raciocnio uma operao que consiste em inferir ou derivar certas informaes de outras.

Todo o raciocnio envolve um processo chamado inferncia.

As inferncias tomam a forma de argumento.

Um argumento um conjunto de enunciados constitudo por:

Uma ou mais premissas;


Uma concluso.

As premissas de um argumento so as razes apresentadas para justificar uma dada concluso.

A concluso a ideia que se pretende defender e que inferida das premissas.

Os argumentos deixam-se representar por uma forma padro ou cannica.

Frases e proposies.

Uma frase um enunciado constitudo por uma palavra ou sequncia de palavras articuladas
de modo a produzir um sentido ou a transmitir uma ideia. Trata-se de uma entidade
lingustica. A proposio o contedo expresso numa frase declarativa com valor de verdade.
Os portugueses so europeus.

Num argumento, cada um dos enunciados (premissas e concluso) exprime uma proposio.
Todas as baleias so mamferos. Willy uma baleia. Logo, Willy um mamfero.
Juzos, conceitos e termos.

O conceito uma ideia ou pensamento que refere objectos. Trata-se de uma representao
que rene as caractersticas essenciais identificadoras de um objecto ou conjunto de objectos.
O conceito de caracter universal.

O termo a expresso do conceito. O termo de carcter relativo.

Conceito/termo:

Compreenso: n de caractersticas essenciais que permite boa definio do conceito.


Extenso: refere-se ao n de situaes que contempla.

Exemplo:

Homem = Animal Racional: mais extenso; menos compreenso.

Homem Portugus = Animal Racional de Nacionalidade Portuguesa: menos extenso; mais


compreenso.

Validade e verdade.

A validade uma propriedade dos argumentos.

A verdade diz respeito, no aos argumentos mas s proposies. Ou seja:

S os argumentos so vlidos ou invlidos;


S as proposies so verdadeiras ou falsas.

Solidez dos argumentos.

Argumento slido designao para argumento vlido e composto por premissas verdadeiras.

Argumento 1 Argumento 2
Todos os homens so mortais. Todos os mortais so homens.
Scrates homem. Scrates mortal.
Logo, Scrates mortal. Logo, Scrates mortal.
Tanto quanto nos possvel saber, todas as A premissa Todos os mortais so homens
premissas do argumento (que vlido) so claramente falsa, logo, o argumento, apesar
verdadeiras. O argumento slido. de ser vlido, no slido.
Argumento vlido e slido. Argumento vlido mas no slido.

Validade dedutiva e validade indutiva.

A lgica formal dedica-se a um tipo especial de argumento: o argumento dedutivo.

S os argumentos dedutivos so formalmente vlidos ou invlidos.


Um argumento dedutivo um argumento em que a validade/invalidade depende apenas da
forma (no do contedo). aquele em que a concluso decorre necessariamente das
premissas. Se as premissas forem verdadeiras, impossvel a concluso ser falsa.

Os argumentos indutivos so objecto de estudo da lgica informal, que se dedica aos


processos no dedutivos de inferncia. A validade indutiva traduz o grau de probabilidade de a
concluso de um argumento com premissas verdadeiras ser tambm verdadeira; assim, diz-se
que um argumento indutivo forte ou fraco (ou, ainda, bom ou mau) conforme o grau dessa
probabilidade seja maior ou menor.

Formas de inferncia vlida:

Classificao das proposies na forma cannica.

Tipo Qualidade Quantidade Exemplo


A Afirmativa Universal Todo o gato felino.
E Negativa Universal Nenhum gato felino.
I Afirmativa Particular Algum gato felino.
O Negativa Particular Algum gato no felino.

Extenso e compreenso de um termo.

Os termos podem ser analisados quanto sua compreenso e extenso.

Compreenso (ou intenso) a propriedade de objectos referida por um termo.


Extenso (ou denotao) a totalidade dos objectos que possuem certa propriedade.

Distribuio dos termos nas propriedades.

A noo de extenso de um termo reveste-se de especial importncia para entendermos uma


noo bsica da lgica aristotlica: a noo de distribuio de um termo.

Um termo diz-se distribudo numa proposio se e somente se tomado em toda extenso.

Tipo Sujeito Predicado


A Distribudo No distribudo
E Distribudo Distribudo
I No distribudo No distribudo
O No distribudo Distribudo
Quadrado lgico de oposio de proposies.

[A-E] = proposies de quantidade universal; qualidade diferente.

Proposies contrrias

Proposies de qualidade afirmativa = [A-I]

Proposies de qualidade negativa = [E-O]


Proposies de qualidade afirmativa = [A-I]
Proposies de qualidade afirmativa = [A-I]
Proposies de qualidade afirmativa = [A-I]

Proposies de qualidade afirmativa = [A-I]

Proposies subalternas
Proposies subalternas

Proposies contrrias

[I-O] = proposies de quantidade particular

Exemplos:

Todo o Homem Mortal.


Nenhum Homem Mortal.
Algum Homem Mortal.
Algum Homem no Mortal.

Proposies contrrias: A-E

Proposies subcontrrias: I-O

Proposies contraditrias: A-O / E-I

Proposies subalternas: A-I / E-O


Relaes lgicas entre as proposies.

Tipos Qualidade Quantidade Relao de oposio Relao lgica/Valores de verdade


A Afirmativa Universal Proposies A (V) E (F)
E Negativa Universal contrrias: A-E A (F) E (V/F) indeterminao lgica
I Afirmativa Particular Proposies I (F) O (V) O (F) I (V)
O Negativa Particular subcontrrias: I-O I (V) O (V/F) O (V) I (V/F)
A-I Preposies A: universal Proposies A (V) I (V) E (V) O (V)
afirmativas I: particular subalternas: A (F) I (V/F) E (F) O (V/F)
E-O Preposies E: universal A-I I (F) A (F) O (F) E (F)
negativas O: particular E-O I (V) A (V/F) O (V) E (V/F)
A-O A: afirmativa A: universal Proposies
O: negativa O: particular contraditrias: A (V) O (F) E (V) I (F)
E-I E: negativa E: universal A-O O (V) A (F) I (V) E (F)
I: afirmativa I: particular E-I

Definio de silogismo vlido.

Trata-se de um argumento que apresenta uma concluso que depende necessariamente das
premissas. Assim, este argumento s vlido quando se verifica o cumprimento absoluto das
regras e nexo lgico.

O silogismo uma forma especfica de argumento dedutivo que obedece seguinte estrutura:

Duas proposies designadas de premissas;


Uma concluso;
Trs termos de conceito: termo mdio, termo maior e termo menor.

Regras de validade silogstica.

Num silogismo vlido:

H apenas trs termos (maior, menor, mdio).


O termo mdio nunca aparece na concluso.
O termo mdio tem de estar pelo menos uma vez nas premissas.
A extenso dos termos no pode ser maior na concluso do que nas premissas.
De duas premissas negativas, nada se segue.
De duas premissas particulares, nada se segue.
De duas premissas afirmativas no se pode extrair uma concluso negativa.
A concluso segue a parte mais fraca: de premissa particular segue-se concluso
particular; de premissa negativa, segue-se concluso negativa.
Modos vlidos do silogismo.

1 Figura 2 Figura 3 Figura 4 Figura


1 Modo A, A, A E, A, E A, A, I A, A, I
2 Modo E, A, E A, E, E I, A, I A, E, E
3 Modo A, I, I E, I, O A, I, I I, A, I
4 Modo E, I, O A, O, O E, A, O E, A, O
5 Modo O, A, O E, I, O
6 Modo E, I, O

Modos Modos Modos


Redundantes: Redundantes: Redundantes:
A, A, I E, A, O A, E, O
E, A, O A, E, O

Principais falcias formais:

O conceito de falcia.

As falcias so argumentos invlidos construdos de tal modo que tm aparncia de ser


vlidos. Para detectarmos os erros cometidos, precisamos de conhecer as regras de validade
lgica. Neste sentido, as falcias que tm na sua origem os erros de estrutura do argumento
so designadas por falcias formais.

Falcia dos 4 termos: Argumento que infringe a regra segundo a qual um silogismo categrico
vlido s pode ter trs termos; nem mais nem menos. Verifica-se quando:

Uma mesma palavra ou sequncia de palavras est tomada em sentidos diferentes e


numa e noutras premissas; portanto, corresponde a termos diferentes.
Surge um quarto termo na concluso que no estava nas premissas.

Falcia do termo mdio no distribudo: Silogismo em que o termo mdio no se encontra


distribudo em nenhuma das premissas de que faz parte.

Falcia do processo ilcito do termo maior ou da ilcita maior: Silogismo em que o termo maior
se encontra distribudo na concluso, mas no na premissa onde ocorre.

Falcia do processo ilcito do termo menor ou da ilcita menor: Silogismo em que o termo
menor se encontra distribudo na concluso mas no na premissa onde ocorre.

Falcia das premissas exclusivas: Argumento invlido por apresentar 2 premissas negativas.

Falcia da concluso afirmativa a partir de uma premissa negativa: Silogismo no qual se infere
uma concluso afirmativa a partir de uma premissa negativa.

Falcia da concluso negativa a partir de premissas afirmativas: Inferncia em que se extrai


uma concluso negativa a partir de premissas afirmativas.