more on this theme | more from this text
Full Idea
Bolzano took the entities of which truth is predicated to be not propositions in the subjective sense but 'propositions-in-themselves' - objective entities existing independent of our apprehension.
Gist of Idea
Bolzano saw propositions as objective entities, existing independently of us
Source
report of Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837]) by Michael Potter - The Rise of Analytic Philosophy 1879-1930 02 'Emp'
Book Ref
Potter,Michael: 'The Rise of Anaytic Philosophy 1879-1930' [Routledge 2020], p.17
A Reaction
A serious mistake. Presumably the objective propositions are all true (or there would be endless infinities of them). So what is assessed in the case of error? Something other than the objective propositions! We assess these other things!
| 10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
| 9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
| 9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
| 9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
| 17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
| 9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
| 22276 | Bolzano saw propositions as objective entities, existing independently of us [Bolzano, by Potter] |
| 17264 | Propositions are abstract structures of concepts, ready for judgement or assertion [Bolzano, by Correia/Schnieder] |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| 7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
| 12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |