Transaction processing of propositional statements
Lets begin with the statement that cannot be proven either to be false or untrue. Take this statement as an inconclusive proof that All Chickens Are Blue? is non-declarative of its propositional value.
Some may refute the truthity of its value. What is the case against ?
Thank you gentlemen.
Some may refute the truthity of its value. What is the case against ?
Thank you gentlemen.
Comments (1)
Not guilty (untrue) or Innocent (false)?
[quote=Ms. Marple]Most interesting.[/quote]
Untrue isn't necessarily false in multivalent logic; lucklily or unluckily, I'm unaware of the other alternatives. Some say truth is a continuum [n% true and (100 - n)% false] as in fuzzy logic, others posit a discrete 3[sup]rd[/sup] option like in trivalent logic. Most of these topics remain above my paygrade. Oh well!
What makes a proposition unprovable? When the axioms are not sufficent to do so (anepikrita/undecidable).
That's all she wrote ...