8 ideas
17751 | Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki] |
9455 | Maybe proper names have the content of fixing a thing's category [Bealer] |
9454 | The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer] |
16045 | General facts supervene on particular facts, but cannot be inferred from them [Russell, by Bennett,K] |
14327 | Trope theorists cannot explain how tropes resemble each other [Russell, by Mumford] |
9453 | Sentences saying the same with the same rigid designators may still express different propositions [Bealer] |
9452 | Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer] |
9451 | Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer] |