34 ideas
| 18543 | Do aesthetic reasons count as reasons, if they are rejectable without contradiction? [Scruton] |
| 18542 | Defining truth presupposes that there can be a true definition [Scruton] |
| 18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
| 19318 | A 'sequence' of objects is an order set of them [Kirkham] |
| 19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
| 19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
| 10775 | The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp] |
| 10766 | Logic is either for demonstration, or for characterizing structures [Tharp] |
| 10767 | Elementary logic is complete, but cannot capture mathematics [Tharp] |
| 19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
| 10769 | Second-order logic isn't provable, but will express set-theory and classic problems [Tharp] |
| 10762 | In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp] |
| 10776 | The main quantifiers extend 'and' and 'or' to infinite domains [Tharp] |
| 10774 | There are at least five unorthodox quantifiers that could be used [Tharp] |
| 19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
| 10777 | Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp] |
| 10773 | The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp] |
| 10765 | Soundness would seem to be an essential requirement of a proof procedure [Tharp] |
| 10763 | Completeness and compactness together give axiomatizability [Tharp] |
| 10770 | If completeness fails there is no algorithm to list the valid formulas [Tharp] |
| 10771 | Compactness is important for major theories which have infinitely many axioms [Tharp] |
| 10772 | Compactness blocks infinite expansion, and admits non-standard models [Tharp] |
| 10764 | A complete logic has an effective enumeration of the valid formulas [Tharp] |
| 10768 | Effective enumeration might be proved but not specified, so it won't guarantee knowledge [Tharp] |
| 19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
| 18546 | The pleasure taken in beauty also aims at understanding and valuing [Scruton] |
| 18550 | Art gives us imaginary worlds which we can view impartially [Scruton] |
| 18544 | Maybe 'beauty' is too loaded, and we should talk of fittingness or harmony [Scruton] |
| 18553 | Beauty shows us what we should want in order to achieve human fulfilment [Scruton] |
| 18556 | Beauty is rationally founded, inviting meaning, comparison and self-reflection [Scruton] |
| 18548 | Natural beauty reassures us that the world is where we belong [Scruton] |
| 18551 | Croce says art makes inarticulate intuitions conscious; rival views say the audience is the main concern [Scruton] |
| 18541 | Beauty (unlike truth and goodness) is questionable as an ultimate value [Scruton] |
| 18554 | Prostitution is wrong because it hardens the soul, since soul and body are one [Scruton] |