display all the ideas for this combination of philosophers
3 ideas
17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
Full Idea: Having such a compact [axiomatic] presentation of a complicated field [such as Euclid's], makes it possible to relate not only to particular theorems but also to the whole field as such. | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 4.1) |
17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
Full Idea: Axiomatic systems, their primitive terms and proofs, are purely syntactic, that is, do not presuppose any interpretation. ...[142] They never address the world directly, but address a possible semantic model which formally represents the world. | |
From: Michal Walicki (Introduction to Mathematical Logic [2012], 4.1) |
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |