70 ideas
| 15801 | Many philosophers aim to understand metaphysics by studying ourselves [Chisholm] |
| 15802 | I use variables to show that each item remains the same entity throughout [Chisholm] |
| 17925 | Showing a disproof is impossible is not a proof, so don't eliminate double negation [Colyvan] |
| 17926 | Rejecting double negation elimination undermines reductio proofs [Colyvan] |
| 17924 | Excluded middle says P or not-P; bivalence says P is either true or false [Colyvan] |
| 17929 | Löwenheim proved his result for a first-order sentence, and Skolem generalised it [Colyvan] |
| 17930 | Axioms are 'categorical' if all of their models are isomorphic [Colyvan] |
| 17928 | Ordinal numbers represent order relations [Colyvan] |
| 17923 | Intuitionists only accept a few safe infinities [Colyvan] |
| 17941 | Infinitesimals were sometimes zero, and sometimes close to zero [Colyvan] |
| 17922 | Reducing real numbers to rationals suggested arithmetic as the foundation of maths [Colyvan] |
| 17936 | Transfinite induction moves from all cases, up to the limit ordinal [Colyvan] |
| 17940 | Most mathematical proofs are using set theory, but without saying so [Colyvan] |
| 17931 | Structuralism say only 'up to isomorphism' matters because that is all there is to it [Colyvan] |
| 17932 | If 'in re' structures relies on the world, does the world contain rich enough structures? [Colyvan] |
| 15832 | Events are states of affairs that occur at certain places and times [Chisholm] |
| 16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
| 16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
| 16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
| 16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
| 15809 | A state of affairs pertains to a thing if it implies that it has some property [Chisholm] |
| 15828 | I propose that events and propositions are two types of states of affairs [Chisholm] |
| 15829 | The mark of a state of affairs is that it is capable of being accepted [Chisholm] |
| 13120 | Chisholm divides things into contingent and necessary, and then individuals, states and non-states [Chisholm, by Westerhoff] |
| 15827 | Some properties, such as 'being a widow', can be seen as 'rooted outside the time they are had' [Chisholm] |
| 15830 | Some properties can never be had, like being a round square [Chisholm] |
| 15804 | If some dogs are brown, that entails the properties of 'being brown' and 'being canine' [Chisholm] |
| 15810 | Maybe we can only individuate things by relating them to ourselves [Chisholm] |
| 15805 | Being the tallest man is an 'individual concept', but not a haecceity [Chisholm] |
| 15807 | A haecceity is a property had necessarily, and strictly confined to one entity [Chisholm] |
| 15814 | A peach is sweet and fuzzy, but it doesn't 'have' those qualities [Chisholm] |
| 12852 | If x is ever part of y, then y is necessarily such that x is part of y at any time that y exists [Chisholm, by Simons] |
| 15808 | A traditional individual essence includes all of a thing's necessary characteristics [Chisholm] |
| 11966 | If there are essential properties, how do you find out what they are? [Chisholm] |
| 12851 | Intermittence is seen in a toy fort, which is dismantled then rebuilt with the same bricks [Chisholm, by Simons] |
| 15806 | The property of being identical with me is an individual concept [Chisholm] |
| 15826 | There is 'loose' identity between things if their properties, or truths about them, might differ [Chisholm] |
| 11965 | Could possible Adam gradually transform into Noah, and vice versa? [Chisholm] |
| 19569 | We have a basic epistemic duty to believe truth and avoid error [Chisholm, by Kvanvig] |
| 15819 | Do sense-data have structure, location, weight, and constituting matter? [Chisholm] |
| 15816 | 'I feel depressed' is more like 'he runs slowly' than like 'he has a red book' [Chisholm] |
| 15817 | If we can say a man senses 'redly', why not also 'rectangularly'? [Chisholm] |
| 15818 | So called 'sense-data' are best seen as 'modifications' of the person experiencing them [Chisholm] |
| 8790 | The 'doctrine of the given' is correct; some beliefs or statements are self-justifying [Chisholm] |
| 17943 | Probability supports Bayesianism better as degrees of belief than as ratios of frequencies [Colyvan] |
| 15831 | Explanations have states of affairs as their objects [Chisholm] |
| 17939 | Mathematics can reveal structural similarities in diverse systems [Colyvan] |
| 17938 | Mathematics can show why some surprising events have to occur [Colyvan] |
| 17934 | Proof by cases (by 'exhaustion') is said to be unexplanatory [Colyvan] |
| 17933 | Reductio proofs do not seem to be very explanatory [Colyvan] |
| 17935 | If inductive proofs hold because of the structure of natural numbers, they may explain theorems [Colyvan] |
| 17942 | Can a proof that no one understands (of the four-colour theorem) really be a proof? [Colyvan] |
| 17937 | Mathematical generalisation is by extending a system, or by abstracting away from it [Colyvan] |
| 15811 | I am picked out uniquely by my individual essence, which is 'being identical with myself' [Chisholm] |
| 15815 | Sartre says the ego is 'opaque'; I prefer to say that it is 'transparent' [Chisholm] |
| 15813 | People use 'I' to refer to themselves, with the meaning of their own individual essence [Chisholm] |
| 15803 | Bad theories of the self see it as abstract, or as a bundle, or as a process [Chisholm] |
| 3444 | If actions are not caused by other events, and are not causeless, they must be caused by the person [Chisholm] |
| 3446 | For Hobbes (but not for Kant) a person's actions can be deduced from their desires and beliefs [Chisholm] |
| 15821 | Determinism claims that every event has a sufficient causal pre-condition [Chisholm] |
| 9268 | If free will miraculously interrupts causation, animals might do that; why would we want to do it? [Frankfurt on Chisholm] |
| 20062 | If a desire leads to a satisfactory result by an odd route, the causal theory looks wrong [Chisholm] |
| 20054 | There has to be a brain event which is not caused by another event, but by the agent [Chisholm] |
| 3443 | Desires may rule us, but are we responsible for our desires? [Chisholm] |
| 3442 | Responsibility seems to conflict with events being either caused or not caused [Chisholm] |
| 15824 | There are mere omissions (through ignorance, perhaps), and people can 'commit an omission' [Chisholm] |
| 15822 | The concept of physical necessity is basic to both causation, and to the concept of nature [Chisholm] |
| 15823 | Some propose a distinct 'agent causation', as well as 'event causation' [Chisholm] |
| 3445 | Causation among objects relates either events or states [Chisholm] |
| 15820 | A 'law of nature' is just something which is physically necessary [Chisholm] |