Tema III Racionalidade Argumentativa e Filosofia

1. ARGUMENTAO E LGICA FORMAL 1.1 Validade e Verdade

ndice

Problema O que a lgica

Exerccio 1 Exerccio 2

Resumindo 1

Resumindo global 1

Frase declarativa e proposio

Exerccio 3 Exerccio 4

Exerccio 5 Exerccio 6

Proposio e argumento Argumentos na forma cannica, ou padro Identificar as premissas e a concluso

Exerccio 7 Exerccio 8 Exerccio 9

Validade e forma

Exerccio 10 Exerccio 11

Resumindo 2 Resumindo 4 Resumindo 3 Resumindo 5

01 validade e verdade Pensar Azul 11.

III Racionalidade
Argumentativa e Filosofia

incio

1. Argumentao
e Lgica Formal

01 validade e verdade Pensar Azul 11.

incio

Problema

O que a lgica?

01 validade e verdade Pensar Azul 11.

1.1 Validade e verdade

Sumrio

incio

O que a lgica? Frase declarativa e proposio Proposio e argumento Validade e forma

01 validade e verdade Pensar Azul 11.

Lgica, inferncia e argumento

Tomemos o seguinte argumento :

incio

As proposies 1 e 2, usadas como ponto de partida, so premissas . A proposio 3 a concluso . O processo de passagem das premissas concluso a inferncia (neste caso,
um argumento vlido ) .

1. Todos os portugueses so europeus. 2. Todos os lisboetas so portugueses. 3. Todos os lisboetas so europeus.

isto que a lgica estuda.

01 validade e verdade Pensar Azul 11.

Finalidades da lgica

incio

Formular as regras a que os argumentos devem obedecer para serem vlidos Distinguir as formas vlidas das formas no vlidas

Desenvolver tcnicas de avaliao dos argumentos

Aprender lgica pode ajudar-nos a melhorar o modo como pensamos e argumentamos. As regras lgicas mais bsicas so os princpios da razo.
01 validade e verdade Pensar Azul 11.

Etapas do desenvolvimento histrico da lgica

A palavra lgica deriva do termo grego logos. Aristteles considerado o criador da Lgica . Lgica simblica moderna :
processo de construo iniciado por Gottfried

incio

Logos
significava simultaneamente razo/pensamento palavra

Leibniz
desenvolvida apenas a partir dos finais do sculo

XIX por matemticos como George Boole e Gottlob Frege

ARISTTELES
Sculo IV a.C.

LEIBNIZ
1646-1716

BOOLE
1815-1864

FREGE
1848-1925

Filsofo grego

Filsofo alemo

Matemtico ingls

Matemtico alemo
01 validade e verdade Pensar Azul 11.

incio

A lgica o estudo das formas de argumentao vlida: formula as regras a que os argumentos devem obedecer para serem correctos distingue as formas correctas das formas incorrectas desenvolve tcnicas de avaliao de argumentos O estudo da lgica permite compreender e treinar o uso das regras da lgica, aprender tcnicas de avaliao da correco dos argumentos e melhorar a capacidade de comunicao. Um argumento um conjunto de proposies relacionadas de modo a inferir uma concluso a partir de premissas. constitudo por proposies (o pensamento expresso por uma frase declarativa).

Exerccios 1 e 2

Frase declarativa e proposio

Para pensar necessitamos de linguagem . As lnguas naturais organizam as palavras para obter enunciados com sentido: as frases . As frases podem fazer uma assero (dizer algo sobre a realidade) , dar uma ordem, fazer uma pergunta ou exprimir um desejo. Quando dizem algo sobre a realidade, tm um valor de verdade (V / F) e chamam-se frases declarativas . Tm valor de verdade quando o pensamento que expressam a proposio verdadeiro ou falso .
Jorge Martins Lengalenga

incio

2002-2004, grafite sobre papel

01 validade e verdade Pensar Azul 11.

Tipos de frases

incio

01 validade e verdade Pensar Azul 11.

Frase declarativa e proposio

A frase declarativa e a proposio no se podem separar, mas so diferentes, pois uma frase declarativa um enunciado lingustico em que dizemos algo acerca da realidade; uma proposio o pensamento que nela est expresso.
A mesma proposio pode ser expressa por frases declarativas diferentes Uma frase ambgua pode expressar proposies diferentes (uma frase ambgua
quando pode ter dois ou mais significados diferentes)

incio

01 validade e verdade Pensar Azul 11.

Frases declarativas

incio

Exerccios 3 a 6
01 validade e verdade Pensar Azul 11.

Proposio e argumento
Seja o seguinte enunciado:
Estudar lgica til para todas as pessoas porque aprender a argumentar com correco facilita a comunicao e porque aprender lgica desenvolve a capacidade de argumentar.

incio

Este enunciado contm trs frases declarativas, portanto, constitudo por trs proposies:

1 2 3

Argumentar com correco facilita a comunicao.

Estudar lgica desenvolve a capacidade de argumentar. Estudar lgica til para todas as pessoas.
01 validade e verdade Pensar Azul 11.

Conectores
As proposies
Argumentar com correco facilita a comunicao. Estudar lgica desenvolve a capacidade de argumentar.

incio

Estudar lgica til para todas as pessoas.

esto ligadas pelas palavras porque e e: so os conectores. Duas proposies constituem o que apresentado como j adquirido e que tomado como ponto de partida, ou justificao (as premissas), para uma terceira que delas deriva (a concluso).
Premissas (razes, ou o ponto de partida)
Argumentar com correco facilita a comunicao. Estudar lgica desenvolve a capacidade de argumentar.

Concluso
Logo, estudar lgica til para todas as pessoas.

01 validade e verdade Pensar Azul 11.

Argumento
O enunciado lingustico
Estudar lgica til para todas as pessoas porque aprender a argumentar com correco facilita a comunicao e porque aprender lgica desenvolve a capacidade de argumentar.

incio

um argumento porque um conjunto de proposies relacionadas de modo a defender uma ideia concluso (estudar lgica til para todas as pessoas) e so apresentadas razes para a justificar (as premissas).
01 validade e verdade Pensar Azul 11.

Argumentos na forma cannica, ou forma padro

incio

Os argumentos podem apresentar-se de modos diferentes:

Enunciar a concluso em primeiro lugar Enunciar a concluso entre as premissas Intercalar consideraes Omitir uma ou mais premissas

Mas h um modo estabelecido para apresentar um argumento: primeiro as premissas e depois a concluso. a forma cannica, ou forma padro.
01 validade e verdade Pensar Azul 11.

Argumentos na forma cannica, ou forma padro

incio

Enunciar a concluso em primeiro lugar

O ensino deve privilegiar o desenvolvimento de competncias, uma vez que, hoje em dia, o conhecimento est disponvel on line e os cidados s precisam de saber procur-lo, seleccion-lo e fazer a sua apropriao pessoal.

Forma cannica, ou forma padro Premissas

O conhecimento est disponvel on line. Os cidados s precisam de saber procurar, seleccionar e fazer a sua apropriao.

Concluso
Logo, o ensino deve privilegiar o desenvolvimento de competncias.
01 validade e verdade Pensar Azul 11.

Argumentos na forma cannica, ou forma padro

incio

Enunciar a concluso entre as premissas

A minha irm adora cinema, por isso, tenho a certeza que vai gostar do Batman, dado que no h apreciador de cinema que no goste do Batman.

Forma cannica, ou forma padro Premissas

Todos os apreciadores de cinema gostam do Batman. A minha irm adora cinema.

Concluso
Portanto, a minha irm vai gostar do Batman.

01 validade e verdade Pensar Azul 11.

Argumentos na forma cannica, ou forma padro

incio

Intercalar consideraes

