26 ideas
19108 | Truth is proper assertion, but that has varying standards [Misak] |
19094 | For pragmatists the loftiest idea of truth is just a feature of what remains forever assertible [Misak] |
19105 | Truth isn't a grand elusive property, if it is just the aim of our assertions and inquiries [Misak] |
19100 | Truth makes disagreements matter, or worth settling [Misak] |
19099 | 'True' is used for emphasis, clarity, assertion, comparison, objectivity, meaning, negation, consequence... [Misak] |
19103 | 'That's true' doesn't just refer back to a sentence, but implies sustained evidence for it [Misak] |
19101 | Disquotation is bivalent [Misak] |
19096 | Disquotationalism resembles a telephone directory [Misak] |
19106 | Disquotations says truth is assertion, and assertion proclaims truth - but what is 'assertion'? [Misak] |
19098 | Deflating the correspondence theory doesn't entail deflating all the other theories [Misak] |
19104 | Deflationism isn't a theory of truth, but an account of its role in natural language [Misak] |
11211 | If a sound conclusion comes from two errors that cancel out, the path of the argument must matter [Rumfitt] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
11212 | The sense of a connective comes from primitively obvious rules of inference [Rumfitt] |
11210 | Standardly 'and' and 'but' are held to have the same sense by having the same truth table [Rumfitt] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
19109 | The anti-realism debate concerns whether indefeasibility is a plausible aim of inquiry [Misak] |
11214 | We learn 'not' along with affirmation, by learning to either affirm or deny a sentence [Rumfitt] |