Oblasť úvahy

Oblasť úvahy alebo univerzum alebo nespisovne obor úvahy je oblasť skúmania, súbor prvkov a tried, o ktorých sa uvažuje; súbor prvkov a tried, ktorého sa týka náš diskurs alebo naše úvahy a ktorý zabezpečuje súdržnosť usudzovania. Napríklad veta líška klame je pravdivá vo svete bájok, nie však vo svete zoológie.

Obor úvahy je oblasť uvažovania, ktorá sa skladá z presne určiteľných prvkov, resp. presne určiteľných predmetov danej oblasti uvažovania. Presnou určiteľnosťou prvkov oboru úvahy sa rozumie to, že o každom predmete, resp. o každom jeho názve možno jednoznačne rozhodnúť, či do daného oboru úvahy patrí, alebo nepatrí. To znamená, že o danom predmete, resp. näzve možno jednoznačne rozhodnúť, či je, alebo nie je prvkom daného oboru úvahy. Inak by išlo o hmlistý obor úvahy, čo patrí do fuzzy logiky. Ak je teda daný obor úvahy U a ľubovoľný predmet či názov x, potom je o x pravda buď len to, že je prvkom U, alebo len to, že ním nie je. Nie je však vylúčené, že určité x je zároveň prvkom viacerych oborov úvahy. Pri určovaní oboru úvahy, resp. jeho prvkov sa teda uplatňuje dvojhodnotovosť klasickej logiky.

Obor úvahy je koniec koncov určený objektívne, ale na jeho konkrétne vymedzenie pôsobí aj ten, kto uvažuje. Napríklad obor úvahy, ktorým je oblasť česko-slovenského práva môžeme zúžiť na obor úvahy, ktorý tvorí oblasť česko-slovenského trestného práva a ktorého prvkom bude napríklad trest, ale jeho prvkom nebude neopomenuteľný dedič.

Počet prvkov oboru úvahy môže byť nekonečný. Obor úvahy môže byť aj prázdny, a to v tom zmysle, že mpže existovať aj taký obor úvahy, ktorého prvky sú názvami niečoho, čo v skutočnosti neexistuje, napr. obor lesných víl. Nemôže však existovať prázdny obor úvahy aj čo do názvov, pretože tu by nebolo o čom uvažovať.

Existujú obory úvahy, ktorých prvkami sú jednotlivé predmety alebo názvy; existujú ďalej obory úvahy, ktorých prvky tvorí spojenie názvov.