Семантиката (настарогръцки:σημαντικός [semantikós] – значим,σημαίνω [semaino] – да означавам, посочвам,σήμα [sema] – знак) изучавазначението, обикновено везика.[1] В този смисъл под семантика обикновено се разбира лингивистична семантика (за разлика от компютърната семантика например), тоест науката, изучаваща значението надумите,фразите и други лингвистични обекти. В същото време най-често под семантика в езикознанието се подразбиралексикалната семантика, която изучава значението на думите като лексикални иречникови единици. Съществуват още фразеологична семантика, семантика на изречението (виждекларативна семантика), семантика на текста (близка додискурсивния анализ).
Обичайното схващане е, че семантиката контрастира съссинтаксиса, който изучава комбинациите от езикови единици, без да се интересува от тяхното значение, ипрагматиката, която изучава отношенията между езиковите символи, тяхното значение и употребите на езика.[2]
Винформатиката семантиката е смисълът на даденапрограма. Когато програмата не връща коректни резултати при подадени коректни входни данни, казваме, че има семантична грешка. За разлика отсинтаксиса, машината не може да проверява коректността на семантиката на програмите (виж:Машина на Тюринг). Последното е изцяло грижа на хората.
Иван Касабов,Граматика на семантиката, изд. УИ „Св. Климент Охридски“,2007 – изследване в теория на семантиката и конкретно обвързаност граматичен-семантичен строеж (на думите)
Референция и логика
Сб.Философия на логиката ІІ, изд. Изток-Запад,2008
Предговор,Рудолф Карнап; Преодоляване на метафизиката чрез логически анализ на езика, За характера на философските проблеми, Задачата на логиката на науката,У. В. Куайн; За това, което го има, Две догми на емпиризма, Референция и модалност,Питър Стросън, За реферирането, Питър Стросън,Пол Грайс; В защита на една догма,Джон Р. Сърл; Собствени имена, Кийт Донегън; Референция и определени описания,Доналд Дейвидсън; Истина и значение, Върху самата идея за концептуална схема,Сол Крипке; Идентичност и необходимост,Хилъри Пътнъм; Значение и референция
Формална семантика на програмните езици
Александра Соскова, Стела Николова,Семантика на езиците за програмиране, Софтех, 2008
