Heytesbury's universality condition conflates syntactic form-preservation with semanticnecessity, a conflation Kripke's possible-worlds semantics later showed to be philosophically untenable.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
Possible-worlds semantics(another addition to formal logic)
A way of thinking about meaning by imagining all the different ways the world could be, and checking if a statement is true in some or all of those scenarios.
Semantic necessity(The real logical requirement that Heytesbury allegedly overlooked)
When something must be true based on what the words actually mean, not just how they're arranged grammatically.
Syntactic form-preservation(What Heytesbury confused with deeper logical properties)
Keeping the outer structure or grammar of a statement the same, regardless of what it actually means.
Universality condition(Heytesbury's principle about how logic should work)
A rule stating that something should apply broadly or consistently across all cases, without exceptions.