Variância do quantificador
O termo variância do quantificador refere-se a alegações de que não há uma linguagem ontológica única e melhor com a qual descrever o mundo.[1] O termo "variância do quantificador" se baseia no termo filosófico 'quantificador', mais precisamente o quantificador existencial. Um 'quantificador' é uma expressão como "existe pelo menos um 'tal-e-tal'".[2] Variância do quantificador então é a tese de que o significado dos quantificadores é ambíguo. Essa tese pode ser usada para explicar como algumas disputas em ontologia ocorrem apenas devido a uma falha das partes discordantes em concordar sobre o significado dos quantificadores usados.[3]
De acordo com Eli Hirsch, é uma evolução do ditado de Urmson: Predefinição:Quote
Quantificadores
Predefinição:Artigo principal A palavra quantificador na introdução refere-se a uma variável usada em um domínio de discurso, uma coleção de objetos em discussão. Na vida cotidiana, o domínio de discurso pode ser 'maçãs', ou 'pessoas', ou até mesmo tudo.[4] Em uma arena mais técnica, o domínio de discurso poderia ser 'números inteiros', por exemplo. A variável quantificadora x, por exemplo, no domínio de discurso dado pode assumir o 'valor' ou designar qualquer objeto no domínio. A presença de um objeto específico, digamos um 'unicórnio', é expressa no estilo da lógica simbólica como:
- ∃ x; x é um unicórnio.
Aqui o 'E' invertido ou ∃ é lido como "existe..." e é chamado de símbolo de quantificação existencial. As relações entre objetos também podem ser expressas usando quantificadores. Por exemplo, no domínio dos números inteiros (denotando o quantificador por n, uma escolha costumeira para um número inteiro) podemos identificar indiretamente '5' por sua relação com o número '25':
- ∃ n; n × n = 25.
Se quisermos destacar especificamente que o domínio dos números inteiros é o que está sendo considerado, poderíamos escrever:
- ∃ n ∈ ; n × n = 25.
Aqui, ∈ = é membro de... e ∈ é chamado de símbolo para pertinência a conjunto; e denota o conjunto dos números inteiros.
Existem várias expressões que servem ao mesmo propósito em várias ontologias, e, consequentemente, todas são expressões quantificadoras.[1] A variação do quantificador é então um argumento sobre exatamente quais expressões podem ser interpretadas como quantificadores, e quais argumentos de um quantificador, ou seja, quais substituições para "tal-e-tal", são permitidas.[5]
Não 'existência'?
Hirsch afirma que a noção de variância do quantificador é um conceito relacionado a como as linguagens funcionam e não está conectada à questão ontológica do que 'realmente' existe.[6] Essa visão não é universal.[7]
A tese subjacente à variância do quantificador foi afirmada por Putnam: Predefinição:Quote Citando esta citação de Putnam, Wasserman afirma: "Esta tese – a tese de que existem muitos significados para o quantificador existencial que são igualmente neutros e igualmente adequados para descrever todos os fatos – é frequentemente referida como 'a doutrina da variância do quantificador'".[7]
A variância do quantificador de Hirsch tem sido conectada à ideia de Carnap de um quadro linguístico como uma visão 'neo'-Carnapiana, ou seja, "a visão de que existem vários significados igualmente bons dos quantificadores lógicos; escolher um desses quadros deve ser entendido analogamente a escolher um quadro Carnapiano."[8] Naturalmente, nem todos os filósofos (notavelmente Quine e os 'neo'-Quineanos) subscrevem à ideia de múltiplos quadros linguísticos.[8] Veja meta-ontologia.
Hirsch sugere algum cuidado ao conectar sua versão de variância do quantificador com Carnap: "Não vamos chamar nenhum filósofo de variantista do quantificador a menos que estejam claramente comprometidos com a ideia de que (a maioria) das coisas que existem são completamente independentes da linguagem." Nesse contexto, Hirsch diz "Eu tenho um problema, no entanto, em chamar Carnap de variantista do quantificador, na medida em que ele é frequentemente visto como um anti-realista verificacionista."[1] Embora Thomasson não considere que Carnap seja corretamente considerado um antirrealista, ela ainda desassocia Carnap da versão de Hirsch da variância do quantificador: "Vou argumentar, no entanto, que Carnap de fato não está comprometido com a variância do quantificador de forma alguma semelhante à de Hirsch, e que ele [Carnap] não depende disso em suas maneiras de desinflar debates metafísicos."[9]
Ver também
- ↑ 1,0 1,1 1,2 Predefinição:Citar livro
- ↑ Um 'quantificador' na lógica simbólica originalmente era a parte de afirmações envolvendo os símbolos lógicos ∀ (para todo) e ∃ (existe), como em uma expressão como "para todo 'tal-e-tal' P é verdadeira" (∀ x: P(x)) ou "existe pelo menos um 'tal-e-tal' tal que P é verdadeira" (∃ x: P(x)), onde 'tal-e-tal', ou x, é um elemento de um conjunto e P é uma proposição ou afirmação. No entanto, a ideia de um quantificador foi desde então generalizada. Veja Predefinição:Citar enciclopédia
- ↑ Predefinição:Citar periódico
- ↑ Predefinição:Citar livro
- ↑ Predefinição:Citar livro
- ↑ Predefinição:Citar livro
- ↑ 7,0 7,1 Predefinição:Citar periódico
- ↑ 8,0 8,1 Predefinição:Citar livro
- ↑ Predefinição:Citar web To be published in Ontology after Carnap, Stephan Blatti and Sandra LaPointe, eds., Oxford University Press.