ในทางภาษาศาสตร์ไวยากรณ์( / ˈ s ɪ n t æ k s / SIN -taks ) [ ^{1 ] [ 2 ] คือ}การศึกษาว่าคำและหน่วยคำรวมกันอย่างไรเพื่อสร้าง หน่วยที่ใหญ่ ขึ้นเช่นวลีและประโยคประเด็นสำคัญในสาขาภาษาศาสตร์นี้ ได้แก่ลำดับคำความสัมพันธ์ทางไวยากรณ์โครงสร้างประโยคแบบลำดับชั้น ( องค์ประกอบ ) ^{[ 3 ]}การสอดคล้องกันความแปรผันข้ามภาษา และความสัมพันธ์ระหว่างรูปแบบและความหมาย ( ความหมาย ) แนวทางที่หลากหลาย เช่นไวยากรณ์เชิงกำเนิดและไวยากรณ์เชิงหน้าที่นำเสนอมุมมองที่เป็นเอกลักษณ์เกี่ยวกับไวยากรณ์ ซึ่งสะท้อนให้เห็นถึงความซับซ้อนและความสำคัญของไวยากรณ์ในการทำความเข้าใจภาษาของมนุษย์

คำว่าsyntaxมาจากคำภาษากรีกโบราณσύνταξιςซึ่งหมายถึงการจัดเรียงอย่างเป็นระเบียบหรือเป็นระบบ โดยประกอบด้วยσύν- ( syn- , "ด้วยกัน" หรือ "เหมือนกัน") และτάξις ( táxis , "การจัดเรียง") ในภาษากรีกสมัยเฮลเลนิสติกคำนี้ยังพัฒนาการใช้งานเฉพาะที่อ้างถึงลำดับทางไวยากรณ์ของคำ โดยมีการสะกดที่เปลี่ยนแปลงเล็กน้อย: συντάσσεινคำศัพท์ภาษาอังกฤษซึ่งปรากฏครั้งแรกในปี 1548 ได้รับการยืมบางส่วนจากภาษาละติน ( syntaxis ) และภาษากรีก แม้ว่าคำศัพท์ภาษาละตินจะพัฒนามาจากภาษากรีกก็ตาม^{[ 4 ]}

สาขาวิชาไวยากรณ์มีหัวข้อมากมายที่ทฤษฎีไวยากรณ์ออกแบบมาเพื่ออธิบาย ความสัมพันธ์ระหว่างหัวข้อเหล่านี้ได้รับการอธิบายแตกต่างกันในแต่ละทฤษฎี และบางหัวข้ออาจไม่ถือว่าแยกจากกัน แต่เป็นสิ่งที่สืบเนื่องมาจากกันและกัน (เช่น ลำดับคำสามารถมองได้ว่าเป็นผลมาจากกฎการเคลื่อนย้ายที่ได้มาจากความสัมพันธ์ทางไวยากรณ์)

คำอธิบายพื้นฐานอย่างหนึ่งของไวยากรณ์ของภาษาคือลำดับที่ประธาน (S) กริยา (V) และกรรม (O) มักปรากฏในประโยค ภาษามากกว่า 85% มักวางประธานไว้ก่อน ไม่ว่าจะเป็นในลำดับSVOหรือลำดับSOVลำดับอื่นๆ ที่เป็นไปได้คือVSO , VOS , OVSและOSVซึ่งสามลำดับหลังนั้นหายาก บางภาษาไม่มีลำดับที่เด่นชัดสำหรับองค์ประกอบประโยคทั้งสามนี้^{[ 5 ]}ในทฤษฎีไวยากรณ์เชิงกำเนิดส่วนใหญ่ ความแตกต่างที่ปรากฏเหล่านี้เกิดขึ้นจากโครงสร้างวลีอนุประโยคที่ซับซ้อน และแต่ละลำดับอาจเข้ากันได้กับการสร้างคำหลายแบบ ลำดับคำยังสามารถสะท้อนความหมายหรือหน้าที่ขององค์ประกอบที่เรียงลำดับได้อีกด้วย^{[ 6 ]}

