72 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] |
10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
10763 | Completeness and compactness together give axiomatizability [Tharp] |
10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
15832 | Events are states of affairs that occur at certain places and times [Chisholm] |
15829 | The mark of a state of affairs is that it is capable of being accepted [Chisholm] |
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] |
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] |
15831 | Explanations have states of affairs as their objects [Chisholm] |
17472 | Thick mechanisms map whole reactions, and thin mechanism chart the steps [Weisberg/Needham/Hendry] |
17471 | Using mechanisms as explanatory schemes began in chemistry [Weisberg/Needham/Hendry] |
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] |
9268 | If free will miraculously interrupts causation, animals might do that; why would we want to do it? [Frankfurt on Chisholm] |
15821 | Determinism claims that every event has a sufficient causal pre-condition [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] |
3442 | Responsibility seems to conflict with events being either caused or not caused [Chisholm] |
3443 | Desires may rule us, but are we responsible for our desires? [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] |
17465 | Lavoisier's elements included four types of earth [Weisberg/Needham/Hendry] |
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] |
17468 | Over 100,000,000 compounds have been discovered or synthesised [Weisberg/Needham/Hendry] |
17470 | Water molecules dissociate, and form large polymers, explaining its properties [Weisberg/Needham/Hendry] |
17473 | It is unlikely that chemistry will ever be reduced to physics [Weisberg/Needham/Hendry] |
17474 | Quantum theory won't tell us which structure a set of atoms will form [Weisberg/Needham/Hendry] |
17475 | For temperature to be mean kinetic energy, a state of equilibrium is also required [Weisberg/Needham/Hendry] |
17469 | 'H2O' just gives the element proportions, not the microstructure [Weisberg/Needham/Hendry] |
17467 | Isotopes (such as those of hydrogen) can vary in their rates of chemical reaction [Weisberg/Needham/Hendry] |
17466 | Mendeleev systematised the elements, and also gave an account of their nature [Weisberg/Needham/Hendry] |