A definição de lógica

Escola Virtual
 LÓGICA

Disciplina filosófica que estuda a distinção entre argumentos corretos (ou válidos) e
incorretos (ou inválidos), mediante a identificação das condições necessárias à operação
que conduz da verdade de certas crenças à verdade de outras.

Estudo das leis, princípios e regras a que devem obedecer o

pensamento e o discurso para serem válidos.

Lógica formal Lógica informal

Analisa
Analisa a validade essencialmente a
dos argumentos validade dos
dedutivos. argumentos não
dedutivos.
Os elementos lógicos do
pensamento
Os elementos lógicos do
pensamento

A Filosofia tem uma dimensão discursiva

que utiliza os mesmos instrumentos lógicos
que o discurso em geral:

 O conceito  Termo
 O juízo  Proposição
 O raciocínio  Argumento
 O conceito

Conceito = ideia/
representação mental
( conceptualizar)

Termo =
MAÇÃ verbalização
do conceito
 A proposição

PROPOSIÇÕES FRASES

Nem todas as frases expressam proposições.

Só as frases declarativas

Afirmam, negam,
atribuem, declaram Podem ser
ou constatam alguma consideradas
coisa. verdadeiras ou falsas
 A proposição

Pensamento ou conteúdo, verdadeiro ou falso,

expresso por uma frase declarativa.

 Uma ordem: Vai-te embora!

 Uma interjeição: Que dor!
a
m :
é u ição
o s
Nã opo
pr
 APLICA O QUE SABES

Exercício 1
Do seguinte conjunto de frases, identifica quais são
proposições:

a) Há pessoas que questionam a sua existência

b) Tens a certeza que Astana é a capital do

Cazaquistão?
c) Vai-te embora!
d) Os morcegos são mamíferos.
O que é argumentar?

Protestar?

Contradizer?

Não!

Argumentar é apresentar boas razões

para sustentar os nossos pontos de vista.
 Argumentos Escola Virtual
https://app.escolavirtual.pt/lms/playerteacher/resource/1047045/E?se=&seType=&coId=1
6863147&bLkL
=

Conjunto variável de proposições ( ou

afirmações) articuladas entre si, com o intuito de
uma delas ser apoiada pelas outras.

Constituído

Conclusão= tese:
Premissas: proposição que se
proposições que pretende apoiar e que
apoiam a conclusão resulta da relação entre as
premissas

Todos os mamíferos são inteligentes.

Exemplo Todos os seres humanos são mamíferos.
Logo, todos os seres humanos são
inteligentes.
 Como Sim! Com
o
reconhecer identifica
ra
um tese e as
argumento? premissa
s?
3. Clarificar argumentos

1. Identificar premissas e conclusão.

2. Revelar premissa(s) omitida(s).
3. Afastar o “ruído”.
4. Reescrever o argumento na forma-padrão.
 Indicadores de premissa e de conclusão
– exemplo

Exemplo
Proposição 1 – O Universo não é infinito.
O Universo não é infinito. Com Proposição 2 – Se o Universo fosse infinito, a
força da gravidade não existiria.
efeito, se o Universo fosse infinito,
Proposição 3 – A força da gravidade existe.
a força da gravidade não existiria.
Ora, a força da gravidade existe.
Se o Universo fosse infinito, a força da gravidade

não existiria.
Indicadores de premissa
A força da gravidade existe.

Logo, o Universo não é infinito.

Indicador de conclusão
Indicadores de Ora; porque; uma vez que; pois; visto que;
premissa como; em virtude de; considerando que; por
causa de; supondo que; atendendo a que; já
que; (...)

Por isso; assim; daí que; portanto; segue-se

Indicadores de
conclusão que; infere-se que; logo; por conseguinte; por
consequência; assim sendo; por isso; (...)
3. Clarificar argumentos

Cristiano Ronaldo é um grande jogador

Argumento de futebol. No entanto, é natural que

