ในทางภาษาศาสตร์และปรัชญา คำว่า "กริยาช่วย" ( modality)หมายถึง วิธีที่ภาษาใช้แสดงความสัมพันธ์ต่างๆ กับความเป็นจริงหรือความจริง ตัวอย่างเช่น สำนวนกริยาช่วยอาจสื่อว่าบางสิ่งบางอย่างมีแนวโน้มสูง เป็นที่พึงปรารถนา หรือเป็นไปได้ สำนวนกริยาช่วยที่สำคัญที่สุด ได้แก่คำช่วยกริยาช่วยเช่น "could", "should" หรือ "must"; คำวิเศษณ์กริยาช่วยเช่น "possibly" หรือ "necessarily"; และคำคุณศัพท์กริยาช่วยเช่น "conceivable" หรือ "probable" อย่างไรก็ตาม ส่วนประกอบของกริยาช่วยได้รับการระบุในความหมายของสำนวนภาษาธรรมชาติมากมาย รวมถึงประโยค แสดง สมมติฐาน (counterfactuals ) , ทัศนคติเชิงประพจน์ (propositional attitudes) , หลักฐาน (evidentials) , พฤติกรรม (habituals ) และคำทั่วไป (generics)

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

สำนวนโมดอลมีหลายประเภทที่เรียกว่ารสชาติรสชาติจะแตกต่างกันในความสัมพันธ์ระหว่างความเป็นไปได้ที่กล่าวถึงกับความเป็นจริง ตัวอย่างเช่น สำนวนอย่าง "อาจจะ" กล่าวได้ว่ามีรสชาติเชิงญาณวิทยาเนื่องจากกล่าวถึงความเป็นไปได้ที่สอดคล้องกับองค์ความรู้บางอย่าง สำนวนอย่าง "บังคับ" กล่าวได้ว่ามีรสชาติเชิงหน้าที่เนื่องจากกล่าวถึงความเป็นไปได้ที่จำเป็นต้องปฏิบัติตามกฎหมายหรือบรรทัดฐานที่ปฏิบัติตามในความเป็นจริง^{[ 1 ] : 47}

(1) อากาธาต้องเป็นฆาตกร (แสดงรูปแบบความรู้)

(2) อากาธาต้องเข้าคุก (แสดงรูปแบบเชิงหน้าที่)

ประโยคใน (1) อาจถูกพูดโดยคนที่ตัดสินใจว่าข้อเท็จจริงที่เกี่ยวข้องทั้งหมดในการสืบสวนคดีฆาตกรรมเฉพาะเจาะจงชี้ไปที่ข้อสรุปว่าอากาธาเป็นฆาตกร แม้ว่าอาจจะเป็นเช่นนั้นหรือไม่ก็ตาม คำว่า 'ต้อง' ในประโยคนี้จึงแสดงถึงความเป็นไปได้ทางความรู้: "'เท่าที่เราทราบ' อากาธาต้องเป็นฆาตกร" โดยที่ 'เท่าที่เราทราบ' สัมพันธ์กับความรู้บางอย่างที่ผู้พูดมี ในทางตรงกันข้าม (2) อาจถูกพูดโดยคนที่ตัดสินใจว่าตามมาตรฐานการประพฤติบางอย่าง อากาธาได้กระทำความผิดร้ายแรง หรือมิฉะนั้นจะเป็นปัญหามากพอที่อากาธาจะไม่ถูกจำคุก ดังนั้นแนวทางที่ถูกต้องคือการจำคุกอากาธา

ในแนวทางที่เป็นทางการแบบดั้งเดิมเกี่ยวกับ การแสดง ความเป็นไปได้ทางภาษาคำพูดที่แสดงความเป็นไปได้นั้น สามารถถอดความได้คร่าวๆ ให้เข้ากับแบบแผนต่อไปนี้เสมอ:

(3) ตาม [ชุดของกฎเกณฑ์ ความปรารถนา ความเชื่อ...] จึงเป็น [จำเป็น เป็นไปได้] ที่ [ข้อเสนอหลัก] จะเป็นกรณีนี้

ชุดของข้อเสนอซึ่งเป็นพื้นฐานของการประเมินเรียกว่าฐานโมดอลผลลัพธ์ของการประเมินเรียกว่าแรงโมดอล [ ^{2 ] : 649} ตัวอย่างเช่น คำพูดใน (4) แสดงให้เห็นว่า ตามที่ผู้พูดได้สังเกต จำเป็นต้องสรุปว่าจอห์นมีรายได้ค่อนข้างสูง

