ภาษาที่เป็นทางการ: ลักษณะและตัวอย่าง - วรรณกรรม - 2026

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

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

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

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

ลักษณะเฉพาะ

สภาพแวดล้อมที่ถูก จำกัด

ภาษาทางการมีจุดมุ่งหมายเพื่อแลกเปลี่ยนข้อมูลภายใต้สภาพแวดล้อมที่แตกต่างจากภาษาอื่น ๆ ตัวอย่างเช่นในภาษาโปรแกรมจุดจบคือการสื่อสารระหว่างมนุษย์กับคอมพิวเตอร์หรือระหว่างอุปกรณ์คอมพิวเตอร์ ไม่ใช่การสื่อสารระหว่างมนุษย์

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

ไวยากรณ์เป็นกฎเกณฑ์เบื้องต้น

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

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

องค์ประกอบทางความหมายน้อยที่สุด

องค์ประกอบทางความหมายในภาษาทางการมีน้อย สตริงที่กำหนดซึ่งเป็นของภาษาทางการไม่มีความหมายโดยตัวมันเอง

ภาระทางความหมายที่พวกเขาสามารถมีได้ส่วนหนึ่งมาจากตัวดำเนินการและความสัมพันธ์ บางส่วน ได้แก่ ความเท่าเทียมกันอสมการความเชื่อมโยงเชิงตรรกะและตัวดำเนินการทางคณิตศาสตร์

ในภาษาธรรมชาติการซ้ำกันของ "p" และ "a" ในคำว่า "papa" มีค่าความหมายของ parent อย่างไรก็ตามในภาษาทางการมันไม่ได้ ในภาคปฏิบัติความหมายหรือการตีความของโซ่อยู่ในทฤษฎีที่เราพยายามกำหนดผ่านภาษาที่เป็นทางการนี้

ดังนั้นเมื่อใช้สำหรับระบบสมการเชิงเส้นจึงมีทฤษฎีเมทริกซ์เป็นค่าความหมายอย่างหนึ่ง ในทางกลับกันระบบเดียวกันนี้มีภาระทางความหมายของการออกแบบวงจรลอจิกในการคำนวณ

สรุปได้ว่าความหมายของโซ่เหล่านี้ขึ้นอยู่กับพื้นที่ของวิทยาศาสตร์ที่เป็นทางการที่นำมาใช้

ภาษาสัญลักษณ์

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

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

ความเป็นสากล

ภาษาที่เป็นทางการมีอักขระสากล แตกต่างจากธรรมชาติซึ่งมีแรงจูงใจจากความเป็นส่วนตัวทำให้สามารถตีความและภาษาถิ่นได้หลายภาษา

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

ความแม่นยำและการแสดงออก

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

เพิ่มขยาย

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

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

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

ตัวอย่าง

ตรรกะ

ในสตริง: (p⋀q) ⋁ (r⋀t) => t ตัวอักษร p, q, r, t เป็นสัญลักษณ์ของประพจน์ที่ไม่มีความหมายที่เป็นรูปธรรม ในทางกลับกันสัญลักษณ์⋀, ⋁และ => แทนตัวเชื่อมต่อที่เชื่อมโยงประพจน์ ในตัวอย่างนี้ตัวเชื่อมต่อที่ใช้คือ“ และ” (⋀)“ หรือ” (⋁)“ แล้ว” (=>)

การแปลสตริงที่ใกล้เคียงที่สุดคือ: ถ้านิพจน์ใด ๆ ในวงเล็บเป็นจริงหรือไม่ t เป็นจริงหรือไม่ ตัวเชื่อมต่อมีหน้าที่สร้างความสัมพันธ์ระหว่างประพจน์ที่สามารถแสดงถึงอะไรก็ได้

คณิตศาสตร์

ในตัวอย่างทางคณิตศาสตร์นี้ A = ❴xx⦤3⋀x> 2❵ชุดที่มีชื่อ“ A” ที่มีองค์ประกอบของชื่อ“ x” แทรกอยู่ องค์ประกอบทั้งหมดของ A เกี่ยวข้องกันโดยสัญลักษณ์ sym, -, ⦤, ⋀,>, ❵

ทั้งหมดนี้ใช้เพื่อกำหนดเงื่อนไขที่องค์ประกอบ "x" ต้องปฏิบัติตามเพื่อให้สามารถมาจากเซต "A" ได้

คำอธิบายของห่วงโซ่นี้ก็คือองค์ประกอบของเซตนี้ล้วนเป็นองค์ประกอบที่เข้าเงื่อนไขการมีค่าน้อยกว่าหรือเท่ากับ 3 และในเวลาเดียวกันมากกว่า 2 กล่าวอีกนัยหนึ่งโซ่นี้กำหนดจำนวน 3 ซึ่งเป็นองค์ประกอบเดียวที่ ตรงตามเงื่อนไข

การเขียนโปรแกรมคอมพิวเตอร์

บรรทัดการเขียนโปรแกรม IF A = ​​0, แล้ว GOTO 30, 5 * A + 1 มีตัวแปร "A" ซึ่งอยู่ภายใต้การตรวจสอบและกระบวนการตัดสินใจผ่านตัวดำเนินการที่เรียกว่า "if conditional"

นิพจน์ "IF" "THEN" และ "GOTO" เป็นส่วนหนึ่งของไวยากรณ์ตัวดำเนินการ ในขณะเดียวกันองค์ประกอบที่เหลือคือการเปรียบเทียบและค่าการกระทำของ "A"

ความหมายคือคอมพิวเตอร์จะถูกขอให้ประเมินค่าปัจจุบันของ "A" ถ้ามันเท่ากับศูนย์มันจะไปที่ "30" (บรรทัดการเขียนโปรแกรมอื่นซึ่งจะมีคำสั่งอื่น) ในกรณีที่มันแตกต่างจากศูนย์ตัวแปร“ A” จะถูกคูณ (*) ด้วยค่า 5 และค่า 1 จะถูกเพิ่ม (+) เข้าไป

อ้างอิง

1. พจนานุกรมคอลลินส์ (s / f) คำจำกัดความของ 'ภาษาทางการ' นำมาจาก collinsdictionary.com.
2. มหาวิทยาลัยเทคโนโลยีซิดนีย์ (s / f) ภาษาที่เป็นทางการและไม่เป็นทางการ นำมาจาก uts.edu.au.
3. คำนิยาม (s / f) คำจำกัดความสำหรับภาษาทางการ นำมาจาก definitions.net.
4. มหาวิทยาลัยเทคนิคแห่งมาดริด (s / f) ภาษาธรรมชาติและภาษาทางการ นำมาจาก lorien.die.upm.es.
5. เทศบาลเมืองLuján. (s / f) ภาษาทางการ นำมาจาก lujan.magnaplus.org.
6. คอร์บิน, JA (s / f) ภาษา 12 ประเภท (และลักษณะเฉพาะ) psychologiaymente.com
7. Bel Enguix, G. และJiménezLópez, MD (s / f) Symposium: การประยุกต์ใช้ทฤษฎีภาษาทางการกับภาษาศาสตร์ใหม่ นำมาจาก elvira.lllf.uam.es.