20 ideas
19079 | For idealists reality is like a collection of beliefs, so truths and truthmakers are not distinct [Young,JO] |
19076 | Coherence theories differ over the coherence relation, and over the set of proposition with which to cohere [Young,JO] |
19077 | Two propositions could be consistent with your set, but inconsistent with one another [Young,JO] |
19078 | Coherence with actual beliefs, or our best beliefs, or ultimate ideal beliefs? [Young,JO] |
19084 | Coherent truth is not with an arbitrary set of beliefs, but with a set which people actually do believe [Young,JO] |
19083 | How do you identify the best coherence set; and aren't there truths which don't cohere? [Young,JO] |
19075 | Deflationary theories reject analysis of truth in terms of truth-conditions [Young,JO] |
11022 | Gentzen introduced a natural deduction calculus (NK) in 1934 [Gentzen, by Read] |
11065 | The inferential role of a logical constant constitutes its meaning [Gentzen, by Hanna] |
11023 | The logical connectives are 'defined' by their introduction rules [Gentzen] |
11213 | Each logical symbol has an 'introduction' rule to define it, and hence an 'elimination' rule [Gentzen] |
13832 | Natural deduction shows the heart of reasoning (and sequent calculus is just a tool) [Gentzen, by Hacking] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
16065 | Constitution is identity (being in the same place), or it isn't (having different possibilities) [Wasserman] |
16067 | Constitution is not identity, because it is an asymmetric dependence relation [Wasserman] |
16069 | There are three main objections to seeing constitution as different from identity [Wasserman] |
16068 | The weight of a wall is not the weight of its parts, since that would involve double-counting [Wasserman] |
16074 | Relative identity may reject transitivity, but that suggests that it isn't about 'identity' [Wasserman] |
19074 | Are truth-condtions other propositions (coherence) or features of the world (correspondence)? [Young,JO] |
19082 | Coherence truth suggests truth-condtions are assertion-conditions, which need knowledge of justification [Young,JO] |