Semantik
Kata semantik itu sendiri menunjukkan berbagai ide - dari populer yang sangat teknis. Hal ini sering digunakan dalam bahasa sehari-hari untuk menandakan suatu masalah pemahaman yang datang ke pemilihan kata atau konotasi. Masalah pemahaman ini telah menjadi subyek dari banyak pertanyaan formal, selama jangka waktu yang panjang, terutama dalam bidang semantik formal. Dalam linguistik, itu adalah studi tentang interpretasi tanda-tanda atau simbol yang digunakan dalam agen atau masyarakat dalam keadaan tertentu dan konteks. Dalam pandangan ini, suara, ekspresi wajah, bahasa tubuh, dan proxemics memiliki semantik konten (bermakna), dan masing-masing terdiri dari beberapa cabang studi. Dalam bahasa tertulis, hal-hal seperti struktur ayat dan tanda baca menanggung konten semantik, bentuk lain dari bahasa menanggung konten semantik lainnya .
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.