9358
|
There are several logics, none of which will ever derive falsehoods from truth [Lewis,CI]
|
|
Full Idea:
The fact is that there are several logics, markedly different, each self-consistent in its own terms and such that whoever, using it, avoids false premises, will never reach a false conclusion.
|
|
From:
C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.366)
|
|
A reaction:
As the man who invented modal logic in five different versions, he speaks with some authority. Logicians now debate which version is the best, so how could that be decided? You could avoid false conclusions by never reasoning at all.
|
9357
|
Excluded middle is just our preference for a simplified dichotomy in experience [Lewis,CI]
|
|
Full Idea:
The law of excluded middle formulates our decision that whatever is not designated by a certain term shall be designated by its negative. It declares our purpose to make a complete dichotomy of experience, ..which is only our penchant for simplicity.
|
|
From:
C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.365)
|
|
A reaction:
I find this view quite appealing. 'Look, it's either F or it isn't!' is a dogmatic attitude which irritates a lot of people, and appears to be dispensible. Intuitionists in mathematics dispense with the principle, and vagueness threatens it.
|
10529
|
If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K]
|
|
Full Idea:
Neo-Fregeans have thought that Hume's Principle, and the like, might be definitive of number and therefore not subject to the usual epistemological worries over its truth.
|
|
From:
Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310)
|
|
A reaction:
This seems to be the underlying dream of logicism - that arithmetic is actually brought into existence by definitions, rather than by truths derived from elsewhere. But we must be able to count physical objects, as well as just counting numbers.
|
10530
|
Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K]
|
|
Full Idea:
The fundamental difficulty facing the neo-Fregean is to either adopt the predicative reading of Hume's Principle, defining numbers, but inadequate, or the impredicative reading, which is adequate, but not really a definition.
|
|
From:
Kit Fine (Precis of 'Limits of Abstraction' [2005], p.312)
|
|
A reaction:
I'm not sure I understand this, but the general drift is the difficulty of building a system which has been brought into existence just by definition.
|
9365
|
We can maintain a priori principles come what may, but we can also change them [Lewis,CI]
|
|
Full Idea:
The a priori contains principles which can be maintained in the face of all experience, representing the initiative of the mind. But they are subject to alteration on pragmatic grounds, if expanding experience shows their intellectual infelicity.
|
|
From:
C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.373)
|
|
A reaction:
[compressed] This simply IS Quine's famous 'web of belief' picture, showing how firmly Quine is in the pragmatist tradition. Lewis treats a priori principles as a pragmatic toolkit, which can be refined to be more effective. Not implausible...
|
10527
|
An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K]
|
|
Full Idea:
If an abstraction principle is going to be acceptable, then it should not 'inflate', i.e. it should not result in there being more abstracts than there are objects. By this mark Hume's Principle will be acceptable, but Frege's Law V will not.
|
|
From:
Kit Fine (Precis of 'Limits of Abstraction' [2005], p.307)
|
|
A reaction:
I take this to be motivated by my own intuition that abstract concepts had better be rooted in the world, or they are not worth the paper they are written on. The underlying idea this sort of abstraction is that it is 'shared' between objects.
|
9363
|
Science seeks classification which will discover laws, essences, and predictions [Lewis,CI]
|
|
Full Idea:
The scientific search is for such classification as will make it possible to correlate appearance and behaviour, to discover law, to penetrate to the "essential nature" of things in order that behaviour may become predictable.
|
|
From:
C.I. Lewis (A Pragmatic Conception of the A Priori [1923], p.368)
|
|
A reaction:
Modern scientific essentialists no longer invoke scare quotes, and I think we should talk of the search for the 'mechanisms' which explain behaviour, but Lewis seems to have been sixty years ahead of his time.
|