Disjunktsioon, koondamine ja vasturääkivus
Karmo Talts
Tõlgendamine koondamist disjunktsiooni kaudu. Väide P tõestab P ühe ja P teise esinemisjuhu disjunktsiooni. Juhul, kui andmetes ei ole vasturääkivust, on need P esinemisjuhud samaväärsed.
Vaatame nüüd vasturääkivust. Kui me tuletame P ja P eituse konjunktsioonist P, siis me saame tõestada P ühe ja P teise esinemisjuhu disjunktsiooni. Me saame kasutada disjunktiivsets süllogismi, et P eitusest ja P ühe ja P teise esinemisjuhu disjunktsioonist tuletada üks P esinemisjuht. Seega pole need esinemisjuhud vasturääkivuse korral samaväärsed ja koondamise kasutamine pole õigustatud.
Kommentaare ei ole:
Postita kommentaar