155 ideas
5361 | Philosophers must get used to absurdities [Russell] |
5368 | Philosophy verifies that our hierarchy of instinctive beliefs is harmonious and consistent [Russell] |
5432 | Metaphysics cannot give knowledge of the universe as a whole [Russell] |
5434 | Philosophy is similar to science, and has no special source of wisdom [Russell] |
10237 | Coherence is a primitive, intuitive notion, not reduced to something formal [Shapiro] |
5396 | Three Laws of Thought: identity, contradiction, and excluded middle [Russell] |
5405 | The law of contradiction is not a 'law of thought', but a belief about things [Russell] |
10204 | An 'implicit definition' gives a direct description of the relations of an entity [Shapiro] |
5420 | Truth is a property of a belief, but dependent on its external relations, not its internal qualities [Russell] |
5419 | Truth and falsehood are properties of beliefs and statements [Russell] |
5417 | A good theory of truth must make falsehood possible [Russell] |
7395 | Truth as congruence may work for complex beliefs, but not for simple beliefs about existence [Joslin on Russell] |
5428 | Beliefs are true if they have corresponding facts, and false if they don't [Russell] |
5421 | The coherence theory says falsehood is failure to cohere, and truth is fitting into a complete system of Truth [Russell] |
5422 | More than one coherent body of beliefs seems possible [Russell] |
5423 | If we suspend the law of contradiction, nothing will appear to be incoherent [Russell] |
5424 | Coherence is not the meaning of truth, but an important test for truth [Russell] |
5401 | The mortality of Socrates is more certain from induction than it is from deduction [Russell] |
10206 | Modal operators are usually treated as quantifiers [Shapiro] |
10208 | Axiom of Choice: some function has a value for every set in a given set [Shapiro] |
10252 | The Axiom of Choice seems to license an infinite amount of choosing [Shapiro] |
10207 | Anti-realists reject set theory [Shapiro] |
10259 | The two standard explanations of consequence are semantic (in models) and deductive [Shapiro] |
5395 | Demonstration always relies on the rule that anything implied by a truth is true [Russell] |
10257 | Intuitionism only sanctions modus ponens if all three components are proved [Shapiro] |
10253 | Either logic determines objects, or objects determine logic, or they are separate [Shapiro] |
10251 | The law of excluded middle might be seen as a principle of omniscience [Shapiro] |
10212 | Classical connectives differ from their ordinary language counterparts; '∧' is timeless, unlike 'and' [Shapiro] |
10209 | A function is just an arbitrary correspondence between collections [Shapiro] |
5386 | Proper names are really descriptions, and can be replaced by a description in a person's mind [Russell] |
5385 | The phrase 'a so-and-so' is an 'ambiguous' description'; 'the so-and-so' (singular) is a 'definite' description [Russell] |
10268 | Maybe plural quantifiers should be understood in terms of classes or sets [Shapiro] |
10235 | A sentence is 'satisfiable' if it has a model [Shapiro] |
10240 | Model theory deals with relations, reference and extensions [Shapiro] |
10239 | The central notion of model theory is the relation of 'satisfaction' [Shapiro] |
10214 | Theory ontology is never complete, but is only determined 'up to isomorphism' [Shapiro] |
10238 | The set-theoretical hierarchy contains as many isomorphism types as possible [Shapiro] |
10234 | Any theory with an infinite model has a model of every infinite cardinality [Shapiro] |
10201 | Virtually all of mathematics can be modeled in set theory [Shapiro] |
10213 | Real numbers are thought of as either Cauchy sequences or Dedekind cuts [Shapiro] |
18243 | Understanding the real-number structure is knowing usage of the axiomatic language of analysis [Shapiro] |
18245 | Cuts are made by the smallest upper or largest lower number, some of them not rational [Shapiro] |
10236 | There is no grounding for mathematics that is more secure than mathematics [Shapiro] |
10256 | For intuitionists, proof is inherently informal [Shapiro] |
10202 | Natural numbers just need an initial object, successors, and an induction principle [Shapiro] |
10205 | Mathematics originally concerned the continuous (geometry) and the discrete (arithmetic) [Shapiro] |
10222 | Mathematical foundations may not be sets; categories are a popular rival [Shapiro] |
10218 | Baseball positions and chess pieces depend entirely on context [Shapiro] |
10224 | The even numbers have the natural-number structure, with 6 playing the role of 3 [Shapiro] |
10228 | Could infinite structures be apprehended by pattern recognition? [Shapiro] |
10230 | The 4-pattern is the structure common to all collections of four objects [Shapiro] |
10249 | The main mathematical structures are algebraic, ordered, and topological [Shapiro] |
10273 | Some structures are exemplified by both abstract and concrete [Shapiro] |
10276 | Mathematical structures are defined by axioms, or in set theory [Shapiro] |
10270 | The main versions of structuralism are all definitionally equivalent [Shapiro] |
10221 | Is there is no more to structures than the systems that exemplify them? [Shapiro] |
10248 | Number statements are generalizations about number sequences, and are bound variables [Shapiro] |
10220 | Because one structure exemplifies several systems, a structure is a one-over-many [Shapiro] |
10223 | There is no 'structure of all structures', just as there is no set of all sets [Shapiro] |
8703 | Shapiro's structuralism says model theory (comparing structures) is the essence of mathematics [Shapiro, by Friend] |
10274 | Does someone using small numbers really need to know the infinite structure of arithmetic? [Shapiro] |
10200 | We distinguish realism 'in ontology' (for objects), and 'in truth-value' (for being either true or false) [Shapiro] |
10210 | If mathematical objects are accepted, then a number of standard principles will follow [Shapiro] |
10215 | Platonists claim we can state the essence of a number without reference to the others [Shapiro] |
10233 | Platonism must accept that the Peano Axioms could all be false [Shapiro] |
10244 | Intuition is an outright hindrance to five-dimensional geometry [Shapiro] |
10280 | A stone is a position in some pattern, and can be viewed as an object, or as a location [Shapiro] |
5399 | Maths is not known by induction, because further instances are not needed to support it [Russell] |
10254 | Can the ideal constructor also destroy objects? [Shapiro] |
10255 | Presumably nothing can block a possible dynamic operation? [Shapiro] |
10279 | Can we discover whether a deck is fifty-two cards, or a person is time-slices or molecules? [Shapiro] |
10227 | The abstract/concrete boundary now seems blurred, and would need a defence [Shapiro] |
10226 | Mathematicians regard arithmetic as concrete, and group theory as abstract [Shapiro] |
5370 | Space is neutral between touch and sight, so it cannot really be either of them [Russell] |
10262 | Fictionalism eschews the abstract, but it still needs the possible (without model theory) [Shapiro] |
10277 | Structuralism blurs the distinction between mathematical and ordinary objects [Shapiro] |
5418 | In a world of mere matter there might be 'facts', but no truths [Russell] |
5371 | Because we depend on correspondence, we know relations better than we know the items that relate [Russell] |
5407 | That Edinburgh is north of London is a non-mental fact, so relations are independent universals [Russell] |
5383 | Every complete sentence must contain at least one word (a verb) which stands for a universal [Russell] |
4428 | Propositions express relations (prepositions and verbs) as well as properties (nouns and adjectives) [Russell] |
5406 | Confused views of reality result from thinking that only nouns and adjectives represent universals [Russell] |
4479 | All universals are like the relation "is north of", in having no physical location at all [Russell, by Loux] |
4427 | Every sentence contains at least one word denoting a universal, so we need universals to know truth [Russell] |
4030 | Russell claims that universals are needed to explain a priori knowledge (as their relations) [Russell, by Mellor/Oliver] |
5409 | Normal existence is in time, so we must say that universals 'subsist' [Russell] |
5408 | If we identify whiteness with a thought, we can never think of it twice; whiteness is the object of a thought [Russell] |
4441 | 'Resemblance Nominalism' won't work, because the theory treats resemblance itself as a universal [Russell] |
4429 | If we consider whiteness to be merely a mental 'idea', we rob it of its universality [Russell] |
10272 | The notion of 'object' is at least partially structural and mathematical [Shapiro] |
10275 | A blurry border is still a border [Shapiro] |
15642 | If kinds depend only on what can be observed, many underlying essences might produce the same kind [Eagle] |
15645 | Nominal essence are the observable properties of things [Eagle] |
15643 | Nominal essence mistakenly gives equal weight to all underlying properties that produce appearances [Eagle] |
10258 | Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro] |
5400 | In any possible world we feel that two and two would be four [Russell] |
10266 | Why does the 'myth' of possible worlds produce correct modal logic? [Shapiro] |
5431 | Knowledge cannot be precisely defined, as it merges into 'probable opinion' [Russell] |
5426 | Belief relates a mind to several things other than itself [Russell] |
5366 | We have an 'instinctive' belief in the external world, prior to all reflection [Russell] |
5359 | Descartes showed that subjective things are the most certain [Russell] |
5377 | 'Acquaintance' is direct awareness, without inferences or judgements [Russell] |
6510 | Russell (1912) said phenomena only resemble reality in abstract structure [Russell, by Robinson,H] |
5372 | There is no reason to think that objects have colours [Russell] |
5373 | 'Idealism' says that everything which exists is in some sense mental [Russell] |
5362 | It is not illogical to think that only myself and my mental events exist [Russell] |
5412 | Some propositions are self-evident, but their implications may also be self-evident [Russell] |
5413 | Particular instances are more clearly self-evident than any general principles [Russell] |
5415 | As shown by memory, self-evidence comes in degrees [Russell] |
5416 | If self-evidence has degrees, we should accept the more self-evident as correct [Russell] |
5397 | The rationalists were right, because we know logical principles without experience [Russell] |
4430 | All a priori knowledge deals with the relations of universals [Russell] |
5411 | We can know some general propositions by universals, when no instance can be given [Russell] |
6514 | Russell's representationalism says primary qualities only show the structure of reality [Russell, by Robinson,H] |
6415 | After 1912, Russell said sense-data are last in analysis, not first in experience [Russell, by Grayling] |
5358 | 'Sense-data' are what are immediately known in sensation, such as colours or roughnesses [Russell] |
7290 | If Russell rejects innate ideas and direct a priori knowledge, he is left with a tabula rasa [Russell, by Thompson] |
5357 | It is natural to begin from experience, and presumably that is the basis of knowledge [Russell] |
5382 | We are acquainted with outer and inner sensation, memory, Self, and universals [Russell, by PG] |
5389 | Knowledge by descriptions enables us to transcend private experience [Russell] |
5376 | I can know the existence of something with which nobody is acquainted [Russell] |
5414 | Images are not memory, because they are present, and memories are of the past [Russell] |
5430 | A true belief is not knowledge if it is reached by bad reasoning [Russell] |
5429 | True belief is not knowledge when it is deduced from false belief [Russell] |
5378 | All knowledge (of things and of truths) rests on the foundations of acquaintance [Russell] |
5365 | Dreams can be explained fairly scientifically if we assume a physical world [Russell] |
5391 | Science aims to find uniformities to which (within the limits of experience) there are no exceptions [Russell] |
5394 | We can't prove induction from experience without begging the question [Russell] |
5390 | Chickens are not very good at induction, and are surprised when their feeder wrings their neck [Russell] |
5392 | It doesn't follow that because the future has always resembled the past, that it always will [Russell] |
5363 | If the cat reappears in a new position, presumably it has passed through the intermediate positions [Russell] |
5367 | Belief in real objects makes our account of experience simpler and more systematic [Russell] |
5364 | It is hard not to believe that speaking humans are expressing thoughts, just as we do ourselves [Russell] |
5379 | If we didn't know our own minds by introspection, we couldn't know that other people have minds [Russell] |
10203 | We apprehend small, finite mathematical structures by abstraction from patterns [Shapiro] |
5410 | I learn the universal 'resemblance' by seeing two shades of green, and their contrast with red [Russell] |
5381 | In seeing the sun, we are acquainted with our self, but not as a permanent person [Russell] |
5380 | In perceiving the sun, I am aware of sun sense-data, and of the perceiver of the data [Russell] |
5369 | It is rational to believe in reality, despite the lack of demonstrative reasons for it [Russell] |
5375 | Knowledge of truths applies to judgements; knowledge by acquaintance applies to sensations and things [Russell] |
21711 | Russell's 'multiple relations' theory says beliefs attach to ingredients, not to propositions [Russell, by Linsky,B] |
5427 | Truth is when a mental state corresponds to a complex unity of external constituents [Russell] |
5425 | In order to explain falsehood, a belief must involve several terms, not two [Russell] |
5384 | A universal of which we are aware is called a 'concept' [Russell] |
10229 | Simple types can be apprehended through their tokens, via abstraction [Shapiro] |
10217 | We can apprehend structures by focusing on or ignoring features of patterns [Shapiro] |
9554 | We can focus on relations between objects (like baseballers), ignoring their other features [Shapiro] |
10231 | Abstract objects might come by abstraction over an equivalence class of base entities [Shapiro] |
13468 | Russell started philosophy of language, by declaring some plausible sentences to be meaningless [Russell, by Hart,WD] |
5388 | Every understood proposition is composed of constituents with which we are acquainted [Russell] |
5387 | It is pure chance which descriptions in a person's mind make a name apply to an individual [Russell] |
21724 | The main aim of the multiple relations theory of judgement was to dispense with propositions [Russell, by Linsky,B] |
5398 | Judgements of usefulness depend on judgements of value [Russell] |
15641 | Kinds are fixed by the essential properties of things - the properties that make it that kind of thing [Eagle] |
5393 | We can't know that our laws are exceptionless, or even that there are any laws [Russell] |