Вештачки симболички јазици

Вештачко симболички јазици се специјално конструирани јазици кои логичарите и

математичарите ги користат за формулирање на своите ставови и за изведувања на
доказите. Програмските јазици кои се применуваат во комјутерската наука и
технологија се исто така вештачки создадени јазици.
Секој вештачки јазик претставува одредено множество од симболи, кое е дефинирано
од два вида на правила:
1.Правила за поврзување на симболите во поголеми јазични целини и
2. Правила за трансформирање на изразите.
Но, за да се воспоставу комуникацијата со соговорниците или читтелите на некој текст,
оној кој се служи со ваков јазик на симболите треаба да и се придаде определени
толкувања.
Секој вештачки јазик ги содржи следниве структурни елемети:
1.Азбука, т.е множество на основните симболи од кои ќе се образуваат сите изрази на
тој јазик. за разлика од природните јазици кои се засновааат на фонетски принцип- за
секој глас постои еден знак, една буква, вештачките јазици се грададт врз идеографски
принцип, т.е за секој поим се користи еден симбол.
2. Правила за образување на изразите или правила на формација
3
4
5. Правила на интерпретација или семантички правила - правила со кои се
определуваат начините на толкување на изразите.

Но, вештачките јазици во логиката не се конструирани со намера да опишат точно

определен сегмент на науката или на стварноста. (туку напротив, на најопшто
рамниште да ги изразат заедничките елементи на мноштвото различни подрачја на
ралоноста и на човековата дејност)

КОга зборуваме за вештачки создадени јазици, треба да се нагласи следниов факт;

наспроти големите разлики кои ги соогледуваме помеѓу вештачките и природните
јазици од една страна и помеѓу одделните природни јазици од друга страна тие имаат
едн о заедничко логичко јадро