3 ms·
"mammals have mammary glands" was not a listed axiom. There are two axioms, of the forms: "all X perform action Y", and "All D are members of X". There conclusi
by SAI_Peregrinus 4y ago
"mammals have mammary glands" was not a listed axiom. There are two axioms, of the forms: "all X perform action Y", and "All D are members of X". There conclusion of the form "All D perform action Y" is sound. The second axiom contradicts observation, but axioms don't have to correspond to reality for the logic to be sound.
- dragonwriter 4y ago> "mammals have mammary glands" was not a listed axiom. There are two axioms, of the forms: "all X perform action Y", and "All D are members of X". There conclusion of the form "All D perform action Y" is sound. No,valid, not sound. Soundness is validity plus true premises, and any sound conclusion is true of logical necessity. A valid conclusion is true contingent on the truth of the supporting premises. > but axioms don't have to correspond to reality for the logic to be sound. False, premises being true is part of the definition of soundness.