A diskurzus területe - Domain of discourse
A formális tudományok , a domain a diskurzus , más néven a világegyetem a diskurzus , univerzális készlet , vagy egyszerűen univerzum , a készlet a gazdálkodó egységek, amelyek bizonyos változókat az érdeklődés bizonyos formai kezelési tartományban lehet.
Áttekintés
A diskurzus területét általában az előzetesekben azonosítják, így a további kezelésben nincs szükség a releváns változók tartományának minden egyes megadására. Sok logikus megkülönbözteti, néha csak hallgatólagosan, a tudomány területét és a tudomány formalizálásának diskurzusát .
Példák
Például az elsőrendű logika értelmezésében a diskurzus területe az egyének halmaza, amelyen a kvantorok terjednek. Az olyan állítás, mint ∀ x ( x 2 ≠ 2) , félreérthető, ha nem határoztak meg diskurzus-tartományt. Az egyik értelmezés szerint a diskurzus területe a valós számok halmaza lehet ; egy másik értelmezésben ez lehet a természetes számok halmaza . Ha a diskurzus tartománya a valós számok halmaza, akkor az állítás hamis, ellenpéldául x = √ 2 ; ha a tartomány természetes számok halmaza, akkor az állítás igaz, mivel a 2 nem egy természetes szám négyzete.
A beszéd univerzuma
A "diskurzus univerzuma" kifejezés általában egy adott diskurzusban tárgyalt tárgyak gyűjteményére utal . A modellelméleti szemantikában a diskurzus univerzuma az entitások halmaza, amelyen a modell alapul. A diskurzus fogalomegyetemét általában Augustus De Morgannak (1846) tulajdonítják, de a nevet először George Boole (1854) használta a gondolati törvények 42. oldalán . Boole definícióját az alábbiakban idézzük. A koncepció, amelyet Boole valószínűleg önállóan fedezett fel 1847-ben, döntő szerepet játszott logikai filozófiájában, különösen a teljes hivatkozás elvében .
Boole 1854-es meghatározása
Minden beszédben, függetlenül attól, hogy az elme beszélget-e a saját gondolataival, vagy az egyén másokkal való kapcsolatában, van egy feltételezett vagy kifejezett határ, amelyen belül működésének alanyai be vannak zárva. A legkorlátlanabb beszéd az, amelyben az általunk használt szavakat a lehető legszélesebb körben értjük, és számukra a diskurzus határai kiterjednek magának az univerzumnak a határai. De általában egy kevésbé tágas mezőre szorítkozunk. Néha a férfiak beszédében azt sugalljuk (a korlátozás kifejezése nélkül), hogy csak bizonyos körülmények között és körülmények között beszélünk az emberekről, civilizált emberekről, vagy életerejükben, vagy más körülmények között vagy reláció. Bármi legyen is annak a mezőnek a kiterjedése, amelyen belül a diskurzusunk összes tárgya megtalálható, ezt a mezőt helyesen nevezhetjük a diskurzus univerzumának. Ezenkívül a diskurzus ezen univerzuma a legszigorúbb értelemben a diskurzus végső alanya.
- George Boole , A gondolat törvényei. 1854/2003. o. 42.
Lásd még
- A függvény tartománya
- Tartományelmélet
- Kvantor (logika)
- Értelmezés (logika)
- Term algebra
- Univerzum (matematika)
