objèktų srits, kurios nors tyrimo srities objektų visuma. Svarbi predikatų ir klasių logikos sąvoka. Predikatų logikoje vartojama nustatyti skaičių objektų, kurie gali būti individinių ir predikatinių kintamųjų reikšmėmis. Klasių logikoje objektų sritis vadinama universaliąja klase (universumu), žymima skaičiumi 1 ir laikoma nulinės (tuščios, be elementų) klasės priešybe. Samprotaujant objektų sritis gali plėstis arba siaurėti. F. L. G. Frege objektų sritį niekuo neribojo manydamas, kad jai galima priskirti pačias logines klases. B. Russellas parodė, kad tokia objektų srities samprata sukuria paradoksus. Šiuolaikinė logika objektų sritį apriboja loginiais tipais, pavyzdžiui, objektų sritį ne knygos sudaro visi spaudos leidiniai ir raštai, išskyrus knygas, bet jai nepriskiriami visi kiti galimi objektai (baldai, namai ir kita).
314