cometa erros, dado que todos os seres
humanos erram.
3. Clarificar argumentos

Identificar premissas e conclusão:

 Elabora uma lista com todas as proposições
que encontras no argumento.

• Cristiano Ronaldo é um grande jogador

de futebol.
• Cristiano Ronaldo erra.
• Todos os seres humanos erram.
3. Clarificar argumentos

Identificar premissas e conclusão:

 Identifica a proposição que está a ser
defendida. Essa é a conclusão do argumento.

• Cristiano Ronaldo é um grande jogador

de futebol.
• Cristiano Ronaldo erra. (C)
• Todos os seres humanos erram.
3. Clarificar argumentos

Identificar premissas omitidas:

 Se alguma proposição relevante para a análise
do argumento estiver omitida, deves revelá-la.

• Cristiano Ronaldo é um grande jogador

de futebol.
• Cristiano Ronaldo erra. (C)
• Todos os seres humanos erram.
• Cristiano Ronaldo é um ser humano.
3. Clarificar argumentos

Afastar o ruído:
Algumas proposições não são essenciais à
análise do argumento. Deves afastá-las.

• Cristiano Ronaldo é um grande jogador

de futebol.
• Cristiano Ronaldo erra. (C)
• Todos os seres humanos erram.
• Cristiano Ronaldo é um ser humano.
3. Clarificar argumentos

Forma-padrão
 Dispõe as proposições linha a linha, primeiro
as premissas e só no fim a conclusão.

• Todos os seres humanos erram.

• Cristiano Ronaldo é um ser humano.
• Logo, Cristiano Ronaldo erra.
Distinção entre validade e verdade
Escola Virtual Escola Virtual
Forma Conteúdo

Argumentos Proposições

Validade Verdade
Validade  Diz respeito à estrutura formal
do argumento, ou seja, ao
modo como o raciocínio é
construído,
independentemente de as
premissas que o compõem
serem verdadeiras ou falsas.
 Os argumentos são válidos ou
inválidos
 A validade diz unicamente
respeito à forma lógica do
argumento.
 • A verdade, pelo contrário, é
Verdade uma propriedade
exclusivamente relacionada
com o conteúdo ou matéria
das proposições.
• Refere-se à relação que as
proposições que compõem o
argumento estabelecem com a
realidade.
 ARGUMENTOS DEDUTIVOS

A sua validade depende apenas da forma lógica.

Se as premissas
forem verdadeiras e
Num argumento dedutivo válido é logicamente impossível que as
a conclusão falsa,
premissas sejam verdadeiras e a conclusão falsa.
então o argumento
é inválido.

Os argumentos dedutivos válidos são especialmente

apreciados pelos filósofos.

Estes argumentos preservam

a verdade.
 Exemplo Exemplo

Todos os alunos são sensatos. Todos os alunos são sensatos.

Todos os jovens de dezasseis anos são alunos. Todos os jovens de dezasseis anos são sensatos.
Logo, todos os jovens de dezasseis anos são sensatos. Logo, todos os jovens de dezasseis anos são alunos.

Argumento válido Argumento inválido

É logicamente impossível as duas premissas A verdade da conclusão não é garantida pela

serem verdadeiras e a conclusão falsa. verdade das premissas.

Todos os A são B. Importância da Todos os A são B.

Todos os C são A. forma lógica do Todos os C são B.
Logo, todos os C são B. argumento. Logo, todos os C são A.

Forma válida Forma inválida

 PROPOSIÇÕES CATEGÓRICAS

QUALIDADE QUANTIDADE

AFIRMATIVAS NEGATIVAS UNIVERSAIS PARTICULARES

Uma proposição é
negativa quando ela
Uma proposição é nos indica – nuns
Uma proposição é Uma proposição é
afirmativa quando ela casos através da
considerada universal considerada particular
nos indica – através da cópula, noutros
quando o sujeito é quando o sujeito é
cópula – que o através de
tomado em toda a sua tomado apenas numa
predicado convém ao quantificadores como
extensão. parte da sua extensão.
sujeito. «Nenhum» – que o
predicado não
convém ao sujeito.

