Clique para ir ao início Universidade de Brasília - UnB
Decanato de Ensino de Graduação - DEG
Secretaria de Administração Acadêmica - SAA
MatrículaWeb
GRADUAÇÃO
  Seja bem-vindo(a).
  Para ter acesso ao menu de Aluno, faça o login.
MatrículaWeb  clique aqui para fazer o login.
 


Período Atual
2017/2


Disciplina - Listagem de Ementa/Programa
Disciplina: 137481 - Lógica 1
(Ver Oferta)

Graduação

Curso
Oferta
Telefones
Calendário
Mensagem da SAA
Benefícios DAC


Órgão: FIL - Departamento de Filosofia
Código: 137481
Denominação: Lógica 1
Nível: Graduação
Vigência: 2011/2
Pré-req: Disciplina sem pré-requisitos
Ementa:



## => A LÓGICA DO SILOGISMO;

## => A LÓGICA DE PREDICADOS DE PRIMEIRA ORDEM;

## => A LÓGIACA SENTENCIAL.

Programa:



1.0 - ## => PRELIMINARES:



1.1 - ## => Sentença, verdade e proposição;

1.2 - ## => Postulados clássicos;

1.3 - ## => Argumento, conseqüência e validade;

1.4 - ## => O conceito de lógica;

1.5 - ## => dedução e indução;

1.6 - ## => Aspectos históricos da lógica.



2.0 - ## => PRIMEIRA PARTE: LÓGICA CLÁSSICA TRADICIONAL:



2.1 - ## => LÓGICA ARISTOTÉLICA:



2.1.1 - ## => O termo e o conceito (comoreensão e extensão);

2.1.2 - ## => A sentença, segundo Atistóteles. Oposições entre sentenças. Conversões de sentenças. Observações.

2.1.3 - ## => O silogismo categórico: conceito, regras, figuras e modos. Reduções de modos.

2.1.4 - ## =>O silogismo modal aristotélico. Formas derivadas do silogismo.



2.2 - ## =>LÓGICA MEGÁRICO-ESTÓICO:



2.2.1 - ## =>Sentenças disjuntivas, condicionais e conjuntivas;

2.2.2 - ## =>Silogismo, com tais sentenças (silogismo hipotético).



2.3 - ## =>INDUÇÃO:



2.3.1 - ## =>O conceito de indução e seus tipos;

2.3.2 - ## =>O problema de Hume;

2.3.3 - ## =>Lógaica indutiva.



2.4 - ## =>FALÁCIAS:



2.4.1 - ## =>O conceito de falácia e seus tipos;

2.4.2 - ## =>Exemplos de falácias.



3.0 - ## => SEGUNDA PARTE: LÓGIACA MATEMÁTICA CLÁSSOCA:



3.1 - ## => LÓGICA MATEMÁTICA E LINGUAGEM:



3.1.1 - ## => Linguagem natural e linguagem formal;

3.1.2 - ## => Linguagem-objeto e metalinguagem.



3.2 - ## => LÓGICA SENTENCIAL:



3.2.1 - ## => Fórmulas atômicas e concetivos;

3.2.2 - ## => Tabelas veritattivas;

3.2.3 - ## => Deduções, na lógiaca sentencial.



3.3 - ## => LÓGICA DE PREDICADOS DE PRIMEIRA ORDEM:



3.3.1 - ## => A linguagem dos quantificadores;

3.3.2 - ## => A lógiaca de predicados de primeira ordem;

3.3.3 - ## => Deduções, na lógica predicados;

3.3.4 - ## => O silogismo, na lógiaca de predicados: diagramas de Venn;

3.3.5 - ## => Noções sobre relações. Limite da lógica dos predicados.



OBS: EMENTA - BIBLIOGRAFIA - PROGRAMA ATUALIZADOS EM 23.10.2000.

































































;

Bibliografia:



1.0 - ## => VAN ACKER, Leonardo.//Obra: Elementos de lógica e material (Separata da

Revista Universidade Católica de São Paulo, vol. XI, 77/78.// São Paulo - SP - Brasil////

Editora PUC/SP//1971.



2.0 - ## => MARITAIN, Jacques. // Obra: Elementos de filosofia II.A ordem dos conceitos.

Lógica menor (Lógica formal) // Rio de Janeiro - RJ - Brasil // Editora AGIR // 1962.



3.0 - ## => MATES, Benson. // Obra: Lógaica elementar. // São Paulo - SP - Brasil ///

Editora Nacional/EDUS // 1968.



4.0 - ## => NOLT, J. & ROHATYN, D. // Obra: Lógica // São Paulo - SP - Brasil // Edito-

ra McGraw - Hill // 1991.



5.0 - ## => QUINE, W.V.O. // Obra: O sentido da nova lógica.// Curitiba - PR - Brasil/////

Editora UFPR // 1996.



6.0 - ## => ARISTÓTELES // Logic, in great Books of the Western World, vol. 7.// Chica-

go // Editora Britannica // 1990.



7.0 - ## => COPI, Irving.// Obra: Introdução à lógica.// São Paulo - SP - Brasil // Editora

Mestre Jou // 1974.



8.0 - ## => NEWTON-SMITH, W.H. // Obra: Lógica: um curso introdutório // Lisboa - Por-

tugal // Editora Gradiva // 1998.









© 2017 CPD - Centro de Informática
UnB - Universidade de Brasília