Filosofia

LINGUAGEM
PENSAMENTO
Termo ---------------------------------------------------------------Conceito
Proposies-------------------------------------------------------------Juzo
Argumento-----------------------------------------------------------Raciocnio
O que a Lgica Formal?
Lgica Formal - estudo das condies de coerncia do pensamento e
do discurso.
A lgica formal estuda argumentos, procurando estabelecer a relao
entre a forma de um argumento e a sua validade.
A lgica ensina a distinguir argumentos de no-argumentos e
argumentos vlidos de argumentos no-vlidos.

Distinguir a validade e a verdade

As proposies so frases que podem ser consideradas verdadeiras

ou falsas.
Verdade matria ou contedo das proposies
Os argumentos so vlidos ou no-vlidos.
Validade forma
A validade de um argumento decorre exclusivamente do tipo de
relao (forma lgica) que se estabelece entre as premissas e a
concluso, sendo independente do contedo das proposies (ou
seja, da sua verdade ou falsidade).
Assim sendo, um argumento vlido quando a concluso decorre
necessariamente da relao estabelecida entre as premissas.
Um argumento no-vlido (invlido) quando a concluso no
decorre necessariamente das premissas.

Filosofia

Quando um argumento vlido, se tem as premissas

verdadeiras, tem uma concluso necessariamente verdadeira
( o caso da deduo correta).

- Vlidos mas no verdadeiros

Argumentos podem Ser

- Verdadeiros mas no vlidos

- Falsos e invlidos
- Verdadeiros e vlidos (argumento

slido)

Esclarecer o que uma proposio e um argumento

Proposio Expresso lingustica do juzo.

Argumento Expresso lingustica do raciocnio.

Caracterizar induo e deduo

Deduo operao intelectual que, a partir de uma ou mais

premissas gerais tomadas como antecedente, chega a uma concluso
ou consequente particular.
Induo operao intelectual que, a partir de proposies ou
antecedentes particulares, chega a uma concluso ou consequente
expresso por uma proposio geral.

Classificar as proposies quanto quantidade e

qualidade

Filosofia

Reconhecer a distribuio dos termos na proposio

Tipos de
Proposio
A
E
I
O

Sujeito

Predicado

Distribudo
Distribudo
No distribudo
No distribudo

No distribudo
Distribudo
No distribudo
Distribudo

Termo sujeito est distribudo nas proposies universais (A e

E), vem sempre acompanhado pelo quantificador (Todos,
Nenhum ou Alguns) quando a proposio se apresenta na forma
cannica.
Termo predicado est distribudo nas proposies negativas (E
e O)
Termo distribudo o termo de uma proposio que designa
todos os elementos do conceito.
Termo no distribudo o termo de uma proposio que se
refere apenas a parte dos elementos abrangidos pela extenso
do conceito.

Identificar a figura e o modo no silogismo

Silogismo Categrico

Tem obrigatoriamente e apenas 3 termos:

Termo Maior predicado da concluso e aparece na 1 premissa
(maior).
Termo Mdio no est na concluso e estabelece a relao entre
o maior e o menor.
Termo Menor sujeito da concluso e aparece na 2 premissa
(menor).
Modo do Silogismo Indicao do tipo das 3 proposies do silogismo.
O modo depende da qualidade e da quantidade das proposies, ou
seja se so de tipo A, E, I ou O.
3

Filosofia

Figuras do Silogismo Depende da posio do termo mdio nas

premissas maior e menor.
1 figura Su; Pre
2 figura Pre; Pre
3 figura Su; Su
4 figura Pre; Su

Clarificar as regras do silogismo

Regras dos termos

Para um silogismo ser vlido:

Tm trs e apenas trs termos;

Nenhum termo pode ser mais extenso na concluso do que nas
premissas;
A concluso no pode conter o termo mdio;
O termo mdio deve estar distribudo, pelo menos, uma vez.
Regras das proposies
Para um silogismo ser vlido h que ter em conta que:

Duas premissas afirmativas no podem conduzir a uma

concluso negativa;
De duas premissas negativas nada se pode concluir;
De duas premissas particulares nada se pode concluir;
A concluso segue sempre a parte mais fraca.

