õigustatud? Teiste inimeste heaolu rikkumine väärib karistust. G.W.F. 1770-1831; Mis on Maailmavaim- Geist,, Kes tahab midagi suurt Hegel ajalooline kontrafaktuaal? mille osaks on iga saavutada, peab oskama positivism; svaab Kuidas ajalugu individuaalne vaim; ennast piirata. Kes aga tahab kõike, see ei taha toimub? Dialektika printsiip; tegelikult midagi ega pidev liikumine; Tees ja saavutagi midagi.
tingimusliku lause sünonüümina väljendit „kui-siis-lause” või „konditsionaal”. Kasutusel on väga erinevaid kui-siis-lauseid, nt võib olla nõutud põhjuslikku seost aluse ja tagajärje vahel. Kui-siis-laused on filosoofiliste vaidluste ja uurimise objektiks, suurimad probleemid tekivad väära aluse puhul. Loogikas esineb peamiselt nelja tüüpi kuisiis- lauseid: materiaalne implikatsioon, formaalne implikatsioon, tingiv lause (väide) ehk hüpoteetiline lause ja kontrafaktuaal. a) Materiaalne implikatsioon. Lausearvutuses defineerisime implikatsiooni „Kui p, siis q” (valemina p → q) kui binaarse tehte, mis annab alati tõese lause, välja arvatud juhtum, kui p on tõene ning q on väär. Seda võib sõnastada nii, et p on väär või mõlemad operandid on tõesed. Sellist, kõige nõrgema tähendusega kui-siis-lause vormi nimetatakse ka materiaalseks implikatsiooniks (material implication) põhjendusega, et väite p → q
tingimusliku lause sünonüümina väljendit ,,kui-siis-lause" või ,,konditsionaal". Kasutusel on väga erinevaid kui-siis-lauseid, nt võib olla nõutud põhjuslikku seost aluse ja tagajärje vahel. Kui-siis-laused on filosoofiliste vaidluste ja uurimise objektiks, suurimad probleemid tekivad väära aluse puhul. Loogikas esineb peamiselt nelja tüüpi kui- siis-lauseid: materiaalne implikatsioon, formaalne implikatsioon, tingiv lause (väide) ehk hüpoteetiline lause ja kontrafaktuaal. a) Materiaalne implikatsioon. Lausearvutuses defineerisime implikatsiooni ,,Kui p, siis q" (valemina p q) kui binaarse tehte, mis annab alati tõese lause, välja arvatud juhtum, kui p on tõene ning q on väär. Seda võib sõnastada nii, et p on väär või mõlemad operandid on tõesed. Sellist, kõige nõrgema tähendusega kui-siis-lause vormi nimetatakse ka materiaalseks implikatsiooniks (material implication) põhjendusega, et väite p q