NGÔN NGỮ TRANG TRỌNG: ĐẶC ĐIỂM VÀ VÍ DỤ - VĂN CHƯƠNG - 2026

Các ngôn ngữ chính thức là một tập hợp các dấu hiệu ngôn ngữ sử dụng độc quyền trong trường hợp ngôn ngữ tự nhiên là không thích hợp. Nói chung, ngôn ngữ được chia thành tự nhiên hoặc không chính thức và nhân tạo. Đầu tiên được sử dụng cho các tình huống thông thường hàng ngày. Trong khi đó, nhân tạo được sử dụng trong các tình huống cụ thể ngoài phạm vi cuộc sống hàng ngày.

Theo cách này, ngôn ngữ hình thức là một phần của nhóm ngôn ngữ nhân tạo. Điều này được sử dụng, đặc biệt, trong các khoa học chính thức (những khoa học mà lĩnh vực hoạt động không phải là thực tại của thế giới vật chất mà là thế giới trừu tượng). Một số ngành khoa học này bao gồm logic, toán học và lập trình máy tính.

Theo nghĩa này, loại ngôn ngữ này sử dụng các mã ngôn ngữ không tự nhiên (chúng không có ứng dụng trong giao tiếp ở thế giới thông thường). Trong lĩnh vực khoa học hình thức, ngôn ngữ hình thức là một tập hợp các chuỗi ký hiệu có thể được điều chỉnh bởi các luật cụ thể cho từng ngành khoa học này.

Bây giờ loại ngôn ngữ này sử dụng một tập hợp các ký hiệu hoặc chữ cái như một bảng chữ cái. Từ đó các "chuỗi ngôn ngữ" (từ) được hình thành. Những từ này, nếu tuân thủ các quy tắc, được coi là "các từ được hình thành tốt" hoặc "các công thức được hình thành tốt".

nét đặc trưng

Môi trường hạn chế

Ngôn ngữ chính thức nhằm mục đích trao đổi dữ liệu trong các điều kiện môi trường khác với các ngôn ngữ khác. Ví dụ, trong ngôn ngữ lập trình, kết thúc là giao tiếp giữa con người và máy tính hoặc giữa các thiết bị máy tính. Nó không phải là giao tiếp giữa con người.

Do đó, nó là một ngôn ngữ đặc biệt, được tạo ra với một mục tiêu cụ thể và hoạt động trong những bối cảnh rất cụ thể. Ngoài ra, nó không được sử dụng rộng rãi. Ngược lại, việc sử dụng nó bị hạn chế đối với những người biết cả mục tiêu của ngôn ngữ và ngữ cảnh cụ thể của nó.

Quy tắc ngữ pháp ưu tiên

Ngôn ngữ hình thức được hình thành từ việc thiết lập các quy tắc ngữ pháp tiên nghiệm tạo cơ sở cho nó. Do đó, đầu tiên tập hợp các nguyên tắc sẽ chi phối sự kết hợp của các phần tử (cú pháp) được thiết kế và sau đó các công thức được tạo ra.

Mặt khác, sự phát triển của ngôn ngữ hình thức là có ý thức. Điều này có nghĩa là họ cần phải nỗ lực bền bỉ cho việc học tập. Tương tự như vậy, việc sử dụng nó dẫn đến sự chuyên môn hóa trong các quy định và quy ước sử dụng khoa học.

Thành phần ngữ nghĩa tối thiểu

Thành phần ngữ nghĩa trong ngôn ngữ trang trọng là tối thiểu. Một chuỗi đã cho thuộc về ngôn ngữ hình thức tự nó không có nghĩa.

Gánh nặng ngữ nghĩa mà chúng có thể có một phần đến từ các toán tử và các mối quan hệ. Một số trong số đó là: bình đẳng, bất bình đẳng, liên kết logic và toán tử số học.

Trong ngôn ngữ tự nhiên, sự lặp lại kết hợp của "p" và "a" trong từ "papa" có giá trị ngữ nghĩa của cha mẹ. Tuy nhiên, trong ngôn ngữ chính thức thì không. Trong lĩnh vực thực tế, ý nghĩa hoặc cách giải thích của các chuỗi nằm trong lý thuyết mà người ta cố gắng xác định thông qua ngôn ngữ chính thức này.

Do đó, khi được sử dụng cho các hệ phương trình tuyến tính, nó có lý thuyết ma trận là một trong những giá trị ngữ nghĩa của nó. Mặt khác, cùng một hệ thống này có tải ngữ nghĩa của các thiết kế mạch logic trong máy tính.

Tóm lại, ý nghĩa của các chuỗi này phụ thuộc vào lĩnh vực khoa học chính thức mà chúng được áp dụng.

Ngôn ngữ tượng trưng

Ngôn ngữ chính thức là hoàn toàn tượng trưng. Điều này được tạo ra từ các phần tử có nhiệm vụ truyền tải mối quan hệ giữa chúng. Các yếu tố này là các dấu hiệu ngôn ngữ chính thức, như đã đề cập, tự chúng không tạo ra bất kỳ giá trị ngữ nghĩa nào.

Hình thức xây dựng ký hiệu của ngôn ngữ hình thức cho phép tính toán và thiết lập chân lý không phụ thuộc vào các dữ kiện mà phụ thuộc vào mối quan hệ của chúng. Chủ nghĩa tượng trưng này là duy nhất và khác xa với bất kỳ hoàn cảnh cụ thể nào trong thế giới vật chất.

