Мавзу: Фалсафа фанининг предмети, ма=сади, вазифалари ва муаммолари

FORMALLASHTIRISH
– ilmiy bilish metodi bo‘lib, ma’lum ob’ektning
mazmunini uning, shakli orqali ifodalanadi.
FORMALLASHGAN TIL
- formal mantiqda ishlatiladigan sun’iy tildir.
Sun’iy til - belgilari sistemasidan iborat bo‘lib, bu sistemalar ma’noni aniq va to‘liq
ifodalash uchun ishlatiladi. Gap tilda mustaqil semantik ma’noga ega va tugal fikrni
anglatadi, to‘liq til belgisini ifodalaydi. 
Predikatlar mantig‘i tilining simvolik ifodasi quyidagicha:
1) A, V, S, ...
– yakka, atoqli yoki tavsifiy predmetlarning nomi ifodalangan
simvollar – predmetli o‘zgarmas (konstant) deb ataladi.
2) X, U, Z, ...
– predmetlarning umumiy nomini ifodalovchi simvollar,
predmetli o‘zgaruvchanlik deb ataladi.
3) R1, Q1, R1, R2, Q2, R2, ... RN, QN, RN,
... – predikorlarni ifodalovchi
simvollar (indekslar predikatlarni joyini ko‘satadi: 1 – bir joyli; 2 – ikki joyli; n –
ko‘p joyli) ularni predikat o‘zgaruvchanligi deyiladi. 
4) R, q, r, ...
propoziSion o‘zgaruvchanlik – gapni ifodalanishini bildiruvchi
simvollar.
5)

,

-
fikrlarning miqdoriy harakteristikasini ifodalovchi simvollar –
kvantor deb ataladi. (

- umumiylik kvantori: «hamma», «har qanday», «hamma
vaqt» kabilarda ifodalanadi. 

- mavjudlik kvantori: «ba’zi», «bo‘ladi», «uchraydi»,
«mavjud» kabilarda ifodalanadi).
6) Mantiqiy bog‘lovchilar: 
kon’yunkaSiya (birlashtiruvchi) - 

(a^b);
diz’yunkSiya (ayiruvchi) -v (avb);
implikaSiya (agar ... u holda) → (a→b);

---

ekvivalent (tenglik) ≈ (a≡v);
INKOR 
– 

(

a).
FORMULA
– (lot. Formula – shakl, qoida) – ma’ulm belgilarda fikrlash
jarayoning qonun va qoidalarini izchil ravishda qisqa bayon etishdir. Formula fikrlash
jarayoni to‘g‘risida aniq ma’lumot beradi. Mantiqda formulalar juda ko‘p
qo‘llaniladi.