Semantik
Semantik Linguistik adalah studi tentang makna yang digunakan untuk memahami ekspresi manusia melalui bahasa. Bentuk lain dari semantik mencakup semantik bahasa pemrograman, logika formal, dan semiotika.
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.