35 ideas
| 13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
| 8166 | Truth is part of semantics, since valid inference preserves truth [Dummett] |
| 13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
| 8173 | Language can violate bivalence because of non-referring terms or ill-defined predicates [Dummett] |
| 8179 | The law of excluded middle is the logical reflection of the principle of bivalence [Dummett] |
| 13335 | Semantics is the concepts of connections of language to reality, such as denotation, definition and truth [Tarski] |
| 13336 | A language containing its own semantics is inconsistent - but we can use a second language [Tarski] |
| 13339 | A sentence is satisfied when we can assert the sentence when the variables are assigned [Tarski] |
| 13340 | Satisfaction is the easiest semantical concept to define, and the others will reduce to it [Tarski] |
| 13341 | Using the definition of truth, we can prove theories consistent within sound logics [Tarski] |
| 8184 | Philosophers should not presume reality, but only invoke it when language requires it [Dummett] |
| 8185 | We can't make sense of a world not apprehended by a mind [Dummett] |
| 8163 | Since 'no bird here' and 'no squirrel here' seem the same, we must talk of 'atomic' facts [Dummett] |
| 8161 | We know we can state facts, with true statements [Dummett] |
| 8180 | 'That is red or orange' might be considered true, even though 'that is red' and 'that is orange' were not [Dummett] |
| 8178 | Empirical and a priori knowledge are not distinct, but are extremes of a sliding scale [Dummett] |
| 17499 | Theoretical models can represent, by mapping onto the data-models [Portides] |
| 17498 | In the 'received view' models are formal; the 'semantic view' emphasises representation [Portides, by PG] |
| 17501 | Representational success in models depends on success of their explanations [Portides] |
| 17502 | The best model of the atomic nucleus is the one which explains the most results [Portides] |
| 17496 | 'Model' belongs in a family of concepts, with representation, idealisation and abstraction [Portides] |
| 17497 | Models are theory-driven, or phenomenological (more empirical and specific) [Portides] |
| 17500 | General theories may be too abstract to actually explain the mechanisms [Portides] |
| 8175 | A theory of thought will include propositional attitudes as well as propositions [Dummett] |
| 8174 | The theories of meaning and understanding are the only routes to an account of thought [Dummett] |
| 8165 | To 'abstract from' is a logical process, as opposed to the old mental view [Dummett] |
| 8168 | To know the truth-conditions of a sentence, you must already know the meaning [Dummett] |
| 8181 | A justificationist theory of meaning leads to the rejection of classical logic [Dummett] |
| 8182 | Verificationism could be realist, if we imagined the verification by a superhuman power [Dummett] |
| 8183 | If truths about the past depend on memories and current evidence, the past will change [Dummett] |
| 8176 | We could only guess the meanings of 'true' and 'false' when sentences were used [Dummett] |
| 8170 | Sentences are the primary semantic units, because they can say something [Dummett] |
| 8169 | We can't distinguish a proposition from its content [Dummett] |
| 8186 | Time is the measure of change, so we can't speak of time before all change [Dummett] |
| 8167 | If Presentism is correct, we cannot even say that the present changes [Dummett] |