Ideas of Bernard Bolzano, by Theme

[Czechoslovakian, 1781 - 1848, Born in Prague. German-speaking. Catholic priest. Professor at University of Prague. Sacked for liberal views in 1819.]

idea number gives full details    |    back to list of philosophers    |     expand these ideas
2. Reason / B. Laws of Thought / 1. Laws of Thought
The laws of thought are true, but they are not the axioms of logic
4. Formal Logic / F. Set Theory ST / 1. Set Theory
An aggregate in which order does not matter I call a 'set'
6. Mathematics / A. Nature of Mathematics / 4. The Infinite / a. The Infinite
A truly infinite quantity does not need to be a variable
6. Mathematics / C. Sources of Mathematics / 2. Intuition of Mathematics
Bolzano began the elimination of intuition, by proving something which seemed obvious
7. Existence / C. Structure of Existence / 1. Grounding / c. Grounding and explanation
Philosophical proofs in mathematics establish truths, and also show their grounds
12. Knowledge Sources / E. Direct Knowledge / 1. Intuition
Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Propositions are abstract structures of concepts, ready for judgement or assertion
A 'proposition' is the sense of a linguistic expression, and can be true or false
19. Language / E. Analyticity / 2. Analytic Truths
The ground of a pure conceptual truth is only in other conceptual truths