"Socrates is a male" has a value of True; "All men are mortal" has a value of True; and a conclusion of "Socrates is mortal" that is "True" because a True "and" a True yields a True.
And then an immortal man is discovered, making that first premise "False". And False "and" a True yields a "False".
This causes "Socrates is mortal" to have a truth value of "False", which doesn't make sense unless you consider it "proof" instead of "truth": it used to be proven (by the premises) that Socrates is mortal, but now it is "false that it is proven". It might still be true, but it's not proven.
This is closer to intuitionist logic than classical logic, but it still relies on facts like "Socrates is male".
> "Socrates is a male" has a value of True; "All men are mortal" has a value of True; and a conclusion of "Socrates is mortal" that is "True" because a True "and" a True yields a True.
No, for a logical argument the conclusion must be true if the premises are true. A valid argument (proof) only shows: necessarily, if the premises are true, the conclusion is true.
> And then an immortal man is discovered, making that first premise "False". And False "and" a True yields a "False".
> This causes "Socrates is mortal" to have a truth value of "False"
"Socrates is a male" has a value of True; "All men are mortal" has a value of True; and a conclusion of "Socrates is mortal" that is "True" because a True "and" a True yields a True.
And then an immortal man is discovered, making that first premise "False". And False "and" a True yields a "False".
This causes "Socrates is mortal" to have a truth value of "False", which doesn't make sense unless you consider it "proof" instead of "truth": it used to be proven (by the premises) that Socrates is mortal, but now it is "false that it is proven". It might still be true, but it's not proven.
This is closer to intuitionist logic than classical logic, but it still relies on facts like "Socrates is male".