predikaattineutraali

Predikaattineutraali viittaa filosofiassa ja loogikassa käsitteeseen, joka koskee predikaattien (ominaisuuksien tai suhteiden) merkitystä ja niiden käsittelyä lauseissa tai loogisissa rakenteissa. Käsite liittyy erityisesti predikaattilogiikkaan, jossa tutkitaan lauseiden ja niiden osien merkityksiä. Predikaattineutraali tarkoittaa, että jokin looginen järjestelmä tai argumentti ei oleteta tiettyjen predikaattien (esimerkiksi "on punainen" tai "on suurempi kuin") olevan jollain erityisellä tavalla merkityksellisiä tai merkityksettömiä. Sen sijaan järjestelmä käsittelee predikaatteja vain niiden loogisen rakenteen ja suhteiden perusteella, ilman että niiden sisältöä tai merkitystä arvioidaan.

Predikaattineutraalius on tärkeä käsite esimerkiksi kun vertaillaan erilaisia loogisia kieliä tai argumenttien pätevyysperiaatteita. Esimerkiksi klassisessa predikaattilogiikassa predikaattien merkitykset voivat vaihdella, mutta niiden loogiset ominaisuudet (esimerkiksi yleisyys tai yksilöllisyys) säilyvät samana. Predikaattineutraalius voi myös helpottaa yleisten loogisten todistusten rakentamista, koska se poistaa tarpeen kiinnittää huomiota predikaattien erityismerkityksiin.

Käsitteen vastakohtana voidaan pitää predikaattisidonnaisuutta, jossa predikaattien merkitys tai ominaisuudet vaikuttavat argumentin pätevyysperiaatteisiin. Predikaattineutraalius on erityisen merkittävä esimerkiksi matematiikassa ja tietojenkäsittelyssä, missä loogiset rakenteet käsitellään usein abstraktisti ilman kiinnittymistä niiden merkitykseen.