Semantik
Dalam linguistik, semantik adalah sub bidang yang dikhususkan untuk studi tentang makna, seperti yang melekat di tingkat kata, frasa, kalimat, dan unit yang lebih besar dari wacana (disebut teks). Daerah dasar studi ini adalah arti dari tanda-tanda, dan studi tentang hubungan antara unit linguistik yang berbeda dan senyawa: homonim, polisemi, sinonim, antonim, hipernim, hiponim, meronim, metonimia, holonim, paronim. Perhatian utama adalah bagaimana makna menempel pada potongan yang lebih besar dari teks, mungkin sebagai akibat dari komposisi dari unit yang lebih kecil dari makna. Secara tradisional, semantik sudah termasuk studi tentang arti dan referensi denotatif, kondisi kebenaran, struktur argumen, peran tematik, analisis wacana, dan hubungan semua ini untuk sintaks.
Konsistensi (logika)
Konsistensi dalam ilmu logika adalah teori konsistensi merupakan sebuah sematik dengan sematik yang lainnya tidak mengandung kontradiksi. Tidak adanya kontradiksi dapat diartikan baik dalam hal semantik atau berhubung dengan sintaksis. Definisi semantik yang menyatakan bahwa sebuah teori yang konsisten jika ia memiliki model; ini digunakan dalam arti logika tradisional Aristoteles walaupun dalam logika matematika kontemporer terdapat istilah "satisfiable" yang digunakan. Berhubungan dengan pengertian sintaksis yang menyatakan bahwa sebuah teori yang konsisten jika tidak terdapat rumus P seperti yang kedua P dan penyangkalan adalah pembuktian dari aksioma dari teori yang terkait di bawah sistem deduktif.