คำอธิบายอีกประการหนึ่งของภาษาพิจารณาชุดความสัมพันธ์ทางไวยากรณ์ที่เป็นไปได้ในภาษาหรือโดยทั่วไป และพฤติกรรมของความสัมพันธ์เหล่านั้นต่อกันในการจัดเรียงทางสัณฐานวิทยา และไวยากรณ์ ของภาษา คำอธิบายความสัมพันธ์ทางไวยากรณ์ยังสามารถสะท้อนถึงการถ่ายทอด การทำให้เป็นกรรมและการทำเครื่องหมายขึ้นอยู่กับส่วนหัวหรือข้อตกลงอื่น ๆ ภาษาต่าง ๆ มีเกณฑ์ที่แตกต่างกันสำหรับความสัมพันธ์ทางไวยากรณ์ ตัวอย่างเช่น เกณฑ์ความเป็นประธานอาจมีนัยสำคัญต่อวิธีการอ้างถึงประธานจากอนุประโยคสัมพัทธ์หรือการอ้างอิงร่วมกับองค์ประกอบในอนุประโยคอนันต์^{[ 7 ]}

องค์ประกอบทางภาษาคือลักษณะเฉพาะของการเป็นองค์ประกอบและวิธีที่คำต่างๆ สามารถทำงานร่วมกันเพื่อสร้างองค์ประกอบ (หรือวลี ) องค์ประกอบมักถูกเคลื่อนย้ายเป็นหน่วย และองค์ประกอบนั้นอาจเป็นขอบเขตของการตกลงกันได้ บางภาษาอนุญาตให้มีวลีที่ไม่ต่อเนื่อง ซึ่งคำที่อยู่ในองค์ประกอบเดียวกันไม่ได้อยู่ติดกันโดยตรง แต่ถูกคั่นด้วยองค์ประกอบอื่นๆ องค์ประกอบอาจเป็นแบบวนซ้ำได้เนื่องจากอาจประกอบด้วยองค์ประกอบอื่นๆ ที่อาจเป็นประเภทเดียวกัน

Aṣṭādhyāyī ของPāṇiniจากราว ศตวรรษที่ 4 ก่อนคริสต์ศักราชในอินเดียโบราณมักถูกอ้างถึงว่าเป็นตัวอย่างของงานก่อนสมัยใหม่ที่เข้าใกล้ความซับซ้อนของทฤษฎีไวยากรณ์สมัยใหม่ เนื่องจากมีงานเกี่ยวกับไวยากรณ์ที่เขียนขึ้นมานานก่อนที่ไวยากรณ์สมัยใหม่จะเกิดขึ้น^{[ 8 ]}ในตะวันตก สำนักคิดที่ต่อมาเป็นที่รู้จักในชื่อ "ไวยากรณ์แบบดั้งเดิม" เริ่มต้นด้วยงานของDionysius Thrax

เป็นเวลาหลายศตวรรษที่กรอบแนวคิดที่เรียกว่าgrammaire générale ซึ่ง Antoine ArnauldและClaude Lancelotได้อธิบายไว้เป็นครั้งแรกในปี พ.ศ. 2503 ในหนังสือชื่อเดียวกันได้ครอบงำงานด้านไวยากรณ์: ^{[ 9 ]}โดยมีสมมติฐานพื้นฐานคือภาษาเป็นการสะท้อนโดยตรงของกระบวนการคิด ดังนั้นจึงมีวิธีที่เป็นธรรมชาติที่สุดเพียงวิธีเดียวในการแสดงความคิด^{[ 10 ]}

อย่างไรก็ตาม ในศตวรรษที่ 19 ด้วยการพัฒนาของภาษาศาสตร์เชิงเปรียบเทียบทางประวัติศาสตร์นักภาษาศาสตร์เริ่มตระหนักถึงความหลากหลายอย่างมหาศาลของภาษาของมนุษย์ และเริ่มตั้งคำถามเกี่ยวกับสมมติฐานพื้นฐานเกี่ยวกับความสัมพันธ์ระหว่างภาษาและตรรกะ ปรากฏชัดว่าไม่มีวิธีใดที่เป็นธรรมชาติที่สุดในการแสดงความคิด และดังนั้นตรรกะจึงไม่สามารถใช้เป็นพื้นฐานในการศึกษาโครงสร้างของภาษาได้อีกต่อไป

