Semiotyka (rzadziej używa się terminów "semiotyka logiczna", "semiologia" i "semantyka", z których dwa ostatnie mają też inne znaczenia) - jeden z trzech głównych (obok
logiki formalnej i
metodologii nauk) działów
logiki, sam dzielący się na
semantykę,
pragmatykę i
syntaktykę. Podział semiotyki na trzy główne działy pochodzi od Charlesa W. Morrisa. Semiotyka logiczna stanowi ogólną teorię
znaków, zwłaszcza znaków językowych -
wyrażeń. Zbliżony charakter ma
semiotyka językoznawcza, która nie bada języków sformalizowanych, a jedynie
języki naturalne (sama semiotyka logiczna, poza językami sformalizowanymi, bada także język naturalny). Zbliżony do syntaktyki logicznej charakter ma
syntaktyka językoznawcza, semantyka logiczna ma swój odpowiednik w postaci
semantyki językoznawczej.