Lógica I - Desidério Murcho

Lógica'II'(FIL125)'
Desidério'Murcho'
Universidade'Federal'de'Ouro'Preto'
dmurcho.com' 1'

Programa,'avaliação'e'calendário'
O"QUE"VAMOS"ESTUDAR?"
dmurcho.com' 2'

Síntese'do'programa'
1. O'método'das'árvores'lógicas'na'lógica'
clássica'
2. Lógica'modal:'linguagem'e'árvores'lógicas'
3. Filosofia'da'modalidade'
O'programa'completo'está'em'dmurcho.com'
dmurcho.com' 3'
'

Síntese'da'avaliação'
• Três'provas'escritas'presenciais,'obrigatórias'
e'sem'consulta''
– 14'de'Junho'
– 19'de'Julho'
– 6'de'Setembro'
• A'classificação'final'do'aluno'resulta'da'
média'aritmética'das'três'provas'
dmurcho.com' 4'

Competências'
• Explicar'com'rigor'todos'os'conceitos'da'área'
• Fazer'árvores'lógicas'corretamente'
• Explicar'as'regras'usadas'nas'árvores'lógicas'
• Explicar'os'problemas,'teorias'e'argumentos'
associados'à'lógica'modal'
• Escrever'com'máximo'rigor'e'simplicidade'
• Argumentar'e'raciocinar'de'modo'cogente'e'criativo'
• Detectar'argumentos,'premissas'e'conclusões'em'
textos'filosóficos'
• Avaliar'com'rigor'argumentos'e'raciocínios'
dmurcho.com' 5'

Síntese'da'bibliografia'
• Notas'de'aulas'
• Murcho,'D.'(2002)'Essencialismo+
Naturalizado:+Aspectos+da+Metafísica+da+
Modalidade.+Coimbra:'Angelus'Novus.'
• Murcho,'D.'(2003)'O+Lugar+da+Lógica+na+
Filosofia.+Lisboa:'Plátano.'
• Newton]Smith,'W.'H.'(1985)'Lógica:+Um+Curso+
Introdutório.'Trad.'D.'Murcho.'Lisboa:'
Gradiva,'1998.''
dmurcho.com' 6'

• dmurcho.com'
Sites'
• Crítica'(criticanarede.com),'secção'de'Lógica'
dmurcho.com' 7'

Monitoria'
• Monitores:'Tiago'Ellis'e'Eduardo'Cruz'
• Nas'sessões'de'monitoria:'
– Aprofunda]se'as'matérias'
– Resolve]se'exercícios'difíceis''
– Estuda]se'em'grupo'
• A'monitoria'não'substitui'o'estudo'individual'
intenso'necessário'para'ser'aprovado'na'
disciplina'
dmurcho.com' 8'

Lógica,'filosofia'e'raciocínio'
BREVE"REVISÃO"
dmurcho.com' 12'

O'que'é'a'filosofia?'
• Em'filosofia'estudamos'problemas'insuscetíveis'
de'investigação'científica'ou'formal'
• São'problemas'que'não'podem'ser'resolvidos'
nem'pela'observação'e'experimentação,'como'
acontece'com'os'problemas'da'física,''
• Nem'pelo'cálculo'matemático'ou'lógico,'como'
acontece'com'os'problemas'da'matemática'e'
da'lógica'
dmurcho.com' 13'

Alguns'exemplos'
• Será'que'Deus'existe?'
• Será'o'livre]arbítrio'compatível'com'o'
determinismo'da'natureza?'
• Será'o'aborto'moralmente'permissível?'
• A'avaliação'das'obras'de'arte'é'meramente'
subjetiva?'
dmurcho.com' 14'

O'método'filosófico'
• Não'há'método'filosófico,'no'sentido'de'um'
conjunto'fechado'de'procedimentos'
automáticos'
• Mas'há'modos'de'proceder'e'competências'
que'nos'permitem'fazer'filosofia'
proficientemente'
dmurcho.com' 15'

Elementos'metodológicos'
• Análise'proficiente'de'conceitos'filosóficos'
– Verdade,'conhecimento,'valor,'livre]arbítrio'
• Raciocínio'intenso'e'cogente'para'responder'
aos'problemas'filosóficos'
• Análise,'formulação'e'avaliação'rigorosa'dos'
problemas,'teorias'e'argumentos'da'filosofia'
dmurcho.com' 16'

Papéis'da'lógica'
1. Torna'mais'rigorosa,'precisa'e'relevante'a'
análise'filosófica'de'conceitos'
2. Permite'raciocinar'e'argumentar'com'
cogência,'e'analisar'com'rigor'os'raciocínios'
e'argumentos'dos'filósofos'
3. Torna'mais'rigorosa'a'análise,'formulação'e'
avaliação'dos'problemas,'teorias'e'
argumentos'da'filosofia'
dmurcho.com' 17'

