Filosofiya uzb

Formallashtirish  konkret  mazmunga  ega  bulgan  fikrlarni  simvollar  bilan  almashtirish,  ya`ni 
propozitsional funktsiya hosil qilish, formulalar kiritish, mantiqiy qoidalarni yaratish orqali tafakkurning 
(fikrning)  strukturasini  ifoda  qilish  demakdir.  Tafakkurning  strukturasi  bilan  mantiqning  tilda  ifoda 
qilinishi  strukturasi  urtasida  uzaro  muvofiqlik  mavjud,  ya`ni  har  bir  konkret  fikr  strukturasiga  ma`lum 
bir  til  strukturasi  muvofiq  keladi.  Buni  proporzitsional  funktsiya  hosil  qilish  misolida  kurishimiz 
mumkin.  «Toshkent-¤zbekistonning  poytaxti»  degan  fikrdagi  «Toshkent»  tushunchasini  –  S, 
«¤zbekistonning  poytaxti»  tushunchasini  –  R  bilan  almashtirsak,  S–R  kurinishiga  ega  bulgan 
propozitsional  funktsiya  hosil  buladi.