Gramatika je nauka o pravidlech používání jazyka. Soubor pravidel, jimiž se řídí určitý jazyk, se také nazývá gramatika jazyka; lze tedy říci, že každý jazyk má svou vlastní gramatiku. Gramatika je součástí obecného studia jazyka, které se nazývá lingvistika.
Dílčími oblastmi současné gramatiky jsou fonetika, fonologie, morfologie, syntax, sémantika a pragmatika. Tradiční gramatiky zahrnují pouze morfologii a syntax.
Gramatiky se vyvíjejí v důsledku používání a rozdělení lidské populace. S příchodem písemných reprezentací mají tendenci se objevovat i formální pravidla o používání jazyka. Formální gramatiky jsou kodifikace užívání, které se vyvíjejí na základě pozorování. S tím, jak se pravidla ustálují a rozvíjejí, může vzniknout preskriptivní pojetí gramatické správnosti. Tím často vzniká propast mezi současným používáním a tím, které je přijímáno jako správné. Lingvisté se obvykle domnívají, že preskriptivní gramatiky nemají žádné opodstatnění kromě estetického vkusu jejich autorů. V sociolingvistice jsou však preskripce považovány za součást vysvětlení toho, proč někteří lidé říkají „nic jsem neudělal“, jiní „nic jsem neudělal“ a někteří říkají jedno nebo druhé v závislosti na sociálním kontextu.
Formální studium gramatiky je důležitou součástí vzdělávání od útlého věku až po pokročilé studium, ačkoli pravidla vyučovaná ve školách nejsou „gramatikou“ ve smyslu, v jakém většina lingvistů tento termín používá, protože jsou často spíše preskriptivní než deskriptivní.
Plánované jazyky jsou v dnešní době běžnější. Mnohé z nich byly vytvořeny jako pomůcka pro lidskou komunikaci (například esperanto nebo mezikulturní, vysoce logicky kompatibilní umělý jazyk lojban) nebo jako součást fiktivních děl (například klingonština a elfština). Každý z těchto umělých jazyků má svou vlastní gramatiku.
Je mýtus, že analytické jazyky mají jednodušší gramatiku než jazyky syntetické. Analytické jazyky používají syntax ke sdělování informací, které jsou v syntetických jazycích zakódovány prostřednictvím skloňování. Jinými slovy, v čistě syntetickém jazyce není podstatný pořádek slov a morfologie je vysoce podstatná, zatímco v analytickém jazyce není morfologie podstatná a syntax je vysoce podstatná. Například čínština a afrikánština jsou vysoce analytické jazyky, a význam je proto velmi závislý na kontextu. (Oba jazyky mají určité skloňování a v minulosti jich měly více; postupem času se tedy stávají ještě méně syntetickými a více „čistě“ analytickými). Latina, která je vysoce syntetická, používá afixy a skloňování k předání stejné informace jako čínština syntax. Protože latinská slova jsou poměrně (i když ne zcela) samostatná, lze srozumitelnou latinskou větu sestavit z prvků umístěných ve značně libovolném pořadí. Latina má složitou afixaci a jednoduchou syntax, zatímco čínština má pravý opak.
V informatice je syntaxe každého programovacího jazyka definována formální gramatikou. V teoretické informatice a matematice definují formální gramatiky formální jazyky. Chomského hierarchie definuje několik důležitých tříd formálních gramatik.
Bede Rundle, Grammar in Philosophy, Oxford 1979.