Content
@
0 reply
0 recast
0 reaction
Thomas
@aviationdoctor.eth
In the field of first-order logic and propositional logic, a truth function takes true or false statements as inputs, and returns a boolean value of either true or false (for instance, "P is true" and "Q is true" means that "P and Q" is true). I wonder if we can build upon the Polymarket style of crowdsourcing opinions to ascertain the truth of basic claims about the world, and then have automated truth functions build more complex claims using logical connectives like and / nand / or / xor / not. I'd call this truth-seeking platform "Truth Functional" as a logical response to the pseudo-truth-seeking Truth Social. Maybe an extension of @nor's negation game but with logic bots
0 reply
2 recasts
11 reactions
