Diskursens domene - Domain of discourse

Et symbol for settet med diskursens domene

I de formelle vitenskapene er diskursens domene , også kalt diskursuniverset , universalsettet eller bare universet , settet med enheter som visse variabler av interesse for en formell behandling kan variere over.

Oversikt

Diskursdomenet blir vanligvis identifisert i forberedelsene, slik at det ikke er behov for i den videre behandlingen å spesifisere hver gang rekkevidden til de aktuelle variablene. Mange logikere skiller, noen ganger bare stilltiende, mellom vitenskapens domene og diskursuniverset om en formalisering av vitenskapen .

Eksempler

For eksempel, i en tolkning av førsteordens logikk , er diskursens domene settet med individer som kvantifisererne spenner over. En proposisjon som x ( x 2 ≠ 2) er tvetydig, hvis ikke noe diskursdomene er identifisert. I en tolkning kunne diskursens domene være settet med reelle tall ; i en annen tolkning, kan det være settet med naturlige tall . Hvis diskursdomenet er settet med reelle tall, er proposisjonen falsk, med x = 2 som moteksempel; hvis domenet er settet med naturlige tall, er proposisjonen sant, siden 2 ikke er kvadratet til noe naturlig tall.

Diskursunivers

Uttrykket "diskursunivers" refererer generelt til samlingen av objekter som diskuteres i en bestemt diskurs . I modellteoretisk semantikk er et diskursunivers settet av enheter som en modell er basert på. Begrepet univers av diskurs tilskrives generelt Augustus De Morgan (1846), men navnet ble brukt for første gang av George Boole (1854) på ​​side 42 i hans tankelover . Booles definisjon er sitert nedenfor. Konseptet, sannsynligvis oppdaget uavhengig av Boole i 1847, spilte en avgjørende rolle i hans logikkfilosofi, spesielt i hans prinsipp om helhetlig referanse .

Booles definisjon fra 1854

I hver diskurs, enten det er i sinnet som snakker med sine egne tanker, eller hos individet i sitt samleie med andre, er det en antatt eller uttrykt grense innenfor hvilke emner den opererer er begrenset. Den mest ubegrensede diskursen er den ordene vi bruker blir forstått i en bredest mulig anvendelse, og for dem er diskursens grenser like omfattende som universets. Men mer ofte begrenser vi oss til et mindre romslig felt. Noen ganger antyder vi (uten å uttrykke begrensningen) mens vi diskuterer mennesker, at det bare er menn under visse omstendigheter og forhold vi snakker, som siviliserte menn, eller mennesker i livskraften, eller menn under en annen tilstand eller forhold. Uansett hva som er omfanget av feltet der alle gjenstandene for vår diskurs er funnet, kan dette feltet riktig betegnes som diskursuniverset. Videre er dette diskursuniverset i strengeste forstand diskursens ultimate emne.

-  George Boole , The Laws of Thought. 1854/2003. s. 42.

Se også

Referanser