24 ideas
1542 | Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
489 | Each thing must be in some way unique [Diogenes of Apollonia] |
8361 | What is true used to be possible, but it may no longer be so [Wright,GHv] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
483 | Start a thesis with something undisputable [Diogenes of Apollonia] |
1544 | Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus] |
24042 | The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia] |
5995 | Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM] |
488 | Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia] |
484 | Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia] |
486 | Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia] |
485 | Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia] |
8363 | p is a cause and q an effect (not vice versa) if manipulations of p change q [Wright,GHv] |
8364 | We can imagine controlling floods by controlling rain, but not vice versa [Wright,GHv] |
8366 | The very notion of a cause depends on agency and action [Wright,GHv] |
8362 | We give regularities a causal character by subjecting them to experiment [Wright,GHv] |
8360 | We must further analyse conditions for causation, into quantifiers or modal concepts [Wright,GHv] |
8365 | Some laws are causal (Ohm's Law), but others are conceptual principles (conservation of energy) [Wright,GHv] |