KONSTRUKTIV MANTIQ
KONSTRUKTIV MANTIQ KONSTRUKTIV MANTIQ (lot. constructo — tuzish, qurish, yasash) — matematik mantiqdagi yoʻnalish. Asoschilari: L. Brauer, G. Veyl, A. Geyting va b. Chekli koʻp obyektlarga mansub boʻlgan prinsiplarni cheksiz koʻp obyektlarga qoʻllashni inkor etadi (mas, butunning qismdan kattaligi haqidagi qoida). Cheksizlik tushunchasi klassik (anʼanaviy) mantiq va Konstruktiv mantiqda turlicha talqin etiladi. Klassik mantiq cheksizlikni … Читать далее