31 ideas
7807 | The laws of thought are true, but they are not the axioms of logic [Bolzano, by George/Van Evra] |
9987 | An aggregate in which order does not matter I call a 'set' [Bolzano] |
18270 | Choice suggests that intensions are not needed to ensure classes [Coffa] |
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
17518 | Counting 'coin in this box' may have coin as the unit, with 'in this box' merely as the scope [Ayers] |
17516 | If counting needs a sortal, what of things which fall under two sortals? [Ayers] |
10856 | A truly infinite quantity does not need to be a variable [Bolzano] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
17520 | Events do not have natural boundaries, and we have to set them [Ayers] |
17265 | Philosophical proofs in mathematics establish truths, and also show their grounds [Bolzano, by Correia/Schnieder] |
17519 | To express borderline cases of objects, you need the concept of an 'object' [Ayers] |
17511 | Recognising continuity is separate from sortals, and must precede their use [Ayers] |
17510 | Speakers need the very general category of a thing, if they are to think about it [Ayers] |
17522 | We use sortals to classify physical objects by the nature and origin of their unity [Ayers] |
17515 | Seeing caterpillar and moth as the same needs continuity, not identity of sortal concepts [Ayers] |
17517 | Could the same matter have more than one form or principle of unity? [Ayers] |
17513 | If there are two objects, then 'that marble, man-shaped object' is ambiguous [Ayers] |
17523 | Sortals basically apply to individuals [Ayers] |
17521 | You can't have the concept of a 'stage' if you lack the concept of an object [Ayers] |
17514 | Temporal 'parts' cannot be separated or rearranged [Ayers] |
17509 | Some say a 'covering concept' completes identity; others place the concept in the reference [Ayers] |
17512 | If diachronic identities need covering concepts, why not synchronic identities too? [Ayers] |
18263 | The semantic tradition aimed to explain the a priori semantically, not by Kantian intuition [Coffa] |
18272 | Platonism defines the a priori in a way that makes it unknowable [Coffa] |
9185 | Bolzano wanted to avoid Kantian intuitions, and prove everything that could be proved [Bolzano, by Dummett] |
18266 | Mathematics generalises by using variables [Coffa] |
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] |
12232 | A 'proposition' is the sense of a linguistic expression, and can be true or false [Bolzano] |
12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
18279 | Relativity is as absolutist about space-time as Newton was about space [Coffa] |