A lgica formal o estudo da validade dos argumentos, coisa que do interesse de todas as pessoas e especialmente dos grandes oradores, e a validade condio necessria para garantir a verdade da concluso de um argumento, isto , Forma cannica, ou forma padro: a adequao do pensamento por ela expresso com a realidade A lgica formal o estudo da validade dos argumentos e a validade a que se refere, condio que nem sempre respeitada, segue-se condio necessria para garantir a verdade da concluso de um argumento, que a lgica formal muito til para a filosofia. segue-se que a lgica formal muito til para a filosofia. Eliminando as consideraes e as explicaes, obteremos a forma cannica, ou forma padro.

01 validade e verdade Pensar Azul 11.

Argumentos na forma cannica, ou forma padro

incio

Omitir uma ou mais premissas

Precisar de dominar os outros precisar dos outros. O chefe um dependente.
Bernardo Soares, Livro do Desassossego

Forma cannica, ou forma padro Premissas Quem precisa de dominar os outros, precisa dos outros. Quem precisa dos outros um dependente. O chefe domina os outros. Concluso Logo, o chefe um dependente.
01 validade e verdade Pensar Azul 11.

Identificar as premissas e a concluso

Para identificar as premissas e a concluso temos de procurar no enunciado argumentativo os indicadores de premissas e os indicadores de concluso (palavras ou expresses que antecedem as premissas e a concluso).
Para encontrar a concluso, perguntamos: o que que este argumento pretende demonstrar? Para encontrar as premissas perguntamos: que justificaes so apresentadas em favor da concluso?

incio

01 validade e verdade Pensar Azul 11.

Identificar as premissas e a concluso

Indicadores de premissas
porque visto que dado que por causa de como considerando que devido a uma vez que

incio

Indicadores de concluso
logo portanto ento por conseguinte segue-se que da que consequentemente por isso segue-se que infere-se que

(e outras expresses equivalentes)

(e outras expresses equivalentes)

Exerccios 7 a 9
01 validade e verdade Pensar Azul 11.

Validade e forma
(na forma padro).
Premissas

incio

Consideremos o seguinte argumento

Argumentar com correco facilita a comunicao. Estudar lgica desenvolve a capacidade de argumentar.
Concluso

Estudar lgica s tem utilidade para os programadores informticos.

Jorge Martins Cena de contemplao

1993, leo sobre tela

Mesmo que consideremos as premissas e a concluso verdadeiras, no podemos dizer que a concluso decorre do que afirmado nas premissas.
01 validade e verdade Pensar Azul 11.

Validade e forma
Imaginemos que Todos os Tra-la-l so Tro-lo-l e Todos os Tri-li-l so Tra-la-l so as premissas de um argumento. Qual a concluso?
Sabemos o significado das palavras Tra-la-l, Tro-lo-l e Tri-li-l? Como que podemos saber qual a concluso? A concluso ter de ser Todos os Tri-li-l so Tro-lo-l.

incio

Escrevemos ter de ser para traduzir uma necessidade lgica.

01 validade e verdade Pensar Azul 11.

Validade e forma
Se em vez das palavras Tra-la-l, Tro-lo-l e Tri-li-l, usarmos letras A, B e C, respectivamente, teremos: Todos os A so B. Todos os C so A. Logo, todos os C so B. Esta formulao traduz a estrutura do argumento, a que chamamos forma lgica.

incio

01 validade e verdade Pensar Azul 11.

Validade de um argumento
A validade lgica uma propriedade da estrutura dos argumentos e no depende da verdade ou da falsidade das proposies que constituem as premissas e a concluso, mas do modo como as premissas e a concluso esto relacionadas. Um argumento vlido quando est correctamente formulado, ou seja, quando as premissas sustentam e legitimam a concluso. Uma vez que a concluso sempre verdadeira se as premissas forem verdadeiras, ento, um argumento vlido quando de premissas verdadeiras impossvel derivar concluses falsas.

