13985
|
A true proposition seems true of one fact, but a false proposition seems true of nothing at all. [Ryle]
|
|
Full Idea:
Whereas there might be just one fact that a true proposition was like, we would have to say that a false proposition was unlike any fact. We could not speak of the fact that it was false of, so we could not speak of its being false of anything at all.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], 'Objections')
|
|
A reaction:
Ryle brings out very nicely the point Russell emphasised so much, that the most illuminating studies in philosophy are of how falsehood works, rather than of how truths work. If I say 'the Queen is really a man' it is obvious what that is false of.
|
18767
|
Free logics has terms that do not designate real things, and even empty domains [Anderson,CA]
|
|
Full Idea:
Free logics say 1) singular terms are allowed that do not designate anything that exists; sometimes 2) is added: the domain of discourse is allowed to be empty. Logics with both conditions are called 'universally free logics'.
|
|
From:
C. Anthony Anderson (Identity and Existence in Logic [2014], 2.3)
|
|
A reaction:
I really like the sound of this, and aim to investigate it. Karel Lambert's writings are the starting point. Maybe the domain of logic is our concepts, rather than things in the world, in which case free logic sounds fine.
|
13979
|
Logic studies consequence, compatibility, contradiction, corroboration, necessitation, grounding.... [Ryle]
|
|
Full Idea:
Logic studies the way in which one thing follows from another, in which one thing is compatible with another, contradicts, corroborates or necessitates another, is a special case of another or the nerve of another. And so on.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], IV)
|
|
A reaction:
I presume that 'and so on' would include how one thing proves another. This is quite a nice list, which makes me think a little more widely about the nature of logic (rather than just about inference). Incompatibility isn't a process.
|
18771
|
Stop calling ∃ the 'existential' quantifier, read it as 'there is...', and range over all entities [Anderson,CA]
|
|
Full Idea:
Ontological quantifiers might just as well range over all the entities needed for the semantics. ...The minimal way would be to just stop calling '∃' an 'existential quantifier', and always read it as 'there is...' rather than 'there exists...'.
|
|
From:
C. Anthony Anderson (Identity and Existence in Logic [2014], 2.6)
|
|
A reaction:
There is no right answer here, but it seems to be the strategy adopted by most logicians, and the majority of modern metaphysicians. They just allow abstracta, and even fictions, to 'exist', while not being fussy what it means. Big mistake!
|
18768
|
We cannot pick out a thing and deny its existence, but we can say a concept doesn't correspond [Anderson,CA]
|
|
Full Idea:
Parmenides was correct - one cannot speak of that which is not, even to say that it is not. But one can speak of concepts and say of them that they do not correspond to anything real.
|
|
From:
C. Anthony Anderson (Identity and Existence in Logic [2014], 2.5)
|
|
A reaction:
[This summarises Alonso Church, who was developing Frege] This sounds like the right thing to say about non-existence, but then the same principle must apply to assertions of existence, which will also be about concepts and not things.
|
18765
|
Individuation was a problem for medievals, then Leibniz, then Frege, then Wittgenstein (somewhat) [Anderson,CA]
|
|
Full Idea:
The medieval philosophers and then Leibniz were keen on finding 'principles of individuation', and the idea appears again in Frege, to be taken up in some respects by Wittgenstein.
|
|
From:
C. Anthony Anderson (Identity and Existence in Logic [2014], 1.6)
|
|
A reaction:
I take a rather empirical approach to this supposed problem, and suggest we break 'individuation' down into its component parts, and then just drop the word. Discussions of principles of individuations strike me as muddled. Wiggins and Lowe today.
|
18764
|
The notion of 'property' is unclear for a logical version of the Identity of Indiscernibles [Anderson,CA]
|
|
Full Idea:
In the Identity of Indiscernibles, one speaks about properties, and the notion of a property is by no means clearly fixed and formalized in modern symbolic logic.
|
|
From:
C. Anthony Anderson (Identity and Existence in Logic [2014], 1.5)
|
|
A reaction:
The unclarity of 'property' is a bee in my philosophical bonnet, in speech, and in metaphysics, as well as in logic. It may well be the central problem in our attempts to understand the world in general terms. He cites intensional logic as promising.
|
13983
|
Representation assumes you know the ideas, and the reality, and the relation between the two [Ryle]
|
|
Full Idea:
The theory of Representative Ideas begs the whole question, by assuming a) that we can know these 'Ideas', b) that we can know the realities they represent, and c) we can know a particular 'idea' to be representative of a particular reality.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], 'Objections')
|
|
A reaction:
Personally I regard the ideas as immediate (rather than acquired by some knowledge process), and I am dimly hoping that they represent reality (or I'm in deep trouble), and I am struggling to piece together the reality they represent. I'm happy with that.
|
13981
|
Several people can believe one thing, or make the same mistake, or share one delusion [Ryle]
|
|
Full Idea:
We ordinarily find no difficulty in saying of a given thing that several people believe it and so, if they think it false, 'make the same mistake' or 'labour under the same delusion'.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], IV)
|
|
A reaction:
Ryle is playing devil's advocate, but this (like 13980) strikes me as quite good support for propositions. I suppose you can describe these phenomena as assent to sentences, but they might be very different sentences to express the same delusion.
|
13989
|
There are no propositions; they are just sentences, used for thinking, which link to facts in a certain way [Ryle]
|
|
Full Idea:
There are no substantial propositions...There is just a relation between grammatical structure and the logical structure of facts. 'Proposition' denotes the same as 'sentence' or 'statement'. A proposition is not what I think, but what I think or talk in.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], 'Conclusions')
|
|
A reaction:
The conclusion of Ryle's discussion, but I found his support for propositions much more convincing than his critique of them, or his attempt at an alternative linguistic account. He never mentioned animals, so he self-evidently hasn't grasped the problem.
|
13982
|
If we accept true propositions, it is hard to reject false ones, and even nonsensical ones [Ryle]
|
|
Full Idea:
All the arguments for the subsistence of true propositions seem to hold good for the subsistence of false ones. We might even have to find room for absurd or nonsensical ones like 'some round squares are not red-headed'.
|
|
From:
Gilbert Ryle (Are there propositions? [1930], 'Objections')
|
|
A reaction:
A particularly nice example of a Category Mistake from the man who made them famous. Why can't we just make belief a proposition attitude, so I equally believe 'sea is blue', 'grass is pink' and 'trees are bifocal', but the status of my belief varies?
|