Combining Texts

You have chosen 'On Formally Undecidable Propositions' by Kurt Gödel, 'Mathematics and Indispensibility' by Elliott Sober and 'Explaining Explanation' by David-Hillel Ruben

start again     |    choose another area for these texts     |    all the ideas for this combination of texts

---

All the ideas for Theory of Logic, or select a subheading:

	A.	Overview of Logic
	B.	Logical Consequence
	C.	Ontology of Logic
	D.	Assumptions for Logic
	E.	Structures of Logic
	F.	Referring in Logic
	G.	Quantification
	H.	Proof Systems
	I.	Semantics of Logic
	J.	Model Theory in Logic
	K.	Features of Logics
	L.	Paradox