20 ideas
10061 | The If-thenist view only seems to work for the axiomatised portions of mathematics [Musgrave] |
10065 | Perhaps If-thenism survives in mathematics if we stick to first-order logic [Musgrave] |
10049 | Logical truths may contain non-logical notions, as in 'all men are men' [Musgrave] |
10050 | A statement is logically true if it comes out true in all interpretations in all (non-empty) domains [Musgrave] |
10058 | No two numbers having the same successor relies on the Axiom of Infinity [Musgrave] |
10062 | Formalism seems to exclude all creative, growing mathematics [Musgrave] |
10063 | Formalism is a bulwark of logical positivism [Musgrave] |
16062 | A necessary relation between fact-levels seems to be a further irreducible fact [Lynch/Glasgow] |
16061 | If some facts 'logically supervene' on some others, they just redescribe them, adding nothing [Lynch/Glasgow] |
16060 | Nonreductive materialism says upper 'levels' depend on lower, but don't 'reduce' [Lynch/Glasgow] |
16064 | The hallmark of physicalism is that each causal power has a base causal power under it [Lynch/Glasgow] |
10060 | Logical positivists adopted an If-thenist version of logicism about numbers [Musgrave] |
5078 | Kant and Mill both try to explain right and wrong, without a divine lawgiver [Taylor,R] |
5067 | Morality based on 'forbid', 'permit' and 'require' implies someone who does these things [Taylor,R] |
5079 | Pleasure can have a location, and be momentary, and come and go - but happiness can't [Taylor,R] |
5068 | 'Eudaimonia' means 'having a good demon', implying supreme good fortune [Taylor,R] |
5076 | To Greeks it seemed obvious that the virtue of anything is the perfection of its function [Taylor,R] |
5077 | The modern idea of obligation seems to have lost the idea of an obligation 'to' something [Taylor,R] |
5066 | If we are made in God's image, pursuit of excellence is replaced by duty to obey God [Taylor,R] |
5065 | The ethics of duty requires a religious framework [Taylor,R] |