Enciclopédia de Termos Lógico-Filosóficos
Setembro de 2001 ⋅ Filosofia Aberta

Lógica & filosofia

Enciclopédia de Termos Lógico-Filosóficos, org. por João Branquinho e Desidério Murcho
Gradiva, Agosto de 2001, 744 pp.
ComprarPrefácioExcerto
Segunda edição

Os estudos lógico-filosóficos constituem uma área crucial da filosofia do século XX. Do mesmo modo que os novos métodos dos séculos XVI e XVII provocaram uma revolução científica que ainda hoje se faz sentir, também os novos métodos de análise conceptual do século XX revolucionaram a filosofia. Todavia, a filosofia do século XX e os seus métodos de análise lógica são praticamente desconhecidos em Portugal. Para colmatar esta lacuna na cultura filosófica nacional a Sociedade Portuguesa de Filosofia reuniu uma equipa de especialistas nacionais e estrangeiros para compilar esta enciclopédia — a primeira do género em Portugal.

Importante para estudantes e investigadores, professores e público em geral, esta Enciclopédia abrange, entre outras, as seguintes disciplinas e temas:

  • Lógica e filosofia da lógica
  • Lógica matemática e lógica informal
  • Lógica filosófica e metafísica
  • Filosofia da linguagem
  • Teoria do conhecimento
  • Teorias da verdade
  • Argumentação e validade
  • Lógicas modernas
  • Lógica aristotélica

Edição apoiada pela Fundação para a Ciência e a Tecnologia e pela Faculdade de Letras da Universidade de Lisboa.

João Branquinho é Professor Associado no Departamento de Filosofia da Universidade de Lisboa. Licenciado e mestre pela mesma instituição, é doutor em Filosofia pela Universidade de Oxford. Coordena o mestrado em Filosofia da Linguagem e da Consciência da Faculdade de Letras de Lisboa e pertence à direcção da revista Disputatio. Publicou artigos nas revistas Analysis e Nôus, revistas com sistema de submissão anónima, e vários outros artigos em revistas nacionais de filosofia. Organizou recentemente o volume The Foundations of Cognitive Science (Oxford University Press, 2001).

Desidério Murcho é licenciado e mestre em Filosofia pela Universidade de Lisboa, membro da direcção da Sociedade Portuguesa de Filosofia e membro fundador do Centro para o Ensino da Filosofia daquela instituição. Dirige com Guilherme Valente a colecção Filosofia Aberta, na Gradiva, e traduziu vários livros de filosofia. É director executivo da revista Disputatio. É fundador e director da Crítica, a maior publicação portuguesa de filosofia na Internet, e colaborador da revista Livros. Prepara neste momento o seu doutoramento em Filosofia no King's College de Londres, onde é bolseiro da FCT.

