display all the ideas for this combination of texts
4 ideas
| 18913 | Traditional term logic struggled to express relations [Engelbretsen] |
| Full Idea: The greatest challenge for traditional term logicians was the proper formulation and treatment of relational expressions. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005]) | |
| A reaction: The modern term logic of Fred Sommers claims to have solved this problem. |
| 18907 | Term logic rests on negated terms or denial, and that propositions are tied pairs [Engelbretsen] |
| Full Idea: That terms can be negated, that such negation is distinguishable from denial, and that propositions can be construed syntactically as predicationally tied pairs of terms, are important for the tree theory of predication, and for term logic. | |
| From: George Engelbretsen (Trees, Terms and Truth [2005], 2) |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |