Posted: Aug 20, 2017 9:47 am
The etymology of "proposition" interests me, but I think I'd need Tracer Tong to help me out with it. The standard translation of Euclid's Elements uses the word "proposition" as mathematicians would nowadays use the word "theorem." But in many cases, what Euclid is proposing is something he can do.
There's this view of logic that any time you say that something exists, you better cough up an example, and if you say something does not exist, you better cough up the contradiction. It's a logic of deeds rather than than wishful thinkings.
There's this view of logic that any time you say that something exists, you better cough up an example, and if you say something does not exist, you better cough up the contradiction. It's a logic of deeds rather than than wishful thinkings.