Syntetický úsudek je úsudek , který rozšiřuje a přidává informaci o předmětu [1] . Opakem syntetické propozice je analytická propozice . Pravdivost syntetických soudů může být stanovena „pouze v procesu jejich porovnávání s realitou, o které mluví“ [2] . Příkladem syntetického tvrzení je výrok „Všechny labutě jsou bílé“ (za předpokladu, že slovo labuť neznamená bílou barvu ptáka), protože zobecňuje a dává nové informace o takovém objektu, jako je labuť.
Poprvé rozdělení úsudků na analytické a syntetické navrhl německý filozof I. Kant ve svém díle „ Kritika čistého rozumu “. Kant tvrdil, že jsou možné syntetické soudy a priori (nezávislé na zkušenosti) i posteriori (odvozené ze zkušenosti) [3] . Otázka, jak pravdivé apriorní syntetické soudy jsou možné, je ústředním bodem Kantovy transcendentální filozofie .
Rozdělení soudů na analytickou a syntetickou agitovanou evropskou filozofii tomu však Kantovi stoupenci nepřikládali velký význam, považovali toto rozdělení za podmíněné. Ve 20. století byl pod vlivem práce Vídeňského kruhu široce diskutován problém syntézy matematických tvrzení . Na rozdíl od Kanta považovali členové kruhu a jejich následovníci ( logičtí pozitivisté a jim blízcí) propozice matematiky za analytické a tautologické [4] .
| Logika | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Sémantika • Syntaxe • Historie | |||||||||
| Logické skupiny |
| ||||||||
| Komponenty |
| ||||||||
| Seznam booleovských symbolů | |||||||||