O'que'a'lógica'não'é'
• Não'é'apenas'um'instrumento'da'filosofia'
– É'uma'disciplina'independente,'que'em'filosofia'
usamos'instrumentalmente'
• Não'é'um'mero'cálculo'formal,'automático,'que'
vise'eliminar'ou'resolver'desse'modo'os'
problemas'filosóficos'
• Não'é'dogmática,'pois'existem'várias'lógicas'e'
quem'sabe'lógica'tem'posto'em'causa,'ao'longo'
da'história,'todos'os'pressupostos'das'
diferentes'lógicas,'como'o'terceiro'excluído,'a'
bivalência,'a'não]contradição,'etc.'
dmurcho.com' 18'

O'que'a'lógica'é'
• A'lógica,'formal'e'informal,'estuda'a'cogência'
dos'argumentos'e'raciocínios'
• Procura'distinguir'os'argumentos'e'raciocínios'
cogentes'dos'que'o'não'são,'explicando'porquê'
• A'lógica'formal'estuda'apenas'um'dos'
elementos'da'cogência:'a'validade'formal'
• A'lógica'informal'estuda'não'apenas'a'validade'
informal,'mas'também'os'outros'aspectos'da'
cogência'
dmurcho.com' 19'

Raciocinar,'analisar,'teorizar'
• Podemos'aprender'lógica'com'muitos'
objetivos'em'vista'
• Em'filosofia,'estudamos'lógica'para'aprender'
a'melhor'raciocinar,'argumentar,'analisar'e'
teorizar'
dmurcho.com' 20'

Raciocínio'e'argumento'
• Um'raciocínio'é'um'conjunto'de'afirmações'
em'que'se'pretende'concluir'uma'delas'(a'
conclusão)'a'partir'das'outras'(as'premissas)'
• Um'argumento'é'um'raciocínio'que'visa'
persuadir'alguém"
dmurcho.com' 21'

A'sua'importância'
• O'raciocínio'e'a'argumentação'são'cruciais'
• Não'podemos'saber'tudo'só'por'observação'
nem'por'testemunho'
• Por'testemunho'sabemos'que'a'Terra'é'
redonda'—'são'os'cientistas'que'o'dizem'
• Mas'como'sabem'eles'isso?'
• Sabem]no'raciocinando'intensamente'a'
partir'de'vários'dados'relevantes'
dmurcho.com' 22'

Formalismo'escolar'
• Apesar'de'o'raciocínio'estar'na'base'de'todo'o'
conhecimento'humano,'na'escola'fica]se'muitas'
vezes'com'a'ideia'errada'de'que'adquirir'
conhecimento'é'apenas'uma'questão'de'ler'o'
que'está'nos'livros'ou'ouvir'o'que'diz'o'
professor'
• Mas'nem'toda'a'gente'pode'limitar]se'a'decorar'
e'repetir'o'que'os'supostos'especialistas'dizem'
• Os'próprios'especialistas'têm'de'saber'pelo'
menos'algo'sem'ser'por'meio'de'outros'
especialistas'
dmurcho.com' 23'

Autonomia'
• No'ensino'de'excelência'procura]se'que'o'
estudante'ganhe'autonomia'para'raciocinar'
por'si'
• Isto'significa'que'não'se'quer'que'ele'se'
limite'a'repetir'o'que'diz'o'professor'ou'o'
livro'
• A'lógica'permite'ganhar'essa'autonomia'
porque'ensina'a'raciocinar'melhor'
dmurcho.com' 24'

Pensamento'conceptual'
• Nem'todas'as'afirmações,'teses'ou'ideias'são'
empíricas'
• “Há'quem'afirme'que'sem'Deus'não'há'valores”'
– Afirmação'empírica'
– Sabemos'se'é'verdadeira'ou'falsa'procurando'
autores'que'afirmem'isso'
• “Sem'Deus'não'há'valores”'
– Afirmação'não'empírica:'filosófica'
– A'única'maneira'de'saber'se'é'verdadeira'ou'falsa'é'
raciocinando'sobre'o'conceito'de'divindade'e'de'
valor'
dmurcho.com' 25'

Validade'e'forma'lógica'
• A'validade'do'raciocínio'é'o'conceito'crucial'
da'lógica'
• A'lógica'formal'estuda'apenas'a'validade'que'
pode'ser'detetada'recorrendo'
exclusivamente'à'forma'lógica'
• Mas'a'validade'não'basta'
dmurcho.com' 26'

Três'condições'cruciais'
Para'que'um'argumento'
seja'cogente'é'preciso:'
1. Ser'válido'
2. Ter'premissas'
verdadeiras'
3. Ter'premissas'mais'
plausíveis'do'que'a'
conclusão'
Argumentos'
Válidos'
Sólidos'
Cogentes'
dmurcho.com' 27'

O'raciocínio'é'crucial'
• Apesar'de'a'lógica'formal'atentar'apenas'na'
validade,'e'apenas'na'validade'formal,'é'crucial'
para'saber'raciocinar'
• Para'saber'se'uma'premissa'de'um'argumento'é'
verdadeira'ou'plausível,'é'preciso'raciocinar'
intensamente'
• Para'avaliar'ou'formular'uma'teoria'filosófica'é'
preciso'raciocinar'intensamente'
• Para'analisar'um'conceito'é'preciso'raciocinar'
intensamente'
dmurcho.com' 28'

