gentzen's latest activity

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...

Yes, this is the basic message of when experiment and QM violates Bells inqeuality. Given some assumptions (that follow from a basic...

I have some questions I wonder what you think. What is the ontological status of emergeables? Are they as real as the beables but just...

There is no consensus about how anything physical, classical or quantum, manages to relate to consciousness; and yet there needs to be...