45 ideas
6814 | Instead of prayer and charity, sinners pursue vain disputes and want their own personal scripture [Mohammed] |
10888 | Sets can be defined by 'enumeration', or by 'abstraction' (based on a property) [Zalabardo] |
10889 | The 'Cartesian Product' of two sets relates them by pairing every element with every element [Zalabardo] |
10890 | A 'partial ordering' is reflexive, antisymmetric and transitive [Zalabardo] |
10886 | Determinacy: an object is either in a set, or it isn't [Zalabardo] |
10887 | Specification: Determinate totals of objects always make a set [Zalabardo] |
10897 | A first-order 'sentence' is a formula with no free variables [Zalabardo] |
10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [Zalabardo] |
10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
10896 | Propositional logic just needs ¬, and one of ∧, ∨ and → [Zalabardo] |
10898 | The semantics shows how truth values depend on instantiations of properties and relations [Zalabardo] |
10902 | We can do semantics by looking at given propositions, or by building new ones [Zalabardo] |
10892 | We make a truth assignment to T and F, which may be true and false, but merely differ from one another [Zalabardo] |
10900 | Logically true sentences are true in all structures [Zalabardo] |
10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them true [Zalabardo] |
10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
10903 | A structure models a sentence if it is true in the model, and a set of sentences if they are all true in the model [Zalabardo] |
10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
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] |
6828 | You may break off a treaty if you fear treachery from your ally [Mohammed] |
6823 | Repay evil with good and your enemies will become friends (though this is hard) [Mohammed] |
6826 | Allah rewards those who are devout, sincere, patient, humble, charitable, chaste, and who fast [Mohammed] |
6822 | Those who avenge themselves when wronged incur no guilt [Mohammed] |
6833 | Punish theft in men or women by cutting off their hands [Mohammed] |
6832 | Killing a human, except as just punishment, is like killing all mankind [Mohammed] |
6825 | Do not kill except for a just cause [Mohammed] |
6811 | Allah is lord of creation, compassionate, merciful, king of judgement-day [Mohammed] |
6819 | True believers see that Allah made the night for rest and the day to give light [Mohammed] |
6818 | Allah cannot have begotten a son, as He is self-sufficient [Mohammed] |
6831 | He that kills a believer by design shall burn in Hell for ever [Mohammed] |
6821 | I created mankind that it might worship Me [Mohammed] |
6815 | Be patient with unbelievers, and leave them to the judgement of Allah [Mohammed] |
6834 | Unbelievers try to interpret the ambiguous parts of the Koran, simply to create dissension [Mohammed] |
6817 | The Koran is certainly composed by Allah; no one could compose a chapter like it [Mohammed] |
6827 | Make war on the unbelievers until Allah's religion reigns supreme [Mohammed] |
6829 | There shall be no compulsion in religion [Mohammed] |
6824 | Do not split into sects, exulting in separate beliefs [Mohammed] |
6820 | The righteous shall dwell on couches in gardens, wedded to dark-eyed houris [Mohammed] |
6812 | Heaven will be reclining on couches, eating fruit, attended by virgins [Mohammed] |
6816 | The unbelievers shall drink boiling water [Mohammed] |
6830 | Unbelievers will have their skin repeatedly burned off in hell [Mohammed] |