pretext icon indicating copy to clipboard operation
pretext copied to clipboard

Expand "proof" to PROOF-LIKE

Open rbeezer opened this issue 4 years ago • 7 comments

With argument, justification, and maybe more. Suggestions?

rbeezer avatar Mar 09 '22 05:03 rbeezer

Something equivalent to a faulty-proof would be useful. Fallacious?

arechnitzer avatar Mar 09 '22 05:03 arechnitzer

pretext ;)

Alex-Jordan avatar Mar 09 '22 05:03 Alex-Jordan

rationale, explanation*, grounds

A false proof is a fallacy?

*ORCCA renames solution to explanation because of the special meaning for "solution" in a basic algebra context. But that should not matter.

Alex-Jordan avatar Mar 09 '22 05:03 Alex-Jordan

dubiety ?

arechnitzer avatar Mar 09 '22 05:03 arechnitzer

sketch analysis reasoning explanation

davidfarmer avatar Mar 09 '22 16:03 davidfarmer

I recommend avoiding "fallacy" for incorrect-proof.. since a fallacy is often a more formal thing like "affirming the consequent" or "proof by loudest voice" or similar, as opposed to an incorrect proof of a true statement.

arechnitzer avatar Mar 09 '22 16:03 arechnitzer

On one hand, for the sake of consistent design of PreTeXt, I think we're doomed to need a dozen different tags to cover every possible nuance of a proofy piece of content.

On the other hand, to quote Rob, elements are expensive, and attributes are cheap. So it's a shame that there isn't a single element to describe "proof-likes" that could be fine-tuned by an attribute to cover each flavor.

StevenClontz avatar Mar 09 '22 21:03 StevenClontz

This happened, and begins at 32400d635575b518f57d228a8d5f76b63019fd67 with several more follow-on commits.

rbeezer avatar May 05 '23 21:05 rbeezer