76 ideas
| 1922 | Spiritual qualities only become advantageous with the growth of wisdom [Plato] |
| 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] |
| 10893 | Γ |= φ for sentences if φ is true when all of Γ is true [Zalabardo] |
| 10899 | Γ |= φ if φ is true when all of Γ is true, for all structures and interpretations [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] |
| 10895 | 'Logically true' (|= φ) is true for every truth-assignment [Zalabardo] |
| 10900 | Logically true sentences are true in all structures [Zalabardo] |
| 10894 | A sentence-set is 'satisfiable' if at least one truth-assignment makes them all true [Zalabardo] |
| 10901 | Some formulas are 'satisfiable' if there is a structure and interpretation that makes them 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] |
| 11259 | How can you seek knowledge of something if you don't know it? [Plato] |
| 10891 | If a set is defined by induction, then proof by induction can be applied to it [Zalabardo] |
| 14562 | A process is unified as an expression of a collection of causal powers [Mumford/Anjum] |
| 14541 | Events are essentially changes; property exemplifications are just states of affairs [Mumford/Anjum] |
| 14553 | Weak emergence is just unexpected, and strong emergence is beyond all deduction [Mumford/Anjum] |
| 14538 | Powers explain properties, causes, modality, events, and perhaps even particulars [Mumford/Anjum] |
| 14555 | Powers offer no more explanation of nature than laws do [Mumford/Anjum] |
| 14557 | Powers are not just basic forces, since they combine to make new powers [Mumford/Anjum] |
| 14583 | Dispositionality is a natural selection function, picking outcomes from the range of possibilities [Mumford/Anjum] |
| 14536 | We say 'power' and 'disposition' are equivalent, but some say dispositions are manifestable [Mumford/Anjum] |
| 14584 | The simple conditional analysis of dispositions doesn't allow for possible prevention [Mumford/Anjum] |
| 14582 | Might dispositions be reduced to normativity, or to intentionality? [Mumford/Anjum] |
| 14542 | If statue and clay fall and crush someone, the event is not overdetermined [Mumford/Anjum] |
| 14535 | Pandispositionalists say structures are clusters of causal powers [Mumford/Anjum] |
| 14561 | Perdurantism imposes no order on temporal parts, so sequences of events are contingent [Mumford/Anjum] |
| 14579 | Dispositionality is the core modality, with possibility and necessity as its extreme cases [Mumford/Anjum] |
| 14580 | Dispositions may suggest modality to us - as what might not have been, and what could have been [Mumford/Anjum] |
| 14552 | Relations are naturally necessary when they are generated by the essential mechanisms of the world [Mumford/Anjum] |
| 14578 | Possibility might be non-contradiction, or recombinations of the actual, or truth in possible worlds [Mumford/Anjum] |
| 14549 | Maybe truths are necessitated by the facts which are their truthmakers [Mumford/Anjum] |
| 20219 | True opinions only become really valuable when they are tied down by reasons [Plato] |
| 5985 | Seeking and learning are just recollection [Plato] |
| 5986 | The slave boy learns geometry from questioning, not teaching, so it is recollection [Plato] |
| 14585 | We have more than five senses; balance and proprioception, for example [Mumford/Anjum] |
| 1923 | As a guide to action, true opinion is as good as knowledge [Plato] |
| 1919 | You don't need to learn what you know, and how do you seek for what you don't know? [Plato] |
| 14576 | Smoking disposes towards cancer; smokers without cancer do not falsify this claim [Mumford/Anjum] |
| 14551 | If causation were necessary, the past would fix the future, and induction would be simple [Mumford/Anjum] |
| 14571 | The only full uniformities in nature occur from the essences of fundamental things [Mumford/Anjum] |
| 14570 | Nature is not completely uniform, and some regular causes sometimes fail to produce their effects [Mumford/Anjum] |
| 14569 | It is tempting to think that only entailment provides a full explanation [Mumford/Anjum] |
| 14568 | A structure won't give a causal explanation unless we know the powers of the structure [Mumford/Anjum] |
| 14556 | Strong emergence seems to imply top-down causation, originating in consciousness [Mumford/Anjum] |
| 1913 | Is virtue taught, or achieved by practice, or a natural aptitude, or what? [Plato] |
| 1921 | If virtue is a type of knowledge then it ought to be taught [Plato] |
| 1927 | It seems that virtue is neither natural nor taught, but is a divine gift [Plato] |
| 1918 | How can you know part of virtue without knowing the whole? [Plato] |
| 1916 | Even if virtues are many and various, they must have something in common to make them virtues [Plato] |
| 14566 | Causation by absence is not real causation, but part of our explanatory practices [Mumford/Anjum] |
| 14577 | Causation may not be transitive. Does a fire cause itself to be extinguished by the sprinklers? [Mumford/Anjum] |
| 14563 | Causation is the passing around of powers [Mumford/Anjum] |
| 14587 | We take causation to be primitive, as it is hard to see how it could be further reduced [Mumford/Anjum] |
| 14533 | Causation doesn't have two distinct relata; it is a single unfolding process [Mumford/Anjum] |
| 14558 | A collision is a process, which involves simultaneous happenings, but not instantaneous ones [Mumford/Anjum] |
| 14559 | Does causation need a third tying ingredient, or just two that meet, or might there be a single process? [Mumford/Anjum] |
| 14565 | Sugar dissolving is a process taking time, not one event and then another [Mumford/Anjum] |
| 14567 | Privileging one cause is just an epistemic or pragmatic matter, not an ontological one [Mumford/Anjum] |
| 14537 | Coincidence is conjunction without causation; smoking causing cancer is the reverse [Mumford/Anjum] |
| 14573 | Occasionally a cause makes no difference (pre-emption, perhaps) so the counterfactual is false [Mumford/Anjum] |
| 14572 | Is a cause because of counterfactual dependence, or is the dependence because there is a cause? [Mumford/Anjum] |
| 14574 | Cases of preventing a prevention may give counterfactual dependence without causation [Mumford/Anjum] |
| 14539 | Nature can be interfered with, so a cause never necessitates its effects [Mumford/Anjum] |
| 14550 | We assert causes without asserting that they necessitate their effects [Mumford/Anjum] |
| 14546 | Necessary causation should survive antecedent strengthening, but no cause can always survive that [Mumford/Anjum] |
| 14575 | A 'ceteris paribus' clause implies that a conditional only has dispositional force [Mumford/Anjum] |
| 14548 | There may be necessitation in the world, but causation does not supply it [Mumford/Anjum] |
| 14554 | Laws are nothing more than descriptions of the behaviour of powers [Mumford/Anjum] |
| 14564 | If laws are equations, cause and effect must be simultaneous (or the law would be falsified)! [Mumford/Anjum] |