59 ideas
6095 | The business of metaphysics is to describe the world [Russell] |
6106 | Reducing entities and premisses makes error less likely [Russell] |
13252 | Some truths have true negations [Beall/Restall] |
6090 | Facts make propositions true or false, and are expressed by whole sentences [Russell] |
13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
18348 | Not only atomic truths, but also general and negative truths, have truth-makers [Russell, by Rami] |
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] |
13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
13246 | Relevant logic does not abandon classical logic [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] |
6103 | Normally a class with only one member is a problem, because the class and the member are identical [Russell] |
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] |
6092 | In a logically perfect language, there will be just one word for every simple object [Russell] |
6101 | Romulus does not occur in the proposition 'Romulus did not exist' [Russell] |
6102 | You can understand 'author of Waverley', but to understand 'Scott' you must know who it applies to [Russell] |
10423 | There are a set of criteria for pinning down a logically proper name [Russell, by Sainsbury] |
7744 | Treat description using quantifiers, and treat proper names as descriptions [Russell, by McCullogh] |
10426 | A name has got to name something or it is not a name [Russell] |
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] |
10580 | Mathematics is both necessary and a priori because it really consists of logical truths [Yablo] |
6104 | Numbers are classes of classes, and hence fictions of fictions [Russell] |
10579 | Putting numbers in quantifiable position (rather than many quantifiers) makes expression easier [Yablo] |
21708 | Russell's new logical atomist was of particulars, universals and facts (not platonic propositions) [Russell, by Linsky,B] |
19051 | Russell's atomic facts are actually compounds, and his true logical atoms are sense data [Russell, by Quine] |
6089 | Logical atomism aims at logical atoms as the last residue of analysis [Russell] |
6100 | Once you have enumerated all the atomic facts, there is a further fact that those are all the facts [Russell] |
6105 | Logical atoms aims to get down to ultimate simples, with their own unique reality [Russell] |
10577 | Concrete objects have few essential properties, but properties of abstractions are mostly essential [Yablo] |
10578 | We are thought to know concreta a posteriori, and many abstracta a priori [Yablo] |
21709 | You can't name all the facts, so they are not real, but are what propositions assert [Russell] |
18376 | Russell asserts atomic, existential, negative and general facts [Russell, by Armstrong] |
5465 | Modern trope theory tries, like logical atomism, to reduce things to elementary states [Russell, by Ellis] |
6060 | 'Existence' means that a propositional function is sometimes true [Russell] |
6099 | Modal terms are properties of propositional functions, not of propositions [Russell] |
13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
6098 | Perception goes straight to the fact, and not through the proposition [Russell] |
13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
6097 | The theory of error seems to need the existence of the non-existent [Russell] |
9022 | Russell uses 'propositional function' to refer to both predicates and to attributes [Quine on Russell] |
13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
6091 | Propositions don't name facts, because each fact corresponds to a proposition and its negation [Russell] |
13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
21702 | In 1918 still believes in nonlinguistic analogues of sentences, but he now calls them 'facts' [Russell, by Quine] |
6094 | An inventory of the world does not need to include propositions [Russell] |
6096 | I no longer believe in propositions, especially concerning falsehoods [Russell] |
21712 | I know longer believe in shadowy things like 'that today is Wednesday' when it is actually Tuesday [Russell] |
6093 | The names in a logically perfect language would be private, and could not be shared [Russell] |
6119 | You can discuss 'God exists', so 'God' is a description, not a name [Russell] |