... content Thomas Kuhn Dana Scott Patrick Suppes In this and Chapters 3 to 6 , I will consider various domains with a view to investigating in more detail the way in which the metaphysics-involving thesis, the Primary Thesis, about the relations between metaphysics and content holds for the various...

... defined by Dana Scott in the 1980s. In this work, the author has to overcome the challenges intrinsic to dealing with generalized predicative formal systems rather than impredicative ones. An application to an independence result is discussed. References 1.   MacLane, S. and Moerdijk, I. ( 1992...

... Davies M Humberstone I L sense of an expression logical consequence logical necessity metaphysical necessity apriority Lindenbaum-Scott Theorem modal logic S5 Dana Scott Ian McFetridge Dorothy Edgington In the previous chapter, I recommended that we conceive of logic as a second-order...