Semiotik (fra græsk σημειωτικός, semeiotikos "tegnfortolker", der igen kommer fra σήμα, sema "tegn") er læren om tegn. De central teoretiske spørgsmål i semiotik er hvordan tegn virker, hvordan de kan lagre og viderebringe information, og hvordan betydning skabes og forstås. Det centrale problem er, hvordan tegn kan bruges til at udveksle kommunikation mellem subjekter, som ikke har nogen ikke-semiotisk måde at vide om der er overensstemmelse mellem deres respektive fortolkninger af et bestemt tegn. Og at forstå forskelle og ligheder mellem sproglige og ikke sproglige tegnprocesser, og mellem menneskellige og ikke menneskelig brug af tegn. Semiotikkens centrale begreber er ud over tegnet begreber som betydning, fortolkning, kontekst, kode, information, kommunikation, medie og system. Semiotik kan bruges til at analysere tegnbrug og betydningen i sprog, billeder, handlinger, ritualer, myter og alle andre tegnsystemer og har siden 1960'erne haft en stor indflydelse på litteraturvidenskaben.
Siden antikken har tegnsystemer været et vigtigt emne inden for filosofien. Stoikerne, sofisterne og de post-sokratiske filosoffer studerede alle de måder, hvorpå tegn repræsenterer og viderebringer betydning. I oplysningstiden blev tegnsystemer og mening studeret af filosoffer som John Locke, Gottfried Wilhelm Leibniz og Immanuel Kant. Moderne semiotik har to hovedkilder: den amerikanske filosof og matematiker Charles Sanders Peirce og den schweitziske lingvist Ferdinand de Saussure. Peirce var interesseret i at forstå den filosofiske baggrund for videnskab, og hans teori ser semiotik som fundamentet for al menneskelig tanke og videnstilegnelse. Peirces semiotik kan kaldes pragmatisk, fordi den beskriver hvordan betydning er en funktion af specifikke relationer imellem tegn, fortolkning og kontekst. De Saussures teori, som han kaldte "semiologi" i stedet for semiotik, fokuserede mere på sproglige tegnsystemer og de måder, hvorpå sprogtegn får deres betydning igennem deres relationer til andre tegn i et sprogsystem. Fordi hans betydningslære fokuserer på betydning som et resultat af systematiske strukturer i et tegnsystem kaldes denne tilgang strukturalisme. Saussures semiotik er især blevet brugt inden for lingvistikken, hvorimod Peirces tilgang er blevet mest brugt af dem, som studerer ikke sproglige tegn.