Exemplo: Exemplo: Exemplo: Exemplo:

Qualquer deus é Há animais que não Todos os cães são Alguns insetos
imortal. são mortais. vertebrados. perturbam.

NOTA: as proposições singulares – aquelas em que um predicado/atributo é afirmado ou negado de

um único sujeito – serão consideradas proposições universais.
 Da combinação da qualidade e da quantidade,
resultam os seguintes tipos de proposição:

Tipos de proposições Forma lógica

Tipo A Universal afirmativa Todo o S é P.

Tipo E Universal negativa Nenhum S é P

Tipo I Particular afirmativa Algum S é P

Tipo O Particular negativa Alguns S não são P

 Proposições categóricas na sua forma-padrão ou forma
canónica e outras expressões das mesmas

Tipo A Universais afirmativas

O predicado é afirmado de todos os elementos da classe que o sujeito representa.

Forma-padrão Outras expressões

Qualquer filósofo é crítico.

Ser filósofo é ser crítico.
Todo o S é P Os filósofos são críticos.
O filósofo é crítico.
Todos os filósofos são críticos. Quem é filósofo é crítico.
Não há filósofos que não sejam críticos.
Só há filósofos críticos.
 Tipo E Universais negativas

O predicado é negado de todos os elementos da classe que o sujeito representa.

Forma-padrão Outras expressões

Os animais não são perigosos.

O animal não é perigoso.
Nenhum S é P
Ser perigoso não é uma característica dos animais.
Não há animal que seja perigoso.
Nenhum animal é perigoso.
Só existem animais não perigosos.
Todos os animais não são perigosos.
 Tipo I Particulares afirmativas
O predicado é afirmado apenas de uma parte dos elementos da classe que o sujeito
representa.
Forma-padrão Outras expressões

Certos dias são belos.

Algum S é P
Há dias belos.
Existem dias belos.
Alguns dias são belos.
Existe pelo menos um dia que é belo.
 Tipo O Particulares negativas
O predicado é negado apenas de uma parte dos elementos da classe que o sujeito
representa.
Forma-padrão Outras expressões

Certos caminhos não são transitáveis.

Algum S não é P Há caminhos não transitáveis.
Existem caminhos não transitáveis.
Alguns caminhos não são Existe pelo menos um caminho que não é
transitáveis. transitável.
Nem todos os caminhos são transitáveis.
 APLICA O QUE SABES

Exercício 2
1: Identifica o tipo das seguintes proposições:

a) Certos homens são dogmáticos

b) Não há canções de amor
c) Não há um único artista que não seja criativo
d) Nem todas as mulheres são feministas
A DIMENSÃO DISCURSIVA E ARGUMENTATIVA
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO
TEMA II | LÓGICA FORMAL
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Como se negam
proposições categóricas?
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

NEGAÇÃO DE PROPOSIÇÕES

A negação inverte o valor de verdade de

uma proposição, ou seja, quando uma
proposição é verdadeira, a sua negação é
falsa, e vice-versa.

Se conseguirmos mostrar que a negação de

uma proposição é verdadeira, conseguimos
mostrar que essa proposição é falsa.
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

NEGAÇÃO DE PROPOSIÇÕES

Como negarias a proposição «Toda a pobreza é

evitável»? Porquê?

Afirmando que «Nenhuma pobreza é evitável»?

OU
Declarando que «Alguma pobreza não é evitável»?
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

NEGAÇÃO DE PROPOSIÇÕES

As proposições «Toda a pobreza é evitável» e

«Nenhuma pobreza é evitável» podem ser
simultaneamente verdadeiras? E simultaneamente
falsas? Porquê?
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

O que é o quadrado
lógico da oposição?
 O QUADRADO LÓGICO OU QUADRADO DE
