Resumo e inexistentes Objects

Edward N. Zalta
Resumo e inexistentes Objects
0
'
&
$
%
A
??????? ???
N
??????????
O
??????
E
?????
N. Z
????
Centro de Estudos da Linguagem e da Informao
Universidade de Stanford
zalta@stanford.edu
http://mally.stanford.edu/zalta.html
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 2
Edward N. Zalta
Resumo e inexistentes Objects
1
'
&
$
%
A linguagem de disciplinas importantes tem termos que aparecem para se referir
abstrair, inexistente, e os objetos "possvel-mas-nonactual ', e
propriedades mesmo abstrato, inexistente, e possvel-mas-nonactual e
relaes:
- 0, 1, 2, ..., p, , {}, ?, ?
0
...; X <y, x ? y (matemtica)
- Possvel x evento em uma distribuio de probabilidade y, centro de massa x 's,
a possvel planeta perturbando a rbita de Pluto; o ter,
phlogiston, simultaneidade absoluta, ... (cincia, presente e passado)
- Zeus, Sherlock Holmes, Bilbo Baggins, o monstro que eu sonhei
sobre a noite passada, conceito x 's de y, o estado de coisas possvel l
sendo uma tomada comunista de os EUA (crtica literria,
psicologia)
Mas se aceitarmos a viso cientfica sobre o que existe, ou seja, a
entidades e foras fsicas postulada por nossas melhores teorias cientficas,
ento o que os termos acima referem-se, uma vez que no so mencionados por
essas teorias?
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Pgina 3
Edward N. Zalta
Resumo e inexistentes Objects
2

'
&
$
%
So estes apenas "idias em nossas mentes" (psicologismo).
- Quando dizemos '2 primo', 'Holmes um detetive "e" George
Bush o presidente ", h uma sistematicidade ao nosso uso da linguagem.
A sugesto : neste ltimo caso, estamos nos referindo a um objeto em
o mundo externo, mas nos dois primeiros casos, estamos nos referindo a
idias.
Mas as idias so particulares para indivduos - cuja idia de '2' somos ns
referindo-se a quando dizemos '2 prime', a sua ou a minha? Em vez disso, ele
Parece que h algo mais abstrato, o que voc e eu somos ambos
referindo-se.
Parece que quando dizemos "Holmes um detetive" e "Pinkerton uma
detetive ", que so, em ambos os casos, verdadeiramente atribuindo a propriedade d
e
ser um detetive para um objeto. Mas como pode uma idia verdadeiramente ser um
detetive?
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 4
Edward N. Zalta
Resumo e inexistentes Objects
3
'
&
$
%
Para hoje, vamos temporariamente posta de lado a preocupao com a conciliao
objetos abstratos, inexistentes, e possveis com nossas melhores teorias.
Em vez disso, nosso plano :
- Veja o que os dados so estamos tentando explicar, ou seja, o verdadeiro
frases e argumentos vlidos que envolvem os termos relativos a estes
entidades. Vamos focar em fices.
- Examinar criticamente o que alguns filsofos tm dito sobre a
A anlise desses dados.
- Produzir uma teoria dos objetos em questo e us-los nossa prpria
anlise.
- Voltar questo de conciliar nossa teoria com o nosso melhor
teorias cientficas.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 5
Edward N. Zalta
Resumo e inexistentes Objects
4
'
&
$
%
De acordo com os romances de Conan Doyle, Holmes um detetive.
De acordo com a tempestade, Prospero teve uma filha.
De acordo com a Ilada, Aquiles lutou Hector.
De acordo com a O Senhor dos Anis, Sauron tentou recuperar o
anel mestre de Frodo.
Holmes mais famoso do que qualquer detetive real.
Holmes ainda inspira criminologistas modernos.

Kafka escreveu sobre Gregor Samsa.

