Digital Commons Network^™

Intensional Logic And Topology, Andrew Scott Buchanan

Student Work

This thesis is concerned with mathematical logic, in particular it is an investigation of a branch of mathematical logic called modal logic. This branch of mathematical logic extends the propositional calculus by adding two unary operators □ and 0 to the standard set of logical operators. This extension of classical logic has many interpretations; traditionally it is said to be the logic of necessity, denoted by the box operator, and possibility, denoted by the diamond operator. The notion of necessity within modal logic is ubiquitous and lends itself to a vast sea of metaphysics. For example, if X is necessarily …