30 ideas
6334 | The function of the truth predicate? Understanding 'true'? Meaning of 'true'? The concept of truth? A theory of truth? [Horwich] |
6342 | Some correspondence theories concern facts; others are built up through reference and satisfaction [Horwich] |
6332 | The common-sense theory of correspondence has never been worked out satisfactorily [Horwich] |
6335 | The redundancy theory cannot explain inferences from 'what x said is true' and 'x said p', to p [Horwich] |
6336 | No deflationary conception of truth does justice to the fact that we aim for truth [Horwich] |
23299 | Horwich's deflationary view is novel, because it relies on propositions rather than sentences [Horwich, by Davidson] |
6337 | The deflationary picture says believing a theory true is a trivial step after believing the theory [Horwich] |
6344 | Truth is a useful concept for unarticulated propositions and generalisations about them [Horwich] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
6339 | Logical form is the aspects of meaning that determine logical entailments [Horwich] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
6338 | We could know the truth-conditions of a foreign sentence without knowing its meaning [Horwich] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
6340 | There are Fregean de dicto propositions, and Russellian de re propositions, or a mixture [Horwich] |
6341 | Right translation is a mapping of languages which preserves basic patterns of usage [Horwich] |
22392 | Morality is inescapable, in descriptive words such as 'dishonest', 'unjust' and 'uncharitable' [Foot] |
23685 | Reason is not a motivator of morality [Foot, by Hacker-Wright] |
23691 | Rejecting moral rules may be villainous, but it isn't inconsistent [Foot] |
22391 | Saying we 'ought to be moral' makes no sense, unless it relates to some other system [Foot] |
22389 | Morality no more consists of categorical imperatives than etiquette does [Foot] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |