Combining Texts

All the ideas for 'Intensional Logic', 'The Structure of Empirical Knowledge' and 'fragments/reports'

unexpand these ideas     |    start again     |     specify just one area for these texts


42 ideas

1. Philosophy / A. Wisdom / 2. Wise People
A wise man's chief strength is not being tricked; nothing is worse than error, frivolity or rashness [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that the wise man's chief strength is that he is careful not to be tricked, and sees to it that he is not deceived; for nothing is more alien to the conception that we have of the seriousness of the wise man than error, frivolity or rashness.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica II.66
     A reaction: I presume that this concerns being deceived by other people, and also being deceived by evidence. I suggest that the greatest ability of the wise person is the accurate assessment of evidence.
1. Philosophy / D. Nature of Philosophy / 1. Philosophy
When shown seven versions of the mowing argument, he paid twice the asking price for them [Zeno of Citium, by Diog. Laertius]
     Full Idea: When shown seven species of dialectic in the mowing argument, he asked the price, and when told 'a hundred drachmas', he gave two hundred, so devoted was he to learning.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.20
     A reaction: Wonderful. I have a watertight proof that pleasure is not the good, which I will auction on the internet.
1. Philosophy / D. Nature of Philosophy / 4. Divisions of Philosophy
Philosophy has three parts, studying nature, character, and rational discourse [Zeno of Citium, by Diog. Laertius]
     Full Idea: They say that philosophical theory is tripartite. For one part of it concerns nature [i.e. physics], another concerns character [i.e. ethics], and another concerns rational discourse [i.e. logic]
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.39
     A reaction: Surely 'nature' included biology, and shouldn't be glossed as 'physics'? And I presume that 'rational discourse' is 'logos', rather than 'logic'. Interesting to see that ethics just is the study of character (and not of good and bad actions).
3. Truth / H. Deflationary Truth / 3. Minimalist Truth
Someone who says 'it is day' proposes it is day, and it is true if it is day [Zeno of Citium, by Diog. Laertius]
     Full Idea: Someone who says 'It is day' seems to propose that it is day; if, then, it is day, the proposition advanced comes out true, but if not, it comes out false.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.65
     A reaction: Those who find Tarski's theory annoyingly vacuous should note that the ancient Stoics thought the same point worth making. They seem to have clearly favoured some minimal account of truth, according to this.
4. Formal Logic / E. Nonclassical Logics / 8. Intensional Logic
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.
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)
4. Formal Logic / E. Nonclassical Logics / 9. Awareness Logic
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]
4. Formal Logic / E. Nonclassical Logics / 10. Justification Logics
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)
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
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)
5. Theory of Logic / F. Referring in Logic / 3. Property (λ-) Abstraction
λ-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.
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Zeno achieved the statement of the problems of infinitesimals, infinity and continuity [Russell on Zeno of Citium]
     Full Idea: Zeno was concerned with three increasingly abstract problems of motion: the infinitesimal, the infinite, and continuity; to state the problems is perhaps the hardest part of the philosophical task, and this was done by Zeno.
     From: comment on Zeno (Citium) (fragments/reports [c.294 BCE]) by Bertrand Russell - Mathematics and the Metaphysicians p.81
     A reaction: A very nice tribute, and a beautiful clarification of what Zeno was concerned with.
7. Existence / A. Nature of Existence / 6. Criterion for Existence
Whatever participates in substance exists [Zeno of Citium, by Stobaeus]
     Full Idea: Zeno says that whatever participates in substance exists.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by John Stobaeus - Anthology 2.05a
     A reaction: This seems Aristotelian, implying that only objects exist. Unformed stuff would not normally qualify as a 'substance'. So does mud exist? See the ideas of Henry Laycock.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
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.
11. Knowledge Aims / A. Knowledge / 1. Knowledge
Perception an open hand, a fist is 'grasping', and holding that fist is knowledge [Zeno of Citium, by Long]
     Full Idea: Zeno said perceptions starts like an open hand; then the assent by our governing-principle is partly closing the hand; then full 'grasping' is like making a fist; and finally knowledge is grasping the fist with the other hand.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by A.A. Long - Hellenistic Philosophy 4.3.1
     A reaction: [In Cicero, Acad 2.145] It sounds as if full knowledge requires meta-cognition - knowing that you know.
