Semiotyka (gr. σημειωτικός sēmeiōtikós czyli dotyczący znaku, od σῆμα sēma = znak) albo semiologia, zwana jest także ogólną teorią znaków. Ogólna, formalna, czyli logiczna teoria języka rozumianego jako system znakowy, zajmująca się językiem w aspekcie jego racjonalności i sprawności w aktach poznania i komunikowania. Termin semiotyka wprowadził w „Rozważaniach dotyczących rozumu ludzkiego” John Locke, semiotyką zajmował się amerykański filozof i logik Charles Sanders Peirce. Termin semiologia wprowadził Ferdinand de Saussure, mniej więcej w tym samym czasie, w którym tworzył Peirce. Inni znani lingwiści zajmujący się ogólną teorią znaku to Éric Buyssens, Georges Mounin, Roland Barthes, Umberto Eco, Rudolf Carnap, Jurij Łotman.