51 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] |
15830 | Some properties can never be had, like being a round square [Chisholm] |
15827 | Some properties, such as 'being a widow', can be seen as 'rooted outside the time they are had' [Chisholm] |
15804 | If some dogs are brown, that entails the properties of 'being brown' and 'being canine' [Chisholm] |
8508 | A 'trope' is an abstract particular, the occurrence of an essence [Williams,DC] |
8509 | A world is completely constituted by its tropes and their connections [Williams,DC] |
8510 | 'Socrates is wise' means a concurrence sum contains a member of a similarity set [Williams,DC] |
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] |
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] |
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] |
15831 | Explanations have states of affairs as their objects [Chisholm] |
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] |
15821 | Determinism claims that every event has a sufficient causal pre-condition [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] |
15820 | A 'law of nature' is just something which is physically necessary [Chisholm] |