Definition of

Formal language in logic

Job interview

In a job interview, formal language is usually used.

The Occitan word idiomatge came to our language as a language . The term has several meanings recognized by the Royal Spanish Academy ( RAE ) in its dictionary.

Language is the human capacity that makes communication and expression possible through sign systems or the articulation of sound. The term can also refer to a communicative system, a way of expressing oneself, a code of signs or a series of signals.

Formal , meanwhile, comes from the Latin formalis . It can name what is linked to form, what has formality or what uses symbols established in a certain system .

What is formal language

The idea of ​​formal language can be understood in different ways. It can be said, in a broad sense, that formal language is that which implies a planned and careful use of language .

This formal language is used in protocol settings and when there is no affective or emotional closeness with the interlocutor. In these cases, certain rules are kept that show respect .

Other characteristics of formal language are precision, rigor and the use of polite formulas. In general, it leaves no room for ambiguity since it does not appeal to complicity with the speakers.

Computing

In logic and computer science, a formal language is artificial and uses primitive symbols linked by specific rules.

Examples of use

Take the case of a job interview . Typically, both parties use formal language to communicate. When meeting the potential employer, the applicant can indicate: “Good afternoon, I thank you for this opportunity. “I am very excited about the possibility of joining the company to contribute my work.”

As can be seen, these linguistic constructions are framed in formal language. It would not be appropriate for the applicant to comment: “Hello, is everything okay? I hope they hire me because it would be great to work here/here.”

In a professional or academic colloquium, on the other hand, formal language is also used. “Next I will explain several of the reasons that, according to different research, lead to an increase in inflation” is an expression that a speaker can pronounce using formal language. On the other hand, a phrase like “Now I'm going to tell you why everything goes up” is too informal for the context .

Formal language in logic

In the field of logic , mathematics and computer science , formal language is developed with primitive symbols , related by rules that are formally specified.

All of these primitive symbols make up the vocabulary or alphabet of the formal language. The rules, meanwhile, form the formal syntax or grammar.

The chain of primitive symbols constructed according to the precepts of the grammar in question is called a well-formed formula . This means that formal language is equivalent to all well-formed formulas.

In this framework, formal language is contrasted with natural language . Informal or colloquial language is a natural language: it develops socially over time and each person learns it without the need for a reflective process. Formal language, on the other hand, is conventional and artificial. Their expressions, on the other hand, are systematic and univocal.