Autores principais

  • António Horta Branco: Licenciado em Filosofia, Mestre em Linguística e doutorado em Linguística Computacional pela Universidade de Lisboa. Professor auxiliar na Faculdade de Ciências da Universidade de Lisboa. Artigos: ambiguidade; anáfora; competência; cooperação, princípio da; estrutura profunda; gramática de Montague; gramática generativa; idiolecto; implicatura convencional; implicatura conversacional; inatismo; língua natural; máximas conversacionais; pressuposição; produtividade; quantificação generalizada; semântica; significado; sinonímia; sintaxe.
  • João Branquinho: Licenciado e Mestre em Filosofia pela Faculdade de Letras da Universidade de Lisboa. Doutor em filosofia pela Universidade de Oxford. Professor associado de Filosofia na Faculdade de Letras da Universidade de Lisboa e coordenador do programa de Mestrado em Filosofia da Linguagem e da Consciência na mesma instituição. Artigos: ab esse ad posse valet consequentia; abstracta; acontecimento; actual; actualismo; afirmação; aglomeração; ambiguidade acto/objecto; âmbito; antilogismo; argumento da catapulta; argumento do matemático ciclista; atitude proposicional; atributo; auto-inconsistência; axioma da reducibilidade; axioma da separação; axioma da substituição; axioma da união; axioma dos pares; Barbara; Bedeutung; Begriffschrift; bivalência, princípio da; carácter; categorial; Celarent; classe de equivalência; classe universal; complemento; completude; compromisso ontológico; conceito/objecto; condição; condição de adequação material; condições de verdade; conexa, relação; conjunto complementar; conjunto contável; conjunto intersecção; conjunto numerável; conjunto potência; conjunto união; conjunto vazio; conotação; contexto; contingente; contradição; contradictio in adjecto; contradomínio; contrapartes, teoria das; conversa; crença de re; decidibilidade; de dicto/de re; definição contextual; deflacionismo; deícticos; denotação; descitação; de se; designação; determinável; dictum de omni et nullo; dilema; eliminação da identidade; eliminação da negação; eliminação da necessidade; eliminação da possibilidade; epifenomenalismo; equivalência; equivalência estrita; equivalência lógica; equivalência material; espécime-reflexivo; estado de coisas; exemplificação; ex falso quodlibet; existência; existência, princípio da; extensão/intensão; falácia da permutação dos quantificadores; fecho; Felapton; finitude; fórmula aberta; fórmula de Barcan; fórmula de Buridano; frase atómica; frase V; função proposicional; functor; idempotência, leis da; identidade, necessidade da; identidade relativa; imagem; implicação; implicação estrita; implicação lógica; implicação material; indexicais; intencionalidade; introdução da bicondicional; introdução da negação; introdução da possibilidade; isomorfismo; lei da identidade; lei de Euclides; leis do pensamento; lema; lógica epistémica; modo formal/material; modus ponendo tollens; não-contradição, princípio da; necessidade da não-identidade; necessitação; nome próprio; objecto; ocasionalismo; operador; operador iota; para-aspas; paradoxo da pedra; paradoxos da implicação estrita; paradoxos da implicação material; paralelismo; parte própria; partição; particular egocêntrico; polissilogismo; post hoc, ergo propter hoc; predicado diádico; predicado monádico; predicado n-ádico; princípio KK; produto cartesiano; produto lógico; propriedade; propriedade Cambridge; propriedade extrínseca/intrínseca; propriedade geral/singular; propriedade hereditária; propriedade relacional/não relacional; quantificação substitutiva; referência; relação; símbolo de asserção; símbolo do absurdo; símbolo do verdadeiro; sincategoremático; soma lógica; teorema da eliminação do corte; teorema da indefinibilidade da verdade; terceiro excluído, princípio do; tonk; universal; verdade como coerência, teoria da; verdade como correspondência, teoria da.
  • Fernando Ferreira: Doutorado em Matemática pela Universidade da Pensilvânia. Professor associado de Matemática na Faculdade de Ciências da Universidade de Lisboa. Investigador do Centro de Matemática e Aplicações Fundamentais. Artigos: abstracção, princípio da; aridade; associatividade, leis da; axioma da escolha; axioma da extensionalidade; axioma da fundação; axioma das partes; axioma do infinito; boa ordem; cardinal; classe; classe virtual; comutatividade, leis da; conjunto; conjunto aritmético; conjunto infinito; consistência, problema da; contínuo; correspondência biunívoca; De Morgan, leis de; diagonalização; distributividade, leis da; hipótese do contínuo; indução transfinita; lema de Zorn; modelo; modelos, teoria dos; negação dupla; new foundations; numerável; números de Gödel; ordens; ordinal; paradoxo de Burali-Forti; paradoxo de Cantor; paradoxo de Russell; princípio do círculo vicioso; proto-elemento; sequência; subconjunto; sucessão; teorema de Cantor; teorema de Löwenheim-Skolem; teoria dos conjuntos.
  • Narciso Garcia: Professor associado de Lógica Matemática no Instituto Superior Técnico. Doutorado em Matemática pela Universidade de Oxford. Artigos: computabilidade; funções parciais; funções recursivas; máquina de Turing; operador de minimização; problema da paragem; problemas de decisão; recorrência primitiva; relação recursiva; relação recursivamente enumerável; relações; teorema da forma normal; tese de Church.
  • M. S. Lourenço: Licenciado e doutorado em Filosofia pela Universidade de Lisboa, detém também um BA em Filosofia pela Universidade de Oxford. Professor catedrático de Filosofia na Faculdade de Letras da Universidade de Lisboa. Artigos: análise; aritmética; constante lógica; definição indutiva; demonstração condicional; formalismo; função; fundamentos da matemática; identidade; indução matemática; lógica; logicismo; número; operador de Hilbert; operador lambda; platonismo; predicativismo; programa de Hilbert; quadrado de oposição; quantificador; reductio ad absurdum; silogismo; sistema formal; teorema da dedução; teorema da incompletude de Gödel; teoria das descrições definidas.
  • António Marques: Professor catedrático de Filosofia da Comunicação na Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Doutor em Filosofia Contemporânea pela mesma instituição. Investigador no Instituto de Filosofia da Linguagem. Artigos: analítico; a priori; argumento transcendental; conhecimento; consciência; estado mental; falácia naturalista; identidade de indiscerníveis; indivíduo; perspectiva da primeira pessoa; qualidade primária/secundária; realismo; representação; verificacionismo.
  • Fernando Martinho: Licenciado em Filosofia pela Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Artigos: cálculo proposicional; demonstração; fórmula; metalinguagem; notações; paradoxo; tabela de verdade; tautologia; teorema; teoria dos tipos; teorias axiomáticas; validade; variável; verdade de Tarski, teoria da.
  • Desidério Murcho: Licenciado em Filosofia e Mestre em Filosofia da Linguagem e da Consciência pela Faculdade de Letras da Universidade de Lisboa. Artigos: acessibilidade; adição, regra da; a dicto secundum quid ad dictum simpliciter; a dicto simpliciter ad dictum secundum quid; adjectivo pseudoqualificativo; alefe; alético; algoritmo; ambiguidade sistemática; anti-simetria; assimetria; autocontradição; axioma; batalha naval, argumento da; cérebro numa cuba; círculo vicioso; círculo virtuoso; citação; co-extensivo; compossível; condição necessária; conjuntamente suficientes; contraditórias; contra-exemplo; contraposição; contrárias; convencionalismo; conversão; definição implícita/explícita; derivabilidade; distribuição; entimema; equivalência, relação de; erro categorial; essencialismo; exportação; falácia da afirmação da consequente; falácia da negação da antecedente; falsidade lógica; fbf; importação; impossibilidade; incompossível; inconsistência; independência; indiscernibilidade de idênticos; indução; intransitividade; irreflexividade; jogo de linguagem; lógica modal, sistemas de; martelo; modalidade; mundo actual; mundos possíveis; não-reflexividade; não-simetria; não-transitividade; necessidade; negação alternada; negação conjunta; nominalismo; obversão; opacidade referencial; paradoxo da análise; paradoxo de Electra; paradoxo de Goodman; paradoxo de Grelling; paradoxo de Richard; paradoxo do barbeiro; paradoxo do mentiroso; paradoxo dos corvos; proposição; proposição afirmativa; psicologismo; quadrado modal de oposição; reflexividade; regra de inferência; regras de dedução natural; sentido/referência; separadamente necessárias; simetria; solipsismo; subcontrárias, proposições; suposição; tipo/espécime; transitividade; uso/menção; valor de verdade; verdade lógica; verofuncional.
  • J. Franco de Oliveira: Doutor em Matemática pela Universidade de Lisboa. Professor associado de Lógica Matemática na Universidade de Évora. Artigos: álgebras da lógica; álgebras de Boole; compatível; consistência; definibilidade; domínio; lógica de segunda ordem; lógica infinitária; lógica intuicionista; lógica livre; lógica modal; lógica paraconsistente; lógica polivalente; lógica quântica; lógicas não clássicas; lógica temporal; teorema da compacidade; teorema da indecidibilidade de Church.
  • João Sàágua: Doutor em Filosofia Contemporânea pela Universidade Nova de Lisboa. Professor associado de Lógica para as Humanidades na Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Investigador do Instituto de Filosofia da Linguagem. Artigos: anfibolia; argumento; argumento ad baculum; argumento ad hominem; argumento ad ignorantium; argumento ad misericordiam; argumento ad populum; argumento ad verecundiam; árvores semânticas; barra de Sheffer; cálculo de sequentes; conectivo; consequência; dedução natural; definição; diagramas de Venn-Euler; eliminação da conjunção; eliminação da disjunção; eliminação do quantificador existencial; eliminação do quantificador universal; falácia; falácia da causa única; falácia da composição; falácia da divisão; falácia da ilícita maior; falácia da ilícita menor; falácia do equívoco; falácia do termo não distribuído; falácia ignoratio elenchi; forma normal; holismo; inferência; interpretação radical; introdução da conjunção; introdução da disjunção; introdução do quantificador existencial; introdução do quantificador universal; linguagem formal; lógica de primeira ordem; modus ponens; modus tollens; notação canónica; par ordenado; postulado de sentido; predicado; semântica lógica; sintaxe lógica; teorema da completude; teorema da correcção; termo.
  • Pedro Santos: Assistente na Universidade do Algarve. Licenciado em Filosofia pela Faculdade de Letras da Universidade de Lisboa e Mestre em Linguística pela mesma instituição. Artigos: acto de fala; acto ilocutório; acto locutório; acto perlocutório; asserção; atributivo/referencial; competência; composicionalidade, princípio da; condicionais, teorias das; condicional; condicional contrafactual; condições de assertibilidade; condições de felicidade; cooperação, princípio da; designador; designador rígido; é; factivo; filosofia da linguagem comum; genéricas; gramática de Montague; implicatura convencional; implicatura conversacional; lógicas relevantes; máximas conversacionais; metáfora; paradoxo de Moore; pragmática; pressuposição; princípio do contexto; quantificação generalizada; semântica; sorites; termo contável/termo de massa; vagueza.
  • António Zilhão: Professor auxiliar de Filosofia na Faculdade de Letras da Universidade de Lisboa. Licenciado e Mestre em Filosofia pela mesma instituição. Doutor em Filosofia pela Universidade de Londres. Artigos: abdução; agência; argumento ontológico; argumento per analogiam; behaviorismo; ceteris paribus, leis; dilema do prisioneiro; disposição; dualismo; exteriorização; fisicalismo; funcionalismo; implicação existencial; linguagem do pensamento; linguagem privada, argumento da; monismo; problema da mente-corpo; ramseyficação; sobreveniência; teoria da decisão.

