gentzen's latest activity

It is finished for submission, and I put it online to get some early feedback before actually submitting it (in a few weeks). So the...

I guess you are confusing David Wallace with Wojciech Żurek here.

An electron and a positron meet and become two photons. The system quantum state is conserved and photons are compressible. The reverse...

If that is as far Barandes ever wants to take it, I think we are missing out making the most of the idea he started. I personally see a...

I'm not sure what you mean by this but I don't think I agree, and it would take us too far into philosophy for my comfort.

Yes. Yes, good point: True is used with respect to a specific model. For statements concerning all models, a different terminology is...

Well, we still say that a proposition which is True everywhere is just True (or top ⊤), and a proposition which is True only on the...

Ah yes, indeed thinking about it ¬P is defined as ¬P := P → ⊥ and any topological model/interpretation maps ⊥ to the empy set. Then, by...

Yes!

No, "semantics" just means "theory of meaning". Even so you could talk of "theories of meaning", there is no way to put "semantics" into...

I interpreted that paragraph as the same concern I raised in post #63. The idea that the system can jump wildly from one configuration...

I have said similarly before. Barandes' formulation appears to not guarantee properties like continuity and localism.

Independent of whether IPL is "supposed to model", it does model various specific "kind of world(s)". Or in other words, there are a...

How about Cournot’s principle? See here for some books, presentations, and articles where it is discussed:

Aha, interesting. Seeing that post would have saved some time. I feel we have different interest. I am not sure I agree. I think...