Model theory for modal logic?part II the elimination of De re modality

1978 ◽  
Vol 7 (1) ◽  
Author(s):  
Kit Fine
Author(s):  
Bob Hale

The problem of de re modality is how, if at all, one can make sense of it. Most who have discussed this problem have assumed that modality de dicto is relatively unproblematic. It is, rather, the interpretation of sentences involving, within the scope of modal operators, singular terms or free variables which is thought to give rise to grave—and in the view of some, insuperable—difficulties. Quine has two arguments against the intelligibility of de re modality: a “logical” and a “metaphysical” one. That the “logical” argument is central to Quine’s attack is surely indisputable. But my claim that it is his basic argument is, in effect, denied by Kit Fine. I can (and do) agree with Fine that there are some significant differences between the two arguments. The most important question, for my purposes, is whether he is right to claim that the two arguments have force independently of one another.


Philosophia ◽  
1980 ◽  
Vol 9 (2) ◽  
pp. 167-186
Author(s):  
Bryan G. Norton
Keyword(s):  
De Re ◽  

1974 ◽  
Vol 71 (16) ◽  
pp. 551 ◽  
Author(s):  
J. L. Mackie
Keyword(s):  
De Re ◽  

Studia Logica ◽  
1984 ◽  
Vol 43 (3) ◽  
pp. 203-216
Author(s):  
Giangiacomo Gerla ◽  
Virginia Vaccaro
Keyword(s):  

2016 ◽  
Vol 46 (4-5) ◽  
pp. 584-609 ◽  
Author(s):  
Peter Fritz

AbstractI consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson's argument.


Sign in / Sign up

Export Citation Format

Share Document