37 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] |
15647 | Truth definitions don't produce a good theory, because they go beyond your current language [Halbach] |
15649 | In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach] |
15655 | Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach] |
15654 | If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach] |
15648 | Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach] |
15650 | Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach] |
15656 | Deflationists say truth merely serves to express infinite conjunctions [Halbach] |
4687 | Minimal theories of truth avoid ontological commitment to such things as 'facts' or 'reality' [PG] |
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
10653 | Maybe set theory need not be well-founded [Varzi] |
10659 | There is something of which everything is part, but no null-thing which is part of everything [Varzi] |
10648 | Mereology need not be nominalist, though it is often taken to be so [Varzi] |
10655 | Are there mereological atoms, and are all objects made of them? [Varzi] |
15652 | We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach] |
15651 | Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach] |
6516 | Monty Hall Dilemma: do you abandon your preference after Monty eliminates one of the rivals? [PG] |
10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
10654 | The parthood relation will help to define at least seven basic predicates [Varzi] |
10647 | Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi] |
10649 | 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi] |
10651 | If 'part' is reflexive, then identity is a limit case of parthood [Varzi] |
10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
24054 | Everything has a probability, something will happen, and probabilities add up [PG] |
10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
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] |
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] |
3874 | How could God know there wasn't an unknown force controlling his 'free' will? [PG] |
3873 | An omniscient being couldn't know it was omniscient, as that requires information from beyond its scope of knowledge [PG] |