Filosofia

Apresentar a lgica como cincia formal das condies

de coerncia, do pensamento e do discurso
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.

Filosofia

Um argumento no-vlido (invlido) quando a concluso no

decorre necessariamente das premissas.
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 (Universais afirmativas)
E (Universais negativas)
I (Particulares afirmativas)
O (Particulares negativas)

Sujeito
Distribudo
Distribudo
No distribudo
No distribudo

Predicado
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).

Filosofia

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.
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
4

Filosofia

Falcias formais do silogismo:

Quatro termos quando apresenta quatro termos.

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).

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).