Język formalny: cechy i przykłady

Język formalny to zestaw znaków językowych używanych wyłącznie w sytuacjach, w których język naturalny nie jest odpowiedni. Ogólnie język jest podzielony na naturalny lub nieformalny i sztuczny. Pierwszy jest używany do zwykłych sytuacji codziennego życia. Tymczasem sztuczne jest używane w określonych sytuacjach poza zakresem codziennego życia.

W ten sposób język formalny jest częścią sztucznej grupy. Jest to wykorzystywane, zwłaszcza w naukach formalnych (tych, których pole działania nie jest rzeczywistością świata fizycznego, ale światem abstrakcyjnym). Niektóre z tych nauk obejmują logikę, matematykę i programowanie komputerowe.

W tym sensie ten rodzaj języka wykorzystuje kody językowe, które nie są naturalne (nie mają zastosowania w komunikacji w zwykłym świecie). W dziedzinie nauk formalnych język formalny jest zbiorem łańcuchów symboli, które mogą być regulowane przez prawa specyficzne dla każdej z tych nauk.

Teraz ten typ języka używa zestawu symboli lub liter jako alfabetu. Z tego powstają „łańcuchy języka” (słowa). Te, jeśli są zgodne z zasadami, są uważane za „dobrze sformułowane słowa” lub „dobrze sformułowane formuły”.

Funkcje

Ograniczone środowisko

Celem języka formalnego jest wymiana danych w różnych warunkach środowiskowych niż w innych językach. Na przykład w języku programowania celem jest komunikacja między ludźmi i komputerami lub między komputerowymi urządzeniami. To nie jest komunikacja między ludźmi.

Jest to zatem język ad hoc, stworzony z określonym celem i funkcjonujący w bardzo specyficznych kontekstach. Nie jest też używany w masowy sposób. Przeciwnie, jego użycie jest ograniczone do tych, którzy znają zarówno cel języka, jak i jego szczególny kontekst.

Zasady gramatyczne a priori

Formalny język powstaje z ustanowienia a priori reguł gramatycznych, które dają podstawę. Dlatego najpierw projektujemy zestaw zasad, które będą rządzić kombinacją elementów (składnią), a następnie generować formuły.

Z drugiej strony rozwój języka formalnego jest świadomy. Oznacza to, że do ich nauki potrzebny jest trwały wysiłek. W tej samej kolejności idei jej użycie prowadzi do specjalizacji w przepisach i konwencjach naukowych.

Minimalny komponent semantyczny

Element semantyczny w języku formalnym jest minimalny. Pewien łańcuch należący do języka formalnego sam w sobie nie ma znaczenia.

Obciążenie semantyczne może pochodzić częściowo od operatorów i relacji. Niektóre z nich to: równość, nierówność, logiczne operatory łączące i arytmetyczne.

W języku naturalnym powtarzanie kombinacji „p” i „a” w słowie „tata” ma wartość semantyczną rodzica. Jednak w języku formalnym tak nie jest. W dziedzinie praktycznej znaczenie lub interpretacja łańcuchów opiera się na teorii, którą próbuje się określić poprzez ten formalny język.

Tak więc, gdy jest on używany do liniowych układów równań, ma teorię macierzy jako jedną ze swoich wartości semantycznych. Z drugiej strony ten sam system ma semantyczne obciążenie w projektowaniu obwodów logicznych.

Podsumowując, znaczenia tych łańcuchów zależą od obszaru nauk formalnych, w których są stosowane.

Język symboliczny

Język formalny jest całkowicie symboliczny. Jest to zrobione z elementów, których misją jest przekazanie relacji między nimi. Te elementy są formalnymi znakami językowymi, które, jak wspomniano, same nie generują żadnej wartości semantycznej.

Forma konstrukcji symboliki języka formalnego pozwala nam na dokonywanie obliczeń i ustalanie prawd w zależności nie od faktów, ale od ich relacji. Ta symbolika jest wyjątkowa i daleko od jakiejkolwiek konkretnej sytuacji w świecie materialnym.

Uniwersalność

Język formalny ma charakter uniwersalny. W przeciwieństwie do naturalnej, która motywuje do swojej subiektywności, pozwala na interpretacje i liczne dialekty, formalna wydaje się niezmienna.

W rzeczywistości jest podobny dla różnych typów społeczności. Ich podejście ma takie samo znaczenie dla wszystkich naukowców, niezależnie od języka, w jakim mówią.

Precyzja i ekspresja

Ogólnie rzecz biorąc, język formalny jest precyzyjny i niezbyt wyrazisty. Jego zasady formowania uniemożliwiają mówcom tworzenie nowych terminów lub nadawanie nowych znaczeń istniejącym terminom. I nie można go używać do przekazywania przekonań, nastrojów i sytuacji psychologicznych.

Możliwości rozbudowy

W miarę, jak dokonano postępu w odkrywaniu wniosków o język formalny, jego rozwój został potęgowany. Fakt, że można go obsługiwać mechanicznie bez zastanawiania się nad jego zawartością (jego znaczeniami), pozwala na swobodną kombinację jego symboli i operatorów.

Teoretycznie zakres ekspansji jest nieskończony. Na przykład ostatnie badania w dziedzinie informatyki i informatyki dotyczą obu języków (naturalnego i formalnego) w celach praktycznych.

W szczególności grupy naukowców pracują nad sposobami poprawy równoważności między nimi. Ostatecznie dąży się do stworzenia inteligencji, która może używać języka formalnego do tworzenia języka naturalnego.

Przykłady

Logika

W łańcuchu: (p⋀q) ⋁ (r⋀t) => t, litery p, q, r, t symbolizują zdania bez żadnego konkretnego znaczenia. Z drugiej strony symbole ⋀, ⋁ i => reprezentują złącza łączące propozycje. W tym konkretnym przykładzie używane złącza to „y” (⋀), „o” (⋁), „następnie” (=>).

Najbliższe tłumaczenie łańcucha to: jeśli którekolwiek z wyrażeń w nawiasach jest spełnione, t jest spełnione lub nie jest spełnione. Złącza są odpowiedzialne za ustanowienie relacji między zdaniami, które mogą reprezentować cokolwiek.

Matematyka

W tym matematycznym przykładzie A = |x | x⦤3⋀x> 2❵ interweniuje zestaw o nazwie „A”, który zawiera elementy o nazwie „x”. Wszystkie elementy A są powiązane symboliką ❴, |, ⦤, ⋀, >, ❵.

Wszystkie z nich są tutaj używane do zdefiniowania warunków, które elementy „x” muszą spełnić, aby mogły być z zestawu „A”.

Wyjaśnienie tego łańcucha polega na tym, że wszystkie elementy tego zestawu spełniają warunek bycia mniejszym lub równym 3 i jednocześnie większym niż 2. Innymi słowy, ten łańcuch definiuje liczbę 3, która jest jedynym elementem, który spełnia warunki.

Programowanie komputerowe

Linia programowania IF A = ​​0, TO GOTO 30, 5 * A + 1 ma zmienną „A” poddaną procesowi przeglądu i podejmowania decyzji przez operatora znanego jako „warunkowy”.

Wyrażenia „IF”, „THEN” i „GOTO” są częścią składni operatora. Tymczasem pozostałe elementy są wartościami porównania i działania „A”.

Jego znaczenie to: komputer jest proszony o ocenę bieżącej wartości „A”. Jeśli jest równy zero, przejdzie do „30” (kolejna linia programowania, w której będzie inna instrukcja). W przypadku, gdy różni się od zera, zmienna „A” zostanie pomnożona (*) o wartość 5, a wartość 1 zostanie dodana (+).