Autores estrangeiros

  • Paul Boghossian: Professor de Filosofia e Director do Departamento de Filosofia da Universidade de Nova Iorque. Autor de diversos artigos especializados. Artigo: conteúdo.
  • Christopher Cherniak: Professor na Universidade de Maryland, nos EUA. Autor de Minimal Rationality. Artigo: racionalidade.
  • Paul Horwich: Professor na Universidade de Londres. Autor de diversos artigos e das obras Truth e Meaning. Artigo: verdade, teorias da.
  • Dick de Jongh: Professor na Universidade de Amesterdão. Artigo: intuicionismo.
  • David Papineau: Professor de Filosofia da Ciência na Universidade de Londres. Autor de For Science in the Social Sciences (1978), Theory and Meaning (1979), Reality and Representation (1987) e Philosophical Naturalism (1993). Presidente do Departamento de Filosofia do King's College de Londres e Director de British Journal for the Philosophy of Science. Artigo: teleo-semântica.
  • Mark Sainsbury: Professor na Universidade de Londres. Autor de Russell (1979), Paradoxes (1988, 1995) e Logical Forms (1991). Artigo: forma lógica.
  • Charles Travis: Professor de Filosofia na Universidade de Stirling. Autor de Saying and Understanding (1975), The True and the False (1981) e The Uses of Sense (1989). Artigo: pensamento.
  • Timothy Williamson: Professor Wikeham de Lógica na Universidade de Oxford. Autor de Vagueness e The Limits of Knowledge. Artigo: possibilia.

