ontologia Frege-Church - Frege–Church ontology

A ontologia Frege-Igreja é uma ontologia , a teoria da existência . Tudo é considerado como estando em três categorias, objeto ( referente , denotação ), nome , ou conceito ( sentido ). A ontologia foi desenvolvido por Alonzo Church baseado em idéias de Gottlob Frege para resolver alguns paradoxos . A ontologia está relacionada com certas lógicas modais .

Paradox da relação nome

  • Suponha que estamos no ano de 1995. Suponha que Mary acredita que Plutão (na época ainda considerado um planeta) é o planeta mais distante do sol. Por causa da órbita irregular de Plutão, a órbita de Plutão atravessou a órbita de Netuno, de modo que em 1995, o planeta mais distante do sol é Netuno. Suponha que Maria não sabe este fato.
Se x = y e y = z , e depois substituindo z para y , x = z .
(1) Mary acredita que Plutão = o planeta mais distante do sol.
(2) Neptune = o planeta mais distante do sol.
Portanto, substituindo 'Neptune' para 'o planeta mais distante do sol' em (1), obtemos
(3) Mary acredita que Plutão = Netuno.

No entanto, Maria não acredita que Plutão é Netuno, um paradoxo.

A ontologia Frege-Church resolve isso dizendo a crença introduz um "contexto intensificado", pelo qual os termos seguintes as palavras "acredita que" estão em um contexto em que eles se referem a denotação das palavras, mas com o conceito associado com as palavras para o crente. Cada palavra tem um nome, uma denotação, e um conceito associado a ele.

Terminologia

Proposições, propriedades e relacionamentos

  • Um objectivo tem propriedades. Uma banana tem a propriedade de ser amarelo.
  • A proposição é uma sentença que é verdadeira ou falsa. Uma proposição pode ser considerada uma função , com objetos nele considerados como variáveis , eo valor da função sendo ou verdade ou falsidade , uma função de verdade . Por exemplo, escrever “ x é amarelo” como Y ( x ), de modo que Y ( x ) = verdade, se e somente se “ x é amarelo” é verdadeira, e Y ( x ) = falsidade se e somente se “ x é amarelo”é falsa. Por exemplo, Y (banana) = verdade, uma vez que uma banana é amarela. No entanto, Y ( maçã) = verdade também, uma vez que alguns maçãs são amarelos.
  • Da mesma forma uma frase expressando uma relação entre dois objetos pode ser considerado uma função de verdade de duas variáveis, ou seja, uma relação entre dois objetos pode ser considerada uma função de verdade de duas variáveis. Por exemplo, vamos S ( x , y ) = “ x é menor que y ”. Assim S (rato, elefante) = verdade, uma vez que um rato é menor do que um elefante, mas S (rato, formiga) = falsidade, uma vez que um rato não é menor do que uma formiga.

Objeto, nome, conceito

  • Um objecto (referente, denotação) tem um nome, o nome do objecto. O objecto possui um conceito (sentido), o conceito do objecto, associados com o nome do objecto. Um nome ou conceito são eles próprios objetos, e têm nomes, o nome do nome do objeto eo nome do conceito do objeto. Da mesma forma que eles têm conceitos como qualquer outro objeto. Um nome é dito para denotar o objecto para o qual é o nome.

Resolução do paradoxo da relação nome usando a ontologia Frege-Igreja

Ambiguidades na liderança linguagem comum a confusão

  • O Inglês linguagem comum tem ambigüidades que precisam ser esclarecidas como nós às vezes se referem a um objeto com uma palavra, por exemplo, um gato. Referimo-nos ao nome usando aspas, o nome do gato, por exemplo, a palavra “cat”. Há ambiguidade na linguagem, no que respeita referentes ao gato como um conceito, e gato como um objeto.

contexto intensificado

  • Uma expressão como “acredita que” é dito para introduzir um contexto intensificado . Em um contexto intensional, os nomes que ocorrem denotam os conceitos dos objetos para o crente. Eles não denotam os objetos em si.

Resolução

“O planeta mais distante do sol”, como aparece na proposição (1) é o conceito de “o planeta mais distante do sol” de Maria, e não sobre o planeta mais distante real do sol como aparece em (2), de modo a substituição não pode ser feito. Um tratamento mais rigoroso e formal deste é dada pela Igreja.

Referências

links externos

  • Fitting, Melvin. "Intensional Logic" . Em Zalta, Edward N. Stanford Encyclopedia of Philosophy .