John, Helmut, List:
I agree with John's additional remarks about intuitionistic logic.
Addressing Helmut's worry, it does not "blur" the concept of truth; on the
contrary, there is a sense in which it establishes a *higher *standard than
classical logic because it *requires *constructive proofs by
Edwina, the story of my life is, that I frequently want things that donot emerge due to my wanting. But I agree. At least I am a mechanic, so I can know something.
Best, Helmut
25. Dezember 2020 um 20:27 Uhr
"Edwina Taborsky"
wrote:
Helmut - I don't think that we can 'want' both democr
Helmut - I don't think that we can 'want' both democracy and
capitalism. Neither emerges due to our 'wanting'.
Capitalism is an economic mode that enables a growth economy and
population growth. No other economic mode enables either. And
democracy is simply a political system th
Edwina,
so, if we want both democracy and capitalism, we should support individual private enterprises, I agree. And for companies bigger than an individual co-operatives. Otherwise the business-owners cannot become majority.
I don´t think, that all knowledge is incomplete. Due to Goedel, as far
Helmut - No, I don't think that Godel's incompleteness theory has
anything to do with democracy. After all, if we take as a given, that
all knowledge is incomplete [and Peirce would be the first to say
this!], then, we'd have to question other historical forms of
governance - such as a h
Jon,
you wrote "except as...", yes, these exceptions are what I was talking about. I think, Goedel´s Incompleteness Theorem even is the justification for democracy: No king can have complete information about the system he governs, because he is part of it. Incomplete information is not-knowled
Cf: Inquiry Driven Systems • Comment 6
http://inquiryintoinquiry.com/2020/12/25/inquiry-driven-systems-comment-6/
Re: Peter Cameron
https://cameroncounts.wordpress.com/about/
::: Publication : An Author's View
https://cameroncounts.wordpress.com/2020/12/23/publication-an-authors-view/
Dear Peter
John, Jon,
Thank you! My first idea is, that to negate each step and reverse the order only is valid with the excluded middle, so exclusion of the middle should be necessary for both ways of proof too. But I will read your links, thank you for your patience! I think, the concept of truth i
