Combining Philosophers

Ideas for H.Putnam/P.Oppenheim, Jeffrey H. Sicha and Engelbretsen,G/Sayward,C

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers

---

1 idea

5. Theory of Logic / K. Features of Logics / 5. Incompleteness

13852	Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward]
	Full Idea: A set of axioms is said to be ω-incomplete if, for some universal quantification, each of its instances is derivable from those axioms but the quantification is not thus derivable.
	From: Engelbretsen,G/Sayward,C (Philosophical Logic: Intro to Advanced Topics [2011], 7)