Giltig (logik)
 |
|---|
| Deduktion |
Sann | Giltig | Sund |
| Modallogik |
Nödvändighet | Möjlighet |
I logiken, närmare bestämt i ett deduktivt resonemang, är ett argument giltigt om och endast om det har en form som gör det omöjligt för premisserna att vara sanna samtidigt som slutsatsen är falsk.[1] Det är inget krav på att ett giltigt argument har premisser som faktiskt är sanna,[2] utan att det finns premisser som, om de var sanna, skulle garantera sanningen i argumentets slutsats. Giltiga argument måste uttryckas tydligt med hjälp av meningar som kallas välformade formler (på engelska, Well-formed formula). Giltigheten av ett argument - att det är giltigt - kan testas, bevisas eller motbevisas och beror på dess logiska form[3].
Referenser
- ^ Validity and Soundness – Internet Encyclopedia of Philosophy
- ^ Jc Beall and Greg Restall, "Logical Consequence", The Stanford Encyclopedia of Philosophy (Fall 2014 Edition).
- ^ Gensler, Harry J., 1945- (January 6). Introduction to logic. New York. OCLC 957680480