ไวยากรณ์ Port -Royalจำลองการศึกษาไวยากรณ์ตามแบบตรรกศาสตร์ (อันที่จริงตรรกศาสตร์ Port-Royal ส่วนใหญ่ ถูกคัดลอกหรือดัดแปลงมาจากGrammaire générale ^{[ 11 ]} ) หมวดหมู่ทางไวยากรณ์ถูกระบุให้เหมือนกับหมวดหมู่ทางตรรกศาสตร์ และประโยคทั้งหมดถูกวิเคราะห์ในแง่ของ "ประธาน – กริยาเชื่อม – ภาคแสดง" ในขั้นต้น มุมมองนี้ได้รับการยอมรับแม้กระทั่งจากนักภาษาศาสตร์เปรียบเทียบยุคแรก เช่นFranz Bopp

บทบาทสำคัญของไวยากรณ์ภายในภาษาศาสตร์เชิงทฤษฎีเริ่มชัดเจนขึ้นในศตวรรษที่ 20 ซึ่งอาจเรียกได้ว่าเป็น "ศตวรรษแห่งทฤษฎีไวยากรณ์" ในแง่ของภาษาศาสตร์ (สำหรับการสำรวจประวัติศาสตร์ของไวยากรณ์อย่างละเอียดและวิพากษ์วิจารณ์ในช่วงสองศตวรรษที่ผ่านมา โปรดดูผลงานชิ้นเอกของ Giorgio Graffi (2001) ^{[ 12 ]} )

ไวยากรณ์แบบพึ่งพา (Dependency grammar)เป็นแนวทางในการศึกษาโครงสร้างประโยค โดยจัดเรียงหน่วยทางไวยากรณ์ตามความสัมพันธ์แบบพึ่งพา ซึ่งแตกต่างจากความสัมพันธ์แบบองค์ประกอบของไวยากรณ์แบบโครงสร้างวลี (Phrase structure grammar ) ความสัมพันธ์แบบพึ่งพาเป็นความเชื่อมโยงที่มีทิศทางระหว่างคำต่างๆ กริยา (กริยาแท้) ถือเป็นรากของโครงสร้างอนุประโยคทั้งหมด และคำอื่นๆ ในอนุประโยคนั้นขึ้นอยู่กับรากนี้ (คือ กริยา) ไม่ว่าโดยตรงหรือโดยอ้อม ทฤษฎีไวยากรณ์แบบพึ่งพาที่สำคัญบางทฤษฎีมีดังต่อไปนี้:

• ไวยากรณ์เชิงหมวดหมู่แบบเรียกซ้ำหรือ ไวยากรณ์เชิงพีชคณิต
• คำอธิบายเชิงฟังก์ชันแบบสร้าง
• ทฤษฎีความหมาย-ข้อความ
• ไวยากรณ์ตัวดำเนินการ
• ไวยากรณ์คำศัพท์

ลูเซียง เทสนิแยร์ (1893–1954) ได้รับการยกย่องอย่างกว้างขวางว่าเป็นบิดาแห่งทฤษฎีไวยากรณ์และโครงสร้างประโยคสมัยใหม่ที่อิงตามความสัมพันธ์ เขาโต้แย้งอย่างหนักแน่นต่อการแบ่งอนุประโยคออกเป็นประธานและภาคแสดงซึ่งเกี่ยวข้องกับไวยากรณ์ในยุคของเขา (S → NP VP) และยังคงเป็นแก่นหลักของไวยากรณ์โครงสร้างวลีส่วนใหญ่ แทนที่จะแบ่งแบบนั้น เขาได้วางตำแหน่งกริยาเป็นรากของโครงสร้างอนุประโยคทั้งหมด^{[ 13 ]}

