Zdravost

argument je zdravý jestliže, a jediný jestliže, (1) argument je platný a (2) všichni jeho areálu být pravdivý.

Tak předpokládat, že my máme solidní argument:

Všichni muži jsou smrtelní.

Socrates je muž.

Proto, Socrates je smrtelný.

V tomto případě my máme hádku kde, nejprve, jestliže areál je celý pravdivý, pak závěr musí být pravdivý (tj. argument je platný); a, sekunda, to tak se stane, že areál je všichni pravdivý. To znamená, že závěr musí být pravdivý. To je hezká věc o zdravosti: jestliže vy víte to argument je zdravý, pak vy víte to že jeho závěr je pravdivý. Samozřejmě, všechny rozumné argumenty mají opravdové závěry. Tak zdravost je velmi dobrá kvalita pro argument mít.

---

V formální logice, formální dedukce počet je řekl, aby byl zdravý s ohledem na danou logiku (tj. wrt jeho sémantiku) jestliže každé sdělení, které může být pocházelo uvnitř tento počet je tautologie logiky. Řečený rozdílně, toto říká, že všechno to může být formálně (syntactically) počítal je semantically pravdivý. Obrácená podmínka je nazývána úplností.