Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica básica
Aula 1
Anderson Beraldo-de-Araújo
Pedro Carrasqueira
19/09/17
1 Lógica
2 Tipos de argumentos
3 Forma lógica
4 Sistemas lógicos
Definição
Um designador é uma letra que representa tipos de expressões. Um
esquema é uma expressões formadas com designadores.
Exemplo
Enunciados:
1 Adão foi criado do barro.
2 Eva foi criada de uma costela.
Esquema:
σ foi δ
Definição
Um argumento é representado por
φ1 , φ2 , . . . , φn
de tal modo que a partir dos enunciados iniciais
φ1 , φ2 , . . . , φm
chamados premissas, obtem-se os enunciados
φm+1 , φm+2 , . . . , φn
chamados consequências, que justificam racionalmente o último enunciado
φn
chamado conclusão.
Exemplo
Ninguém aqui da Terra de Cá conhece a Terra de Lá. A razão é simples.
Tutus não são grandes, mas são estranhos. Dizem que por lá que, o que
não é grande, é pequeno. Também ouvimos dizer que os tetes vivem na
Terra de Lá. Se alguém for até lá, se defrontará com eles. Ademais, todo
tete é um tutu. Ora, é claro que qualquer pessoa que se defrontar com
algo pequeno e estranho, ficará apavorada. Jamais alguém aqui da Terra
de Cá ficou apavorado. Por isso, sabemos que ninguém foi à Terra de Lá.
Mas, para alguém conhecê-la, precisa ir até lá. Eis a razão pela qual
ninguém conhece a Terra de Lá.
Silogismos
Definição
Racionalidade baseia-se na estrutura de três enunciados categóricos -
enunciados com as palavras “todo”, “algum”, “nenhum” e “algum não”.
Exemplo
Nenhuma pessoa insensata é racional. Todas as pessoas inteligentes são
racionais. Logo, algumas pessoas inteligentes não são insensatas.
Argumentos quantificacionais
Definição
Racionalidade reside sobre palavras chamadas quantificadores lógicos que
expressam quantidades gerais, quais sejam, “todo” e “algum”.
Exemplo
Os vilões são seduzidos pelo lado negro da força. Nem todos os vilões são
notáveis, mas aqueles que são notáveis são exóticos. Ora, o Coringa
certamente é um vilão notável. Logo, ele é exótico e seduzido pelo lado
negro da força.
Argumentos proposicionais
Definição
Racionalidade fundamenta-se na conexão entre enunciados usando palavras
chamadas conectivos lógicos, quais sejam, “não”, “e”, “ou” e “se então”.
Exemplo
Se chove na cidade, as ruas ficam alagadas ou a chuva escoa pelos
bueiros. Ora, as ruas não estão alagadas, nem tampouco a chuva escoou
pelos bueiros. Logo, não é verdade que choveu na cidade.
Argumentos predicativos
Definição
Racionalidade baseia-se na relação entre sujeitos e predicados das
proposições.
Exemplo
O Batman é o herói de Gotham City. Ora, Bruce Wayne é o Batman.
Logo, Bruce Wayne é o herói de Gotham City.
Deduções
Definição
A aceitação da conclusão decorre apenas das premissas do argumento.
Abduções
Definição
Ao se adicionar um ou mais enunciados às premissas, a conclusão passa a
ser uma consequência das premissas mais esses enunciados adicionais,
apesar de em princı́pio ela não ser uma consequência das premissas.
Exemplo
Existem pegadas de um sapato feminino na rua. Logo, alguma mulher
esteve aqui.
Induções
Definição
Argumentos nos quais a conclusão é uma consequência aceitável das
premissas, mas não necessária.
Exemplo
Perguntamos para 700 estudantes da UFABC se eles acreditam que uma
boa iniciativa contra os alagamentos seria ela adquirir botes. Desses, 630
responderam que sim, 50 disseram que não e apenas 20 não souberam
opinar. Como a UFABC tem cerca de 7000 estudantes, através de uma
análise estatı́stica, concluı́mos que 90% dos estudantes da UFABC
acreditam que ela deveria adquirir botes.
Formalização
Definição
Regra “ ” que associa, a cada expressão ω de um enunciado φi de um
argumento φ1 , . . . , φn elaborado em uma pragmática P` , um único
sı́mbolo ξ.
Definição
O resultado da formalização de um argumento é sua forma.
Exemplo
Se chove no ABC, as ruas ficam alagadas ou a chuva escoa pelos bueiros.
Ora, as ruas não estão alagadas, nem tampouco a chuva escoou pelos
bueiros. Logo, não é verdade que choveu no ABC.
Exemplo
Se quero ser aprovado nesta disciplina, terei que estudar muito ou tirar as
dúvidas com alguém. Ora, não é verdade que tenho estudado muito, nem
tampouco é verdade que tenho tirado as dúvidas com alguém. Logo, não é
verdade que quero ser aprovado nesta disciplina.
Exemplo
Formalizando:
1 “chove no ABC” = p1
2 “quero ser aprovado nesta disciplina” = p2
3 “as ruas ficam alagadas” = q1
4 “terei que estudar muito” = q2
5 “a chuva escoa pelos bueiros” = r1
6 “tenho que tirar as dúvidas com alguém” = r2
Temos:
1 Se pi , ou qi ou ri ou ambos.
2 Ora, não é verdade que qi , nem tampouco é verdade que ri .
3 Logo, não é verdade que pi .
Validade e adequação
Definição
Hipótese de que suas premissas são verdadeiras implica que sua conclusão
também é verdadeira.
Definição
A forma de um argumento válido é chamada de forma lógica.
Definição
Um argumento é adequado se, e somente se, ele é válido e suas premissas
são verdadeiras.
Contra-exemplo
Definição
Uma situação na qual as premissas do argumento são verdadeiras, mas sua
conclusão falsa.
Exemplo
Se chove na cidade, as ruas ficam alagadas ou a chuva escoa pelos
bueiros. Ora, se as ruas não estão alagadas, não preciso de um bote para
atravessá-las. Veja, hoje não choveu na cidade e, assim, a chuva não
escoou pelos bueiros. Logo, hoje não preciso de um bote para atravessar
as ruas.
Sistema lógico
Definição
Composto por:
1 Sintaxe formal
1 Um vocabulário formal V
2 Conjunto de fórmulas FV
3 Relação de consequência sintática
2 Semântica formal
1 Interpretações formais A
2 Conjunto da verdade V
3 Relação de consequência semântica
Regras lógicas
Definição
Uma regra de introdução I permite deduzir uma fórmula φ em F na
qual o sı́mbolo ocorre, considerando os sı́mbolos que ocorrem nas
fórmulas de Γ.
Uma regra de eliminação E permite deduzir uma fórmula φ em F,
considerando que o sı́mbolo ocorre nas fórmulas de Γ.
Consequencia lógica
Definição
Definimos que Γ
φ se, se e somente se, existe uma dedução formal de φ
a partir de Γ.
Definição
Definimos que Γ φ se, se e somente se, para toda interpretação formal A
de L e toda fórmula ψ em Γ, se ψ é verdadeira em A então φ também é
verdadeira em A.