Analytický úsudek je úsudek , který nezavádí žádné nové informace o objektu [1] . Opakem analytického úsudku je úsudek syntetický . Pravdivost analytických úsudků může být stanovena bez uchylování se ke skutečnému světu [2] . Příkladem analytického úsudku je výrok „Každý mládenec je svobodný“, protože slovo „bakalář“ a výraz „neženatý“ mají stejný význam. Tento rozsudek tedy nepřináší žádné nové poznatky.
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 všechny analytické soudy jsou a priori [3] . Kant věřil, že analytické úsudky, i když nenesou nové znalosti, pomáhají jasněji porozumět existujícím znalostem [4] .
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é [3] .
| Logika | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Sémantika • Syntaxe • Historie | |||||||||
| Logické skupiny |
| ||||||||
| Komponenty |
| ||||||||
| Seznam booleovských symbolů | |||||||||