[+]eagleshigh0 points0 points0 points
ago
(edited ago)
[–]eagleshigh[S]0 points
0 points
0 points
(+0|-0)
ago
(edited ago)
I thought when you're trying to find a truth value for an unknown equation (I forget the logic term) you make the unknown either true or false then go through the motions to see its truth value.
And OT here but what are your thoughts on Utilitarianism? Specifically trolley problems and the like?
Proposition. Which is the P in PL which you keep typing to me, even though I told you that PL could stand for propositional logic and predicate logic, which is different.
you make the unknown either true or false then go through the motions to see its truth value.
That's right, but you didn't perform this correctly. The unknown was U, but you changed the value of P. The value of P is fixed at 0.
P^U is a conjuction. Both terms need to be true for the conjunction to be true. Since we know P is false, we know P^U is false. We don't even need to know the value of U.
Just like with A->B we don't need to know the value of A if we know B is true.
Just like with A->B we don't need to know the value of B if we know A is false.
And OT here but what are your thoughts on Utilitarianism? Specifically trolley problems and the like?
Utilitarianism is brilliant even if false. Trolley problems are important even if they're unsolved or unsolvable.
Kind of like how the blank slate is still an important idea even if it's wrong.
[–] eagleshigh [S] ago (edited ago)
I thought when you're trying to find a truth value for an unknown equation (I forget the logic term) you make the unknown either true or false then go through the motions to see its truth value.
And OT here but what are your thoughts on Utilitarianism? Specifically trolley problems and the like?
[–] JesusOfNazareth61 ago (edited ago)
Proposition. Which is the P in PL which you keep typing to me, even though I told you that PL could stand for propositional logic and predicate logic, which is different.
That's right, but you didn't perform this correctly. The unknown was U, but you changed the value of P. The value of P is fixed at 0.
P^U is a conjuction. Both terms need to be true for the conjunction to be true. Since we know P is false, we know P^U is false. We don't even need to know the value of U.
Just like with A->B we don't need to know the value of A if we know B is true.
Just like with A->B we don't need to know the value of B if we know A is false.
Utilitarianism is brilliant even if false. Trolley problems are important even if they're unsolved or unsolvable.
Kind of like how the blank slate is still an important idea even if it's wrong.