11. Knowledge Aims / A. Knowledge / 7. Knowledge First
A grasp by the senses is true, because it leaves nothing out, and so nature endorses it [Zeno of Citium, by Cicero]
     Full Idea: He thought that a grasp made by the senses was true and reliable, …because it left out nothing about the object that could be grasped, and because nature had provided this grasp as a standard of knowledge, and a basis for understanding nature itself.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.42
     A reaction: Sounds like Williamson's 'knowledge first' claim - that the basic epistemic state is knowledge, which we have when everything is working normally. I like Zeno's idea that a 'grasp' leaves nothing out about the object. Compare nature with Descartes' God.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / c. Defeasibility
If a grasped perception cannot be shaken by argument, it is 'knowledge' [Zeno of Citium, by Cicero]
     Full Idea: What had been grasped by sense-perception, he called this itself a 'sense-perception', and if it was grasped in such a way that it could not be shaken by argument he called it 'knowledge'. And between knowledge and ignorance he placed the 'grasp'.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.41
     A reaction: This seems to say that a grasped perception is knowledge if there is no defeater.
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / d. Rational foundations
A presentation is true if we judge that no false presentation could appear like it [Zeno of Citium, by Cicero]
     Full Idea: I possess a standard enabling me to judge presentations to be true when they have a character of a sort that false ones could not have.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica II.18.58
     A reaction: [This is a spokesman in Cicero for the early Stoic view] No sceptic will accept this, but it is pretty much how I operate. If you see something weird, like a leopard wandering wild in Hampshire, you believe it once you have eliminated possible deceptions.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
A coherence theory of justification can combine with a correspondence theory of truth [Bonjour]
     Full Idea: There is no manifest absurdity in combining a coherence theory of justification with a correspondence theory of truth.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.1)
     A reaction: His point is to sharply (and correctly) distinguish coherent justification from a coherence theory of truth. Personally I would recommend talking of a 'robust' theory of truth, without tricky commitment to 'correspondence' between very dissimilar things.
There will always be a vast number of equally coherent but rival systems [Bonjour]
     Full Idea: On any plausible conception of coherence, there will always be many, probably infinitely many, different and incompatible systems of belief which are equally coherent.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5)
     A reaction: If 'infinitely many' theories are allowed, that blocks the coherentist hope that widening and precisifying the system will narrow down the options and offer some verisimilitude. If we stick to current English expression, that should keep them finite.
Empirical coherence must attribute reliability to spontaneous experience [Bonjour]
     Full Idea: An empirical coherence theory needs, for the beliefs of a cognitive system to be even candidates for empirical justification, that the system must contain laws attributing a high degree of reliability to a variety of spontaneous cognitive beliefs.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 7.1)
     A reaction: Wanting such a 'law' seems optimistic, and not in the spirit of true coherentism, which can individually evaluate each experiential belief. I'm not sure Bonjour's Observation Requirement is needed, since it is incoherent to neglect observations.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
A well written novel cannot possibly match a real belief system for coherence [Bonjour]
     Full Idea: It is not even minimally plausible that a well written novel ...would have the degree of coherence required to be a serious alternative to anyone's actual system of beliefs.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5)
     A reaction: This seems correct. 'Bleak House' is wonderfully consistent, but its elements are entirely verbal, and nothing occupies the space between the facts that are described. And Lady Dedlock is not in Debrett. I think this kills a standard objection.
The objection that a negated system is equally coherent assume that coherence is consistency [Bonjour]
     Full Idea: Sometimes it is said that if one has an appropriately coherent system, an alternative system can be produced simply be negating all of the components of the first system. This would only be so if coherence amounted simply to consistency.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.5)
     A reaction: I associate Russell with this original objection to coherentism. I formerly took this to be a serious problem, and am now relieved to see that it clearly isn't.
A coherent system can be justified with initial beliefs lacking all credibility [Bonjour]
     Full Idea: It is simply not necessary in order for [the coherence] view to yield justification to suppose that cognitively spontaneous beliefs have some degree of initial or independent credibility.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 7.2)
     A reaction: This is thoroughly and rather persuasively criticised by Erik Olson. But he always focuses on the coherence of a 'system' with multiple beliefs. I take the credibility of each individual belief to need coherent assessment against a full background.
