Problemet med universalier är ett av de äldsta och bland de mest omdebatterade problemen inom den västerländska filosofin. Platon var den förste att på allvar adressera problemet och presentera ett lösningsförslag. Universalier kan också kallas allmänbegrepp.
Antag att du ser ett objekt framför dig, en stol till exempel. Du vet att det är en stol eftersom du har sett andra stolar tidigare. Stolarna du har sett tidigare har funnits på olika platser och vid olika tidpunkter, och en del finns kanske inte kvar längre eftersom de kan ha gått sönder och slängts. Vad dessa stolar däremot har gemensamt är egenskapen att vara en stol. De kan skilja sig i färg, utformning, temporalt osv med andra stolar, men de har fortfarande vissa egenskaper gemensamt. Frågan som uppstår då är: finns egenskapen att vara en stol,
stolheten, beroende eller oberoende av de enskilda stolarna?
Platon menade att varje enskilt ting som kan bilda en gemensam kategori med andra enskilda ting, stolar till exempel, har del i kategorins form (idé). Dessa former finns oberoende av de enskilda tingen, men så länge det finns en ideal form för varje enskilt ting är de en del av samma allmänbegrepp. Platons föreställning att allmänbegreppen finns oberoende av de enskilda tingen kallas för begreppsrealism.
En annan teori om allmänbegreppen är att de inte finns oberoende av tingen själva, men att allmänbegreppen finns konstruerade i vårt medvetande. Utanför det mänskliga medvetandet annats inga universella egenskaper finnas, men det är vårt medvetande som är konstruerat på det sättet att vi uppfattar att enskilda ting har gemensamma egenskaper. Denna teoribildning kallas för konceptualism, och företräddes av bland andra Locke och Kant.
Den tredje mest inflytelserika teorin om allmänbegreppen kallas för nominalism och denna teori hävdar att det enbart är språkliga konventioner som gör att vi ger enskilda ting samma begrepp. David Hume är en känd nominalist.
För att sammanfatta:
Citat:
It appears that a universal property can be in two completely different places (i.e., in two different instances) at the same time, but ordinary things can never be separated from themselves in this way. There are scattered individuals (like the former British Empire), but they have different spatial parts in different places. Properties, by contrast, do not seem to have spatial parts; indeed, they are sometimes said to be wholly present in each of their instances. But how could a single thing be wholly present in widely separated locations?
https://plato.stanford.edu/entries/properties/