Combining Philosophers
Ideas for Stilpo, George Boole and John Searle
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
9 ideas
5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic
|
3809
|
If complex logic requires rules, then so does basic logic [Searle]
|
5. Theory of Logic / A. Overview of Logic / 2. History of Logic
|
8686
|
Boole made logic more mathematical, with algebra, quantifiers and probability [Boole, by Friend]
|
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
|
7746
|
We don't normally think of names as having senses (e.g. we don't give definitions of them) [Searle]
|
|
7747
|
How can a proper name be correlated with its object if it hasn't got a sense? [Searle]
|
|
7748
|
'Aristotle' means more than just 'an object that was christened "Aristotle"' [Searle]
|
|
7749
|
Reference for proper names presupposes a set of uniquely referring descriptions [Searle]
|
|
7750
|
Proper names are logically connected with their characteristics, in a loose way [Searle]
|
5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof
|
22277
|
Boole's method was axiomatic, achieving economy, plus multiple interpretations [Boole, by Potter]
|
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
|
3810
|
In real reasoning semantics gives validity, not syntax [Searle]
|