Aula 1

Lógica Tipos de argumentos Forma lógica Sistemas lógicos
Lógica básica
Aula 1
Anderson Beraldo-de-Araújo
Pedro Carrasqueira
Universidade Federal do ABC
19/09/17
Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 1 / 22

1 Lógica
2 Tipos de argumentos
3 Forma lógica
4 Sistemas lógicos

Três fatos notaveis
1 Pessoas com nenhuma prática em Lógica são capazes de efetuar

raciocı́nios;
2 A habilidade de raciocinar varia muito de pessoa para pessoa;
3 As caracterı́sticas empı́ricas e abstratas dos raciocı́nios são complexas
e, em muitos casos, elas não coincidem.

Definição
Um designador é uma letra que representa tipos de expressões. Um
esquema é uma expressões formadas com designadores.
Exemplo
Enunciados:
1 Adão foi criado do barro.
2 Eva foi criada de uma costela.
Esquema:
σ foi δ

Definição
Um argumento é 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 consequências, que justificam racionalmente o último enunciado
φn
chamado conclusão.

Exemplo
Ninguém aqui da Terra de Cá conhece a Terra de Lá. A razão é simples.
Tutus não são grandes, mas são estranhos. Dizem que por lá que, o que
não é grande, é pequeno. Também ouvimos dizer que os tetes vivem na
Terra de Lá. Se alguém for até lá, se defrontará com eles. Ademais, todo
tete é um tutu. Ora, é claro que qualquer pessoa que se defrontar com
algo pequeno e estranho, ficará apavorada. Jamais alguém aqui da Terra
de Cá ficou apavorado. Por isso, sabemos que ninguém foi à Terra de Lá.
Mas, para alguém conhecê-la, precisa ir até lá. Eis a razão pela qual
ninguém conhece a Terra de Lá.

Silogismos
Definição
Racionalidade baseia-se na estrutura de três enunciados categóricos -
enunciados com as palavras “todo”, “algum”, “nenhum” e “algum não”.
Exemplo
Nenhuma pessoa insensata é racional. Todas as pessoas inteligentes são
racionais. Logo, algumas pessoas inteligentes não são insensatas.

Argumentos quantificacionais
Definição
Racionalidade reside sobre palavras chamadas quantificadores lógicos que
expressam quantidades gerais, quais sejam, “todo” e “algum”.
Exemplo
Os vilões são seduzidos pelo lado negro da força. Nem todos os vilões são
notáveis, mas aqueles que são notáveis são exóticos. Ora, o Coringa
certamente é um vilão notável. Logo, ele é exótico e seduzido pelo lado
negro da força.

Argumentos proposicionais
Definição
Racionalidade fundamenta-se na conexão entre enunciados usando palavras
chamadas conectivos lógicos, quais sejam, “não”, “e”, “ou” e “se então”.
Exemplo
Se chove na cidade, as ruas ficam alagadas ou a chuva escoa pelos
bueiros. Ora, as ruas não estão alagadas, nem tampouco a chuva escoou
pelos bueiros. Logo, não é verdade que choveu na cidade.

Argumentos predicativos
Definição
Racionalidade baseia-se na relação entre sujeitos e predicados das
proposições.
Exemplo
O Batman é o herói de Gotham City. Ora, Bruce Wayne é o Batman.
Logo, Bruce Wayne é o herói de Gotham City.

Deduções
Definição
A aceitação da conclusão decorre apenas das premissas do argumento.

Abduções
Definição
Ao se adicionar um ou mais enunciados às premissas, a conclusão passa a
ser uma consequência das premissas mais esses enunciados adicionais,
apesar de em princı́pio ela não ser uma consequência das premissas.
Exemplo
Existem pegadas de um sapato feminino na rua. Logo, alguma mulher
esteve aqui.

Induções
Definição
Argumentos nos quais a conclusão é uma consequência aceitável das
premissas, mas não necessá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 não e apenas 20 não souberam
opinar. Como a UFABC tem cerca de 7000 estudantes, através de uma
análise estatı́stica, concluı́mos que 90% dos estudantes da UFABC
acreditam que ela deveria adquirir botes.

