The similarity of names and quantif

The similarity of names and quantifier
phrases with respect to many syntactic processes of phrase and sentence construction lead, in the presence of Montague’s insistence
on a strict isomorphism between syntactic and semantic
rules, to treating them as taking semantic values of the same type.
Such is Montague’s case for assimilating names to quantifiers.
However, doubts remain. How likely is it that language users
should have introduced words and phrases expressing properties,
and quantifier phrases expressing higher-order properties, without
first having words designating individuals to which ordinary
properties are attributed? And if proper names aren’t such words,
what are? Like names and quantifier phrases, demonstratives—
‘he’, ‘she’, ‘it’, ‘this’, and ‘that’—can (i) combine with prepositions,
transitive verbs, and verb phrases to form propositional phrases,
verb phrases, and sentences, and (ii) serve as antecedents of anaphoric
pronouns of the kind illustrated by (10) and (11). Are they
also to be treated as quantifiers? As a formal matter, they could
be, though it is hard to imagine them being so understood by
ordinary speakers. To make matters worse, suppose we were now
to introduce a new set of terms by explicitly stipulating that they
were to be genuine names and demonstratives, used to designate
individuals. Surely, it’s not beyond our power to do that. Nor is
it beyond our power to use these new terms in sentences as subjects,
as well as objects of verbs and prepositions. It would be very
surprising if they couldn’t also serve as antecedents of anaphoric
pronouns. But if all of this is possible, without the terms being
quantifiers, then the quantificational analysis of ordinary names
is doubtful.
The issues raised by this discussion have implications both for
Montague’s overall theoretical perspective, and for the syntactic
and semantic analyses of various particular constructions. At the
most general level, it is, I think, hard to overestimate the value of
his central insight: there is no need to force one’s account of the
semantic structure of natural language into the Procrustean bed
of classical logic, which was initially developed to avoid the complexities
of natural language. His account of quantifier phrases
in natural language was both seminal and liberating.
The same
is true of his treatment of many grammatical types not found in
classical logical languages, including verb-phrase-modifying adverbs (‘slowly’, ‘allegedly’, ‘nearly’), common-noun-modifying adjectives
(‘alleged’, ‘former’, ‘heavy’, ‘American’), adjective-forming
prepositions (‘in’, ‘of ’), adverb-forming prepositions (‘with’, ‘of ’,
‘about’), intensional transitive verbs (‘seek’, ‘worship’, ‘conceive’),
and verb-phrase-taking verbs (‘try to’, ‘want to’).13 Both his own
work, and that of those who have followed him, have done much
to bring such expressions within the scope of formal semantics.
However, Montague’s insistence on maintaining the logician’s
one-to-one correspondence between syntactic and compositional
semantic rules when investigating natural language was itself an
apriori commitment lacking empirical justification. One sees what
was, perhaps, a tacit recognition of this in his reliance on meaning
postulates—restricting acceptable interpretations of his Englishlike
fragments to those validating them. Since these often have the
effect of treating different members of the same syntactic/semantic
category differently, they undermine the desired isomorphism
that is so central to the program. Since Montague didn’t articulate
any general criterion for when appeal to meaning postulates
is justified and when it isn’t, he must, at some level, have recognized
the futility of trying to determine, in advance, how close
the syntax and semantics of natural languages will turn out to be.
It is heartening, therefore, that later work has followed an empirically
balanced approach that includes many of his innovative
semantic techniques, while giving empirically motivated theories
of English syntax their due.14
With this in mind, let us return to the factors that led to the
quantificational analysis of names. As we have seen, the strict
isomorphism between syntax and semantic motivating the analysis
won’t bear the weight placed on it. In the case of variable
binding, there are natural ways of accounting for the similarity
of the anaphora in (10a) and (11), without taking names to be
quantifiers.15 Even the ingenious analysis of (12a,b) in which their
truth does not require the existence of unicorns suffers from serious
limitations inherent in Montague’s framework. Consider, for
example, the analogous cases (13a,b).
13a. John seeks a solution to the decision problem for firstorder
logic.
b. John talks about a solution to the decision problem for
first-order logic.
Reasoning as we did in (12), we may take the intension of the
quantified phrase ‘a solution to the decision problem for firstorder
logic’ to be the function from possible world-states w to the
set of all sets containing at least one solution to the decision problem
for first-order logic at w. Since it is a necessary, and apriori,
truth that the decision problem for first-order validity is unsolvable,
this function returns the empty set as value for every worldstate
as argument. It is doubtful that we can make sense of this degenerate
intension as the object of John’s search—and even if we
could, the system would give us the incorrect result that (13a,b)
and (14a,b) have the same truth value for every NP with the same
degenerate intension as the quantified phrase in (13a,b).
14a. John seeks NP.
b. John talks about NP.
On certain natural assumptions, a version of this problem afflicts
(12a,b) themselves. If ‘unicorn’ is a natural kind term that
fails to designate any natural kind, then it is analogous to a proper
name, or occurrence of a demonstrative, that fails to denote. As
we will see in chapter 4, there are reasons to think that each such
term rigidly designates the same thing at all possible world-states.
So, if ‘unicorn’ fails to denote at the actual world-state, it will fail
to denote at every state.

