15 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] |
10067 | Gentzen proved the consistency of arithmetic from assumptions beyond arithmetic [Gentzen, by Musgrave] |
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] |
7765 | The use of a sentence is its commitments and entitlements [Brandom, by Lycan] |