Os antigos gregos adoravam Zeus.
Ponce de Leon procurou a fonte da juventude.
Equipes de cientistas tm procurado o monstro de Loch Ness, mas
uma vez que no existe, ningum nunca vai encontr-lo.
Ponce de Leon procurou a fonte da juventude, e embora
no existe, ele acreditava que ele existia.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 6
Edward N. Zalta
Resumo e inexistentes Objects
5
'
&
$
%
Superman = Clark Kent.
Zeus = Jpiter.
Pegasus no idntico ao Zeus.
Alguns personagens fictcios so interessantes porque eles acham
-se em situaes em que eles parecem ser capazes de escolher
sua identidade, embora inevitavelmente se que fatores fora de seu
controle, antecedente ao momento da escolha, j havia determinado
o que eles fariam.
Os antigos gregos e romanos adoravam os mesmos deuses, embora
Chamando-os por nomes diferentes.
Esta histria fictcia e qualquer semelhana entre os personagens e
pessoas reais no intencional e coincidente.
Nenhum dos personagens desta histria existe.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Pgina 7
Edward N. Zalta
Resumo e inexistentes Objects
6
'
&
$
%
Argumentos vlidos:
- Os antigos gregos adoravam Zeus.
Zeus um personagem mtico.
No existem personagens mticos.
Por isso, os antigos gregos adoravam algo que no faz
existir.
- Oregonians modernos adorado Bhagwan Rajneesh.
Bhagwan Rajneesh um artista sex-scam.
Artistas Sex-vigarice no deve ser confivel.
Portanto, Oregonians modernos adorado algum que
no deve ser confivel.
- Ponce de Leon procurou a fonte da juventude.
Portanto, Ponce de Leon procurou por algo.
- Eu procurei para as chaves no bolso.
Eu procurei por algo.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________

