VSP's variable-sharing condition is necessary but not sufficient for relevance in the sense demanded by the Anderson-Belnap program, so VSP distinctions among impossible-antecedent conditionals may be too coarse-grained to capture the intended hyperintensional differences.
?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.
Variable-sharing condition(as used in formal logic)
A rule in logic that says two statements are only properly connected if they talk about the same things or ideas—like how 'if it's raining, then grass is wet' shares the concepts of rain and wetness.
coarse-grained(Ontology of properties and criteria of individuation)
Descriptive of individuation criteria or entities that make fewer distinctions; extensional criteria are paradigmatically coarse-grained relative to intensional or hyperintensional ones
hyperintensional(Applied to explanation and the connective 'because')
A context is hyperintensional when expressions within it cannot be substituted with necessary equivalents salva veritate — i.e., substituting one necessarily equivalent expression for another can change the truth value of the containing sentence.
relevance(The simplest notion is containment of query terms; more refined notions weight terms by distinctiveness via tf-idf)
The degree to which a document addresses or is pertinent to a given query or topic