Premissa negativa = concluso negativa

Premissa particular = concluso particular

Detetar falcias cometidas por violao das regras do

silogismo

Falcias formais do silogismo:

Quatro termos quando apresenta quatro termos.

Filosofia

Termo mdio no distribudo quando o termo mdio no est

pelo menos uma vez distribudo (tem que ser universal em pelo
menos uma das premissas).

Ilcita maior quando o termo maior apresenta maior extenso

na concluso do que nas premissas (est distribudo quando o
predicado negativo).

Ilcita menor quando o termo menor apresenta maior extenso

na concluso do que nas premissas (est distribudo quando o
sujeito universal).
Empirismo

O empirismo uma doutrina filosfica que tem como principal

terico o ingls John Locke (1632-1704), que defende uma corrente a
qual chamou de Tabula Rasa. Esta corrente afirma que as pessoas
nada conhecem, como uma folha em branco. O conhecimento
limitado s experincias vivenciadas, e as aprendizagens se do por
meio de tentativas e erros.
Entende-se por emprico aquilo que pode ter sua veracidade ou
falsidade verificada por meio dos resultados de experincias e
observaes. Teorias no bastam, somente atravs da experincia, de
fatos ocorridos observados, um conhecimento considerado pelo
empirista.
A percepo do Mundo externo e a abstrao da realidade realizada
na mente humana so o que faz o homem adquirir sabedoria,
segundo o empirismo. Embora tenha se baseado no cartesianismo de
Ren Descartes, ao contrrio deste, Locke no aceita a existncia de
idias inatas resultantes da capacidade de pensar da razo.

Filosofia

David Hume , que contribuiu com a epistemologia ao discutir o

princpio da causalidade. Segundo Hume, no existe conexo causal,
e sim uma seqncia temporal de eventos, que pode ser observada.
Racionalismo
O Racionalismo uma corrente filosfica baseada nas operaes
mentais para definir a viabilidade e efetividade das proposies
apresentadas.
Essa corrente surgiu como doutrina no sculo I antes de Cristo para
enfatizar que tudo que existente decorrente de uma causa. Muito
tempo depois, j na Idade Moderna, os filsofos racionalistas
adotaram a matemtica como elemento para expandir a ideia de
razo e a explicao da realidade. Dentre seus adeptos, destacou-se
o francs Ren Descartes que elaborou um mtodo baseado na
geometria

nas

regras

do mtodo

cientfico.

Suas

ideias

influenciaram diversos outros intelectuais, como Spinoza eLeibniz.

Este, por exemplo, desenvolveu o mtodo de clculo infinitesimal e
defendeu o Racionalismo dizendo que algumas ideias e princpios so
percebidos pelos nossos sentidos, mas no esto neles as origens.
Seus argumentos tinham grande amparo da geometria, da lgica e da
aritmtica. As elaboraes de Descartes tambm impulsionaram
muito o mtodo cientfico em funo das quatro regras que utilizou
para elaborar seu mtodo racionalista. As regras diziam que jamais se
deveria acolher algo como verdadeiro enquanto no fosse verificado,
que era preciso fragmentar as dificuldades para examin-las mais de
perto, que era preciso impor ordem aos pensamentos e, por fim, fazer
enumeraes e revises para no correr o risco de omisses.
6

Filosofia

A partir da Idade Moderna, o Racionalismo obteve grande crescimento

como corrente filosfica e no se pode desvincular essas ideias das
aplicaes

matemticas.

Tradicionalmente,

Racionalismo

era

definido pelo raciocnio como operao mental, discursiva e lgica

para extrair concluses. As inovaes humanas apresentadas com o
advento do Renascimento consolidaram o Racionalismo com o
acrscimo de elaboraes e verificaes matemticas. Para o
Racionalismo, tudo tem uma causa inteligvel, mesmo que no possa
ser demonstrada empiricamente. O Racionalismo foi importante
elemento do mundo Moderno para superar o mundo Medieval, pois
privilegia a razo em detrimento das experincias do mundo sensvel,
ou seja, o mtodo mtico como se tinha acesso ao conhecimento
durante a Idade Mdia. Assim, o Racionalismo baseado na busca da
certeza e da demonstrao.