19 ideas
8996 | If if time is money then if time is not money then time is money then if if if time is not money... [Quine] |
8995 | Definition by words is determinate but relative; fixing contexts could make it absolute [Quine] |
13338 | '"It is snowing" is true if and only if it is snowing' is a partial definition of the concept of truth [Tarski] |
13337 | A language: primitive terms, then definition rules, then sentences, then axioms, and finally inference rules [Tarski] |
10064 | Quine quickly dismisses If-thenism [Quine, by Musgrave] |
20296 | Logic needs general conventions, but that needs logic to apply them to individual cases [Quine, by Rey] |
8998 | Claims that logic and mathematics are conventional are either empty, uninteresting, or false [Quine] |
8999 | Logic isn't conventional, because logic is needed to infer logic from conventions [Quine] |
9000 | If a convention cannot be communicated until after its adoption, what is its role? [Quine] |
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] |
8994 | If analytic geometry identifies figures with arithmetical relations, logicism can include geometry [Quine] |
8997 | There are four different possible conventional accounts of geometry [Quine] |
8993 | If mathematics follows from definitions, then it is conventional, and part of logic [Quine] |
13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |