Combining Texts

All the ideas for 'Causality: Production and Propagation', 'The Problem of Knowledge' and 'Ontology and Mathematical Truth'

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


17 ideas

2. Reason / F. Fallacies / 1. Fallacy
Induction assumes some uniformity in nature, or that in some respects the future is like the past [Ayer]
     Full Idea: In all inductive reasoning we make the assumption that there is a measure of uniformity in nature; or, roughly speaking, that the future will, in the appropriate respects, resemble the past.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.viii)
     A reaction: I would say that nature is 'stable'. Nature changes, so a global assumption of total uniformity is daft. Do we need some global uniformity assumptions, if the induction involved is local? I would say yes. Are all inductions conditional on this?
4. Formal Logic / F. Set Theory ST / 1. Set Theory
'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien]
     Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116)
     A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets.
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
A model is 'fundamental' if it contains only concrete entities [Jubien]
     Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117)
     A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world.
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / d. Natural numbers
There couldn't just be one number, such as 17 [Jubien]
     Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113)
     A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though.
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / a. Structuralism
The subject-matter of (pure) mathematics is abstract structure [Jubien]
     Full Idea: The subject-matter of (pure) mathematics is abstract structure per se.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115)
     A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
If we all intuited mathematical objects, platonism would be agreed [Jubien]
     Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111)
     A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals?
How can pure abstract entities give models to serve as interpretations? [Jubien]
     Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111)
     A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them.
Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien]
     Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112)
     A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them.
9. Objects / A. Existence of Objects / 2. Abstract Objects / c. Modern abstracta
The empty set is the purest abstract object [Jubien]
     Full Idea: The empty set is the pure abstract object par excellence.
     From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8)
     A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are!
11. Knowledge Aims / B. Certain Knowledge / 5. Cogito Critique
Knowing I exist reveals nothing at all about my nature [Ayer]
     Full Idea: To know that one exists is not to know anything about oneself any more than knowing that 'this' exists is knowing anything about 'this'.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.iii)
     A reaction: Descartes proceeds to define himself as a 'thinking thing', inferring that thinking is his essence. Ayer casts nice doubt on that.
To say 'I am not thinking' must be false, but it might have been true, so it isn't self-contradictory [Ayer]
     Full Idea: To say 'I am not thinking' is self-stultifying since if it is said intelligently it must be false: but it is not self-contradictory. The proof that it is not self-contradictory is that it might have been false.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.iii)
     A reaction: If it doesn't imply a contradiction, then it is not a necessary truth, which is what it is normally taken to be. Is 'This is a sentence' necessarily true? It might not have been one, if the rules of English syntax changed recently.
'I know I exist' has no counterevidence, so it may be meaningless [Ayer]
     Full Idea: If there is no experience at all of finding out that one is not conscious, or that one does not exist, ..it is tempting to say that sentences like 'I exist', 'I am conscious', 'I know that I exist' do not express genuine propositions.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.iii)
     A reaction: This is, of course, an application of the somewhat discredited verification principle, but the fact that strictly speaking the principle has been sort of refuted does not mean that we should not take it seriously, and be influenced by it.
14. Science / A. Basis of Science / 6. Falsification
We only discard a hypothesis after one failure if it appears likely to keep on failing [Ayer]
     Full Idea: Why should a hypothesis which has failed the test be discarded unless this shows it to be unreliable; that is, having failed once it is likely to fail again? There is no contradiction in a hypothesis that was falsified being more likely to pass in future.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.viii)
     A reaction: People may become more likely to pass a test after they have failed at the first attempt. Birds which fail to fly at the first attempt usually achieve total mastery of it. There are different types of hypothesis here.
14. Science / C. Induction / 2. Aims of Induction
Induction passes from particular facts to other particulars, or to general laws, non-deductively [Ayer]
     Full Idea: Inductive reasoning covers all cases in which we pass from a particular statement of fact, or set of them, to a factual conclusion which they do not formally entail. The inference may be to a general law, or by analogy to another particular instance.
     From: A.J. Ayer (The Problem of Knowledge [1956], 2.viii)
     A reaction: My preferred definition is 'learning from experience' - which I take to be the most rational behaviour you could possibly imagine. I don't think a definition should be couched in terms of 'objects' or 'particulars'.
26. Natural Theory / C. Causation / 4. Naturalised causation
A causal interaction is when two processes intersect, and correlated modifications persist afterwards [Salmon]
     Full Idea: When two processes intersect, and they undergo correlated modifications which persist after the intersection, I shall say that the intersection is a causal interaction. I take this as a fundamental causal concept.
     From: Wesley Salmon (Causality: Production and Propagation [1980], §4)
     A reaction: There may be a problem individuating processes, just as there is for events. I like this approach to causation, which is ontologically sparse, and fits in with the scientific worldview. Change of properties sounds precise, but isn't. Stick to processes.
26. Natural Theory / C. Causation / 5. Direction of causation
Cause must come first in propagations of causal interactions, but interactions are simultaneous [Salmon]
     Full Idea: In a typical cause-effect situation (a 'propagation') cause must precede effect, for propagation over a finite time interval is an essential feature. In an 'interaction', an intersection of processes resulting in change, we have simultaneity.
     From: Wesley Salmon (Causality: Production and Propagation [1980], §8)
     A reaction: This takes the direction of time as axiomatic, and quite right too. Salmon isn't addressing the real difficulty, though, which is that the resultant laws are usually held to be time-reversible, which is a bit of a puzzle.
26. Natural Theory / C. Causation / 8. Particular Causation / b. Causal relata
Instead of localised events, I take enduring and extended processes as basic to causation [Salmon]
     Full Idea: I propose to approach causality by taking processes rather than events as basic entities. Events are relatively localised in space and time, while processes have much greater temporal duration, and, in many cases, much greater spatial extent.
     From: Wesley Salmon (Causality: Production and Propagation [1980], §2)
     A reaction: This strikes me as an incredibly promising proposal, not just in our understanding of causation, but for our general metaphysics and understanding of nature. See Idea 4931, for example. Vague events and processes blend into one another.