Page 8
Edward N. Zalta
Resumo e inexistentes Objects
7
'
&
$
%
(1892) a teoria de Frege: Nomes como 'Pegasus' no denotam nada
qualquer. Quando um nome de "n" ocorre em uma frase como "n F '
(Ou 'x guarda relao ao R n' ou 'n guarda relao x R) e ele no consegue
denotam, em seguida, a sentena como um todo no tem valor de verdade.
Exemplos: "Ulisses um guerreiro grego ',' Holmes um detetive ',
"Frodo um hobbit 'so toda a verdade-sem valor, na viso de Frege. Isto
algo que poderamos viver, uma vez que existe algum tipo de
disanalogy para frases como 'Bush o presidente ", etc.
Contra-exemplos: 'Augustus Caesar adorado Jupiter', 'Sherlock
Holmes mais famoso do que Alan Pinkerton "so verdadeiras, no
verdade, sem valor! Eles so (histricos) fatos.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 9
Edward N. Zalta
Resumo e inexistentes Objects
8
'
&
$
%
A teoria de Russell (1905): Nomes como 'Pegasus' abreviar definitiva
descries, tais como "o cavalo alado capturado por Belerofonte '.
Descries definidas so analisados longe em termos de existncia e
reivindicaes singularidade.
Exemplo: 'Pegasus posso voar " analisado como" O cavalo alado
capturado por Belerofonte posso voar ", e que por sua vez torna-se analisados
como 'Existe um cavalo alado nico capturado por Belerofonte e
ele pode voar ". Vamos abreviar '' W 'cavalo alado capturado por
Bellerophon ':
? x [Wx & ? y (Wy ? y = x) & Fx]
A teoria de Russell prev que este ltimo falso, o que algo que
pode viver com. Mas,
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 10
Edward N. Zalta
Resumo e inexistentes Objects
9
'
&
$
%
contra-exemplo para a teoria de Russell: "Augusto Csar adoraram
Jupiter ', o que verdade, analisada como' Augustus Caesar adorada
o mais poderoso deus romano ", que, por sua vez, torna-se analisados como:
Existe um mais poderoso deus romano nico e Caesar
adoraram ':
? x [Mx & ? y (My ? y = x) & WCX]
Isso falso, ao contrrio do fato histrico.

Ser que Quine tenho uma teoria que analisa essas frases?
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 11
Edward N. Zalta
Resumo e inexistentes Objects
10
'
&
$
%
(1905) teoria ingnua de Meinong de objetos: para qualquer grupo de
propriedades, no um objeto que tem (instantiates, exemplifica)
essas propriedades.
? x ? F (Fx = f).
- No um objeto que instancia as propriedades que tem Zeus
no mito.
? x ? F (Fx = No mito, Fz).
- No um objeto que instancia as propriedades que Sherlock
Holmes tem nos romances de Conan Doyle.
? x ? F (Fx = Nos romances de Conan Doyle, FH).
- H um quadrado redondo.
? x ? F (Fx = F = R ? F = S)
Objetos x e y so idnticos sempre que eles tm exatamente o mesmo
propriedades.
x = y = ? F (Fx = Fy)
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 12
Edward N. Zalta
Resumo e inexistentes Objects
11
'
&
$
%
evidente que tais objetos poderiam ser usados para dar conta da verdade
condies e validade de nossos dados.
acusaes famosos de Russell aplica, no entanto: a teoria de Meinong afirma
(Ao contrrio da realidade), h uma montanha de ouro existente, e afirma
(Ao contrrio das leis da geometria) que h um quadrado redondo, e
afirma (ao contrrio das leis da lgica) que h uma no-quadrado
quadrado.
- ? x ? F (! Fx = F = E ? F = G ? F = M), mas
(Gx E x & & Mx!) ? x: Fact
- ? x ? F (Fx = F = R ? F = S), mas,
Lei geomtrica: ? x (Rx ? S x)
- ? x ? F (Fx = F = S ? F =
S) mas,
Lei lgica: ? x (

S x S x = )
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 13
Edward N. Zalta
Resumo e inexistentes Objects

12
'
&
$
%
soluo para as objeces Russell Parsons '(1980): (1) distinguem
propriedades nucleares e extranucleares, (2) definir objetos somente em relao a
grupos de propriedades nucleares, (3) restringir leis da geometria para possvel
objetos, e (4) afirmam que as negaes de propriedades no so genunos
complementos, (5) estipula que a existncia extranuclear e no um
propriedade nuclear.
On 'teoria, o quantificador' Parsons existe "(" ? ') distinto
a partir da existncia de predicados E! - O antigo no implica existncia.
Pode-se afirmar consistentemente que h objetos que no existem
(? x E x!). Parsons 'argumenta que em linguagem natural, distinguimos
entre "existe" e "no existe ', como em' h ficcional
caracteres (por exemplo, Iago), que ns detestamos mesmo que eles no existem ".
(O que Quine dizer sobre isto?)
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 14
Edward N. Zalta
Resumo e inexistentes Objects
13
'
&
$
%
Em teoria Parsons ', voc no ter uma montanha de ouro existente, uma vez que
o estabelecimento da existncia extranuclear e no pode ser usada para definir um
novo objeto.
Em Parsons 'teoria, o quadrado redondo afirmado ser um' impossvel '
objeto, e assim no se enquadra dentro da lei geomtrica reconfigurado:
para todos os possveis objetos x, se x redonda, x deixa de ser quadrado (ou seja,
? x (Rx ? S x)).
Na teoria de Parsons, a negao da propriedade de ser quadrado (

S)
funciona corretamente apenas para objetos existentes: ? x (E x ? (!

S x S x = )).
Ao afirmar que a praa no-quadrado no existir, voc evita o
contradio.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Pgina 15
Edward N. Zalta
Resumo e inexistentes Objects
14
'
&
$
%
A soluo da E.
Mally (1912) para as objees Russell: distinguir
entre as propriedades que "determinar" um resumo objeto x e o
propriedades que x satisifes (ou instancia, ou exemplifica). Escrever 'xF'
dizer F determina x (ou x codifica F) e 'Fx' dizer x satisfaz (ou
instancia, ou exemplifica) F.

A montanha de ouro existente um objecto que x determinado por,

isto , codifica, as propriedades de existncia, goldenness, e
no mountainhood (ie, xE! & xG & xM), mas no instanciar estes
propriedades. consistente com a alegao ? x (E! X & Gx & MX).
O quadrado redondo um objeto y que determinado pelo (codifica)
arredondamento e esquadria (ie, YR & yS). consistente com o
direito irrestrito: ? x (Rx ? S x).
Na viso de Mally, a praa no-quadrado um objeto z que codifica
perpendicularidade e no perpendicularidade (ie, zS & z

S), e consistente
com a lei irrestrita: ? x (

S x S x = ).
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 16
Edward N. Zalta
Resumo e inexistentes Objects
15
'
&
$
%
A teoria de Mally formalizado e aplicado nas obras citadas por Zalta.
x um objecto comum sse possvel que x concreto.
O! X = E! X
x um objecto sse resumo, no possvel que x concreto.
Um x = E! X!
Os objetos ordinrios no codificam propriedades.
O! X ? ? FXF
x e y so idnticos sse (a) ambos so normais e eles
exemplificar as mesmas propriedades, ou (b) ambos so abstratos e eles
codificar as mesmas propriedades.
x = y = [O! x & O! y & ? F (Fx = Fy)] ? [A! x & A! y & ? F (xF = yF)]
Para qualquer condio em propriedades, no um objeto abstrato que
codifica apenas as propriedades que satisfazem a condio.
? x (A x & ? F (xF = f!))
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 17
Edward N. Zalta
Resumo e inexistentes Objects
16
'
&
$
%
Abstract Objeto
Terico Descrio
Formal Descrio
O objeto x abstrato que codifica tudo e s
as propriedades tais que F ...
I x (A! x & ? F (xF =
O conjunto nula de ZF
... Em Zermelo-Fraenkel a teoria dos conjuntos, tem F
ZF | = F ))
? da teoria matemtica T

... Em teoria T, ? tem F

T | = F ?))
O ter de 19
... Na fsica do sculo 19, o ter tem F
XIX | = F (o ter)))
fsica do sculo
Sherlock Holmes
... De acordo com os romances de Conan Doyle,
CD | = FH))
Holmes tem F
O mundo real
... F uma propriedade da forma tal que p ? p (p & F = [? yp])))
(Em que p uma proposio verdadeira)
O Formulrio de G
... F propriedade G
F = L))
O Leibnizian
... Alexander exemplifica F
Fa))
conceito de Alexander
O nmero natural 0 ... F unexemplified por objetos comuns
? UFU))
O valor de verdade de
... F uma propriedade da forma tal que q ? q (q = p &
proposio p
(Onde q materialmente equivalente a p)
F = [? y p])))
O conjunto de G s
... F substancialmente equivalente a G
? y (Fy = Gy)))
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________
Page 18
Edward N. Zalta
Resumo e inexistentes Objects
17
'
&
$
%
Como podemos naturalizar essa teoria? Ela parece afirmar a existncia
de um nmero infinito de objetos abstratos. Como conciliar isso com
nossa melhor cincia fsica?
Um mtodo de reconciliao: argumentam que necessrio para a nossa prpria
compreenso da cincia (Linsky & Zalta, 1995). A idia: o
teoria dos objetos abstratos necessrio para a nossa compreenso da
linguagem matemtica e compreenso da linguagem matemtica
necessrio para a nossa compreenso da cincia. Assim, "naturalismo"
devidamente formulado como a vista: aceitar apenas o que a cincia requer ou
o que necessrio para a nossa compreenso da cincia.
Um segundo mtodo de reconciliao: argumentam que a teoria formal
simplesmente sistematiza as nossas prticas lingusticas. Ns proferir palavras e senpetncias de formas sistemticas e estas prticas lingusticas, quando visto
de baixo para cima, constituem, padres de grande escala muito gerais
no mundo natural. A teoria simplesmente sistematiza e quantifica
sobre aqueles em grande escala padres abstratos-objetos no so misteriosos.
De Branden Fitelson Metafsica Classe / UC-Berkeley
25 de setembro de 2003
________________________________________