Hasil (Bahasa Indonesia) 1:

Kemiripan nama dan quantifierfrasa sehubungan dengan banyak sintaksis proses konstruksi frasa dan kalimat memimpin, hadapan Montague's desakanpada isomorphism yang ketat antara sintaks dan semantikaturan, untuk memperlakukan mereka mengambil nilai-nilai semantik dari jenis yang sama.Seperti itu adalah kasus Montague's asimilasi nama untuk berkaitan dengan kuantitas.Namun, keraguan tetap. Bagaimana kemungkinan itu bahwa pengguna bahasaharus telah memperkenalkan kata dan frasa yang mengungkapkan sifat,dan quantifier frasa yang mengungkapkan sifat tingkat tinggi, tanpapertama memiliki kata-kata menunjuk individu untuk yang biasaProperti yang dikaitkan? Dan jika nama yang tepat tidak kata-kata tersebut,Apa itu? Seperti nama dan frase quantifier, demonstratives-'dia', 'dia', 'itu', 'ini' dan 'yang' — dapat (i) menggabungkan dengan Preposisi,kata bahasa Tengger, dan kata kerja frase untuk membentuk propositional frase,frasa kata, dan kalimat, dan (ii) berfungsi sebagai pendahulunya dari bersifat anaforisdankata ganti yang digambarkan oleh (10) dan (11). Merekajuga untuk diperlakukan sebagai berkaitan dengan kuantitas? Sebagai masalah formal, mereka bisamenjadi, meskipun sulit untuk membayangkan mereka jadi dipahami olehspeaker biasa. Untuk membuat keadaan menjadi lebih buruk, Misalkan kita berada sekaranguntuk memperkenalkan serangkaian baru istilah dengan secara eksplisit menyebutkan bahwa merekaitu harus nama asli dan demonstratives, digunakan untuk menetapkanindividu. Tapi, hal ini tidak melampaui kekuatan kita untuk melakukan itu. Juga tidakini melampaui kekuatan kita menggunakan istilah-istilah baru ini dalam kalimat sebagai subyek,Selain benda-benda kata kerja dan Preposisi. Itu akan sangatmengejutkan jika mereka tidak bisa juga berfungsi sebagai pendahulunya dari bersifat anaforisdankata ganti. Tetapi jika semua ini mungkin, tanpa syarat-syarat menjadiberkaitan dengan kuantitas, kemudian analisis quantificational nama-nama yang biasadiragukan.Masalah yang diangkat oleh diskusi ini memiliki implikasi bagiMontague's keseluruhan teori perspektif, dan sintaksisdan semantik analisis berbagai konstruksi tertentu. Ditingkat paling umum, sulit, saya pikir, terlalu melebihkan nilaiwawasan tengah: ada tidak perlu untuk memaksa seseorang rekeningstruktur semantik bahasa alami ke tempat tidur Procrusteanlogika klasik, yang awalnya dikembangkan untuk menghindari kerumitanbahasa alam. Account-nya quantifier frasedalam bahasa alami adalah mani dan membebaskan.Samabenar tentang pengobatan berbagai jenis tata bahasa tidak ditemukan dalambahasa-bahasa Logis klasik, termasuk adverbia memodifikasi frase kata ('perlahan-lahan', 'diduga', 'hampir'), memodifikasi kata benda umum kata sifat('diduga', 'mantan', 'berat', 'American'), kata sifat pembentukPreposisi ('dalam', 'dari'), membentuk adverbia Preposisi ('dengan', 'dari','tentang'), kata bahasa Tengger intensional ('mencari', 'ibadah', 'hamil')mengambil kata kerja frase kata kerja ('mencoba', 'ingin') dan.13 kedua sendiripekerjaan, dan mereka yang mengikuti dia, telah banyak dilakukanuntuk membawa ekspresi seperti itu dalam lingkup formal semantik.Namun, Montague's desakan untuk mempertahankan seorang yang logissatu-satu korespondensi antara sintaksis dan komposisisemantik aturan ketika menyelidiki bahasa alam itu sendirikomitmen apriori kurang empiris pembenaran. Satu melihat apaitu, mungkin, pengakuan diam-diam ini dalam ketergantungan pada maknadalil-dalil — membatasi interpretasi yang diterima dari Englishlike nyafragmen yang memvalidasi mereka. Karena ini sering memilikiEfek mengobati bermacam-macam anggota sama sintaksis/semantikKategori berbeda, mereka merusak isomorphism diinginkanItulah begitu sentral ke program. Karena Montague tidak mengartikulasikansetiap kriteria umum untuk ketika menarik makna postulatdibenarkan dan tidak, ia harus, pada tingkat tertentu, telah diakuikesia-siaan mencoba untuk menentukan, di muka, bagaimana menutupsintaks dan semantik bahasa alam akan berubah menjadi.Hal ini membesarkan hati, oleh karena itu, yang kemudian bekerja telah diikuti secara empirispendekatan yang seimbang yang mencakup banyak nya inovatifteknik-teknik semantik, sambil memberikan secara empiris termotivasi teorisintaks bahasa Inggris mereka due.14Dengan ini dalam pikiran, mari kita kembali ke faktor-faktor yang menyebabkanquantificational analisis nama. Seperti yang kita lihat, ketatisomorphism antara sintaks dan semantik memotivasi analisistidak akan menanggung berat ditempatkan diatasnya. Dalam kasus variabelmengikat, ada cara alami akuntansi untuk kesamaananaphora di (10a) dan (11), tanpa mengambil nama menjadi quantifiers.15 bahkan analisis cerdik (12a, b) di mana merekakebenaran tidak memerlukan keberadaan Unicorn menderita seriusketerbatasan melekat dalam kerangka Montague's. Mempertimbangkan, untukMisalnya, kasus-kasus serupa (13a, b).13A. John mencari solusi untuk masalah keputusan untuk firstorderlogika.b. Yohanes berbicara tentang solusi untuk masalah keputusan untuklogika orde pertama.Penalaran sebagaimana kita lakukan di (12), kita dapat mengambil keinginanterukur frase ' solusi untuk masalah keputusan untuk firstorderlogika ' menjadi fungsi dari dunia-negara mungkin w untukset set semua yang mengandung setidaknya satu solusi untuk masalah keputusanuntuk orde pertama logika di w. Karena itu diperlukan, dan apriori,kebenaran bahwa masalah keputusan bagi orde pertama validitas terpecahkan,fungsi ini mengembalikan set kosong sebagai nilai untuk setiap worldstatesebagai argumen. Diragukan bahwa kita dapat membuat rasa ini merosot1(satu) sebagai obyek John's Cari- dan bahkan jika kitabisa, sistem akan memberi kita hasil yang salah itu (13a, b)dan (14a, b) memiliki nilai kebenaran yang sama untuk setiap NP dengan samamerosot 1(satu) sebagai ungkapan diukur dalam (13a, b).14A. John berusaha NP.b. Yohanes berbicara tentang NP.Pada asumsi alam tertentu, sebuah versi dari masalah ini menimpa(12a, b) diri mereka sendiri. Jika 'unicorn' adalah sejenis alam istilah yanggagal untuk menetapkan apapun alam, maka itu analog yang tepatnama, atau terjadinya pronomina demonstratif, yang gagal untuk menunjukkan. Sebagaikita akan melihat dalam bab 4, ada alasan untuk berpikir bahwa masing-masing sepertiistilah kaku menunjuk hal yang sama pada semua kemungkinan dunia-negara.Jadi, jika 'unicorn' gagal untuk menunjukkan pada keadaan dunia yang sebenarnya, itu akan gagaluntuk menunjukkan di setiap negara.