Linguagem'
• Mas'a'lógica'tem'um'segundo'papel'crucial:'
– Ajuda'a'clarificar'a'linguagem'
– Ajuda'a'entender'melhor'os'textos'que'lemos'
– Ajuda'a'escrever'melhor'
• Porque'exibe'aspectos'cruciais'da'estrutura'
da'linguagem'—'os'aspectos'importantes'
para'raciocinar'bem'
dmurcho.com' 29'

Linguagem'proposicional'
• Na'lógica'proposicional'clássica'aprendemos'
a'raciocinar'melhor'com'conjunções,'
disjunções,'condicionais,'bicondicionais'e'
negações'
– Aprendemos,'entre'outras'coisas,'a'negar'
corretamente'condicionais,'conjunções'e'
disjunções'
dmurcho.com' 30'

Linguagem'de'predicados'
• Na'lógica'de'predicados'clássica'aprendemos'
a'raciocinar'melhor'com'nomes,'predicados'
e'quantificadores'
– Aprendemos,'entre'outras'coisas,'a'negar'
corretamente'proposições'universais'
dmurcho.com' 31'

Lógica,'linguagem,'teorização'
• A'lógica'é'importante'em'filosofia'não'
apenas'porque'ensina'a'raciocinar'melhor'
• E'não'apenas'porque'clarifica'a'linguagem'
• Mas'também'porque'constitui'em'si'mesma'
um'exemplo'do'que'é'teorizar'
• A'lógica'clássica'é'uma'de'entre'várias'
teorias'lógicas'
dmurcho.com' 32'

Teoria'lógica'
• Uma'teoria'visa'explicar'algo,'dar'algo'a'
compreender'ou'resolver'um'problema'ou'
perplexidade'
• As'teorias'filosóficas'são'bastante'mais'
complexas'e'vagas'do'que'as'teorias'lógicas'
• Estas'são'tão'precisas'que'servem'de'
modelo'simplificado'do'que'é'uma'teoria'e'
de'como'se'faz'uma'teoria'
dmurcho.com' 33'

Anatomia'de'uma'teoria'
• Uma'teoria'tem'elementos'centrais,'como'as'
regras'primitivas'da'lógica'clássica'
• E'elementos'derivados'dos'centrais,'como'as'
regras'de'derivadas'
• Algumas'regras'centrais'são'óbvias'
• Outras'são'problemáticas'
• Todas'podem'ser'postas'em'causa'
• Mas'só'vale'a'pena'abandonar'uma'teoria'
minimamente'razoável'se'tivermos'outra'
melhor'
dmurcho.com' 34'

Teoria'e'simplificação'
• Uma'teoria'é'uma'simplificação'
• A'questão'é'saber'se'essa'simplificação'
sacrifica'aspectos'cruciais'que'impedem'a'
nossa'compreensão'aprofundada'das'coisas'
• Se'considerarmos'que'as'simplificações'de'
uma'teoria'distorcem'as'coisas,'temos'de'
apresentar'outra'teoria'que'não'o'faça,'ou'o'
faça'menos'
dmurcho.com' 35'

Complexidade'crescente'
• Na'lógica'proposicional'clássica,'por'exemplo,'
simplificamos'a'linguagem'de'tal'modo'que'“Todos'
os'homens'são'mortais”'e'“Alguns'homens'são'
mortais”'tem'a'mesma'forma'lógica'
• Já'na'lógica'de'predicados'podemos'distinguir'duas'
formas'lógicas'nessas'duas'afirmações'
• Na'lógica'de'predicados,'todavia,'“Todos'os'homens'
são'mortais”'e'“Todos'os'homens'são'
necessariamente'mortais”'têm'a'mesma'forma'lógica'
—'só'a'lógica'modal'que'iremos'estudar'agora,'
distingue'as'duas'
dmurcho.com' 36'

Papéis'da'lógica'
A'lógica'tem'então'estes'três'papéis:'
1. Ensina'a'raciocinar'melhor'
– O'que'permite'analisar,'teorizar'e'argumentar'
melhor'
2. Clarifica'a'linguagem''
– O'que'permite,'ler,'interpretar'e'escrever'melhor'
3. Ensina'indiretamente'a'teorizar'porque'ela'
mesma'é'uma'teoria'muito'simples'
dmurcho.com' 37'

Próxima'aula'
INTRODUÇÃO"ÀS"ÁRVORES"
LÓGICAS"
dmurcho.com' 38'

Exercícios'
Responda'de'modo'simples,'claro'e'rigoroso'às'
perguntas'seguintes.'Responda'como'se'estivesse'a'
explicar'as'coisas'a'um'jovem'de'15'anos'que'nada'sabe'
de'lógica.'Cada'resposta'deve'ter'cerca'de'meia'página.'
'
1. Defina'rigorosamente'a'lógica.'
2. Explique'quais'são'os'papéis'da'lógica'na'filosofia.'
3. Defina'rigorosamente'os'conceitos'de'raciocínio'e'
argumento,'e'explique'o'que'os'diferencia'e'o'que'
têm'em'comum.'
4. Explique'por'que'o'raciocínio'é'importante.'
dmurcho.com' 39'