Elementos de logica formal 1 - aula 2

Prévia do material em texto

1 / 6
Elementos de lógica formal - 1
Prof. José Resende
 2 / 6
Conceber - apreender conceitualmente uma ideia: homem, justiça, natureza, Estado, norma. (termo, conceito, 
categoria).
Julgar – afirmar ou negar uma relação entre ideias: Sócrates é homem; a justiça é uma virtude. (juízo, 
proposição).
Raciocinar - é relacionar proposições e extrair outra proposição como conclusão. Há inferência quando a 
conclusão é formalmente extraída das proposições iniciais (premissas). 
Essas operações fornecem os elementos fundamentais da lógica: categorias (termos), proposições (juízos) e 
argumentos.
O objeto da lógica é a proposição. A proposição é constituída de categorias (termos). Conjuntos de proposições 
formam argumentos.
Operações fundamentais do pensamento
 3 / 6
Segundo Aristóteles, categoria é aquilo que designa alguma coisa, é tudo o que podemos, elementarmente, 
pensar e dizer sobre algo.
Para Aristóteles existem 10 tipos de categorias:
 - substância (humano, Sócrates, animal – é a única que subsiste por si mesma, ao contrário das demais que são 
acidentes da substância);
 - quantidade(um, dez, -3, dois metros de altura, 84 kilos);
 - qualidade (verde, bonito, grego);
 - relação (dobro, metade);
 - lugar (em baixo, na casa);
 - tempo (agora, ontem, amanhã, durante 20 minutos);
 - posição (sentado, deitado, de pé);
 - ação (verbos de ação corta, fere, anda – também exprime movimento da substância);
 - passividade/paixão (está cortado, está ferido – indica modificação sofrida pela substância);
 - hábito (armado) – maneira habitual “ele vive reclamando”, “anda armado”
As categorias segundo Aristóteles
 4 / 6
Propriedades e classificação das categorias
Propriedades das categorias:
- extensão: conjunto dos objetos designados pela categoria. Ex: homem (João, Pedro, Paulo, etc)
- compreensão: conjunto de características designadas pela categoria. Ex: homem (animal, bípede, vertebrado, 
mamífero, etc).
Classificação
- gênero: extensão maior, compreensão menor. Ex: animal
- espécie: extensão média e compreensão média. Ex: homem
- indivíduo: extensão menor, compreensão maior: Ex: Sócrates
* Biologia contemporânea: espécie, gênero, família, ordem, classe, filo, reino e domínio
 5 / 6
Propriedades e classificação das categorias
Teoria de todos e partes e as categorias (mereologia)
 - todo real: são as categorias cujas relações entre partes e todo são estruturadas através da experiência 
sensível. A divisão real distingue as partes físicas que compõem o objeto, as quais podem ou não ter 
subsistência autônoma (mobília, fazenda, mão, coração).
- todo lógico: são as categorias cujas relações entre partes e todo são distinguidas apenas pela razão, não 
existindo na realidade (gênero, espécie).
- todo moral: são as categorias cujas relações entre partes e todo são estruturadas por valores. (Estado, nação, 
religião, mercado).
 6 / 6
Leituras
● COELHO, Fábio Ulhoa. Introdução à lógica jurídica pensamento, raciocínio e lógica no Direito. 8ª 
edição.São Paulo: Revista dos Tribunais, 2019. (edição alternativa: Roteiro de lógica jurídica. São Paulo: 
Saraiva,2004.), itens 1, 2 e 3.
● PERELMAN, Chaïm. Lógica jurídica. Tradução de Vergínia K. Pupi. São Paulo: Martins Fontes, 2000, itens, 
1 a 7.
● ARISTÓTELES. Organon. Livros: Analíticos Primeiros, Analíticos Posteriores, Tópicos e Retórica.
	Slide 1
	Slide 2
	Slide 3
	Slide 4
	Slide 5
	Slide 6