The best explanation of coherent observations is they are caused by and correspond to reality [Bonjour]
     Full Idea: The best explanation for a stable system of beliefs which rely on observation is that the beliefs are caused by what they depict, and the system roughly corresponds to the independent reality it describes.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 8.3)
     A reaction: [compressed] Anyone who links best explanation to coherence (and to induction) warms the cockles of my heart. Erik Olson offers a critique, but doesn't convince me. The alternative is to find a better explanation (than reality), or give up.
14. Science / A. Basis of Science / 5. Anomalies
Anomalies challenge the claim that the basic explanations are actually basic [Bonjour]
     Full Idea: The distinctive significance of anomalies lies in the fact that they undermine the claim of the allegedly basic explanatory principles to be genuinely basic.
     From: Laurence Bonjour (The Structure of Empirical Knowledge [1985], 5.3)
     A reaction: This seems plausible, suggesting that (rather than an anomaly flatly 'falsifying' a theory) an anomaly may just demand a restructuring or reconceptualising of the theory.
16. Persons / F. Free Will / 6. Determinism / a. Determinism
When a slave said 'It was fated that I should steal', Zeno replied 'Yes, and that you should be beaten' [Zeno of Citium, by Diog. Laertius]
     Full Idea: When a slave who was being beaten for theft said, 'It was fated that I should steal', Zeno replied, 'Yes, and that you should be beaten.'
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.19
A dog tied to a cart either chooses to follow and is pulled, or it is just pulled [Zeno of Citium, by Hippolytus]
     Full Idea: Zeno and Chrysippus say everything is fated with the following model: when a dog is tied to a cart, if it wants to follow it is pulled and follows, making its spontaneous act coincide with necessity, but if it does not want to follow it will be compelled.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Hippolytus - Refutation of All Heresies §1.21
     A reaction: A nice example, but it is important to keep the distinction clear between freedom and free will. The dog lacks freedom as it is dragged along, but it is still free to will that it is asleep in its kennel.