Hasil (Bahasa Indonesia) 2:

Kesamaan nama dan quantifier
frasa sehubungan dengan banyak proses sintaksis frasa dan memimpin konstruksi kalimat, dengan adanya desakan Montague
pada isomorfisma ketat antara sintaksis dan semantik
aturan, untuk memperlakukan mereka sebagai mengambil nilai-nilai semantik dari jenis yang sama.
Itulah Kasus Montague untuk asimilasi nama ke bilangan.
Namun, keraguan tetap. Seberapa besar kemungkinan bahwa pengguna bahasa
harus memperkenalkan kata-kata dan frase yang mengungkapkan sifat,
dan frase quantifier mengekspresikan tingkat tinggi sifat, tanpa
terlebih dahulu memiliki kata-kata menunjuk individu yang biasa
sifat yang dikaitkan? Dan jika nama yang tepat bukan kata-kata seperti itu,
apa yang? Seperti nama dan frase quantifier, demonstratives-
'dia', 'dia', 'itu', 'ini', dan 'that'-dapat (i) bergabung dengan preposisi,
kata kerja transitif, dan frase kata kerja untuk membentuk frase proposisional,
frase verba , dan kalimat, dan (ii) berfungsi sebagai anteseden anaforis
kata ganti dari jenis yang digambarkan oleh (10) dan (11). Apakah mereka
juga harus diperlakukan sebagai bilangan? Sebagai soal formal, mereka bisa
menjadi, meskipun sulit untuk membayangkan mereka yang begitu dipahami oleh
pembicara biasa. Untuk membuat keadaan menjadi lebih buruk, misalkan kita kini
memperkenalkan satu set baru hal dengan secara eksplisit menyatakan bahwa mereka
adalah menjadi nama asli dan demonstratif, digunakan untuk menunjuk
individu. Tentunya, itu tidak melampaui kekuatan kita untuk melakukan itu. Juga tidak
melampaui kekuatan kita untuk menggunakan istilah-istilah baru dalam kalimat sebagai subjek,
serta benda-benda dari kata kerja dan preposisi. Akan sangat
mengejutkan jika mereka tidak bisa juga berfungsi sebagai anteseden anaforis
kata ganti. Tapi jika semua ini adalah mungkin, tanpa syarat menjadi
bilangan, maka analisis quantificational nama biasa
diragukan.
Isu-isu yang diangkat oleh diskusi ini memiliki implikasi baik untuk
perspektif teoritis Montague keseluruhan, dan untuk sintaksis
analisis dan semantik berbagai konstruksi tertentu . Pada
tingkat yang paling umum, adalah, saya pikir, sulit untuk melebih-lebihkan nilai
wawasan utamanya: tidak perlu untuk memaksa account seseorang dari
struktur semantik bahasa alami ke tempat tidur Procrustean
logika klasik, yang awalnya dikembangkan untuk menghindari kompleksitas
dari bahasa alami. Ceritanya frase pembilang
dalam bahasa alami adalah baik mani dan membebaskan.
Hal yang sama
juga terjadi pada perlakuan berbagai jenis tata bahasa tidak ditemukan dalam
bahasa logis klasik, termasuk kata kerja-frase memodifikasi keterangan ('perlahan', 'diduga', 'hampir '),-common-benda memodifikasi kata sifat
('diduga', 'mantan', 'berat', 'Amerika'), kata sifat pembentuk
preposisi ('dalam', 'dari'), keterangan-membentuk preposisi ('dengan', 'dari',
'tentang'), kata kerja transitif intensional ('mencari', 'ibadah', 'Hamil'),
dan kata kerja-frase-taking verba ('mencoba', 'ingin'). 13 Kedua sendiri
pekerjaan , dan bahwa orang-orang yang telah mengikuti dia, telah melakukan banyak
untuk membawa ekspresi seperti dalam lingkup semantik formal.
Namun, desakan Montague pada mempertahankan logika itu
satu-ke-satu antara sintaksis dan komposisi
aturan semantik ketika menyelidiki bahasa alami itu sendiri sebuah
komitmen apriori kurang justifikasi empiris. Satu melihat apa
yang, mungkin, pengakuan diam-diam ini dalam ketergantungan pada makna
postulat-membatasi interpretasi diterima Englishlike nya
fragmen kepada mereka memvalidasi mereka. Karena ini sering memiliki
efek mengobati anggota yang berbeda dari sintaksis / semantik yang sama
kategori berbeda, mereka merusak isomorfisma diinginkan
yang jadi pusat program. Karena Montague tidak mengartikulasikan
setiap kriteria umum untuk saat banding ke makna mendalilkan
dibenarkan dan jika tidak, ia harus, pada tingkat tertentu, telah mengakui
kesia-siaan mencoba untuk menentukan, di muka, seberapa dekat
sintaks dan semantik bahasa alami akan berubah menjadi.
Hal ini membesarkan hati, karena itu, bahwa kemudian bekerja telah menyusul empiris
pendekatan yang seimbang yang mencakup banyak inovatif
teknik semantik, sementara memberikan teori-teori motivasi empiris
dari Inggris sintaks due.14 mereka
Dengan ini dalam pikiran, mari kita kembali ke faktor-faktor yang menyebabkan
analisis quantificational nama. Sebagaimana telah kita lihat, yang ketat
isomorfisma antara sintaks dan semantik memotivasi analisis
tidak akan menanggung beban ditempatkan di atasnya. Dalam kasus variabel
mengikat, ada cara alami akuntansi untuk kesamaan
dari anafora dalam (10a) dan (11), tanpa mengambil nama menjadi
quantifiers.15 Bahkan analisis cerdik (12a, b) di mana mereka
sebenarnya tidak memerlukan adanya unicorn menderita serius
keterbatasan dalam kerangka Montague. Perhatikan, untuk
contoh, kasus analog (13a, b).
13a. John mencari solusi untuk masalah keputusan untuk firstorder
logika.
b. John berbicara tentang solusi untuk masalah keputusan untuk
logika orde pertama.
Penalaran seperti yang kita lakukan di (12), kita dapat mengambil kehebatan dari
frase kuantitatif 'solusi untuk masalah keputusan untuk firstorder
logika 'menjadi fungsi dari kemungkinan dunia-negara w ke
himpunan semua set yang mengandung setidaknya satu solusi untuk masalah keputusan
untuk logika orde pertama di w. Karena itu adalah penting, dan apriori,
kebenaran bahwa masalah keputusan untuk validitas orde pertama adalah terpecahkan,
fungsi ini mengembalikan set kosong sebagai nilai untuk setiap worldstate
sebagai argumen. Diragukan bahwa kita dapat memahami merosot ini
kehebatan sebagai objek John pencarian dan bahkan jika kita
bisa, sistem akan memberi kita hasil yang salah yang (13a, b)
dan (14a, b) memiliki nilai kebenaran yang sama untuk setiap NP dengan sama
kehebatan merosot sebagai frase diukur dalam (13a, b).
14a. John berusaha NP.
b. John berbicara tentang NP.
Pada asumsi alam tertentu, versi masalah ini menimpa
(12a, b) sendiri. Jika 'unicorn' adalah istilah semacam alami yang
gagal untuk menunjuk setiap jenis alami, maka analog dengan tepat
nama, atau terjadinya demonstratif, yang gagal untuk menunjukkan. Seperti
yang akan kita lihat dalam bab 4, ada alasan untuk berpikir bahwa setiap seperti
istilah kaku menunjuk hal yang sama di semua kemungkinan dunia-negara.
Jadi, jika 'unicorn' gagal untuk menunjukkan di negara dunia nyata, itu akan gagal
untuk menunjukkan di setiap negara bagian.