between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; and predicate abstraction, which abstracts a predicate from a formula. £99.00 First Order Modal Logic by
http://www.teddy-bears.uk.net/first-orders-uk.html - 64.1kb
Result page :
1