Ominaisuus ( filosofiassa , matematiikassa ja logiikassa ) on objektin ( objektin ) attribuutti . [B: 1] [B: 2] [B: 3] [1] Käsite " omaisuus " on luokka , jolla on " sama arvo mille tahansa tieteelle " kahden muun pääluokan ohella; asioita ja ihmissuhteita . [2]
Leibnizin lakina tunnetun asioiden tunnistamisen periaatteen mukaan kaksi asiaa ovat identtisiä, jos kaikki niiden ominaisuudet ovat yhteisiä. [3]
Toisen määritelmän mukaan ominaisuus on laadun ilmentymisaspekti . Samanaikaisesti kaikkia esineen ( objektin ) ominaisuuksia ei tule ottaa huomioon laatua määritettäessä : esineellä voi olla ominaisuus, mutta vertailtaessa esinettä muihin, se ei välttämättä ole erottuva tai merkittävä.
Objektin ominaisuudet riippuvat kohteen ja kohteen välisen vuorovaikutuksen tyypistä , esimerkiksi: jos katsot omenaa, sillä on väri ja muoto; jos puret sen pois, sillä on kovuutta ja makua; jos se on punnittu, sillä on painoa; jos arvioit sen mitat - sillä on mitat, jos kosketat sitä - omena on sileä kosketukseen. Objekti on sen ominaisuudet paitsi subjektille myös muille kohteille, eli ominaisuuksia voi ilmetä myös objektien vuorovaikutuksessa keskenään.
Esimerkiksi punaisella esineellä sanotaan olevan "punaisuuden" ominaisuus. Ominaisuutta voidaan pitää esineen muotona sinänsä, vaikka sillä voi olla myös muita ominaisuuksia. Tämän laajennetun tulkinnan mukaan ominaisuudet ovat tekemisissä Theseuksen paradoksilla [4] , Russellin paradoksilla ja Grelling-Nelsonin paradoksilla .
Joidenkin kohteen tiettyjen ominaisuuksien kokonaisuus voi ilmetä jossain kohteen yleistyneessä ominaisuudessa (yleistetty ominaisuus absorboi). Esimerkiksi omenan "punoitus" on omenan yleinen ominaisuus, ja yksittäisten kemikaalien pitoisuudet omenan kuoressa (joka luonnehtii tätä omenan "punoitusta") ovat omenan erityisiä ominaisuuksia; Auton "dynamiikka" on auton yleinen ominaisuus, kun taas moottorin teho, omapaino, lopullinen ajosuhde jne. (joka luonnehtii tätä auton "dynamiikkaa") ovat auton erityisominaisuuksia.
Sattuman perusteella tehty virheellinen johtopäätös löytyy usein induktiivisista yleistyksistä. Huomattuaan, että tietty ominaisuus on löydetty kaikista tähän mennessä havaituista luokan esineistä, huolimattomat tutkijat ajattelevat usein, että tämä ominaisuus on olennainen tietyn luokan esineille, ja siksi sitä ei tarvitse löytää vain jo tutkituista näytteistä, vaan myös kaikista saman luokan edustaja. Luokan useista (tai jopa useista) kohteista löytyvä ominaisuus voi olla merkittävä, mutta se voi myös olla satunnainen. [5]
Ominaisuus eroaa luokan loogisesta käsitteestä siinä, että se ei liity ekstensiivisyyden käsitteeseen, ja luokan filosofisesta käsitteestä siinä, että ominaisuutta pidetään erillisenä (erotettuna) objektista, jolla se on.
Boolen algebraan perustuvassa logiikassa "omaisuuden" käsite on sama kuin " predikaatin " käsite. [6]
Matematiikassa, jos jokin joukon X elementti on annettu, niin tietty ominaisuus p on joko tosi tai epätosi, eli käsite "ominaisuus" on yhtäpitävä " osajoukon " käsitteen kanssa. Formaalilla kielellä: ominaisuus p: X → {true, false} (eli kuvaus, funktio X:stä kahden elementin joukkoon). Mikä tahansa ominaisuus määrittää luonnollisesti osajoukon {x: x:llä on ominaisuus p } ja vastaava indikaattorifunktio . Joillakin matematiikan aloilla (esim. tekoälyn teoriassa) käytetään monimutkaisempaa ominaisuuden määritelmää ekvivalenssirelaationa joukossa X. Tässä tapauksessa p: X → {ominaisuusarvojen nimien joukko}. Kaikkien nimien esikuvat tässä kuvauksessa määrittävät joukon X osion ei-päällekkäisiksi osajouksiksi (ominaisuusarvot). Tällainen ominaisuuden määritelmä mahdollistaa kohteiden laadullisten, mutta myös määrällisten ominaisuuksien yhtenäisen tarkastelun.
Ominaisuuksia käytetään tieteessä käsitteiden muodostamiseen .
Kohteiden ja tilanteiden ominaisuuksia käytetään laajasti ongelmanratkaisuteoriassa, tuotannon automatisoinnin, hallinnan ja tiedonhaun prosesseissa, asiantuntijajärjestelmien rakentamisessa. [B:3]