This is one strategy for understand

This is one strategy for understanding natural language that
emerges from the tradition in philosophical logic stretching
from Frege’s Begriffsschrift to Kripke’s modal semantics. At that
point, however, a more radical strategy emerged from the work of
Richard Montague.8 Instead of starting with classical systems,
adding formal counterparts of central features of natural language,
and using the resulting formulas to “regiment” English sentences
(prescriptive), or pose as their “logical forms” (putatively descriptive),
Montague specifies syntactic rules that generate English, or
English-like, structures directly, while pairing each such rule with
a truth-theoretic rule interpreting it. This close parallel between
syntax and semantics is what makes the languages of classical
logic so transparently tractable, and what they were designed to
embody. Montague’s bold contention is that we don’t have to replace
natural languages with formal substitutes to achieve such
transparency, because the same techniques employed to create
formal languages can be used to describe natural languages in
mathematically revealing ways.9

Hasil (Bahasa Indonesia) 1:

Ini adalah salah satu strategi untuk pemahaman bahasa alam yangmuncul dari tradisi di peregangan logika filosofisdari Frege di Begriffsschrift untuk Kripke's modal semantik. Pada saat itutitik, namun, strategi yang lebih radikal muncul dari karyaRichard Montague.8 daripada dimulai dengan sistem klasik,menambahkan rekan-rekan formal fitur pusat bahasa alam,dan menggunakan rumus dihasilkan untuk "Resimen" kalimat bahasa Inggris(preskriptif), atau berpose sebagai bentuk"Logis" (orang putatively deskriptif),Montague menentukan aturan sintaksis yang menghasilkan bahasa Inggris, atauSeperti bahasa Inggris, struktur secara langsung, sementara pasangan setiap aturan tersebut denganaturan kebenaran teori menafsirkan itu. Perumpamaan ini tutup antarasintaks dan semantik adalah apa yang membuat bahasa klasiklogika begitu transparan tractable, dan apa yang mereka dirancang untukmewujudkan. Montague's berani contention adalah bahwa kita tidak harus menggantibahasa alam dengan formal pengganti untuk mencapai sepertitransparansi, karena teknik yang sama digunakan untuk membuatbahasa resmi dapat digunakan untuk menggambarkan alam bahasa dimatematis mengungkapkan ways.9

Hasil (Bahasa Indonesia) 2:

Ini adalah salah satu strategi untuk memahami bahasa alami yang
muncul dari tradisi dalam logika filosofis yang membentang
dari Frege Begriffsschrift untuk semantik Kripke modal itu. Pada saat itu
titik, bagaimanapun, strategi yang lebih radikal muncul dari karya
Richard Montague.8 Daripada dimulai dengan sistem klasik,
menambahkan rekan-rekan formal fitur utama dari bahasa alami,
dan menggunakan formula yang dihasilkan untuk "resimen" kalimat bahasa Inggris
(preskriptif) , atau berperan sebagai "bentuk-bentuk logis" mereka (putatively deskriptif),
Montague menetapkan aturan sintaksis yang menghasilkan bahasa Inggris, atau
bahasa Inggris seperti, struktur secara langsung, sementara pasangan masing-masing aturan tersebut dengan
aturan kebenaran teori menafsirkan itu. Ini paralel erat antara
sintaks dan semantik yang membuat bahasa klasik
logika sehingga transparan penurut, dan apa yang mereka dirancang untuk
mewujudkan. Pertentangan berani Montague adalah bahwa kita tidak harus mengganti
bahasa alami dengan pengganti formal untuk mencapai seperti
transparansi, karena teknik yang sama digunakan untuk membuat
bahasa formal dapat digunakan untuk menggambarkan bahasa alam di
ways.9 matematis mengungkapkan