Remarks on Hybrid Modal Logic with Propositional Quantfiers

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review


Arthur Prior invented hybrid logic, and sometimes defined nominals withhis푄operator, which he in turn defined using propositional quantifiers.Nowadays there are two well-known approaches to propositional quan-tification: the standard (or set-theoretical) approach and the general(or Henkin) approach. As we shall see, these give rise to two different‘species’ of nominals. Working in a version of hybrid logic which con-tainsbothstandard nominals and propositional quantifiers we shall seethat these two ‘species’ behave differently with respect to the rule of uni-versal instantiation. We then suggest that this formally-defined ‘speciesdivision’ corresponds rather well with two intuitions about nominals thatcan be detected in Prior’s writing: the ‘index’ view and the ‘content’ view.
TitelThe Metaphysics of Time : Themes from Prior
RedaktørerPer Hasle, David Jakobsen, Peter Øhrstrøm
ForlagAalborg Universitetsforlag
ISBN (Trykt)978-87-7210-724-0
StatusUdgivet - 2020
NavnLogic and Philosophy of Time

Citer dette