Fine's 1975 incompleteness results demonstrate that not all modal logics are complete with respect to first-order definable frame classes, undermining the translation-inheritance argument.
?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.
A system of logic that deals with concepts like possibility, necessity, and what could or must be true.
Translation-inheritance argument(Fine's results showed this argument doesn't always work)
A philosophical strategy that tries to prove a logical system is complete by showing it can be translated into another, simpler system known to be complete.
first-order logic(Distinguished from the higher-order logic used in Montague semantics)
A logic in which there are only variables for basic entities, as opposed to higher-order logic
frame (in modal logic)(modal logic)
In modal logic, a framework that shows which possible worlds are connected to each other and can be accessed from one another.