(4) จอห์นต้องมีรายได้เยอะมากแน่ๆ

ฐานโมดอลในที่นี้คือความรู้ของผู้พูด แรงโมดอลคือความจำเป็น ในทางตรงกันข้าม (5) สามารถถอดความได้ว่า 'เมื่อพิจารณาจากความสามารถ ความแข็งแรงของฟัน ฯลฯ จอห์นสามารถเปิดขวดเบียร์ด้วยฟันของเขาได้' ในที่นี้ ฐานโมดอลถูกกำหนดโดยส่วนย่อยของความสามารถของจอห์น แรงโมดอลคือความเป็นไปได้

(5) จอห์นสามารถเปิดขวดเบียร์ด้วยฟันของเขาได้

รูปแบบทางภาษาเป็นหนึ่งในประเด็นสำคัญในความหมายเชิงรูปธรรมและตรรกศาสตร์เชิงปรัชญาการวิจัยในสาขาเหล่านี้ได้นำไปสู่คำอธิบายที่หลากหลายเกี่ยวกับเนื้อหาเชิงประพจน์และผลกระทบของวาทกรรมตามธรรมเนียมของการแสดงออกเชิงรูปแบบ แนวทางที่โดดเด่นในสาขาเหล่านี้มีพื้นฐานมาจากตรรกศาสตร์เชิงรูปแบบในแนวทางเหล่านี้ การแสดงออกเชิงรูปแบบ เช่นต้องและสามารถจะถูกวิเคราะห์ในฐานะตัวบ่งปริมาณเหนือชุดของโลกที่เป็นไปได้ ในตรรกศาสตร์เชิงรูปแบบแบบคลาสสิก ชุดนี้ถูกระบุว่าเป็นชุดของโลกที่เข้าถึงได้จากโลกของการประเมิน นับตั้งแต่งานสำคัญของAngelika Kratzerนักความหมายเชิงรูปธรรมได้นำแนวคิดที่ละเอียดกว่าของชุดนี้มาใช้ ซึ่งกำหนดโดยฟังก์ชันพื้นหลังการสนทนาสองฟังก์ชันที่เรียกว่าฐานเชิงรูปแบบและแหล่งที่มาของการเรียงลำดับตามลำดับ^{[ 3 ] : 79–90}

สำหรับกริยาช่วยเชิงความรู้ เช่นmustหรือmight ในภาษาอังกฤษ เซตนี้เข้าใจได้ว่าประกอบด้วยโลกที่สอดคล้องกับความรู้ที่ผู้พูดมีในโลกแห่งความเป็นจริง สมมติเช่นว่าผู้พูดในประโยค (4) ข้างต้นรู้ว่าจอห์นเพิ่งซื้อรถหรูคันใหม่และเช่าอพาร์ตเมนต์ขนาดใหญ่ ผู้พูดยังรู้ด้วยว่าจอห์นเป็นคนซื่อสัตย์ มีพื้นฐานครอบครัวที่ต่ำต้อย และไม่เล่นลอตเตอรี่ เซตของโลกที่เข้าถึงได้จึงเป็นเซตของโลกที่ข้อเสนอทั้งหมดที่ผู้พูดรู้เกี่ยวกับจอห์นเป็นจริง แนวคิดเรื่องความจำเป็นและความเป็นไปได้จึงถูกกำหนดตามแนวทางต่อไปนี้: ข้อเสนอPเป็นไปตามความจำเป็นจากเซตของโลกที่เข้าถึงได้ ถ้าโลกที่เข้าถึงได้ทั้งหมดเป็นส่วนหนึ่งของP (นั่นคือ ถ้าpเป็นจริงในโลกเหล่านี้ทั้งหมด) ^{[ 3 ] : 80} เมื่อนำไปใช้กับตัวอย่างใน (4) จะหมายความว่าในโลกทั้งหมดที่กำหนดโดยความรู้ของผู้พูดเกี่ยวกับจอห์น จอห์นจะได้รับเงินจำนวนมาก (สมมติว่าไม่มีคำอธิบายอื่นสำหรับความมั่งคั่งของจอห์น) ในทำนองเดียวกัน ข้อเสนอp ก็เป็นไปได้ตามชุดของโลกที่เข้าถึงได้ (เช่น ฐานโมดอล) หากโลกเหล่านั้นบางส่วนเป็นส่วนหนึ่งของP

