19 ideas
1542 | Diogenes of Apollonia was the last natural scientist [Diogenes of Apollonia, by Simplicius] |
Full Idea: Diogenes of Apollonia was more or less the last of those who made a study of natural science. | |
From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE], A05) by Simplicius - On Aristotle's 'Physics' 9.25.1 | |
A reaction: He quotes Theophrastus |
21336 | Crates lived in poverty, and treated his whole life as a joke [Crates of Thebes, by Plutarch] |
Full Idea: Crates, with his bag and threadbare cloak, spent his whole life laughing and joking as though he were on holiday. | |
From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Plutarch - 30: Quiet of Mind 266e | |
A reaction: Crates sounds a little less alarming than Diogenes, while living a similar life. Was Crates the first ancestor of post-modernism? |
1767 | Everyone should study philosophy until they see all people in the same light [Crates of Thebes, by Diog. Laertius] |
Full Idea: A man should study philosophy up to the point of looking on generals and donkey-drivers in the same light. | |
From: report of Crates (Theb) (fragments/reports [c.325 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 06.Cr.9 | |
A reaction: This seems to reject Aristote's idea that some people are clearly superior to others. |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3) | |
A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
From: Melvin Fitting (Intensional Logic [2007], 3.3) |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
A reaction: [He cites Fagin and Halpern 1988 for this] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
From: Melvin Fitting (Intensional Logic [2007], §1) |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
489 | Each thing must be in some way unique [Diogenes of Apollonia] |
Full Idea: No one thing among things subject to change can possibly be exactly like any other thing, without becoming the same thing. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B05), quoted by Simplicius - On Aristotle's 'Physics' 153.8 | |
A reaction: This is said to be the first ever formulation of the principle of identity of indiscernible. |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
483 | Start a thesis with something undisputable [Diogenes of Apollonia] |
Full Idea: In starting any thesis, it seems to me, one should put forward as one's point of departure something incontrovertible. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B01), quoted by Diogenes Laertius - Lives of Eminent Philosophers 09.57 |
1544 | Perception must be an internal matter, because we can fail to perceive when we are preoccupied [Diogenes of Apollonia, by Theophrastus] |
Full Idea: That it is the inner air that perceives, as being a fragment of the god, is shown by the fact that often when our minds are preoccupied with other matters we fail to see or hear. | |
From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE], A19) by Theophrastus - On the Senses 42 |
24042 | The older Diogenes said the soul is air, made of the smallest particles [Diogenes of Apollonia] |
Full Idea: Diogenes [of Apollonia] took the soul to be air, thnking that of all things air is composed of the smallest particles and is a starting point. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], DK 64), quoted by Aristotle - De Anima 405a21 | |
A reaction: This suggests that Diogenes of Apollonia was an atomist, if the soul is made of particles. See also Met 984a5, which says Anaxagoras had the same view. |
5995 | Diogenes of Apollonia offered the first teleological account of cosmology [Diogenes of Apollonia, by Robinson,TM] |
Full Idea: Credit for the first clear assertion of teleological explanation in cosmology goes to Diogenes of Apollonia, for whom air is the divine and intelligent ground of the real and disposes things in the best possible way. | |
From: report of Diogenes (Apoll) (fragments/reports [c.440 BCE]) by T.M. Robinson - Classical Cosmology (frags) | |
A reaction: The first teleological explanation seems to be based on a conscious mind. There also emerges the possibility of some sort of non-conscious teleology, closer to the laws of physics than to God. |
488 | Air is divine, because it is in and around everything, and arranges everything [Diogenes of Apollonia] |
Full Idea: Air in itself seems to me to be God and to reach everywhere and to arrange everything and to be in everything. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B05), quoted by Simplicius - On Aristotle's 'Physics' 152.22- | |
A reaction: So water and fire and air have been offered as the ultimate explanans, though no one seems to offer earth, which is too grubby and miserable (and was denied a Form by Plato). 'Air is God' could ground a nice modern religious sect. |
484 | Everything is ultimately a variation of one underlying thing [Diogenes of Apollonia] |
Full Idea: It seems to me that all existing things are created by the alteration of the same thing, and are the same thing. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |
486 | Plants and animals can only come into existence if something fixes their species [Diogenes of Apollonia] |
Full Idea: No plant could grow out of the earth, and no animal or any other thing could come into being, unless it were so compounded as to be the same. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |
485 | Things must retain their essential nature during change, or mixing would be impossible [Diogenes of Apollonia] |
Full Idea: If any existing thing were different in its own essential nature, and were not the same thing which was transformed in many ways and changed, in no way could things mix with one another. | |
From: Diogenes (Apoll) (fragments/reports [c.440 BCE], B02), quoted by Simplicius - On Aristotle's 'Physics' 151.31- |