49 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] |
| 13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
| 13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
| 13915 | Syllogistic can't handle sentences with singular terms, or relational terms, or compound sentences [Engelbretsen/Sayward] |
| 13916 | Term logic uses expression letters and brackets, and '-' for negative terms, and '+' for compound terms [Engelbretsen/Sayward] |
| 13850 | In modern logic all formal validity can be characterised syntactically [Engelbretsen/Sayward] |
| 13849 | Classical logic rests on truth and models, where constructivist logic rests on defence and refutation [Engelbretsen/Sayward] |
| 13851 | Unlike most other signs, = cannot be eliminated [Engelbretsen/Sayward] |
| 13733 | Frege considered definite descriptions to be genuine singular terms [Frege, by Fitting/Mendelsohn] |
| 9874 | Contradiction arises from Frege's substitutional account of second-order quantification [Dummett on Frege] |
| 13852 | Axioms are ω-incomplete if the instances are all derivable, but the universal quantification isn't [Engelbretsen/Sayward] |
| 18252 | Real numbers are ratios of quantities, such as lengths or masses [Frege] |
| 18271 | We can't prove everything, but we can spell out the unproved, so that foundations are clear [Frege] |
| 10623 | Frege defined number in terms of extensions of concepts, but needed Basic Law V to explain extensions [Frege, by Hale/Wright] |
| 9975 | Frege ignored Cantor's warning that a cardinal set is not just a concept-extension [Tait on Frege] |
| 18165 | My Basic Law V is a law of pure logic [Frege] |
| 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] |
| 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] |
| 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] |
| 9190 | A concept is a function mapping objects onto truth-values, if they fall under the concept [Frege, by Dummett] |
| 13665 | Frege took the study of concepts to be part of logic [Frege, by Shapiro] |
| 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] |