Carregando...

DISCIPLINA Listagem de Ementa/Programa

LÓGICA 1DISCIPLINA 137481

VER OFERTA

ÓrgãoFIL Departamento de Filosofia
Código137481
DenominaçãoLógica 1
NívelGraduação
Início da Vigência em2011/2
Pré-requisitosDisciplina sem pré-requisitos
EmentaInício da Vigência em 2000/2


## => A LÓGICA DO SILOGISMO;
## => A LÓGICA DE PREDICADOS DE PRIMEIRA ORDEM;
## => A LÓGIACA SENTENCIAL.

ProgramaInício da Vigência em 2000/2


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.
































;

BibliografiaInício da Vigência em 2000/2


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.