56 ideas
| 15801 | Many philosophers aim to understand metaphysics by studying ourselves [Chisholm] |
| 7529 | All philosophy should begin with an analysis of propositions [Russell] |
| 15802 | I use variables to show that each item remains the same entity throughout [Chisholm] |
| 13252 | Some truths have true negations [Beall/Restall] |
| 13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
| 13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
| 13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
| 13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
| 13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
| 13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
| 13254 | A doesn't imply A - that would be circular [Beall/Restall] |
| 13255 | Relevant logic may reject transitivity [Beall/Restall] |
| 13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
| 13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
| 13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
| 13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
| 13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
| 13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
| 13253 | There are several different consequence relations [Beall/Restall] |
| 13240 | A sentence follows from others if they always model it [Beall/Restall] |
| 13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
| 13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
| 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] |
| 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] |
| 13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
| 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] |
| 13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
| 13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
| 13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
| 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] |