งานวิจัยล่าสุดได้เบี่ยงเบนไปจากภาพนี้ในหลายแง่มุม ในความหมายเชิงพลวัต (dynamic semantics ) คำกริยาช่วย (modals) ถูกวิเคราะห์ในฐานะแบบทดสอบที่ตรวจสอบว่าส่วนประกอบที่อยู่ข้างหน้าคำกริยาช่วยนั้นเข้ากันได้กับ (หรือเป็นผลมาจาก) ข้อมูลในพื้นฐานการสนทนาทั่วไปหรือไม่ แนวทางเชิงความน่าจะเป็นที่ได้รับแรงบันดาลใจจากสำนวนคำกริยาช่วยที่สามารถแบ่งระดับได้นั้น ให้ความหมายที่ดึงดูดความน่าเชื่อถือของผู้พูดในส่วนประกอบที่อยู่ข้างหน้าคำกริยาช่วย แนวทางเชิงเจตนา (Illocutionary approaches) สมมติมุมมองที่กระชับกว่าเกี่ยวกับเนื้อหาเชิงประพจน์ของคำกริยาช่วย และมองหาผลกระทบทางวาทกรรมแบบดั้งเดิมเพื่ออธิบายความแตกต่างเล็กน้อยของการใช้คำกริยาช่วย

ในหลายภาษา ประเภทของกริยาช่วยแสดงออกโดยการเปลี่ยนแปลงรูปกริยา หากเครื่องหมายแสดงกริยาช่วยเหล่านี้เป็นสิ่งที่จำเป็นในภาษาใดภาษาหนึ่ง จะเรียกว่า เครื่องหมายแสดง อารมณ์ตัวอย่างที่รู้จักกันดีของอารมณ์ในบางภาษาในยุโรป ได้แก่ กริยาแสดงความปรารถนา (subjunctive) , กริยาแสดงเงื่อนไข (conditional ) และกริยาแสดงการบอกเล่า (indicative) ดังตัวอย่างจาก ภาษาฝรั่งเศสที่แสดงไว้ด้านล่างทั้งสามแบบใช้กริยาavoir 'มี' เช่นเดียวกับใน ภาษา มาตรฐานยุโรป ส่วนใหญ่ รูปทรงของกริยาไม่ได้ให้ข้อมูลเกี่ยวกับกริยาช่วยเท่านั้น แต่ยังให้ข้อมูลเกี่ยวกับหมวดหมู่อื่นๆ เช่นบุคคลและจำนวนของประธานด้วย

ตัวอย่างของภาษานอกยุโรปที่มีการเข้ารหัสโมดัลลิตี้ที่คล้ายกันคือManamในที่นี้ คำกริยาจะมีคำนำหน้าเป็นมอร์ฟีมซึ่งเข้ารหัสจำนวนและบุคคลของประธาน คำนำหน้าเหล่านี้มีสองแบบ คือrealisและirrealisการเลือกใช้แบบใดขึ้นอยู่กับว่าคำกริยานั้นอ้างถึงเหตุการณ์ในอดีตหรือปัจจุบันที่เกิดขึ้นจริง (realis) หรือเพียงแค่เหตุการณ์ที่เป็นไปได้หรือจินตนาการ (irrealis) ^{[ 4 ]}

กริยาช่วยแสดงความเป็นไปได้เช่น คำในภาษาอังกฤษmay, can, must, ought, will, shall, need, dare, might, could, wouldและshouldมักถูกใช้เพื่อแสดงความเป็นไปได้ โดยเฉพาะในภาษา เยอรมัน

ความสามารถ ความปรารถนา การอนุญาต ข้อผูกมัด และความน่าจะเป็น ล้วนสามารถยกตัวอย่างได้จากการใช้กริยาช่วยในภาษาอังกฤษ:

ความสามารถ : ฉันสามารถขี่จักรยานได้ (ในปัจจุบัน); ฉันเคยขี่จักรยานได้ (ในอดีต)

ความน่าปรารถนา : ฉันควรไป; ฉันน่าจะไป

ขออนุญาต : ฉันไปได้ไหม

ภาระหน้าที่ : ฉันต้องไปแล้ว

ความเป็นไปได้ : เขาอาจจะอยู่ที่นั่น; เขาอาจจะอยู่ที่นั่น; เขาต้องอยู่ที่นั่น

