Combining Texts
Ideas for
'New System and Explanation of New System', 'Philosophy of Logic' and 'Introduction to Mathematical Philosophy'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
15 ideas
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
|
18954
|
Before the late 19th century logic was trivialised by not dealing with relations [Putnam]
|
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
|
14452
|
All the propositions of logic are completely general [Russell]
|
5. Theory of Logic / A. Overview of Logic / 5. First-Order Logic
|
18956
|
Asserting first-order validity implicitly involves second-order reference to classes [Putnam]
|
5. Theory of Logic / A. Overview of Logic / 8. Logic of Mathematics
|
14462
|
In modern times, logic has become mathematical, and mathematics has become logical [Russell]
|
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
|
10057
|
Logic can only assert hypothetical existence [Russell]
|
|
12444
|
Logic is concerned with the real world just as truly as zoology [Russell]
|
|
18962
|
Unfashionably, I think logic has an empirical foundation [Putnam]
|
|
14464
|
Logic can be known a priori, without study of the actual world [Russell]
|
5. Theory of Logic / E. Structures of Logic / 5. Functions in Logic
|
18961
|
We can identify functions with certain sets - or identify sets with certain functions [Putnam]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
|
14458
|
Asking 'Did Homer exist?' is employing an abbreviated description [Russell]
|
|
10450
|
Russell admitted that even names could also be used as descriptions [Russell, by Bach]
|
|
14457
|
Names are really descriptions, except for a few words like 'this' and 'that' [Russell]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
|
7311
|
The only genuine proper names are 'this' and 'that' [Russell]
|
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
|
14455
|
'I met a unicorn' is meaningful, and so is 'unicorn', but 'a unicorn' is not [Russell]
|
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
|
18955
|
Having a valid form doesn't ensure truth, as it may be meaningless [Putnam]
|