Formalização
Definição
Regra “ ” que associa, a cada expressão ω de um enunciado φi de um
argumento φ1 , . . . , φn elaborado em uma pragmática P` , um único
sı́mbolo ξ.
Definição
O resultado da formalização de um argumento é sua forma.

Exemplo
Se chove no ABC, as ruas ficam alagadas ou a chuva escoa pelos bueiros.
Ora, as ruas não estão alagadas, nem tampouco a chuva escoou pelos
bueiros. Logo, não é verdade que choveu no ABC.
Exemplo
Se quero ser aprovado nesta disciplina, terei que estudar muito ou tirar as
dúvidas com alguém. Ora, não é verdade que tenho estudado muito, nem
tampouco é verdade que tenho tirado as dúvidas com alguém. Logo, não é
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 dúvidas com alguém” = r2
Temos:
1 Se pi , ou qi ou ri ou ambos.
2 Ora, não é verdade que qi , nem tampouco é verdade que ri .
3 Logo, não é verdade que pi .

Validade e adequação
Definição
Hipótese de que suas premissas são verdadeiras implica que sua conclusão
também é verdadeira.
Definição
A forma de um argumento válido é chamada de forma lógica.
Definição
Um argumento é adequado se, e somente se, ele é válido e suas premissas
são verdadeiras.

Contra-exemplo
Definição
Uma situação na qual as premissas do argumento são verdadeiras, mas sua
conclusão falsa.
Exemplo
Se chove na cidade, as ruas ficam alagadas ou a chuva escoa pelos
bueiros. Ora, se as ruas não estão alagadas, não preciso de um bote para
atravessá-las. Veja, hoje não choveu na cidade e, assim, a chuva não
escoou pelos bueiros. Logo, hoje não preciso de um bote para atravessar
as ruas.

Sistema lógico
Definição
Composto por:
1 Sintaxe formal
1 Um vocabulário formal V
2 Conjunto de fórmulas FV
3 Relação de consequência sintática
2 Semântica formal
1 Interpretações formais A
2 Conjunto da verdade V
3 Relação de consequência semântica

Regras lógicas
Definição
Uma regra de introdução I permite deduzir uma fórmula φ em F na
qual o sı́mbolo ocorre, considerando os sı́mbolos que ocorrem nas
fórmulas de Γ.
Uma regra de eliminação E permite deduzir uma fórmula φ em F,
considerando que o sı́mbolo ocorre nas fórmulas de Γ.
Exemplo (Introdução da conjunção)

Ontem de manhã, João disse que era pedreiro. Ontem de noite, João
também afirmou que era pintor. Logo, João é um pedreiro e pintor.
Exemplo (Eliminação da conjunção)

Maria é uma artista, mas também é uma cientista. Logo, Maria é uma
cientista.
Consequencia lógica
Definição
Definimos que Γ φ se, se e somente se, existe uma dedução formal de φ
a partir de Γ.
Definição
Definimos que Γ φ se, se e somente se, para toda interpretação formal A
de L e toda fórmula ψ em Γ, se ψ é verdadeira em A então φ também é
verdadeira em A.

Definição (Correção lógica)

Se Γ φ, então Γ φ.
Definição (Completude lógica)

Se Γ φ, então Γ φ.

Aula 1

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Aula 1

Загружено:

Авторское право:

Доступные форматы

Lógica Tipos de argumentos Forma lógica Sistemas lógicos

Universidade Federal do ABC

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 1 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 2 / 22

Três fatos notaveis

1 Pessoas com nenhuma prática em Lógica são capazes de efetuar

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 3 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 4 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 5 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 6 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 7 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 8 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 9 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 10 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 11 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 12 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 13 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 14 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 15 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 16 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 17 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 18 / 22

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 19 / 22

Exemplo (Introdução da conjunção)

Exemplo (Eliminação da conjunção)

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 21 / 22

Definição (Correção lógica)

Definição (Completude lógica)

Anderson Beraldo-de-Araújo Pedro Carrasqueira (UFABC) Aula 1 19/09/17 22 / 22

Вам также может понравиться