คำกริยาเช่น "ต้องการ" "จำเป็น" หรือ "เป็นของ" สามารถใช้แสดงความเป็นไปได้ในเชิง คำศัพท์ได้ เช่นเดียวกับคำ วิเศษณ์

(9) มันควรอยู่ในพิพิธภัณฑ์!

คำเชื่อม (เช่น ภาษารัสเซีย) และคำสันธาน (เช่นภาษาโปโมกลาง^{[ 5 ]} ) สามารถใช้เพื่อสื่อถึงรูปแบบได้

• แองเจลิกา แครตเซอร์
• ข้อสมมติฐานที่ตรงกันข้าม
• ความหมายเชิงพลวัต
• หลักฐาน
• แฟรงค์ อาร์. พาล์มเมอร์
• การอนุมานทางเลือกอิสระ
• ตรรกะเชิงโมดอล
• ความสัมพันธ์ย่อยเชิงโมดอล
• รูปแบบ (สัญศาสตร์)
• โลกที่เป็นไปได้
• กาล-ลักษณะ-อารมณ์
• คำวิเศษณ์ช่วยแสดงความหมายในภาษาอังกฤษที่ Wiktionary

• Asher, RE (บรรณาธิการ), สารานุกรมภาษาและภาษาศาสตร์ (หน้า 2535–2540). อ็อกซ์ฟอร์ด: สำนักพิมพ์เพอร์กามอน.
• Blakemore, D. (1994). หลักฐานและรูปแบบ . ใน RE Asher (บรรณาธิการ), สารานุกรมภาษาและภาษาศาสตร์ (หน้า 1183–1186). อ็อกซ์ฟอร์ด: สำนักพิมพ์ Pergamon. ISBN 0-08-035943-4.
• Bybee, Joan; Perkins, Revere และ Pagliuca, William (1994). วิวัฒนาการของไวยากรณ์: กาล ลักษณะ และกริยาช่วยในภาษาต่างๆ ทั่วโลก . ชิคาโก: สำนักพิมพ์มหาวิทยาลัยชิคาโก.
• คาลเบิร์ต เจพี (1975) ไปสู่ความหมายของกิริยา ใน JP Calbert & H. Vater (บรรณาธิการ), Aspekte der Modalität ทูบิงเงน: Gunter Narr.
• คัลลาแฮม, สก็อตต์ เอ็น. (2010) รูปแบบและอินฟินิทีฟสัมบูรณ์ในภาษาฮีบรูในพระคัมภีร์ไบเบิล Abhandlungen für die Kunde des Morgenlandes 71. วีสบาเดิน: ฮาร์ราสโซวิทซ์.
• ชุง, แซนดรา และ ทิมเบอร์เลค, อลัน (1985). กาล ลักษณะ และอารมณ์ . ใน ที. โชเพน (บรรณาธิการ), ประเภทภาษาและการบรรยายโครงสร้างประโยค: หมวดหมู่ทางไวยากรณ์และคำศัพท์ (เล่ม 3, หน้า 202-258). เคมบริดจ์: สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์.
• Kratzer, A. (1981). หมวดหมู่แนวคิดของกริยาแสดงความเป็นไปได้ใน H.-J. Eikmeyer & H. Rieser (บรรณาธิการ), คำ โลก และบริบท: แนวทางใหม่ในความหมายของคำเบอร์ลิน: Walter de Gruyter.
• Palmer, FR (1979). Modality and the English modals . London: Longman.
• Palmer, FR (1994). อารมณ์และรูปแบบ . สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์. ฉบับพิมพ์ครั้งที่สอง 2001.
• Saeed, John I. (2003). ความหมายของประโยค 1: สถานการณ์: รูปแบบและหลักฐาน . ใน J. I Saeed, ความหมาย (ฉบับที่ 2) (ส่วนที่ 5.3, หน้า 135–143). Malden, MA: Blackwell Publishing. ISBN 0-631-22692-3, ISBN 0-631-22693-1.
• Sweetser, EE (1982). รากศัพท์และรูปแบบความรู้: ความเป็นเหตุเป็นผลในสองโลก Berkeley Linguistic Papers , 8 , 484–507.

• รูปแบบและหลักฐาน
• อารมณ์และรูปแบบการแสดงอารมณ์คืออะไร? (SIL International, คำศัพท์ทางภาษาศาสตร์ )