I.

Lgica formal
Racionalidade argumentativa e filosofia

1- Distino validade-verdade

A lgica como estudo da validade dos argumentos

A razo e a lgica so os procedimentos que se utilizam para apresentar
argumentos rigorosos e estar aptos a acautelar raciocnios defeituosos. Para que os
nossos raciocnios possam ser claros e traduzir-se em bons argumentos, importante
saber evitar o erro. Para nos auxiliar nessa tarefa existe a lgica cientfica, uma
disciplina que sistematiza os princpios ou fundamentos com os quais possvel
argumentar validamente.

O que se entende por argumento ?

Um argumento um complexo formado por uma ou vrias proposies
(premissas), a partir da(s) qual(ais) se infere uma nica proposio (concluso). A
relao que se estabelece entre as premissas e a concluso uma relao de
justificao. O movimento ou passagem das premissas para a concluso designa-se
inferncia ou raciocnio.

Conceitos nucleares:

Lgica: Cincia geral da inferncia, fundada por Aristteles. Divide-se
hoje em lgica formal e lgica informal. A lgica formal o estudo sistemtico
das formas vlidas e invlidas dos argumentos. Avalia o modo como se chega
concluso a partir das premissas.

Argumento: Refere-se, genericamente, ao complexo formado por uma
ou vrias proposies (premissas), a partir da(s) qual(ais) se infere uma
proposio (concluso). Existe, portanto, uma grande proximidade entre os
termos argumento, inferncia e raciocnio. Inferir chegar a uma concluso a
partir de um conjunto de premissas, ou seja, apresentar um argumento.
Argumentar expressar um raciocnio.

O que so proposies?

Cada uma das premissas de um argumento, bem como a sua concluso, so
proposies. As proposies, aquilo que proposto ou declarado, so asseres: dizem
como as coisas so, forma ou sero.. S as frases indicativas, por vezes tambm
chamados enunciados declarativos, suscetveis de serem encaradas como verdadeira
ou falsas, so proposies.

Uma proposio necessariamente portadora de valor de verdade. Por esta
razo, as frases usadas para exprimir ordens, preces, pedidos ou perguntas, por
exemplo, no constituem proposies.

Conceitos nucleares:

Proposio: Noo elementar da lgica. Embora a formulao precisa
possa variar, designa, genericamente, o que se afirma, declara ou prope
quando se exprime uma assero, enunciado indicativo ou declarativo,
suscetvel de ser encarado como verdadeiro ou falso, isto , suscetvel de
possuir valor de verdade. Uma proposio a expresso de um juzo.

Valor de verdade: Expresso da lgica clssica ou bivalente que se
refere ao facto de uma proposio poder ser verdadeira ou falsa. A verdade ou
falsidade, valores que se excluem mutualmente, so propriedades podem
unicamente ser atribudas s proposies e nunca aos argumentos.

Como se distinguem as noes de validade e de verdade?

Que partes constituem um argumento?

Um argumento constitudo por: premissas, que podem ser vrias, so o ponto
de partida; e a concluso que deriva das premissas.

O que distingue verdade de validade?

A verdade diz respeito ao contedo/matria das proposies. Enquanto, a
validade refere-se forma/estrutura dos argumentos.

Qual o objeto de estudo da lgica?

O objeto de estudo da lgica saber se no h maneira de as premissas seres
verdadeiras e a concluso falsa.

Nota:
Das proposies dizemos que so verdadeiras ou falsas.
Dos argumentos afirmamos que so vlidos ou invlidos.
A validade refere-se forma/estrutura dos argumentos.
A verdade diz respeito ao contedo/matria das proposies.


Um argumento invlido pode ter premissas e concluso verdadeiras, do
mesmo modo que um argumento vlido pode ser constitudo por premissas e
concluso falsa. A virtude essencial de um argumento vlido no reside no facto de as
premissas serem verdadeiras ou falsas, mas no facto de a concluso se seguir
necessariamente das premissas.
Sabemos que impossvel que, num argumento vlido, as premissas sejam
verdadeira e a concluso falsa, ento podemos rejeit-lo de imediato: invlido. Mas,
em todas as demais circunstncias, teremos de analisar a forma como a concluso
extrada do conjunto das premissas para podermos determinar se o argumento vlido
ou invlido.


A validade uma propriedade que se refere exclusivamente forma lgica ou estrutura formal
do argumento.
O contedo especfico das premissas e da concluso no relevante para determinar a validade
dos argumentos.



Apenas os argumentos dedutivos pode ser classificados como vlidos ou invlidos.

Quais as diferenas entre argumentos dedutivos e argumentos indutivos?


Um argumento dedutivo vlido quando a concluso consequncia lgica das premissas.
Se as premissas forem aceites e a concluso no, ocorre uma contradio, visto que a concluso est
implicasa pelas premissas. Por isso se ests so verdadeiras, a concluso ser garantidamente
verdadeira. Este tipo de argumento preservam a verdade, e no so ampliativos, isto , no dizem
mais do que aquilod que impicam.

Um argumento indutivo no nos leva a uma concluso que realmente deriva das premissas,
mas a extrapolaes: do particular para o geral, do observvel para o no observvel, do conehcido
para o desconhecido, do passado e presente para o futuro, etc.
A concluso de uma inferncia indutiva ultrapassa as premissas, no sentido em que a
verdade conjunta das premissas no garante a verdade da concluso.
Os argumentos indutivos conduzem nos sempre a concluses provveis. So ampliativos,
mas no so demostrativos , dado que a concluso uma extrapolao feita a partir das premissa.
Premissas
verdadeiras
Argumento
vlido
Concluso
verdadeira