17. Mind and Body / A. Mind-Body Dualism / 8. Dualism of Mind Critique
Incorporeal substances can't do anything, and can't be acted upon either [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that an incorporeal substance was incapable of any activity, whereas anything capable of acting, or being acted upon in any way, could not be incorporeal.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.11.39
     A reaction: This is substance dualism kicked into the long grass by Zeno, long before Descartes defended dualism, and was swiftly met with exactly the same response. The interaction problem.
17. Mind and Body / E. Mind as Physical / 5. Causal Argument
A body is required for anything to have causal relations [Zeno of Citium, by Cicero]
     Full Idea: Zeno held (contrary to Xenocrates and others) that it was impossible for anything to be effected that lacked a body, and indeed that whatever effected something or was affected by something must be body.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.39
     A reaction: This seems to make stoics thoroughgoing physicalists, although they consider the mind to be made of refined fire, rather than of flesh.
19. Language / A. Nature of Meaning / 7. Meaning Holism / a. Sentence meaning
A sentence always has signification, but a word by itself never does [Zeno of Citium, by Diog. Laertius]
     Full Idea: A sentence is always significative of something, but a word by itself has no signification.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.28
     A reaction: This is the Fregean dogma. Words obviously can signify, but that is said to be parasitic on their use in sentences. It feels like a false dichotomy to me. Much sentence meaning is compositional.
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / k. Ethics from nature
Zeno said live in agreement with nature, which accords with virtue [Zeno of Citium, by Diog. Laertius]
     Full Idea: Zeno first (in his book On Human Nature) said that the goal was to live in agreement with nature, which is to live according to virtue.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.87
     A reaction: The main idea seems to be Aristotelian - that the study of human nature reveals what our virtues are, and following them is what nature requires. Nature is taken to be profoundly rational.
Since we are essentially rational animals, living according to reason is living according to nature [Zeno of Citium, by Diog. Laertius]
     Full Idea: As reason is given to rational animals according to a more perfect principle, it follows that to live correctly according to reason, is properly predicated of those who live according to nature.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.Ze.52
     A reaction: This is the key idea for understanding what the stoics meant by 'live according to nature'. The modern idea of rationality doesn't extend to 'perfect principles', however.
22. Metaethics / B. Value / 1. Nature of Value / f. Ultimate value
The goal is to 'live in agreement', according to one rational consistent principle [Zeno of Citium, by Stobaeus]
     Full Idea: Zeno says the goal of life is 'living in agreement', which means living according to a single and consonant rational principle, since those who live in conflict are unhappy.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by John Stobaeus - Anthology 2.06a
     A reaction: If there is a 'single' principle, is it possible to state it? To live by consistent principles sets the bar incredibly high, as any professional philosopher can tell you.
23. Ethics / C. Virtue Theory / 1. Virtue Theory / a. Nature of virtue
Zeno saw virtue as a splendid state, not just a source of splendid action [Zeno of Citium, by Cicero]
     Full Idea: Zeno held that not merely the exercise of virtue, as his predecessors held, but the mere state of virtue is in itself a splendid thing, although nobody possesses virtue without continuously exercising it.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by M. Tullius Cicero - Academica I.10.38
23. Ethics / C. Virtue Theory / 2. Elements of Virtue Theory / f. The Mean
One of Zeno's books was 'That Which is Appropriate' [Zeno of Citium, by Long]
     Full Idea: Zeno of Citium wrote a (lost) book entitled 'That Which is Appropriate'.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by A.A. Long - Hellenistic Philosophy 4.1
     A reaction: I cite this because I take it to be about what in Aristotle called 'the mean' - to emphasise that the mean is not what is average, or midway between the extremes, but what is a balanced response to each situation
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
Zeno says there are four main virtues, which are inseparable but distinct [Zeno of Citium, by Plutarch]
     Full Idea: Zeno (like Plato) admits a plurality of specifically different virtues, namely prudence, courage, sobriety, justice, which he takes to be inseparable but yet distinct and different from one another.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Plutarch - 70: Stoic Self-contradictions 1034c
     A reaction: In fact, the virtues are 'supervenient' on one another, which is the doctrine of the unity of virtue. Zeno is not a pluralist in the way Aristotle is - who says there are other goods apart from the virtues.
27. Natural Reality / C. Space / 1. Void
There is no void in the cosmos, but indefinite void outside it [Zeno of Citium, by Ps-Plutarch]
     Full Idea: Zeno and his followers say that there is no void within the cosmos but an indefinite void outside it.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Pseudo-Plutarch - On the Doctrine of the Philosophers 884a
     A reaction: Only atomists (such as Epicureans) need void within the cosmos, as space within which atoms can move. What would they make of modern 'fields'? Posidonius later said there was sufficient, but not infinite, void.
27. Natural Reality / E. Cosmology / 1. Cosmology
Things are more perfect if they have reason; nothing is more perfect than the universe, so it must have reason [Zeno of Citium]
     Full Idea: That which has reason is more perfect than that which has not. But there is nothing more perfect than the universe; therefore the universe is a rational being.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') II.20
Since the cosmos produces what is alive and rational, it too must be alive and rational [Zeno of Citium]
     Full Idea: Nothing which lacks life and reason can produce from itself something which is alive and rational; but the cosmos can produce from itself things which are alive and rational; therefore the cosmos is alive and rational.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') 2.22
     A reaction: Eggs and sperm don't seem to be rational, but I don't suppose they count. I note that this is presented as a formal proof, when actually it is just an evaluation of evidence. Logic as rhetoric, I would say.
28. God / B. Proving God / 2. Proofs of Reason / a. Ontological Proof
Rational is better than non-rational; the cosmos is supreme, so it is rational [Zeno of Citium]
     Full Idea: That which is rational is better than that which is not rational; but there is nothing better than the cosmos; therefore, the cosmos is rational.
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') 2.21
     A reaction: This looks awfully like Anselm's ontological argument to me. The cosmos was the greatest thing that Zeno could conceive.
28. God / B. Proving God / 3. Proofs of Evidence / b. Teleological Proof
If tuneful flutes grew on olive trees, you would assume the olive had some knowledge of the flute [Zeno of Citium]
     Full Idea: If flutes playing tunes were to grow on olive trees, would you not infer that the olive must have some knowledge of the flute?
     From: Zeno (Citium) (fragments/reports [c.294 BCE]), quoted by M. Tullius Cicero - On the Nature of the Gods ('De natura deorum') II.22
28. God / C. Attitudes to God / 2. Pantheism
The cosmos and heavens are the substance of god [Zeno of Citium, by Diog. Laertius]
     Full Idea: Zeno says that the entire cosmos and the heaven are the substance of god.
     From: report of Zeno (Citium) (fragments/reports [c.294 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 07.148