Det är väl närmast självklart att enda sättet att få kunskap om verkligheten är att iaktta den, bilda begrepp, dra slutsatser och ställa upp hypoteser, och slutligen att pröva teorierna. Eller uttryckt på ett annat sätt: källan till kunskap är ytterst sinneserfarenheter, men dessa måste bearbetas genom tänkande.
Empiristiska filosofer anser lite förenklat att sinneserfarenheten är allt som behövs: Ett exempel på en sådan filosof är David Hume. Han upptäckte inte begreppet orsak i sin sinneserfarenhet, och förkastade det därför. Arten häst finns inte, bara enskilda hästar som har vissa likheter.
Rationalistiska filosofer menar däremot att sinneserfarenheterna är opålitliga och litar endast till sin förmåga att resonera. Descartes är ett exempel. "Jag tänker, alltså finns jag till" är en otvivelaktig slutsats, därför att han klart och tydligt förstod den. Nästa steg var att bevisa Guds existens genom ett rent "logiskt" bevis (en variant av det s.k. ontologiska beviset). Och därefter utformade han sin andra teorier genom att steg för steg förnuftsmässigt dra slutsatser från enkla till alltmer komplicerade förhållanden.
Det är naturligtvis ytterst svårt att vara en konsekvent empirist eller rationalist. Ta Descartes t.ex.! Han klagade på att han hade svårt att hinna med alla vetenskapliga försök han var inblandad i. Det räckte alltså inte med rent tänkande för att nå sanningen. Eller ta Hegel, som hade djupa kunskaper om både naturvetenskaperna och historien, vilka skiner igenom hans till synes helt abstrakta resonemang.
Kants filosofi var ett framsteg jämfört med Humes, då han insåg att vi behöver använda begrepp för att förstå våra erfarenheter. Men han kritiserades med rätta av Fichte för att bara ha övertagit Aristoteles kategorier, utan att ha härlett dem. (Kategorierna är enligt Aristoteles de "grundbegrepp" vi använder för att beskriva företeelserna, som t.ex. egenskap, kvantitet, kvalité, relation, substans, tid, rum. )
Människan bildar begrepp genom att använda sitt förstånd. Begreppen representerar något nytt i förhållande till sinnesförnimmelserna. Uppkomsten av språket var förstås avgörande för bildandet av de abstrakta begreppen, även om vi i viss mån fortfarande använder oss av det tänkande i bilder, som var det enda som Hume erkände.
För Kant var inte kategorierna något som det mänskliga förståndet skapat för att kunna användas i beskrivningen av erfarenheterna. Tvärtom ligger de på något mystiskt vis latenta i förståndet, som "a priori" förutsättningar för vår erfarenhetskunskaper. Om man därtill lägger att sinneserfarenheterna själva för Kant också var subjektiva, att det som de motsvarar i yttervärlden, var omöjligt att få kunskap om, så kunde Hegel med viss rätta kritisera Kants filosofi för att vara "subjektiv idealism". Kants försök till kompromiss mellan empirism och rationalism var inte tillfredsställande.
Hegel karakteriserade sin egen filosofi som "objektiv idealism". Men han beskrev faktiskt sambanden mellan kategorierna i sin Logik. Och hur de utvecklas ur varandra och hur de ger möjlighet till allt djupare förståelse av verkligheten. För marxisterna var hans beskrivning så bra att det, såvitt jag vet, ännu inte åstadkommits en materialistisk version av Hegels Logik. Marx nöjde sig med att hänvisa till den "rationella kärnan" i Hegels idealistiska dialektik, och att det gällde att vända upp och ned på den eftersom den stod "på huvudet". Begreppen avspeglar den yttre verkligheten, medan det hos Hegel är tvärtom.