Biblioteca Cosmos

Introdução à Lógica

Edmundo Corvelo

Índice

Nota prévia		5
CAPÍTULO I
A construção teórica do mundo
1.	Durante a jornada	11
2.	Dificuldades	12
3.	As duas intuições	13
4.	Artifícios	14
5.	Os cortes	16
6.	Um exemplo: a memória	16
7.	Outro exemplo: o conceito clássico de gravidade	17
8.	Uma conclusão acerca da noção de lei	18
9.	O que significa a expressão «intuição-dado»	18
10.	Duas direcções do conhecimento	18
11.	Relação entre dado e instrumento analítico	19
12.	Mundo lógico e mundo real	20
CAPÍTULO II
Aritmética e lógica
13.	Vantagem prática do emprego de símbolos	25
14.	Classe e número sete	26
15.	Número natural	28
16.	O zero; número inteiro	29
17.	Número negativo	30
18.	Passagem do campo aritmético para o campo lógico	32
CAPÍTULO III
A logificação da lógica
19.	Análise de linguagem	34
20.	Relação predicativa	36
21.	Relação	37
22.	Constante lógica	38
23.	Variável	39
24.	Símbolo	40
25.	Tipos esquemáticos	40
26.	Outra vez a relação predicativa	41
27.	Os termos de uma relação predicativa são relações predicativas	42
28.	Todos os conceitos são construídos	43
29.	Psicologicamente o juízo é anterior ao conceito	44
30.	Proposição	45
31.	Compreensão e extensão	46
32.	Funções lógicas	46
33.	Determinação de uma classe	47
34.	Um postulado e três condições de validade	48
35.	Duas constantes implícitas na noção de classe	54
36.	Desdobramento de um símbolo da linguagem vulgar	56
37.	Outro desdobramento	58
38.	Continuação da análise	61
39.	Proposições condicionais e categóricas	63
40.	Conceptualização ou constantificação	64
CAPÍTULO IV
Tentativas de solução de um problema antigo
41.	Um esquema tradicional	66
42.	Insuficiência de este esquema	70
43.	O problema implícito no esquema tradicional	71
44.	Dos princípios	79
45.	Um problema	82
46.	Indeterminações do esquema tradicional	85
47.	O problema capital da lógica aristotélica	87
48.	O problema das determinações de u e a noção de classe lógica.	88
49.	Continuação do problema das determinações de u	89
50.	Uma tentativa fracassada	93
51.	O princípio geral de inferência é postulado	93
52.	Interpretação mais profunda das noções de número e de classe	94
53.	Dedução	95
54.	Transitividade	95
55.	Conclusão de este capítulo	96
CAPÍTULO V
Consequências paradoxais?
56.	Duas citações	98
57.	Algumas propriedades dos símbolos citados	100
58.	Duas demonstrações	102
59.	Interdependência dos elementos do esquema	106
60.	O problema reaparece e a fantasia abre as asas	107
61.	Apreciação menos literária mas mais rigorosa do problema	108
62.	Lei geral	109
63.	Novos horizontes	109
CAPÍTULO VI
Insuficiência das lógicas a uma determinação fundamental?
64.	A determinação	110
65.	Mais dificuldades	112
66.	Espaço	113
67.	Complicações	115
68.	Espaço e movimento	116
69.	Mais um problema	117
70.	Demonstração por absurdo	119
71.	Continuação do significado lógico da argumentação	119
72.	Outros problemas	121
73.	Esquemas lógicos a mais de uma determinação fundamental?	122
74.	A possibilidade de construir	125
75.	Não importa que as relações fundamentais não sejam inteligíveis	127
76.	Ainda a noção de classe nula	128
77.	Um domínio de livre devir	134
78.	—(—x= w)	135
79.	Consequências	136
CAPÍTULO VII
Ainda sobre os fundamentos da lógica
80.	Os esquemas construíveis	137
81.	Lógica a n determinações fundamentais	138
82.	Acordo do pensamento com a realidade	139
83.	Um postulado	140
84.	Biunivocidade entre símbolo e relação	141
85.	A leitura dos símbolos em linguagem vulgar é desnecessária	142
86.	Não tem sentido dizer-se que um esquema lógico é mais real do que outro	142
87.	Mais postulados	143
88.	Outro exemplo	144
89.	A lógica construível é lógica humana	145
90.	Os princípios lógicos são relações úteis, e não leis absolutas	148
91.	Horizonte	150
Lista das principais expressões lógicas mencionadas neste livro		151