Salva veritate
Wikipedia
Salva veritate (lat. totuus säilyen) on logiikan filosofinen termi, joka tarkoittaa kahden loogisen lausekkeen totuusarvojen samankaltaisuutta. Se tarkoittaa usein myös totuusarvon muuttumattomuutta, jos lauseeseen tehdään muutoksia. Jos esim. propositiot a ja b voidaan korvata toisillaan totuuden säilyessä, on kyseessä substituutio salva veritate.
Esimerkiksi pitkään uskottiin, että lauseen totuusarvo ei muutu, jos lauseen eteen lisätään "on totta, että". Lause "sataa" voidaan laajentaa lauseeksi "on totta, että sataa" salva veritate. Georg Henrik von Wright on todistanut, että kyseinen väite ei tosiasiassa pidä paikkaansa, koska lauseen totuusarvo voi muuttua, jos sen eteen lisätään kyseinen toteamus, nimittäin mikäli lause on mieletön. Sinänsä lause "matkalaukku on moraalisempi kuin koripallo" on logiikan kannalta mieletön, mutta "on totta, että matkalaukku on moraalisempi kuin koripallo" sitä vastoin on epätosi lause.
