คุณสมบัติและตัวอย่างของภาษาที่เป็นทางการ

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

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

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

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

ดัชนี

• 1 ลักษณะ
  • 1.1 สภาพแวดล้อมที่ถูก จำกัด
  • 1.2 กฎทางไวยากรณ์เบื้องต้น
  • 1.3 ส่วนประกอบความหมายขั้นต่ำ
  • 1.4 ภาษาสัญลักษณ์
  • 1.5 Universality
  • 1.6 ความแม่นยำและการแสดงออก
  • 1.7 การขยายกำลังการผลิต
• 2 ตัวอย่าง
  • 2.1 ลอจิก
  • 2.2 คณิตศาสตร์
  • 2.3 การเขียนโปรแกรมคอมพิวเตอร์
• 3 อ้างอิง

คุณสมบัติ

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

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

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

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

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

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

องค์ประกอบความหมายขั้นต่ำ

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

โหลดความหมายที่พวกเขาอาจได้มาจากผู้ประกอบการและความสัมพันธ์ บางส่วนของเหล่านี้คือ: ความเท่าเทียมกัน, ความไม่เท่าเทียมกัน, ตรรกะเชื่อมต่อและผู้ประกอบการทางคณิตศาสตร์.

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

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

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

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

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

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

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

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

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

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

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

ความจุการขยายตัว

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

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

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

ตัวอย่าง

ตรรกะ

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

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

คณิตศาสตร์

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

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

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

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

บรรทัดการเขียนโปรแกรมหาก 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. Corbin, J. A. (s / f) ภาษา 12 ประเภท (และลักษณะของภาษา) psicologiaymente.com.
7. เบล Enguix, G. และJiménezLópez, M. D. (s / f) Symposium: การประยุกต์ใช้ใหม่ของทฤษฎีภาษาทางการกับภาษาศาสตร์ นำมาจาก elvira.lllf.uam.es.