Anda di halaman 1dari 5

PENDEKATAN.

MEANNG SEBAGAI Bentuk Logis

Di dalam bagian ini, kita menguji pendekatan betapa logis ke maksud(arti menerangkan dasar
keluarkan isi dari penyajian-penyajian yang semantik dan sifat alami kekayaan secara gramatikal
semantik relevan. studi yang logis dari maksud(arti mempunyai sepanjang sejarah, dan di sini kita dapat
berharap hanya untuk survei sebagian dari hasil dan menyajikan roh dari analisa logis( bersihkan
memegang buku tentang semantik logika secara keseluruhan diberi oleh et yang diizinkan al. 1977; dan
McCawley 1981) sebagai konsekwensi, kita membatasi expotition kita(kami kepada sifat dan
persyaratan-persyaratan dari ilmu semantik formal, kepada ilmu semantik permasalahan formal bahwa
umum yang tertentu berpose uraian maksud(arti bersifat tatabahasa di terminologi imperical, dan pada
akhirnya ,ke(pada suatu pertimbangan ilmu semantik betapa tidak formal dan formal bisa dengan sukses
dibawa bersama-sama.

Logik, Maksud(arti ,dan Semantics formal

mengapa kita ingin mempertimbangkan; menganggap arti dari satu ungkapan yang adalah
bentuk logis, atau itu adalah penyajian di dalam mekanisme-mekanisme dan rumusan-rumusan dari
analisa logis? ada dua pertimbangan: (suatu) logika adalah tipically terkait dengan kebenaran,
kesimpulan, dan isi dari ungkapan-ungkapan; (b)nlogic mempunyai satu eksplisit dan [alat; makna] ketat
tentang perwakilan isi dari ungkapan.

analisa dan isi logis

ada koneksi tidak bisa dipisahkan antara logika dan maksud(arti karena logika mempunyai kaitan
dengan kondisi-kondisi di bawah yang statments adalah wujud yang inferred sungguh statments lain,
Karenanya logika dan analisa dari maksud(arti melibatkan ke sana di dalam adalah kebenaran bersyarat.
Sebagai hasil gol ini, seperti(ketika McCawley (1981:1) remarks"logic [menjadi/dari]?berasal dari
nessessas terkait dengan analisa semantik, karena analisa yang semantik secara langsung
mempengaruhi attemps kita(kami untuk menemukan kekayaan secara gramatikal semantik relevan
karena kita menentukan kehadiran atau ketidakhadiran dari kekayaan seperti itu dengan membuat
kesimpulan-kesimpulan benar. Pertimbangkan; Menganggap gerak turun naik Nama julukan thomas dan
nama julukan thomas yang dihantam menghubungi gerak turun naik. kita mengetahui intuitevely bahwa
jika Tom menghantam implies"contact" Bagaimana cara kita mengetahui hal ini?

kita pertama menentukan isi dari masing-masing ungkapan dengan status pembedaan mereka
sebagai statments (dari menyampaikan benar atau informasi palsu )dari status mereka ketika kalimat-
kalimat (bentuk dengan stucture bersifat tatabahasa.) kita lalu meneliti hubungan antara kedua
ungkapan-ungkapan dengan membuat satu rangkaian kesimpulan-kesimpulan tentang isi mereka; jika
Tom menghantam Bob, lalu di sana harus mempunyai contant antara keduanya ;pemukulan perlu
melibatkan contant, dengan demikian itu harus pula benar bahwa jika Tom menghantam Bob, lalu ia juga
menghubungi Bob. Kesimpulan kita(kami mempercayai pada; bersandarkan kemampuan kita(kami untuk
membuat penilaian-penilaian tentang persamaan dan perbedaan dari maksud(arti, dua sasaran secara
kebiasaan?secara tradisional whithin lingkup dari logika, penilaian-penilaian seperti itu lebih dari itu, batu
penjuru dari semua sistem yang logik, yang adalah penemuan dari semua kesimpulan-kesimpulan
neccessarily benar, atau entailnents

Realies logik di analisa yang semantik isi dari ungkapan-ungkapan untuk menentukan
neccesarily kesimpulan-kesimpulan benar. dalam hal ini, ilmu semantik adalah suatu cabang dari logika
.Dengan demikian itu membeli saham kongsi goald yang kedua dari analisa logis; untuk mewakili;
menunjukkan statments adalah suatu persis dan unabiguous bahasa.
Realies logik di analisa yang semantik isi dari ungkapan-ungkapan untuk menentukan neccesarily
kesimpulan-kesimpulan benar. dalam hal ini, ilmu semantik adalah suatu cabang dari logika .Dengan
demikian itu membeli saham kongsi goald yang kedua dari analisa logis; untuk mewakili; menunjukkan
statments adalah suatu persis dan unabiguous languagens tentang perwakilan isi dari ungkapan. Ilmu
semantik formal dan semantis penyajian

Melalui sistim dari analisa logis mempunyai persyaratan-persyaratan yang berbeda, tergantung
pada tujuan-tujuan mereka dan asumsi-asumsi mereka berbatasan dengan kesimpulan dan isi semantik,
mereka semua pada umumnya mempunyai dua bagian ;suatu sintaksis yang formal dan ilmu semantik
formal. Keduanya berperan untuk bentuk logis ungkapan.

sintaksis yang formal suatu sistim yang logis adalah satu set suatu lambang, dan memerintah
untuk kombinasi mereka yang yang tepat ,di mana untuk mewakili; menunjukkan isi dari ungkapan-
ungkapan. di dalam sistim a logik sebanding untuk mewakili dan meneliti seluruh sentencesthere adalah
kosa kata untuk mewakili; menunjukkan sontent dari kalimat-kalimat sendiri ,proposions (lambang p,q,r)
dan penghubung-penghubung untuk menyatakan kombinasi dalil-dalil V(or)-& ( dan) .di dalam sebutan
logicsystem untuk mewakili dan meneliti unsur-unsur dari sentencesthere adalah suatu kosa kata untuk
menyatakan sebutan-sebutan, argumentasi-argumentasi, quantifiers juga penghubung-penghubung
logika propositional. Sintaksis yang formal dilengkapi oleh satu penafsiran atau suatu ilmu semantik yang
formal.ini adalah suatu cara untuk sambung sintaksis itu ke(pada referents, dan dalam pelaksanaannya,
ke(pada nilai kebenaran keserupan kepada ungkapan-ungkapan di dalam sintaksis yang formal.
interperatation yang semantik bahwa wujud dasar teori-teori yang ada dari paling bentuk logis adalah
suatu model, yang adalah inan memisahkan spesification kekayaan dari suatu dunia untuk mana
ungkapan-ungkapan dapat pada prinsipnya menunjuk (dari mana dugaan ilmu semantik model theoritic)
model gennerally cosist dari t

tiga yang di-set macam hal (atau empat ,jika yang ketiga devided di two:(a) individu kepada yang
mana kosa kata logis dapat menunjuk: sebagai contoh ,kesatuan-kesatuan ,kejadian, macam, dengan
demikian forth;(b) nilai kebenaran :benar atau palsu ,dan dalam beberapa model-model (logika-logika
bervalensi tiga) [bukan/tidak] benar maupun palsu ;(C) dunia-dunia dan waktu di mana nilai kebenaran
dan individu terjadi : sebagai contoh ,lalu sekarang, mungkin lalu , dan sebagainya .maka ketika kita
katakan bahwa exprssion Tom Bob puched mempunyai maksud(arti ,di dalam terminologi formal, kita
sedang berkata yang adalah forms(eg syntactic. itu adalah sebutan dan argumentasi-argumentasi, punh
{Tom,bob} dapat referents asigned membentuk himpunan dari individu bahkan dan dua kesatuan) dan
mempunyai nilai kebenaran di suatu dunia yang tertentu pada suatu time(eg yang tertentu. benar
sebelum waktu pidato/suara?cara bicara)

Untuk katakan artinya yang ditemukan dengan memperhatikan bentuk logis ,lalu itu untuk berkata bahwa
kita harus melihat bagaimana satu ungkapan membawa suatu hubungan ke(pada suatu model .lebih
banyak particulary, arti dari satu ungkapan menentukan bagaimana setiap yang disebut oleh wujud-wujud
itu dapat ditugaskan nilai kebenaran di suatu dunia pada waktu (yaitu, truthconditions mereka) di dalam
berhubungan maksud(arti, dugaan yang formal kebenarannya di suatu ilmu semantik model formal
menyediakan kita(kami dengan satu pelanggan yang tegas/eksplisit isi dari penyajian-penyajian yang
semantik, isi dari model diri sendiri . sungguh ,ilmu semantik formal, sebagai suatu teori dari model-
model, sering dimengerti oleh penganut-penganut nya sebagai equifalent kepada teori yang semantik
secara umum.
pandangan dari ini maksud(arti sebagai suatu penafsiran via suatu model membawa serta
sejumlah keuntungan-keuntungan .Pertama-tama, isi dari repretentations yang semantik dibuat eksak
dan rancu. pasti di e dari permasalahan dengan di pelanggan intutive dari maksud(arti ,seperti itu kita
mempunyai impolyed sampai sekarang ,adalah ruang; kamar yang meninggalkan untuk kesalahan dan
penilaian subjektif, apa artinya itu untuk katakan bahwa satu ungkapan menandakan ketetapan waktu ?
untuk 'puncualas' untuk menjadi bagian dari suatu teori formal dari maksud(arti ,dugaan harus (dengan)
jelas spesified di suatu tempat di dalam model. keterangan maksud(arti dalam kaitan dengan?dengan
menggunakan istilah bentuk logis dari suatu ungkapan adalah suatu teori yang bersifat membatasi dari
maksud(arti yang membangun maksud(arti membentuk atas botton bersandar pada hanya apa yang
dikenal sebagai bagian dari model itu untuk mulai dengan.

kedua, ini pelanggan dari maksud(arti adalah yang formal , di tersebut tidak terikat pada isi dari
apa yang mewakili; menunjukkan dan seperti itu dapat secara umum dan mechanistically menerapkan
.model itu adalah matematical obyek. Ilmu semantik formal speels ke luar apa perlu kasus untuk
interuption dari suatu ungkapan dan menyelidiki batasan-batasan di model sebagai satu ruang(spasi
idealized'denotational', kita menghendaki teori-teori kita(kami yang semantik hanya untuk berikan kepada
kita struktur yang umum dari maksud(arti-maksud(arti, bukan isi yang spesifik" hal ini berasumsi bahwa
wha benar-benar merusak menugaskan kepada ungkapan-ungkapan ke(pada apropriate dan
menetralkan mormal idaman formal model. menyeluruh keuntungan dari karakteristik yang formal dari
penyajian-penyajian maksud(arti semantik adalah bahwa/karena, meskipun [demikian] bersifat
membatasi, adalah juga sungguh umum.

ketiga, jika maksud(arti adalah formal, lalu kita dapat menggunakan sisa dari piranti dari analisis
formal untuk memecahkan permasalahan patokan semantik. suatu gol yang tradisional dari ilmu semantik
adalah untuk meliput intutitions yang kita mempunyai tentang hubungan-hubungan yang semantik antara
dan di dalam ungkapan-ungkapan. persamaan semantik, perbedaan ,dan pemasukan ,contoh-contoh
hubungan-hubungan ini diberi di sini.

a. persamaan dari maksud(arti ;identitas, Kesamaan ,atau repettion

1, synonimy; kesamaan atau identitas kata-kata; eg. dipan dan dipan.

2,paraphrase; eqiuvalence atau identitas kalimat ;eg Bill makan pizza itu dimakan byBill.

3 Tautology :kebenaran [karar/invarian] dari suatu ungkapan oleh karena redudancy atau rpetitio;
RUU;rekening' saudara adalah suatu saudara kandung (saudara kandung adalah lewah diberi isi dari
saudara).

B. Perbedaan dari maksud(arti: oppositencess, pengecualian, atau ketidakcocokan.

1. Lawan kata: kebalikan dari kata; eg., hidup (me)lawan mati dan panas (me)lawan dingin.
2. Pertentangan: kepalsuan [karar/invarian] dari suatu ungkapan oleh karena exclussion: e.g., Saudara
rekening/daftar adalah saudari nya (arti dari saudara dan saudari mengeluarkan/meniadakan satu sama
lain).

3. Keganjilan: ganjil dari suatu ungkapan oleh karena ketidakcocokan; e, g., Rekening/daftar lawnmower
membunuh bunga-bunga (innanimate lawnmowers bersifat tidak cocok/bertentangan dengan tindakan
pembunuhan satu menghidupkan hal).

C. pemasukan maksud(arti

1. Hyponymy: keanggotaan yang di-set dari kata-kata; eg., dipan dari mebel (suatu dipan adalah inluded
di dalam himpunan dari mebel).

2. Perikutan: invarianty keterlibatan benar suatu kalimat karena pertama berisi second;eg., RUU;rekening
berlari(menjalankan memerlukan RUU;rekening lakukan sesuatu (berlari/menjalankan termasuk dugaan
tindakan dengan demikian satu ungkapan dengan lari perlu menyiratkan satu pression dengan
melakukan sesuatu).

Ilmu semantik formal dapat menolong kita(kami memutuskan (dengan) jelas tentang hubungan-hubungan
thesde semantik dalam kaitan dengan?dengan menggunakan istilah kondisi-kondisi kebenaran mereka.
sebagai contoh, dua kalimat adalah parafrase jika mereka mempunyai beberapa kondisi-kondisi
kebenaran, atau lebih secara teknis, jika mereka intail satu sama lain. dengan begitu ,jika RUU;rekening
makan pizza itu adalah benar lalu pizza itu adalah eatenn oleh Bill oleh RUU;rekening adalah perlu
benar dan sebaliknya .sinonim-sinonim adalah kata-kata bahwa dapat subtitutedfor satu sama lain satu
ungkapan whithout yang mempengaruhi nilai kebenarannya ;a'couch i yang dibeli mempunyai kondisi-
kondisi kebenaran yang sama sebagai I bougt suatu dipan.

Lebih lanjut, kita dapat menyuling perhatian ini untuk kondisi-kondisi kebenaran untuk
menentukan jenis-jenis sulit dipisahkan dari lebih likness, perbedaan, inclution maksud(arti. Semanticist
berhubungan dengan kamus (mereka yang belajar maksud(arti kata) pada umumnya mengidentifikasi
dua macam walikota dari antonymyungradable dan antonymsdetermined bisa lulusan oleh kondisi-kondisi
kebenaran mereka. lawan kata tidak bisa lulusan adalah kata-kata maksud(arti-maksud(arti siapa satu
sama lain mengeluarkan/meniadakan satu sama lain, hal yang kecil contradictions,denotations
berhubungan dengan kamus tanpa pertengahan groundA test standar untuk lawan kata seperti itu
adalah sebagai berikut: kebenarannya dari nya memerlukan kepalsuan other(x-Y dan YX) dan kepalsuan
onw memerlukan kebenarannya dari yang lain ( -Y X dan -Y) X) Oleh test ini, hidup dan mati bersifat
lawan kata tidak bisa lulusan: jika sesuatu yang hidup, itu bukanlah mati', jika sesuatu yang sudah mati
,itu tidak dalam keadaan hidup: jika sesuatu yang tidak dalam keadaan hidup, itu sudah mati ",jika
sesuatu yang bukanlah lawan kata itu tidak bisa lulusan hidup mati kadang-kadang disebut
coplementaries karena complite satu sama lain di dalam tidak termasuk latar tengah.
jika kita slighly kerugian test yang formal untuk lawan kata yang tidak bisa lulusan, kita mendapat
kontroversi-kontroversi antonyms(or bisa lulusan) mereka yang mempunyai suatu latar tengah. untuk
gradables, hanya pertama bagian dari test yang formal untuk ungradables pegang(jaga; kebenarannya
dari nya memerlukan falcas yang lainnya. Panas dan dingin temu test lebih sederhana ini: jika sesuatu
yang adalah Hot, itu bukanlah dingin ",jika sesuatu yang dingin, itu bukanlah Hot catatan, bagaimanapun
bahwa jika sesuatu yang bukanlah panas ,lalu itu bukan neccessarily dingin, hanya, barangkali,
hangatkan. Karenanya, panas dan dingin adalah hal yang kecil lawan kata suatu latar tengah, yang
ditentukan oleh kebenarannya dari imperences bahwa dapat dibuat dari ungkapan berisi mereka (dia
cruse 1986 untuk diskusi yang fulled ).

contoh akhir ini kembalikan kita(kami kepada alasan kita(kami yang asli

Ilmu semantik formal: kita dapat anumerate bahwa mempengaruhi tha pegangan ke seberang statemen
trouhgt analisa dari isi dari ungkapan [mereka/yang] [mereka/yang] statments mengambil. Hubungan-
hubungan ilmu semantik semuanya adalah macam dari infernce dan dihitung atas dasar ilmu semantik
repretentations ungkapan-ungkapan melibatkan :ungkapan panjang(lama memerlukan yang lain karena
ilmu semantik reprecentation dari nya adalah suatu konsekuensi necesary semantik dari penyajian yang
semantik yang lain .Ilmu semantik formal menentukan sifat atau reprecentations wajar, maka kesimpulan-
kesimpulan dibuat berkenaan dengan suatu model untuk penafsiran dan dapat digambarkan di dalam
hubungan. tambahan pula.