43 ideas
4465 | Note that "is" can assert existence, or predication, or identity, or classification [PG] |
4686 | Fallacies are errors in reasoning, 'formal' if a clear rule is breached, and 'informal' if more general [PG] |
7415 | Question-begging assumes the proposition which is being challenged [PG] |
7414 | What is true of a set is also true of its members [PG] |
6696 | The Ad Hominem Fallacy criticises the speaker rather than the argument [PG] |
4687 | Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
10702 | Set theory's three roles: taming the infinite, subject-matter of mathematics, and modes of reasoning [Potter] |
10713 | Usually the only reason given for accepting the empty set is convenience [Potter] |
13044 | Infinity: There is at least one limit level [Potter] |
10708 | Nowadays we derive our conception of collections from the dependence between them [Potter] |
13546 | The 'limitation of size' principles say whether properties collectivise depends on the number of objects [Potter] |
10707 | Mereology elides the distinction between the cards in a pack and the suits [Potter] |
10704 | We can formalize second-order formation rules, but not inference rules [Potter] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
10703 | Supposing axioms (rather than accepting them) give truths, but they are conditional [Potter] |
6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |
10712 | If set theory didn't found mathematics, it is still needed to count infinite sets [Potter] |
17882 | It is remarkable that all natural number arithmetic derives from just the Peano Axioms [Potter] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
13043 | A relation is a set consisting entirely of ordered pairs [Potter] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
13042 | If dependence is well-founded, with no infinite backward chains, this implies substances [Potter] |
13041 | Collections have fixed members, but fusions can be carved in innumerable ways [Potter] |
10709 | Priority is a modality, arising from collections and members [Potter] |
24054 | Everything has a probability, something will happen, and probabilities add up [PG] |
3875 | If reality is just what we perceive, we would have no need for a sixth sense [PG] |
3876 | If my team is losing 3-1, I have synthetic a priori knowledge that they need two goals for a draw [PG] |
7734 | Maybe a mollusc's brain events for pain ARE of the same type (broadly) as a human's [PG] |
7735 | Maybe a frog's brain events for fear are functionally like ours, but not phenomenally [PG] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
3877 | Utilitarianism seems to justify the discreet murder of unhappy people [PG] |
6126 | Life is Movement, Respiration, Sensation, Nutrition, Excretion, Reproduction, Growth (MRS NERG) [PG] |
3873 | An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG] |
3874 | How could God know there wasn't an unknown force controlling his 'free' will? [PG] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |