Semantik
Dalam ilmu komputer, semantik merujuk pada arti bahasa, sebagai lawan dari bentuk mereka (sintaks). Menurut Euzenat, semantik "menyediakan aturan untuk menafsirkan sintaks yang tidak memberikan makna secara langsung tetapi membatasi kemungkinan penafsiran dari apa yang dinyatakan." Dengan kata lain, semantik adalah tentang penafsiran dari sebuah ekspresi. Selain itu, istilah ini diterapkan untuk beberapa jenis struktur data khusus dirancang dan digunakan untuk mewakili konten informasi.
Bahasa
Maka, bahasa haruslah memiliki kosa kata isyarat yang berkaitan dengan makna tertentu. Isyarat Inggris dari "anjing" menandakan, misalnya, anggota dari jenis "Canis".
Dalam sebuah bahasa, susunan dari isyarat yang sembarang yang terhubung kepada makna tertentu disebut dengan lexicon, dan sebuah isyarat yang terhubung ke sebuah makna disebut dengan lexeme.
Tidak semua makna dalam sebuah bahasa direpresentasikan oleh satu kata. Terkadang, konsep semantik terkandung dalam morfologi atau sintaks dari suatu bahasa dalam bentuk kategori tata bahasa.
Semua bahasa memiliki struktur semantik dari predikat: sebuah struktur yang mendasari sebuah properti, keadaan, atau aksi.
Secara tradisional, semantik telah dipahami sebagai kajian bagaimana pembicara dan pendengar memberikan nilai benar terhadap suatu pernyataan, sehingga makna dapat dipahami sebagai suatu proses di mana sebuah predikat dapat dikatakan benar atau salah mengenai sebuah entitas, contohnya: "[x [adalah y]]" atau "[x [maka y]]."
Baru-baru ini, model dari semantik ini telah dilengkapi dengan model makna yang lebih dinamis yang menggabungkan pengetahuan yang sama tentang konteks di mana sebuah tanda diinterpretasikan menjadi produksi dari makna.
Model makna seperti itu ditelaah lebih jauh dalam bidang pragmatik.