Filosofiya uzb

Sun`iy  til  tabiiy  til  negizida  yaratilgan  yordamchi  axborot  belgilari  sistemasidan  iborat  bulib,  u 
mavjud xabarlarni aniq hamda tejamli bayon qilish va uzatish uchun xizmat qiladi. Sun`iy tilda sun`iy 
yul  bilan  yaratilgan  maxsus  belgilar,  ya`ni  simvollar-ramzlar  ishlatiladi.  Tabiiy  tildagi  konkret 
mazmunga ega bulgan fikrlar ilmiy bilishda ana shunday simvollar bilan almashtiriladi. Demak, sun`iy 
til  fikrimizning  konkret  mazmunidan  chetlashgan  holda,  faqat  simvollar  bilan  ish  olib  borishni 
ta`minlaydi. 
Sun`iy tillar hozirgi zamon fani va texnikasida keng qullaniladi. Ularning ayniqsa matematika, fizika, 
kimyo,  kibernetika,  hisoblash  texnikasi  va  shu  kabi  sohalar  rivojlanishida  hissasi  katta.  Sun`iy  tillarning 
ishlatilishiga  misol  qilib  matematikadagi  tug`ri  burchakli  uchburchak  tomonlarini  ifoda  qiluvchi 
Sos
g`
α
+Sin
g`
α
=1 formulasini, kimyodagi suvni ifoda qiluvchi  N
g`
O formulani, mexanikadagi tezlikni ifoda 
qiluvchi
t
S
=
ϑ
formulasini  va  shu  kabilarni  kursatish  mumkin.  Elektron  hisoblash  mashinalari  uchun 
dasturlar  tuzishda  esa  maxsus  algoritmik  tillar  ishlatiladi.  Ular  «Algol  –  60»,  «Algol  –  6o`»,  «Fortran», 
«Kobol», «PL – 1», «Assembler», «Beysik» va boshqalardan iborat. Sun`iy tildan mantiq fani ham fikrimiz 
tuzilishini nazariy jihatdan analiz qilishda foydalanadi. 
Demak,  ilmiy  bilishda  tabiy  tildan  ham,  sun`iy  tildan  ham  foydalaniladi. 
Ilmiy  til  esa  tabiy  til, 
sun`iy til va maxsus atamalardan tashkil topgan buladi. 
Umumiy mantiq uzining maxsus ilmiy formallashgan tiliga ega. U inson tafakkurining tuzilishini 
aniq  va  ravshan  holda  ifoda  qilish  maqsadida  yaratilgan.  Buning  mohiyatini  tushunish  uchun 
formallashtirishning uzi nima ekanligini aniqlab olish zarur.