Enciclopédia De Termos Lógico-Filosóficos (Em Portuguese do Brasil)

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. 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