ไวยากรณ์เชิงหมวดหมู่เป็นแนวทางที่ส่วนประกอบต่างๆ รวมกันเป็นฟังก์ชันและอาร์กิวเมนต์ตามความเป็นไปได้ในการรวมกันที่ระบุไว้ในหมวดหมู่ทางไวยากรณ์ตัวอย่างเช่น แนวทางอื่นๆ อาจกำหนดกฎที่รวมวลีนาม (NP) และวลีกริยา (VP) เข้าด้วยกัน แต่ไวยากรณ์เชิงหมวดหมู่จะกำหนดหมวดหมู่ทางไวยากรณ์NPและอีกหมวดหมู่หนึ่งคือ NP\Sซึ่งอ่านว่า "หมวดหมู่ที่ค้นหา NP ทางด้านซ้าย (ระบุด้วย \) (องค์ประกอบทางซ้าย) และส่งออกประโยค (องค์ประกอบทางขวา)" ดังนั้น หมวดหมู่ทางไวยากรณ์สำหรับ กริยา ไม่ต้องการกรรมจึงเป็นสูตรที่ซับซ้อนซึ่งแสดงให้เห็นว่ากริยาทำหน้าที่เป็นคำฟังก์ชันที่ต้องการ NP เป็นอินพุตและสร้างโครงสร้างระดับประโยคเป็นเอาต์พุต หมวดหมู่ที่ซับซ้อนนี้เขียนแทนด้วย (NP\S) แทนที่จะเป็น V หมวดหมู่ของกริยาต้องการกรรมถูกกำหนดให้เป็นองค์ประกอบที่ต้องการ NP สองตัว (ประธานและกรรมตรง) เพื่อสร้างประโยค ซึ่งเขียนแทนด้วย (NP/(NP\S)) หมายความว่า "หมวดหมู่ที่ค้นหา NP (กรรม) ทางด้านขวา (ระบุด้วย /) และสร้างฟังก์ชัน (เทียบเท่ากับ VP) ซึ่งเป็น (NP\S) ซึ่งในทางกลับกันจะแสดงถึงฟังก์ชันที่ค้นหา NP ทางด้านซ้ายและสร้างประโยค"

ไวยากรณ์แบบเชื่อมต่อต้นไม้ (Tree-adjoining grammar)เป็นไวยากรณ์เชิงหมวดหมู่ที่เพิ่มโครงสร้างต้นไม้ บางส่วนเข้าไป ในหมวดหมู่ต่างๆ

แนวทางเชิงทฤษฎีเกี่ยวกับไวยากรณ์ที่อิงตามทฤษฎีความน่าจะเป็นเรียกว่าไวยากรณ์เชิงสุ่ม (stochastic grammars ) การนำแนวทางดังกล่าวไปใช้ที่พบได้ทั่วไปอย่างหนึ่งคือการใช้โครงข่ายประสาทเทียมหรือการเชื่อมโยง (connectionism )

แบบจำลองไวยากรณ์เชิงหน้าที่ศึกษาปฏิสัมพันธ์ระหว่างรูปแบบและหน้าที่โดยการวิเคราะห์เชิงโครงสร้างและเชิงหน้าที่

• ไวยากรณ์เชิงหน้าที่ของการสนทนา (Dik)
• กลุ่มภาษาปราก
• ไวยากรณ์บทบาทและการอ้างอิง (RRG)
• ไวยากรณ์เชิงหน้าที่แบบระบบ

ไวยากรณ์เชิงกำเนิด (Generative syntax) คือการศึกษาไวยากรณ์ภายในกรอบการทำงานโดยรวมของไวยากรณ์เชิงกำเนิด ( Generative grammar) ทฤษฎีไวยากรณ์เชิงกำเนิดมักเสนอการวิเคราะห์รูปแบบทางไวยากรณ์โดยใช้เครื่องมือที่เป็นทางการ เช่น ไวยากรณ์โครงสร้างวลี (phrase structure grammars)ที่เสริมด้วยการดำเนินการเพิ่มเติม เช่นการเคลื่อนย้ายทางไวยากรณ์ (syntactic movement ) เป้าหมายในการวิเคราะห์ภาษาใดภาษาหนึ่งคือการระบุถึงกฎที่สร้างเฉพาะสำนวนที่ถูกต้องตามหลักไวยากรณ์ในภาษานั้นเท่านั้น ในการทำเช่นนั้น พวกเขาพยายามระบุหลักการเฉพาะด้านของความรู้ความเข้าใจทางภาษาศาสตร์โดยกำเนิด ซึ่งสอดคล้องกับเป้าหมายที่กว้างขึ้นของกระบวนการเชิงกำเนิด ไวยากรณ์เชิงกำเนิดเป็นหนึ่งในแนวทางที่ยึดหลักการความเป็นอิสระของไวยากรณ์โดยสมมติว่าความหมายและเจตนาในการสื่อสารถูกกำหนดโดยไวยากรณ์ ไม่ใช่ในทางกลับกัน

