O’quv-uslubiy majmua O’zbekiston Respublikasi Oliy va o’rta maxsus ta’lim vazirligining 2020 yil 14-avgustdagi № bd-5110100 02 bilan tasdiqlangan falsafa fanidan namunaviy dastur asosida ishlab chiqilgan

AJRATIB KO’RSATUVCHI HUKM – ma’lum belgi faqat o’sha predmetga tegishli ekanini ko’rsatadigan hukm.

AYLANTIRISH (lot. abversio) bevosita hulosa chiqarish bo’lib, bunda tasdiq hukm inkorga yoki inkor tasdiq hukm holiga keltiriladi. Aylantirish natijasida hukmning sifati o’zgaradi.

AYIRUVCHI (DIZ’YUNKTIV) HUKM – bir necha hukmlar yoki (v) bog’lovchi orqali murakkab hukmni tashkil etadi. Bu ikki xil: qat’iy ayiruvchi hukm va oddiy ayiruvchi ko’rinishda bo’ladi.

AYIRUVCHI (DIZ’YUNKTIV) SILLOGIZM – katta asos ayiruvchi hukmdan, kichik asos va hulosa esa qat’iy hukmdan iborat bo’ladi. Bu ikki xil modusdan iborat.

AYNIYAT QONUNI (lot. Lex indentitatis) formal mantiqning asosiy qonunlaridan bo’lib, bu qonunga ko’ra muhokama jarayonida ma’lum predmet to’g’risidagi fikr xajm jixatidan barqaror muayyanlikni saqlashi kerak. Bu qonun fikrni aniq ifodalash talab qiladi. Muhokamada har bir tushuncha aynan bir ma’noda ishlatilmog’i lozim. Uning formulasi A=A dir.

AKSIOMA (grek. axioma – qabul qilingan holda) – ma’lum nazariyani isbotlash uchun keltiriladigan isboSiz qabul qilingan tushunchalardir. Mantiqda aksioma isboSiz qabul qilingan haqiqat ma’nosida ishlatiladi. Hozirgi zamon ilmiy tekshirish shlarida aksiomatik metod juda katta ahamiyatga ega. U ilmiy nazariyalarning deduktiv hulosalar chiqarish yordamida tashkil topish sullaridan biri. Shuning uchun «deduktiv metod» va aksiomatik metod ko’pincha aynan tushunchalar sifatida ishlatiladi.

ALTERNATIVA (lot. Alternare – almashmoq, navbat bilan qilmoq) – mumkin bo’lgan qarama – qarshi ikki yoki bir necha holdan tanlab olish zaruriyati. antiqda ayiruvchi hukmning har bir qismi alternativa bo’la oladi.