Login and get your AI feedback from Ludwig. Login and get your AI feedback from Ludwig.
Login and get your AI feedback from Ludwig.
It indeed generalizes the Axiom of propositional extensionality mentionned by Church 1940, which states that two logically equivalent propositions are equal.
Some understand this as the warrant failing as a warrant for equivalent propositions.
Russell, however, sticks to an intensional point of view, stressing that equivalent propositions often can be quite different.
Jaynes' invariance condition bids us to assign equal probabilities to equivalent propositions, reformulations of one another that are arrived at by such admissible transformations of our problem.
Conversion yields an equivalent proposition (and is hence a valid inference) in general only with so-called E and I propositions (universal negatives and particular affirmatives).
It seems that the equivalent proposition is a known fact.
They include assertibles (the Stoic equivalent for propositions), imperativals, interrogatives, inquiries, exclamatives, hypotheses or suppositions, stipulations, oaths, curses and more.
Ludwig does not simply clarify my doubts with English writing, it enlightens my writing with new possibilities
Simone Ivan Conte
Software Engineer at Adobe, UK