Tính phổ quát

Ngôn ngữ trang trọng có tính cách phổ quát. Không giống như phương ngữ tự nhiên, được thúc đẩy bởi tính chủ quan của nó, cho phép giải thích và nhiều phương ngữ, phương ngữ chính thức là bất biến.

Trên thực tế, nó tương tự đối với các loại cộng đồng khác nhau. Những tuyên bố của ông có cùng ý nghĩa đối với tất cả các nhà khoa học bất kể họ nói ngôn ngữ nào.

Độ chính xác và biểu cảm

Nói chung, ngôn ngữ trang trọng là chính xác và không biểu đạt nhiều. Các quy tắc hình thành của nó ngăn người nói của nó đặt ra các thuật ngữ mới hoặc đưa ra ý nghĩa mới cho các thuật ngữ hiện có. Và, nó không thể được sử dụng để truyền đạt niềm tin, tâm trạng và tình huống tâm lý.

Khả năng mở rộng

Khi có nhiều tiến bộ trong việc khám phá các ứng dụng cho ngôn ngữ chính thống, sự phát triển của nó đã theo cấp số nhân. Thực tế là nó có thể được vận hành một cách máy móc mà không cần suy nghĩ về nội dung của nó (ý nghĩa của nó) cho phép sự kết hợp tự do giữa các ký hiệu và toán tử của nó.

Về lý thuyết, phạm vi mở rộng là vô hạn. Ví dụ, nghiên cứu gần đây trong lĩnh vực máy tính và tin học liên quan đến cả hai ngôn ngữ (tự nhiên và chính quy) cho các mục đích thực tế.

Cụ thể, các nhóm nhà khoa học làm việc để tìm cách cải thiện sự tương đương giữa chúng. Cuối cùng, những gì được tìm kiếm là tạo ra trí thông minh có thể sử dụng ngôn ngữ chính thức để tạo ra ngôn ngữ tự nhiên.

Ví dụ

Hợp lý

Trong chuỗi: (p⋀q) ⋁ (r⋀t) => t, các chữ cái p, q, r, t tượng trưng cho mệnh đề không có ý nghĩa cụ thể. Mặt khác, các ký hiệu ⋀, ⋁, và => đại diện cho các đầu nối liên kết các mệnh đề. Trong ví dụ cụ thể này, các đầu nối được sử dụng là “và” (⋀), “hoặc” (⋁), “sau đó” (=>).

Phép dịch gần nhất với chuỗi là: nếu bất kỳ biểu thức nào trong dấu ngoặc đơn là đúng hay không thì t có đúng hay không. Các trình kết nối có nhiệm vụ thiết lập các mối quan hệ giữa các mệnh đề có thể đại diện cho bất cứ điều gì.

môn Toán

Trong ví dụ toán học này A = ❴xx⦤3⋀x> 2❵, một tập hợp có tên “A” có các phần tử của tên “x” xen vào. Tất cả các phần tử của A có liên quan với nhau bởi ký hiệu ❴, -, ⦤, ⋀,>, ❵.

Tất cả chúng được sử dụng ở đây để xác định các điều kiện mà các phần tử "x" phải đáp ứng để chúng có thể thuộc tập "A".

Giải thích của chuỗi này là các phần tử của tập hợp này là tất cả những phần tử đáp ứng điều kiện nhỏ hơn hoặc bằng 3 và đồng thời lớn hơn 2. Nói cách khác, chuỗi này xác định số 3, là phần tử duy nhất đáp ứng các điều kiện.

Lập trình máy tính

Dòng lập trình IF A = ​​0, THEN GOTO 30, 5 * A + 1 có một biến “A” phải qua quá trình xem xét và ra quyết định thông qua một toán tử được gọi là “nếu có điều kiện”.

Các biểu thức "IF", "THEN" và "GOTO" là một phần của cú pháp toán tử. Trong khi đó, phần còn lại của các yếu tố là giá trị so sánh và hành động của "A".

Ý nghĩa của nó là: máy tính được yêu cầu đánh giá giá trị hiện tại của "A". Nếu nó bằng 0, nó sẽ chuyển đến "30" (một dòng lập trình khác sẽ có một lệnh khác). Trong trường hợp nó khác 0, thì biến "A" sẽ được nhân (*) với giá trị 5 và giá trị 1 sẽ được cộng (+) vào nó.

Người giới thiệu

1. Từ điển Collins. (s / f). Định nghĩa về 'ngôn ngữ chính thức'. Lấy từ collinsdictionary.com.
2. Đại học Công nghệ, Sydney. (s / f). Ngôn ngữ trang trọng và không chính thức. Lấy từ uts.edu.au.
3. Định nghĩa. (s / f). Các định nghĩa cho ngôn ngữ chính thức. Lấy từ định nghĩa.net.
4. Đại học Kỹ thuật Madrid. (s / f). Ngôn ngữ tự nhiên và ngôn ngữ chính thức. Lấy từ lorien.die.upm.es.
5. Thành phố Luján. (s / f). Ngôn ngữ trang trọng. Lấy từ lujan.magnaplus.org.
6. Corbin, JA (s / f). 12 loại ngôn ngữ (và đặc điểm của chúng). Psychologiaymente.com.
7. Bel Enguix, G. và Jiménez López, MD (s / f). Hội nghị chuyên đề: Những ứng dụng mới của lý thuyết ngôn ngữ hình thức đối với ngôn ngữ học. Lấy từ elvira.lllf.uam.es.