Autores convidados

  • José Carmo: Professor associado de Teoria da Computação no Instituto Superior Técnico. Artigo: lógica deôntica.
  • João Pavão Martins: Professor associado no Instituto Superior Técnico. Artigo: lógicas não monótonas.

Jovens autores

  • Sara Farmhouse Bizarro: Licenciada e Mestre em Filosofia da Linguagem e da Consciência pela Faculdade de Letras da Universidade de Lisboa. Artigos: conteúdo estrito/lato; modo de apresentação; navalha de Ockham.
  • Ana Cristina Domingues: Licenciada em Filosofia. Artigos: possibilidade; termo geral; Terra Gémea.
  • João Fonseca: Licenciado e Mestre em Filosofia. Investigador no Instituto de Filosofia da Linguagem da Faculdade de Ciências Sociais e Humanas da Universidade Nova de Lisboa. Artigos: indeterminação da tradução; relatividade ontológica.
  • Miguel Fonseca: Licenciado em Filosofia. Artigo: modalidade de re; propriedade essencial/acidental.
  • Pedro Galvão: Professor eventual do ensino secundário. Licenciado em Filosofia pela Faculdade de Letras da Universidade de Lisboa. Artigos: positivismo lógico; proposição protocolar; regressão ad infinitum; verdade como redundância, teoria da.
  • Teresa Marques: Licenciada em Filosofia pela Faculdade de Letras da Universidade de Lisboa. Artigos: referência, teorias da; tipo natural.
  • Célia Teixeira: Licenciada em Filosofia pela Faculdade de Letras da Universidade de Lisboa. Artigos: non sequitur; petitio principii; proposição categórica; proposição geral/singular; proposição hipotética; subalternas, proposições.
Termos de utilização ⋅ Não reproduza sem citar a fonte