incio

01 validade e verdade Pensar Azul 11.

Validade e forma
Argumentos vlidos

incio Valor de verdade

Verdadeira Verdadeira
Verdadeira

1
2

Premissas

Todos os portugueses (A) so europeus (B) Todos os lisboetas (C) so portugueses (A)
Concluso

Logo, todos os lisboetas (C) so europeus (B)

Premissas

Todos os lisboetas (A) so portugueses (B) Todos os parisienses (C) so lisboetas (A)
Concluso

Verdadeira Falsa Falsa

Logo, todos os parisienses (C) so portugueses (B)

Premissas

Todos os lisboetas (A) so parisienses (B) Todos os portugueses (C) so lisboetas (A)
Concluso

Falsa Falsa Falsa

01 validade e verdade Pensar Azul 11.

Logo, todos os portugueses (C) so parisienses (B)

Validade e forma
Porm, se no caso 1 substituirmos
Todos os portugueses (A) so europeus (B) Todos os lisboetas (C) so portugueses (A) Logo, todos os lisboetas (C) so europeus (B)

incio

por
Todos os portugueses (A) so europeus (B) Todos os franceses (C) so europeus (B) Logo, todos os franceses (C) so portugueses (A) V V F

por

V V V

mudamos a estrutura do argumento. Se escrevermos as duas formas lado a lado, veremos que so formas diferentes.
Todos os A so B Todos os C so A Logo, todos os C so B
George W. Hart

Todos os A so B Todos os C so B Logo, todos os C so A

Neste caso, a forma do novo argumento no vlida e, por essa razo, j no temos nenhuma garantia de que a verdade das premissas seja preservada na concluso.
01 validade e verdade Pensar Azul 11.

incio

Validade (dos argumentos) e verdade

Argumento
Conjunto de proposies em que uma deriva das outras

(das proposies)
Proposio

Pensamento expresso por uma frase declarativa

Forma vlida

Forma no vlida

Verdadeira

Falsa

Validade (propriedade dos argumentos)

Depende do tipo de conexo existente entre premissas e concluso. independente do valor de verdade das proposies que o constituem. Um argumento pode ter premissas verdadeiras e concluso verdadeira e no ser vlido. A validade garante a verdade da concluso de um argumento que tenha premissas verdadeiras.

Verdade (propriedade das proposies)

Uma proposio verdadeira quando expressa adequadamente as caractersticas da realidade a que se refere.

Forma lgica
Forma lgica de um argumento a sua estrutura, ou o modo como esto relacionadas as diferentes proposies, independentemente do seu contedo (matria).
Podemos substituir o contedo das proposies por um smbolo: na lgica aristotlica, substitumos cada elemento de uma proposio na lgica proposicional, substitumos cada proposio globalmente

incio

Jorge Martins Entropia

1998, leo sobre tela

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Lgica aristotlica Substitui cada termo por uma letra maiscula

Argumento
Premissas Todos os Tra-la-l (A) so Tro-lo-l (B). Todos os Tri-li-l (C) so Tra-la-l (A). Concluso Logo, todos os Tri-li-l (C) so Tro-lo-l (B).

Forma do argumento
Todos os A so B. Todos os C so A. Logo, todos os C so B.

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Lgica aristotlica Substitui cada termo por uma letra maiscula

Argumento
Premissas Todos os artistas (A) so criativos (B). Todos os poetas (C) so artistas (A). Concluso Logo, todos os poetas (C) so criativos (B).

Forma do argumento
Todos os A so B. Todos os C so A. Logo, todos os C so B.

01 validade e verdade Pensar Azul 11.

Forma lgica
Lgica aristotlica Substitui cada termo por uma letra maiscula

incio

Argumento
Premissas Todos os poetas (A) so criativos (B). Alguns homens (C) no so poetas (A). Concluso Logo, alguns homens (C) no so criativos (B).

