Klasse (filosofi) - Class (philosophy)

En klasse er en samling hvis medlemmer enten faller under et predikat eller er klassifisert etter en regel. Derfor, mens et sett bare kan defineres utvidbart av elementene, har en klasse også en intensjonell dimensjon som forener medlemmene. Når begrepet "klasse" brukes slik at det inkluderer de settene som elementene er ment å samles uten et felles predikat eller en felles regel, kan skillet angis ved å kalle slike sett for "upassende klasse."

Filosofer skiller noen ganger klasser fra typer og slag . Vi kan snakke om klassen av mennesker, akkurat som vi kan snakke om typen (eller den naturlige typen ), mennesket eller menneskeheten. Hvordan kan klassene da skille seg fra typene? Man kan godt tro at de faktisk ikke er forskjellige kategorier av vesen , men mens begge behandles som abstrakte objekter , blir klasser vanligvis ikke behandlet som universelle , mens typer vanligvis er det. Hvorvidt naturlige arter burde betraktes som universelle er forferdet; se naturlig slag .

Det er uansett forskjell på hvordan vi snakker om typer eller slag. Vi sier at Sokrates er et tegn på en type, eller en forekomst av naturlig type, menneskelig vesen . Men legg merke til at vi i stedet sier at Sokrates er medlem av klassen av mennesker. Vi vil ikke si at Sokrates er et "medlem" av typen eller typen, mennesker. Vi vil heller ikke si at han er en type (eller snill) av en klasse. Han er et symbol (eksempel) av typen (slag). Så den språklige forskjellen er: typer (eller slags) har tokens (eller forekomster); klasser har derimot medlemmer.

Konseptet med en klasse ligner begrepet et sett definert av medlemmene. Her er klassen utvidende. Hvis imidlertid et sett er definert intensjonalt, er det et sett med ting som oppfyller noen krav om å være medlem. Dermed kan et slikt sett sees på som å skape en type. Merk at det også skaper en klasse fra utvidelsen av det intensjonelle settet. En type har alltid en tilsvarende klasse (selv om den klassen kanskje ikke har medlemmer), men en klasse har ikke nødvendigvis en tilsvarende type.

Referanser

Eksterne linker


Stub-ikon

Denne logikkrelaterte artikkelen er en stub . Du kan hjelpe Wikipedia ved å utvide den .