ทฤษฎี ไวยากรณ์เชิงกำเนิด (Generative syntax) ถูกเสนอขึ้นในช่วงปลายทศวรรษ 1950 โดยโนม ชอมสกีโดยต่อยอดจากงานก่อนหน้านี้ของเซลลิก แฮร์ริส , หลุยส์ เฮล์มสเลฟและคนอื่นๆ นับตั้งแต่นั้นมา ก็มีทฤษฎีมากมายถูกเสนอขึ้นภายใต้กรอบของทฤษฎีนี้:

• ไวยากรณ์การแปลงรูป (TG) (ทฤษฎีดั้งเดิมของไวยากรณ์เชิงกำเนิดที่ Chomsky วางไว้ในSyntactic Structuresในปี 1957) ^{[ 14 ]}
• ทฤษฎีการปกครองและการผูกมัด (GB) (ทฤษฎีที่ได้รับการแก้ไขตามประเพณีของ TG ซึ่งพัฒนาโดย Chomsky เป็นหลักในช่วงทศวรรษ 1970 และ 1980) ^{[ 15 ]}
• โปรแกรมมินิมัลลิสต์ (MP) (การปรับปรุงทฤษฎีจากกรอบ GB ที่เผยแพร่โดย Chomsky ในปี 1995) ^{[ 16 ]}

ทฤษฎีอื่นๆ ที่มีต้นกำเนิดมาจากกระบวนทัศน์เชิงกำเนิด ได้แก่:

• ไวยากรณ์คู่โค้ง
• ไวยากรณ์โครงสร้างวลีทั่วไป (GPSG)
• ความหมายเชิงกำเนิด
• ไวยากรณ์โครงสร้างวลีแบบหัวเรื่อง (HPSG)
• ไวยากรณ์เชิงหน้าที่ของคำศัพท์ (Lexical functional grammar : LFG)
• นาโนซินแท็กซ์
• ไวยากรณ์เชิงสัมพันธ์ (RG)
• ไวยากรณ์ฮาร์โมนิก (HG)

กรอบแนวคิดภาษาศาสตร์เชิงปัญญา (Cognitive Linguistics) มาจากไวยากรณ์เชิงกำเนิด (generative grammar)แต่ยึดหลักภาษาศาสตร์เชิงวิวัฒนาการมากกว่า ภาษาศาสตร์แบบ ชอมสกี (Chomskyan linguistics) แบบจำลองเชิงปัญญามักยอมรับสมมติฐานเชิงกำเนิดที่ว่ากรรมเป็นส่วนหนึ่งของวลีกริยา กรอบแนวคิดเชิงปัญญาประกอบด้วยสิ่งต่อไปนี้:

• ไวยากรณ์เชิงปัญญา
• ไวยากรณ์โครงสร้าง (CxG)
• ไวยากรณ์ที่เกิดขึ้นใหม่

• ไวยากรณ์แผนที่
• เมตาไวยากรณ์
• ไวยากรณ์ดนตรี
• สัญศาสตร์
• หมวดหมู่ทางไวยากรณ์
• ไวยากรณ์ (วารสารวิชาการ )
• ไวยากรณ์ (ภาษาโปรแกรม)
• ส่วนต่อประสานระหว่างไวยากรณ์และความหมาย
• การใช้งาน

วิกิมีเดียคอมมอน ส์มีสื่อที่เกี่ยวข้องกับไวยากรณ์

ค้นหาความหมายของไวยากรณ์ได้ใน Wiktionary ซึ่งเป็นพจนานุกรมฟรี

• ไวยากรณ์ของภาษาธรรมชาติ: บทนำออนไลน์โดยใช้โปรแกรม Trees  – Beatrice Santorini และ Anthony Kroch, มหาวิทยาลัยเพนซิลเวเนีย , 2007