Karena frase kata kerja menunjukkan set, dan bilangan menunjukkan set set, kalimat subjek-predikat
semacam ini benar jika dan hanya jika perpanjangan frase kata kerja dalam perpanjangan
subjek. Ketika salah satu switch subjek dari 'setiap orang' ke
'John', ini memerlukan 'John' untuk menunjukkan himpunan semua set yang mengandung
pembawa nya. Poin sama diterapkan juga untuk aturan menafsirkan transitif
kata kerja dan preposisi. Karena kedua mengambil nama dan quantifier
frase sebagai objek, interpretasi seragam yang dihasilkan
frase memerlukan analisis seragam nama dan bilangan.
Intinya diilustrasikan oleh (12a) dan (12b), yang keduanya
ambigu, dengan satu bacaan yang membutuhkan quantifier yang frase untuk
menggabungkan dengan kata kerja transitif, atau preposisi, untuk membentuk frase,
sebelum pembangunan formula, dan membaca lagi
di mana formula awalnya dibangun menggunakan kata ganti /
variabel, yang frase quantifier kemudian diganti, di
cara contoh sebelumnya.
12a. John berusaha unicorn.
b. John berbicara tentang unicorn.
Dalam derivasi 1 dari (12a), kata kerja transitif 'berusaha' menggabungkan dengan
istilah 'unicorn' untuk membentuk kata kerja frase 'berusaha unicorn',
yang kemudian menggabungkan dengan subjek 'John' untuk membentuk kalimat.
'Mencari' adalah intensional-yang mengatakan bahwa ekstensi memetakan
kehebatan nya objek-argumen, 'unicorn', ke perpanjangan
frase kata kerja yang dihasilkan. Kehebatan dari 'unicorn' adalah fungsi
dari kemungkinan dunia-negara w ke set dari semua kelompok yang mengandung
setidaknya satu unicorn di w, dan perluasan frase verba adalah
himpunan individu yang menanggung hubungan mencari untuk intensi ini .
Karena mungkin bagi seorang individu untuk menanggung bahwa sehubungan dengan
kehebatan ini (untuk mencoba, pada dasarnya, untuk menemukan instantiator dari unicornhood),
tanpa ada benar-benar menjadi salah unicorn, (12a) bisa
benar, meskipun tidak ada unicorn . Pernyataan yang sama bisa diterapkan
pada derivasi paralel (12b). Sebaliknya, (12a) memiliki lain
derivasi di mana ia muncul dari rumus 'John berusaha him1' dengan
mengganti 'unicorn' untuk ganti / variabel, dengan aturan yang sama
yang digunakan dalam contoh sebelumnya. Karena perpanjangan formula adalah
himpunan individu dicari oleh John, (12a) adalah benar, pada sintaksis ini
analisis, IFF set yang merupakan anggota dari himpunan set mengandung
setidaknya satu unicorn-IFF setidaknya satu x adalah baik unicorn dan dicari
oleh John. Pada analisis ini, kebenaran (12a), seperti itu dari yang sesuai
analisis (12b), membutuhkan adanya unicorns.12
Contoh-contoh ini mendukung mengakui frase pembilang ke dalam
kategori yang sama dengan nama, sehingga mereka dapat menggabungkan dengan intensional
transitif verba seperti 'mencari' dan preposisi intensional
seperti 'tentang'. Contoh (10) dan (11) dukungan mengakui nama-nama ke dalam
kategori yang sama dengan frase quantifier, untuk mencapai rekening terpadu
variabel mengikat.
Sedang diterjemahkan, harap tunggu..