Forma do argumento
Todos os A so B. Alguns C no so A. Logo, alguns C no so B.

01 validade e verdade Pensar Azul 11.

Forma lgica
Os argumentos 1, 2 e 3 tm um contedo diferente, mas, quanto forma:

incio

1 2 3

Todos os A so B. Todos os C so A. Logo, todos os C so B. Todos os A so B. Todos os C so A. Logo, todos os C so B.

A mesma forma

Todos os A so B. Alguns C no so A. Logo, alguns C no so B.

Forma diferente

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Lgica proposicional Substitui cada proposio globalmente por uma letra

Argumento
Premissas Todos os Tra-la-l so Tro-lo-l (P). Todos os Tri-li-l so Tra-la-l (Q). Concluso Logo, todos os Tri-li-l so Tro-lo-l (R).

Forma do argumento
P e Q, logo, R

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Lgica proposicional Substitui cada proposio globalmente por uma letra

Argumento
Premissas Todos os artistas so criativos (P). Todos os poetas so artistas (Q). Concluso Logo, todos os poetas so criativos (R).

Forma do argumento
P e Q, logo, R

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Lgica proposicional Substitui cada proposio globalmente por uma letra

Argumento
Premissas Vou ouvir msica (P) ou ler (Q). Vou ouvir msica (P). Concluso Logo, no vou ler (~Q).

Forma do argumento
P ou Q, e P, logo, ~Q

01 validade e verdade Pensar Azul 11.

Forma lgica

incio

Os trs argumentos diferem quanto ao contedo. Quanto forma:

P e Q, logo, R A mesma forma

2
3

P e Q, logo, R

P ou Q, e P, logo, ~Q

Forma diferente

Sublinhamos as expresses que definem a forma do argumento. Repetem quando h identidade de forma e mudam quando a forma diferente: 1 e 2 tm a mesma forma; 3 tem forma diferente.
01 validade e verdade Pensar Azul 11.

Inferncias dedutivas e validade

Inferncias dedutivas vlidas so aquelas em que a verdade das premissas preservada na concluso, em virtude da sua forma.

incio

As inferncias dedutivas so conclusivas

(a concluso consequncia necessria das premissas)

e num argumento dedutivo a validade garante que seja impossvel partir de premissas verdadeiras e chegar a uma concluso falsa. Para termos a certeza que as concluses so verdadeiras, s temos de verificar se os argumentos so vlidos e se partem de premissas verdadeiras.
01 validade e verdade Pensar Azul 11.

incio

A lgica o estudo das formas de argumentao vlidas: formula as regras a que os argumentos devem obedecer para serem correctos, distingue as formas correctas das formas incorrectas e desenvolve tcnicas de avaliao de argumentos. O estudo da lgica permite compreender e treinar o uso das regras da lgica, aprender tcnicas de avaliao da correco dos argumentos e melhorar a capacidade de comunicao.

incio

As frases (isto , os enunciados com sentido) podem ser declarativas, interrogativas, imperativas e exclamativas. Somente as frases declarativas expressam proposies. O argumento constitudo por proposies: premissas, que so as razes de que se parte, e concluso, a proposio derivada ou inferida das premissas, sendo por elas justificada. Um argumento dedutivo vlido quando impossvel ter premissas verdadeiras e concluso falsa.

A validade depende da forma lgica do argumento e no do contedo, ou matria, das proposies que o constituem.

incio

A forma lgica de um argumento a sua estrutura; a matria o pensamento expresso pelas proposies que o constituem. Por isso, a validade uma propriedade dos argumentos dedutivos e a verdade uma propriedade das proposies. A validade condio necessria, mas no suficiente, para garantir a verdade da concluso; por isso, s h garantia da verdade da concluso se o argumento, alm de ser vlido, tiver premissas verdadeiras. Chamamos argumento slido a um argumento dedutivo vlido e com premissas verdadeiras.
Exerccios 10 e 11

incio