Ejendom (i filosofi , matematik og logik ) er en egenskab ved et objekt ( objekt ). [B: 1] [B: 2] [B: 3] [1] Begrebet " ejendom " er en kategori, der har "den samme værdi for enhver videnskab ", sammen med to andre hovedkategorier; ting og relationer . [2]
Ifølge princippet om identifikation af ting , som er kendt som Leibniz' lov, er to ting identiske, hvis alle deres egenskaber er fælles. [3]
Ifølge en anden definition er ejendom aspektet af manifestation af kvalitet . Samtidig bør ikke enhver egenskab ved et objekt ( objekt ) tages i betragtning, når man bestemmer kvalitet : et objekt kan have en egenskab, men når man sammenligner et objekt med andre, er det muligvis ikke karakteristisk eller signifikant.
Et objekts egenskaber afhænger af typen af interaktion mellem objektet og motivet , for eksempel: hvis du ser på et æble, har det en farve og form; bider man den af, har den hårdhed og smag; hvis det vejes, har det vægt; hvis du vurderer dens dimensioner - har den dimensioner, hvis du rører ved den - er æblet glat at røre ved. Objektet er dets egenskaber ikke kun for subjektet, men også for andre objekter, det vil sige, at egenskaber også kan opstå under interaktionen mellem objekter med hinanden.
For eksempel siges en rød genstand at have egenskaben "rødme". En egenskab kan opfattes som en form for et objekt i sig selv, selvom den også kan have andre egenskaber. Egenskaber er under denne udvidede fortolkning underlagt Theseus-paradokset [4] , Russells paradoks og Grelling-Nelsons paradoks .
Helheden af nogle bestemte egenskaber ved et objekt kan manifestere sig i en eller anden generaliseret egenskab ved objektet (absorberet af en generaliseret egenskab). For eksempel er "rødmen" af et æble en generaliseret egenskab ved et æble, og procentdelen af indholdet af individuelle kemikalier i huden på et æble (kendetegner denne "rødme" af et æble) er særlige egenskaber ved et æble; En bils "dynamik" er en generaliseret egenskab ved en bil, mens motorkraft, køreklar vægt, endeligt køreforhold osv. (kendetegner denne "dynamik" af en bil) er særlige egenskaber ved en bil.
Den fejlagtige slutning fra tilfældigheder findes ofte i induktive generaliseringer. Når man bemærker, at en bestemt egenskab er blevet fundet i alle objekter af en klasse, der er observeret hidtil, tror skødesløse efterforskere ofte, at denne egenskab er essentiel for genstande af en given klasse og derfor skal findes ikke kun i de eksemplarer, der allerede er overvejet, men også i ethvert repræsentant for samme klasse. En egenskab, der findes i flere (eller endda mange) elementer i en klasse, kan være væsentlig, men den kan også være tilfældig. [5]
En egenskab adskiller sig fra det logiske begreb om en klasse ved, at den ikke er relateret til begrebet ekstensionalitet , og fra det filosofiske begreb om en klasse ved, at en egenskab anses for at være adskilt (adskilt) fra det objekt, der besidder den.
I logik baseret på boolsk algebra er begrebet "egenskab" det samme som begrebet " prædikat ". [6]
I matematik, hvis ethvert element i en mængde X er givet, så er en bestemt egenskab p enten sand eller falsk, det vil sige, at begrebet "egenskab" falder sammen med begrebet " delmængde ". I formelt sprog: egenskab p: X → {true, false} (det vil sige en mapping, en funktion fra X til et sæt af to elementer). Enhver egenskab definerer naturligvis en delmængde {x: x har egenskaben p} og den tilsvarende indikatorfunktion . I nogle grene af matematikken (for eksempel teorien om kunstig intelligens) bruges en mere kompleks definition af en egenskab som en ækvivalensrelation på en mængde X. I dette tilfælde p: X → {sæt af egenskabsværdinavne}. Forbillederne af alle navne i denne tilknytning definerer opdelingen af sættet X i ikke-overlappende undersæt (egenskabsværdier). En sådan definition af en egenskab gør det muligt ensartet at overveje ikke kun kvalitative, men også kvantitative egenskaber ved objekter.
Egenskaber bruges i videnskaben til at danne begreber .
Objekters og situationers egenskaber er meget brugt i teorien om problemløsning, i processerne for automatisering af produktion, styring og informationssøgning, i konstruktionen af ekspertsystemer. [B:3]