Syntetisk bedömning är en bedömning som utökar och lägger till information om ett objekt [1] . Motsatsen till en syntetisk proposition är en analytisk proposition . Sanningen om syntetiska bedömningar kan fastställas "endast i processen att jämföra dem med den verklighet de talar om" [2] . Ett exempel på en syntetisk proposition är påståendet "Alla svanar är vita" (förutsatt att ordet svan inte antyder fågelns vita färg), eftersom det generaliserar och ger ny information om ett sådant föremål som en svan.
För första gången föreslog den tyske filosofen I. Kant uppdelningen av bedömningar i analytiska och syntetiska i hans verk " Kritik av det rena förnuftet ". Kant hävdade att både a priori (oberoende av erfarenhet) och a posteriori (härledd från erfarenhet) syntetiska bedömningar är möjliga [3] . Frågan om hur sanna a priori syntetiska bedömningar är möjliga är central i Kants transcendentala filosofi .
Uppdelningen av domar i analytisk och syntetisk upprörd europeisk filosofi, men Kants anhängare fäste inte stor vikt vid den, eftersom denna uppdelning ansågs villkorad. Under 1900-talet , under inflytande av Wiencirkelns arbete, diskuterades problemet med syntesen av matematiska propositioner flitigt . Till skillnad från Kant ansåg medlemmar av kretsen och deras anhängare ( logiska positivister och de som står dem nära) matematikens påståenden vara analytiska och tautologiska [4] .
| Logik | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofi • Semantik • Syntax • Historia | |||||||||
| Logiska grupper |
| ||||||||
| Komponenter |
| ||||||||
| Lista över booleska symboler | |||||||||