Esta Enciclopédia de termos lógico-filosóficos contém seiscentos e seis verbetes, que percorrem as mais diversas áreas da lógica, teoria do conhecimento, metafísica e filosofia da linguagem. Alguns tratam de questões de filosofia da mente e de filosofia da ciência. Todas essas contribuições, entretanto, partilham a perspectiva filosófica. Na maioria dos casos, discutem-se relações entre a lógica e outras áreas da investigação filosófica e científica, com ênfase sobre problemas contemporâneos. A extensa série de questões atuais relativas à metafísica, por exemplo, vem sendo negligenciada pela literatura filosófica de língua portuguesa, mas ela tem neste trabalho a importância que lhe confere a evolução das ideias, desde a segunda metade do século XX.
Todos os autores procuram escrever de forma acessível ao público interessado, sem pressupor conhecimentos especializados. O emprego de formalismos lógico-matemáticos está reduzido ao mínimo indispensável. O leitor que não tiver familiaridade com certos conceitos técnicos deverá encontrar nesta obra verbetes sobre esses mesmos conceitos, de maneira que ela é autoexplicativa. Nos casos em que existem traduções dos livros mencionados nas bibliografias, há indicações sobre cada uma delas.
Esta obra é bastante abrangente, por ser fruto de cooperação internacional e de trabalho interdisciplinar. Ela fornece ricos materiais para o estudo e a pesquisa de pessoas interessadas em filosofia, letras e linguística, computação, matemática e psicologia.
Author(s): Joao Branquinho, Desidério Murcho, Nelson Gonçalves Gomes (editores)
Publisher: Livraria Martins Fontes Editora
Year: 2006
Language: Portuguese
Pages: 822
Enciclopédia de Termos Lógico-Filosóficos, por João Branquinho, Desidério Murcho e Nelson Gonçalves Gomes......Page 1
Capa......Page Enciclopédia de Termos Lógico-Filosóficos . João Branquinho et al.djvu
Contracapa......Page scandjvutmpd8_0001.djvu
Orelha da Capa......Page scandjvutmpd9_0001.djvu
Orelha da Contracapa......Page scandjvutmpda_0001.djvu
Folha de Título......Page scandjvutmpdd_0001.djvu
Copyright......Page scandjvutmpdf_0001.djvu
Índice......Page scandjvutmpe0_0001.djvu
Prefácio......Page scandjvutmpe2_0001.djvu
Apresentação da edição brasileira......Page scandjvutmpe6_0001.djvu
Autores......Page scandjvutmpe9_0001.djvu
A......Page scandjvutmpeb_0001.djvu
a priori......Page 19
a priori, história da noção de......Page scandjvutmpf1_0001.djvu
ab esse ad posse valet consequentia ......Page scandjvutmpfb_0001.djvu
abdução......Page 27
aberta, fórmula......Page scandjvutmpfd_0001.djvu
abstracta......Page 29
absurdo, redução ao......Page scandjvutmp15c_0001.djvu
acessibilidade......Page 31
acidental, propriedade......Page scandjvutmp15d_0001.djvu
acontecimento......Page 32
ad infinitum, regressus......Page scandjvutmp162_0001.djvu
adjetivo pseudoqualificativo......Page 37
afirmação......Page scandjvutmp163_0001.djvu
agência......Page 38
aglomeração......Page scandjvutmp166_0001.djvu
alcance......Page scandjvutmp167_0001.djvu
álgebras de Boole......Page 42
algoritmo......Page scandjvutmp169_0001.djvu
ambiguidade......Page 44
ambiguidade ato-objeto......Page scandjvutmp16a_0001.djvu
âmbito......Page 45
anáfora......Page scandjvutmp16c_0001.djvu
análise......Page scandjvutmp16d_0001.djvu
análise, paradoxo da......Page scandjvutmp173_0001.djvu
analítico......Page scandjvutmp174_0001.djvu
analítico, história da noção de......Page scandjvutmp176_0001.djvu
analogia......Page scandjvutmp178_0001.djvu
antilogismo......Page 59
antinomia......Page scandjvutmp179_0001.djvu
argumento......Page 60
argumento ad baculum......Page scandjvutmp17d_0001.djvu
argumento da catapulta......Page 64
argumento de autoridade......Page 67
argumento de Frege-Church......Page scandjvutmp190_0001.djvu
argumento do matemático ciclista......Page 69
argumento do um-em-muitos......Page scandjvutmp191_0001.djvu
argumento ontológico......Page 70
argumento ontológico gödeliano......Page scandjvutmp192_0001.djvu
argumento per analogiam......Page scandjvutmp198_0001.djvu
argumento por analogia......Page 77
argumento transcendental......Page scandjvutmp199_0001.djvu
aridade......Page scandjvutmp19b_0001.djvu
aritmética......Page scandjvutmp19c_0001.djvu
aritmético, conjunto......Page scandjvutmp19e_0001.djvu
árvores semânticas......Page 83
ascenção semântica......Page scandjvutmp1a4_0001.djvu
assertivo, juízo......Page 89
assimetria......Page scandjvutmp1a5_0001.djvu
atitude proposicional......Page 90
ato compromissivo......Page scandjvutmp1ab_0001.djvu
ato de fala......Page 96
ato diretivo......Page scandjvutmp1af_0001.djvu
ato locutório......Page 100
ato perlocutório......Page scandjvutmp1b0_0001.djvu
atomismo lógico......Page 101
atributivo/referencial......Page scandjvutmp1b8_0001.djvu
atributo......Page scandjvutmp1bb_0001.djvu
atual......Page scandjvutmp1bc_0001.djvu
atualidade......Page scandjvutmp1bd_0001.djvu
atualismo......Page 114
Aussonderungsaxiom......Page scandjvutmp1c0_0001.djvu
autológica......Page 117
autoridade, argumento de......Page scandjvutmp1c1_0001.djvu
axioma da escolha......Page 118
axioma da extensionalidade......Page 119
axioma da extração......Page scandjvutmp1c4_0001.djvu
axioma da reducibilidade......Page 120
axioma da regularidade......Page scandjvutmp1c5_0001.djvu
axioma do infinito......Page 121
azerde......Page 122
B......Page scandjvutmp1c7_0001.djvu
bayesianismo......Page 123
bayesianismo e crença religiosa......Page 124
Bedeutung......Page scandjvutmp1cf_0001.djvu
behaviorismo......Page 131
behaviorismo radical......Page scandjvutmp1d2_0001.djvu
bet......Page scandjvutmp1d6_0001.djvu
bivalência, princípio da......Page 138
boa ordem......Page scandjvutmp1dc_0001.djvu
Boole, álgebra de......Page scandjvutmp1dd_0001.djvu
Buridano, fórmula de......Page 141
C......Page scandjvutmp1df_0001.djvu
cálculo de sequentes......Page 143
cálculo lógico......Page scandjvutmp1e0_0001.djvu
cálculo proposicional......Page 144
Cambridge, propriedade......Page scandjvutmp1e2_0001.djvu
cantos......Page 146
caráter......Page scandjvutmp1e3_0001.djvu
cardinal......Page 147
Celarent......Page 149
cérebro em um tonel......Page scandjvutmp1e6_0001.djvu
ceteris paribus, leis......Page scandjvutmp1e7_0001.djvu
ceticismo antigo......Page scandjvutmp1e9_0001.djvu
ceticismo semântico......Page scandjvutmp1ef_0001.djvu
Church, teorema de......Page scandjvutmp1f3_0001.djvu
círculo virtuoso......Page 163
citação......Page scandjvutmp1f4_0001.djvu
classe......Page 164
classe de equivalência......Page scandjvutmp1f5_0001.djvu
classe virtual......Page 165
classes, paradoxo das......Page scandjvutmp1f6_0001.djvu
competência......Page 166
complementar, conjunto......Page scandjvutmp1f7_0001.djvu
composicionalidade, princípio da......Page 167
compossível......Page scandjvutmp1fa_0001.djvu
compromisso ontológico......Page 170
computabilidade......Page scandjvutmp200_0001.djvu
conceito/objeto......Page 176
condição......Page 179
condição de adequação material......Page scandjvutmp204_0001.djvu
condição suficiente......Page 181
condicionais, teorias dos......Page scandjvutmp206_0001.djvu
condicional......Page scandjvutmp20b_0001.djvu
condicional contrafactual......Page 187
condicional material/formal......Page scandjvutmp20e_0001.djvu
condições de verdade......Page 190
conectiva......Page scandjvutmp211_0001.djvu
conectivo......Page 193
conector......Page scandjvutmp216_0001.djvu
conetor......Page 198
conexa, relação......Page scandjvutmp217_0001.djvu
conhecimento......Page 199
conjunção......Page scandjvutmp21a_0001.djvu
conjunto......Page 202
conjunto adequado de conectivos......Page scandjvutmp21b_0001.djvu
conjunto aritmético......Page 203
conjunto complementar......Page scandjvutmp21c_0001.djvu
conjunto-interseção......Page 204
conjunto numerável......Page scandjvutmp21d_0001.djvu
conjuntos disjuntos......Page 205
conotacão......Page scandjvutmp21e_0001.djvu
consciência......Page scandjvutmp21f_0001.djvu
consequência......Page scandjvutmp223_0001.djvu
consequente......Page scandjvutmp226_0001.djvu
consistência......Page 214
consistência, problema da......Page scandjvutmp228_0001.djvu
consistência absoluta......Page scandjvutmp22a_0001.djvu
constante lógica......Page 218
construtivismo......Page scandjvutmp22c_0001.djvu
conteúdo......Page 220
conteúdo estrito/lato......Page scandjvutmp22f_0001.djvu
contexto......Page scandjvutmp231_0001.djvu
contexto, princípio do......Page scandjvutmp232_0001.djvu
contingente......Page 226
contínuo......Page scandjvutmp233_0001.djvu
contínuo, hipótese do......Page scandjvutmp234_0001.djvu
contradição......Page 228
contradictio in adjecto......Page scandjvutmp235_0001.djvu
contradomínio......Page 229
contra-exemplo......Page scandjvutmp236_0001.djvu
contrapartes, teoria das......Page 230
contraposição......Page scandjvutmp239_0001.djvu
contrárias......Page scandjvutmp23a_0001.djvu
convencionalismo......Page 234
conversa......Page scandjvutmp23c_0001.djvu
conversa, relação......Page scandjvutmp23b_0001.djvu
corolário......Page 236
correção......Page scandjvutmp23d_0001.djvu
crença de re......Page 237
criatividade......Page scandjvutmp244_0001.djvu
critério de correcão formal......Page 240
D......Page scandjvutmp245_0001.djvu
de dicto/de re......Page 241
De Morgan, leis de......Page scandjvutmp24a_0001.djvu
de re, crença......Page scandjvutmp24b_0001.djvu
decisão, teoria da......Page 246
dedução natural......Page 247
dedução natural, regras de......Page scandjvutmp24e_0001.djvu
dedução......Page scandjvutmp256_0001.djvu
dedução, teorema da......Page 256
definibilidade......Page scandjvutmp257_0001.djvu
definição......Page 257
definição contextual......Page scandjvutmp259_0001.djvu
definição de verdade de Tarski......Page scandjvutmp25a_0001.djvu
definição lógica......Page 260
definiendum......Page scandjvutmp25e_0001.djvu
deflacionismo......Page 264
dêitico......Page 265
demonstração......Page scandjvutmp260_0001.djvu
demonstração condicional......Page 266
denotação......Page 267
descitação......Page 268
descrições definidas......Page scandjvutmp263_0001.djvu
designação......Page 269
designador......Page scandjvutmp264_0001.djvu
designador flácido......Page scandjvutmp265_0001.djvu
designador rígido......Page 271
determinante......Page scandjvutmp269_0001.djvu
determinável......Page 274
determinismo......Page scandjvutmp26a_0001.djvu
diagramas de Venn......Page 275
dialelo......Page scandjvutmp26d_0001.djvu
dictum de omni et nullo......Page 278
dilema......Page scandjvutmp26e_0001.djvu
dilema construtivo......Page scandjvutmp26f_0001.djvu
dilema do prisioneiro......Page 280
disjunção......Page scandjvutmp271_0001.djvu
disposição......Page 282
distribuição......Page scandjvutmp276_0001.djvu
distributividade, leis da......Page scandjvutmp277_0001.djvu
dualismo......Page 287
dupla negação......Page scandjvutmp27a_0001.djvu
E......Page scandjvutmp27b_0001.djvu
eliminação da conjunção......Page 291
eliminação da disjunção......Page 292
eliminação da identidade......Page scandjvutmp27c_0001.djvu
eliminação da necessidade......Page scandjvutmp27e_0001.djvu
eliminação da negação......Page 294
eliminação da possibilidade......Page scandjvutmp27f_0001.djvu
eliminação do bicondicional......Page 295
eliminação do condicional......Page scandjvutmp280_0001.djvu
eliminação do quantificador existencial......Page 296
eliminação do quantificador universal ......Page scandjvutmp281_0001.djvu
eliminativismo......Page scandjvutmp282_0001.djvu
Epimênedes, paradoxo de......Page 298
equivalência......Page 299
equivalência, classe de......Page scandjvutmp284_0001.djvu
equivalência material......Page 300
equivalência material, leis da......Page scandjvutmp285_0001.djvu
espécime-reflexivo......Page 301
esquema descitacional......Page scandjvutmp286_0001.djvu
essencialismo......Page 302
estado de coisas......Page scandjvutmp287_0001.djvu
estado doxástico......Page scandjvutmp28c_0001.djvu
estado mental......Page 308
estrutura profunda......Page 312
estrita, implicação......Page scandjvutmp290_0001.djvu
eu......Page scandjvutmp291_0001.djvu
exemplificação......Page 313
exemplificação existencial......Page scandjvutmp292_0001.djvu
existência......Page 314
existência, princípio da......Page scandjvutmp2a3_0001.djvu
existência de Deus, argumentos sobre a......Page scandjvutmp2a4_0001.djvu
existencial, implicação......Page scandjvutmp2ab_0001.djvu
extensão/intensão......Page 339
extensionalidade, axioma da......Page scandjvutmp2b0_0001.djvu
extrínseca/intrínseca, propriedade......Page 344
F......Page scandjvutmp2b2_0001.djvu
falácia......Page 345
falácia da afirmação da consequente......Page 348
falácia da causa falsa......Page scandjvutmp2b6_0001.djvu
falácia da permutação dos quantificadores......Page 349
falácia do acidente......Page scandjvutmp2b7_0001.djvu
falácia do termo não-distribuído......Page 350
falácia dos quatro termos......Page scandjvutmp2b8_0001.djvu
falácia naturalista......Page 351
falsa causa, falácia da......Page scandjvutmp2ba_0001.djvu
falsidade lógica......Page 353
falsum......Page scandjvutmp2bb_0001.djvu
fecho......Page 354
Felapton......Page scandjvutmp2be_0001.djvu
filosofia analítica, história da......Page 357
filosofia da linguagem comum......Page scandjvutmp2c5_0001.djvu
finitismo......Page scandjvutmp2c9_0001.djvu
finitude......Page 368
fisicalismo......Page scandjvutmp2ca_0001.djvu
flácido, designador......Page scandjvutmp2cc_0001.djvu
forma lógica......Page 371
forma normal......Page scandjvutmp2cf_0001.djvu
forma normal, teorema da......Page scandjvutmp2d2_0001.djvu
formalismo......Page 377
fórmula......Page scandjvutmp2d4_0001.djvu
fórmula aberta......Page 379
fórmula de Barcan......Page scandjvutmp2d5_0001.djvu
fórmula de Buridano......Page scandjvutmp2d7_0001.djvu
frase atômica......Page 382
frase fechada......Page scandjvutmp2d8_0001.djvu
função......Page 383
função de verdade......Page scandjvutmp2d9_0001.djvu
função proposicional......Page 384
funcionalismo......Page scandjvutmp2db_0001.djvu
funções parciais......Page scandjvutmp2e0_0001.djvu
funções recursivas......Page scandjvutmp2e1_0001.djvu
funções totais......Page scandjvutmp2e3_0001.djvu
fundamentos da matemática......Page 394
Fundierungsaxiom......Page 395
futuros contingentes......Page scandjvutmp2e4_0001.djvu
G......Page scandjvutmp2e6_0001.djvu
genéricas......Page 397
geral, proposição......Page scandjvutmp2e9_0001.djvu
gramática generativa......Page 400
grau......Page scandjvutmp2eb_0001.djvu
Grelling, paradoxo de......Page 402
H......Page scandjvutmp2ec_0001.djvu
hipótese do contínuo......Page 403
holismo......Page 404
homem do pântano......Page scandjvutmp2ef_0001.djvu
homológica......Page 406
I......Page scandjvutmp2f0_0001.djvu
identidade......Page 407
identidade, eliminação da......Page scandjvutmp2f1_0001.djvu
identidade, necessidade da......Page 408
identidade absoluta......Page scandjvutmp2f2_0001.djvu
identidade de indiscerníveis......Page 409
identidade psicofísica......Page scandjvutmp2f4_0001.djvu
identidade relativa......Page 410
identidade transmundial......Page scandjvutmp2f5_0001.djvu
idioleto......Page 411
ignoratio elenchi......Page scandjvutmp2f6_0001.djvu
implicação......Page 412
implicação estrita......Page scandjvutmp2f8_0001.djvu
implicação existencial......Page 415
implicação lógica......Page scandjvutmp2fa_0001.djvu
implicatura convencional......Page 416
implicatura conversacional......Page scandjvutmp2fb_0001.djvu
importação......Page scandjvutmp2fe_0001.djvu
inatismo......Page 420
inclusão......Page scandjvutmp2ff_0001.djvu
indecidibilidade......Page 421
indecidibilidade de Church, teorema da......Page scandjvutmp300_0001.djvu
indeterminação da tradução......Page 422
indexicais......Page scandjvutmp303_0001.djvu
indicadores......Page scandjvutmp307_0001.djvu
indiscernibilidade de idênticos......Page 429
indivíduo......Page scandjvutmp308_0001.djvu
indução......Page scandjvutmp30b_0001.djvu
indução completa......Page scandjvutmp30d_0001.djvu
indução transfinita......Page 435
indutiva, definição......Page scandjvutmp30e_0001.djvu
inferência......Page 436
inferência imediata......Page scandjvutmp310_0001.djvu
inferência para a melhor explicação......Page scandjvutmp311_0001.djvu
intencionalidade......Page 439
intensão......Page scandjvutmp313_0001.djvu
interpretação radical......Page 441
interseção......Page scandjvutmp314_0001.djvu
introdução da conjunção......Page 442
introdução da disjunção......Page scandjvutmp315_0001.djvu
introdução da negação......Page 443
introdução da possibilidade......Page scandjvutmp316_0001.djvu
introdução do quantiIicador existencial......Page 444
introdução do quantificador universal......Page 445
intuicionismo......Page scandjvutmp319_0001.djvu
invalidade......Page scandjvutmp31c_0001.djvu
inversa, relação......Page scandjvutmp31d_0001.djvu
isomorfismo......Page 451
J K......Page scandjvutmp31f_0001.djvu
jogo de linguagem......Page 453
Juízo......Page scandjvutmp320_0001.djvu
KK, princípio......Page 454
L......Page scandjvutmp321_0001.djvu
lei da identidade......Page 455
lei da simplificação......Page scandjvutmp322_0001.djvu
lei de Euclides......Page 456
leis do pensamento......Page 457
leis ceteris paribus......Page scandjvutmp323_0001.djvu
lema......Page scandjvutmp324_0001.djvu
língua natural......Page 458
linguagem, jogo de......Page scandjvutmp325_0001.djvu
linguagem do pensamento......Page 459
linguagem privada, argumento da......Page 460
livre, variável......Page scandjvutmp328_0001.djvu
lógica......Page 462
lógica, equivalência......Page scandjvutmp329_0001.djvu
lógica de segunda ordem......Page 463
lógica deôntica......Page 465
lógica dialógica......Page scandjvutmp32e_0001.djvu
lógica epistêmica......Page scandjvutmp341_0001.djvu
lógica infinitária......Page scandjvutmp344_0001.djvu
lógica informal......Page scandjvutmp345_0001.djvu
lógica intuicionista......Page scandjvutmp34a_0001.djvu
lógica modal......Page 499
lógica paraconsistente......Page 500
lógica paraconsistente, sistemas de......Page scandjvutmp34f_0001.djvu
lógica polivalente......Page scandjvutmp35b_0001.djvu
lógica quântica......Page scandjvutmp35c_0001.djvu
lógica temporal......Page scandjvutmp35d_0001.djvu
lógicas não-clássicas......Page scandjvutmp35e_0001.djvu
lógicas não-monótonas......Page 516
lógicas relevantes......Page 523
logicismo......Page scandjvutmp36a_0001.djvu
Lõwenheim-Skolem, teorema de......Page scandjvutmp36d_0001.djvu
M......Page scandjvutmp36f_0001.djvu
máquina de Turing......Page 533
martelo......Page scandjvutmp374_0001.djvu
matemática, fundamentos da......Page scandjvutmp375_0001.djvu
máximas conversacionais......Page 538
metáfora......Page 539
membro......Page scandjvutmp376_0001.djvu
metalinguagem......Page scandjvutmp37a_0001.djvu
minimal, elemento......Page 543
minimização......Page scandjvutmp37b_0001.djvu
modalidades......Page 544
modelo......Page scandjvutmp37c_0001.djvu
modelos, teoria dos......Page scandjvutmp37d_0001.djvu
modo de apresentação......Page 546
modo formal/material......Page scandjvutmp37f_0001.djvu
modus ponendo tollens......Page 548
modus ponens......Page scandjvutmp380_0001.djvu
monismo......Page 549
Montague, gramática de......Page scandjvutmp381_0001.djvu
mundos possíveis......Page 550
N......Page scandjvutmp384_0001.djvu
navalha de Ockham......Page 553
necessidade......Page 554
necessidade, eliminação da......Page scandjvutmp386_0001.djvu
necessitação......Page 555
negação......Page scandjvutmp387_0001.djvu
new foundations......Page 557
negação, introdução da......Page scandjvutmp388_0001.djvu
nocional, crença......Page 558
nome próprio......Page scandjvutmp389_0001.djvu
nominalismo......Page scandjvutmp38b_0001.djvu
non sequitur......Page 560
notacão canônica......Page 561
notações......Page scandjvutmp38d_0001.djvu
numerável......Page scandjvutmp390_0001.djvu
número......Page 565
números de Gõdel......Page scandjvutmp392_0001.djvu
números e conjuntos......Page scandjvutmp394_0001.djvu
O......Page scandjvutmp39a_0001.djvu
obversão......Page 575
operador......Page 576
operador de Hilbert......Page 577
operador de minimização......Page 579
operador iota......Page scandjvutmp39e_0001.djvu
operador lambda......Page scandjvutmp39f_0001.djvu
oposição, quadrado de......Page scandjvutmp3a0_0001.djvu
ordens......Page 581
ordinal......Page 582
ou......Page scandjvutmp3a2_0001.djvu
P......Page scandjvutmp3a4_0001.djvu
par ordenado......Page 585
para-aspas......Page 586
paraconsistência......Page scandjvutmp3a6_0001.djvu
parada......Page scandjvutmp3aa_0001.djvu
paradoxo......Page 591
paradoxo da análise......Page scandjvutmp3ab_0001.djvu
paradoxo de Cantor......Page 592
paradoxo de Goodman......Page 593
paradoxo de Grelling......Page scandjvutmp3ad_0001.djvu
paradoxo de Moore......Page 594
paradoxo de Richard......Page scandjvutmp3ae_0001.djvu
parodoxo de Ross......Page scandjvutmp3af_0001.djvu
paradoxo do barbeiro......Page 596
paradoxo do bom samaritano......Page scandjvutmp3b0_0001.djvu
paradoxo do mentiroso......Page 597
paradoxo dos corvos......Page scandjvutmp3b1_0001.djvu
paradoxos epistêmicos......Page 598
paralelismo......Page scandjvutmp3b4_0001.djvu
parte própria......Page 601
partes, axioma das......Page scandjvutmp3b5_0001.djvu
particular egocêntrico......Page 602
passo indutivo......Page scandjvutmp3b6_0001.djvu
pensamento......Page 603
pensamento, leis do......Page scandjvutmp3bf_0001.djvu
perspectiva da primeira pessoa......Page 612
platonismo......Page 615
petição de princípio......Page scandjvutmp3c2_0001.djvu
polissilogismo......Page scandjvutmp3c4_0001.djvu
positivismo lógico......Page scandjvutmp3c5_0001.djvu
possibilia......Page scandjvutmp3c9_0001.djvu
possibilidade......Page scandjvutmp3cb_0001.djvu
possibilidade, eliminação da......Page scandjvutmp3cc_0001.djvu
pragmática......Page 625
predicação......Page 628
predicado......Page scandjvutmp3cf_0001.djvu
predicado diádico......Page scandjvutmp3d0_0001.djvu
predicado n-ádico......Page 629
predicativismo......Page scandjvutmp3d1_0001.djvu
premissa......Page scandjvutmp3d3_0001.djvu
pressuposição......Page 632
primeira pessoa......Page scandjvutmp3d6_0001.djvu
princípio do círculo vicioso......Page 635
princípio do supremo......Page 636
princípio do contexto......Page scandjvutmp3d7_0001.djvu
princípio do terceiro excluído......Page scandjvutmp3d8_0001.djvu
problema da parada......Page 637
problemas de decisão......Page scandjvutmp3d9_0001.djvu
problemático, juízo......Page scandjvutmp3db_0001.djvu
produto lógico......Page 640
programa de Hilbert......Page scandjvutmp3dc_0001.djvu
proibição......Page scandjvutmp3e1_0001.djvu
proposição, argumentos e teorias da......Page 646
proposição afirmativa......Page scandjvutmp3e4_0001.djvu
proposição categórica......Page 649
proposição geral/singular......Page scandjvutmp3e5_0001.djvu
proposição hipotética......Page scandjvutmp3e6_0001.djvu
proposição protocolar......Page 651
proposição-sistema......Page scandjvutmp3e8_0001.djvu
propriedade......Page 653
propriedade acidental......Page scandjvutmp3ee_0001.djvu
propriedade essencial/acidental......Page 659
propriedade extrínseca/intrínseca......Page scandjvutmp3f0_0001.djvu
propriedade relacional/não-relacional......Page 660
prossilogismo......Page scandjvutmp3f1_0001.djvu
psicologismo......Page 661
Q......Page scandjvutmp3f4_0001.djvu
quadrado de oposição......Page 663
quadrado modal de oposição......Page scandjvutmp3f6_0001.djvu
qualidade primária/secundária......Page 665
quantidade, máxima da......Page scandjvutmp3f9_0001.djvu
quantificação substitutiva......Page 668
quantificador......Page scandjvutmp3ff_0001.djvu
quantificador existencial, eliminação do......Page scandjvutmp400_0001.djvu
quase-verdade......Page 671
quatro termos, falácia dos......Page scandjvutmp404_0001.djvu
R......Page scandjvutmp406_0001.djvu
racionalidade......Page 677
ramseyficação......Page scandjvutmp407_0001.djvu
realismo......Page scandjvutmp409_0001.djvu
recorrência primitiva......Page scandjvutmp40c_0001.djvu
recorrência transfinita......Page scandjvutmp40d_0001.djvu
reducibilidade, axioma da......Page 684
reductio ad absurdum......Page scandjvutmp40e_0001.djvu
referência......Page 685
referência, teorias da......Page 686
referência direta......Page scandjvutmp417_0001.djvu
regra de inferência......Page 694
regras de dedução natural......Page scandjvutmp418_0001.djvu
regressão ad infinitum......Page 695
regularidade, axioma da......Page scandjvutmp419_0001.djvu
relação......Page 696
relação recursivamente enumerável......Page 698
relação total......Page scandjvutmp41c_0001.djvu
relações......Page 699
relatividade ontológica......Page 705
relevância, máxima da......Page scandjvutmp424_0001.djvu
representação......Page 707
Richard, paradoxo de......Page scandjvutmp42c_0001.djvu
Russell, paradoxo de......Page 711
S......Page scandjvutmp42e_0001.djvu
semântica lógica......Page 713
sensação......Page scandjvutmp430_0001.djvu
significado......Page 716
silogismo......Page scandjvutmp439_0001.djvu
silogismo disjuntivo......Page scandjvutmp43b_0001.djvu
símbolo de asserção......Page 719
símbolo do absurdo......Page scandjvutmp43c_0001.djvu
símbolo do verdadeiro......Page 720
sincategoremático......Page 721
singular, coniunto......Page scandjvutmp43e_0001.djvu
sintaxe lógica......Page 722
sintético......Page scandjvutmp443_0001.djvu
sistema formal......Page 727
sistemas de lógica modal......Page scandjvutmp445_0001.djvu
sobreveniência......Page 729
sofisma......Page scandjvutmp446_0001.djvu
solipsismo......Page 730
solipsismo metodológico......Page scandjvutmp447_0001.djvu
sorites......Page 731
sse......Page scandjvutmp44f_0001.djvu
subalternas, proposições......Page 739
subconjunto......Page scandjvutmp450_0001.djvu
suposição......Page 740
T......Page scandjvutmp451_0001.djvu
tabela de verdade......Page 741
Tarski, bicondicional de......Page scandjvutmp452_0001.djvu
tautologia......Page 742
tautologia, leis da......Page scandjvutmp453_0001.djvu
teleo-semântica......Page 743
teorema......Page scandjvutmp457_0001.djvu
teorema da compacidade......Page 747
teorema da completude......Page scandjvutmp458_0001.djvu
teorema da correção......Page 748
teorema da dedução......Page 749
teorema da eliminação do corte......Page scandjvutmp45a_0001.djvu
teorema da forma normal......Page scandjvutmp45b_0001.djvu
teorema da incompletude de Gödel......Page scandjvutmp45d_0001.djvu
teorema da indecidibilidade de Church......Page scandjvutmp460_0001.djvu
teorema da indefinibilidade da verdade......Page 755
teorema de Cantor......Page scandjvutmp461_0001.djvu
teorema de Löwenheim-Skolem......Page 756
teorema de Stone......Page scandjvutmp462_0001.djvu
teoria da decisão......Page 757
teoria da demonstração......Page scandjvutmp468_0001.djvu
teoria da relatividade......Page 763
teoria da verdade como coerência......Page scandjvutmp46e_0001.djvu
teoria das categorias......Page 769
teoria das descrições definidas......Page 771
teoria dos condicionais......Page scandjvutmp472_0001.djvu
teoria dos conjuntos......Page 773
teoria dos tipos......Page 778
teoria formal......Page scandjvutmp479_0001.djvu
teorias axiomáticas......Page 780
teorias causais da referência......Page scandjvutmp47a_0001.djvu
termo......Page 781
termo categorial......Page scandjvutmp47b_0001.djvu
termo contável/termo de massa......Page 782
termo geral......Page scandjvutmp47c_0001.djvu
termo maior......Page scandjvutmp47d_0001.djvu
Terra Gêmea......Page 784
tertium non datur......Page scandjvutmp480_0001.djvu
tese de Church......Page 787
teste de Ramsey......Page scandjvutmp485_0001.djvu
tipo-espécime......Page 792
tipo natural......Page scandjvutmp486_0001.djvu
tipos, teoria dos......Page scandjvutmp488_0001.djvu
tonk......Page 795
tropo......Page 797
tradução, indeterminação da......Page scandjvutmp48a_0001.djvu
U......Page scandjvutmp48d_0001.djvu
universal......Page 799
universo......Page 802
uso/menção......Page scandjvutmp491_0001.djvu
V......Page scandjvutmp493_0001.djvu
validade......Page 805
variável......Page 806
vazio, conjunto......Page scandjvutmp496_0001.djvu
verdade, teorias da......Page 808
verdade como coerência, teoria da......Page scandjvutmp4a4_0001_1.djvu
verdade como redundância, teoria da......Page 814
verdade de Tarski, teoria da......Page scandjvutmp49c_0001.djvu
verdade lógica......Page scandjvutmp49d_0001.djvu
verdadeiro, símbolo do......Page scandjvutmp49e_0001.djvu
verificacionismo......Page 817
verofuncional......Page scandjvutmp4a1_0001.djvu
virtual, classe......Page 820
Z......Page scandjvutmp4a2_0001.djvu
Zorn, lema de......Page 821
