What kind of logic is “Independence Friendly” logic - Predicate logic - Document - PDFSEARCH.IO

First Page	Meta Content
	What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit in Add to Reading List Document Date: 2004-11-27 19:12:48 Open Document File Size: 253,85 KB Share Result on Facebook Currency pence / / Person Solomon Feferman / Sc / / Product M-16 / / SocialTag Semantics Predicate logic Quantification Philosophical logic Independence-friendly logic First-order logic Skolem normal form Second-order logic Branching quantifier Logic

What kind of logic is “Independence Friendly” logic? Solomon Feferman 1. Two kinds of logic. To a first approximation there are two main kinds of pursuit inAdd to Reading List