Page 19
Edward N. Zalta
Resumo e inexistentes Objects
18
'
&
$
%
Referncias
Frege, G., 1892, 'U Sinn und Bedeutung ", Zeitschrift fur Philosophie und philos
ophische Kritik, 100 (1892), pp 25-50.; traduzida como
'On sentido e referncia' em tradues de textos escritos filosficos de Gottlob Frege,
P. Geach e M. Black (eds.), Oxford: Basil
Blackwell, 1970, 56-78
'Platonismo Naturalizada vs. Platonized naturalismo'
Linsky, B., e Zalta, E., 19
95, Journal of Philosophy,
???? /
10 (outubro): 525-555
Mally, E., 1912, Gegenstandstheoretische Grundlagen der Logik und Logistik, Leip
zig: Barth
Meinong, A., 1905, " Gegestandstheorie ', em Untersuchungen zur Gegenstandstheori
e und Psychologie, A. Meinong, ed, Leipzig.:
Barth; Traduo Ingls, 'On the Theory of Objects ", no Realismo e do Fundo de Fenomen
ologia, R. Chisholm (ed.), Glencoe:
The Free Press, 1960
Parsons, T., 1980, inexistentes objetos, New Haven: Yale
Quine, WVO, de 1948, "quanto ao que existe", a partir de um ponto de vista lgico,
New York: Harper, 1953.
Russell, B., 1905, 'On Denoting', Mind 14 (outubro): 479-493
Zalta, E., 1983, Decorao Objetos: Uma Introduo Metafsica Axiomatic, Dordrecth: D. Re
del
-, 1988, intensional Lgica e Metafsica da intencionalidade, Cambridge, MA: Bradfor
d Books / The MIT Press.
-, 1993, "Vinte e Cinco teoremas bsicos na situao e na Teoria do Mundo", Journal of
Philosophical Logic, 22: 385-428.
-, 2000a, 'A (Leibniz) teoria dos conceitos', Philosophiegeschichte und logische
Analyse / Anlise Lgica e Histria da
Filosofia, 3: 137-183.
-, 2000b, "Neo-logicismo? Uma reduo ontolgica da Matemtica metafsica ', Erkenntnis,
3 / 1-2: 219-265.
De Branden Fitelson Metafsica Classe / UC-Berkeley