intuitionistic math can help in quantum physics?

Rene Vestergaard renevestergaard at
Sat Apr 11 14:46:10 EDT 2020

I was too quick when I wrote NB1 originally. It should have read as 
below, with "intuitionistic" where I wrote "minimal" and "De Morgan" 
where I wrote "intuitionistic".

My apologies,

On 11/04/2020 19.35, Rene Vestergaard wrote:
> NB1 The above seems to point to intuitionistic logic as the proper setting for 
> reductionist science. However, De Morgan logic can be obtained by 
> admitting the law of weak excluded middle (and, specifically, weak 
> stability), which can be seen to amount logically to the open-system 
> assumption. From that perspective, the use of classical logic admits a 
> closed-system perspective.

More information about the FOM mailing list