OPOSIÇÃO

Inferências imediatas: a partir de uma proposição podemos

inferir outras alterando só a qualidade (afirmativa/negativa), a
quantidade (particular/universal) ou ambas.

O quadrado de oposição permite-nos representar quatro relações lógicas

entre as proposições:

1.Contradição (contraditórias)
2.Contrariedade (contrárias)
3.Subcontrariedade (subcontrárias)
4.Subalternidade (subalternas).
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Todo o A UNIVERSAIS E Nenhum

S é P. S é P.
CONTRÁRIAS

CO

SUBALTERNAS
SUBALTERNAS
AFIRMATIVAS
N

NEGATIVAS
TR

R IA
A

TÓ
DI
TÓ

I
AD
R
TR
IA
CO
N S

SUBCONTRÁRIAS
Algum Algum
S é P.
I PARTICULARES
O S não é P.
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Toda a
pobreza é A UNIVERSAIS E Nenhuma
pobreza é
evitável. CONTRÁRIAS evitável.
CO

SUBALTERNAS
SUBALTERNAS
AFIRMATIVAS
N

NEGATIVAS
TR

R IA
A

TÓ
DI
TÓ

I
AD
R
TR
IA
CO
N S

Alguma
Alguma SUBCONTRÁRIAS
pobreza
pobreza é
evitável. I PARTICULARES
O não é
evitável.
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

NEGAÇÃO DE PROPOSIÇÕES
Não podem ser ambas verdadeiras, mas podem ser ambas
Contrárias falsas. EX: “Todos os cisnes são brancos” e “ Nenhum cisne é branco” Não podem ser ambas
verdadeiras . Contudo podem ser ambas falsas.

Contraditórias Não podem ter o mesmo valor de verdade (são

NEGAÇÃO proposições inconsistentes). : Não podem ser ambas verdadeiras nem ambas
falsas. EX: Todos os gatos são negros” “ Alguns gatos não são negros”

Não podem ser ambas falsas, mas podem ser ambas

Subcontrárias verdadeiras. Ex: “ Algumas rosas são vermelhas” e “ Algumas rosas não são vermelhas”

Da verdade da universal podemos concluir a verdade da

particular.
Da falsidade da particular podemos concluir a falsidade da
Subalternas universal. Se a proposição universal for verdadeira a particular que lhe corresponde é
verdadeira. Se a proposição universal é falsa a proposição particular que lhe corresponde também é
falsa. Ex: se for verdade que todos os filósofos são lógicos, também será verdade que alguns
filósofos são lógicos e vice versa.
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Toda a
pobreza é A UNIVERSAIS E Nenhuma
pobreza é
evitável. ? CONTRÁRIAS evitável. F
CO

SUBALTERNAS
SUBALTERNAS
AFIRMATIVAS
N

NEGATIVAS
TR

R IA
A

TÓ
DI
TÓ

I
AD
R
TR
IA
CO
N S

Alguma SUBCONTRÁRIAS Alguma

pobreza é pobreza não
evitável. V I PARTICULARES
O é evitável. F
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Toda a
pobreza é A UNIVERSAIS E Nenhuma
pobreza é
evitável. V CONTRÁRIAS evitável. F
CO

SUBALTERNAS
SUBALTERNAS
AFIRMATIVAS
N

NEGATIVAS
TR

R IA
A

TÓ
DI
TÓ

I
AD
R
TR
IA
CO
N S

Alguma
Alguma SUBCONTRÁRIAS
pobreza
pobreza é
evitável. V I PARTICULARES
O não é
evitável. F
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Exercícios
PROPOSIÇÕES CATEGÓRICAS E QUADRADO DA OPOSIÇÃO

Correção:

• Nenhum ser humano vive em pobreza extrema.

• Alguma pobreza extrema não é um mal evitável.
• Todas as formas de pobreza são manifestas.
• Alguma pobreza extrema é moralmente aceitável.