Is this not the strangest thing @valeriadepaiva that constructive logic has such an intuitive explanation in terms of Kripke Modal logic? The meta-level of modal logic has the excluded middle - making @ThePatHayes happy - yet it shows how and why that law
2,542 followers
2,542 followers
@SC_Griffith The weird thing is that there is a very good modal interpretation of constructive logic in terms of information states, or stages of a proof or argument. This is very well laid out in Kaspner's "Logic and Falsifications" https://t.co/nzht7W4Un
2,542 followers
@valeriadepaiva @ThePatHayes This modal view of intuitionistic logic is exposed in more detail in "Logics and Falsifications: A New Perspective on Constructivist Semantics" p44 https://t.co/nzht7W4UnY
2,542 followers
Covers in detail the philosophical and logical debate on verificationism and falsificationism in Philosophy and Logic. https://t.co/nzht7W4UnY https://t.co/wcvRDlR7Wz