Combining Philosophers
Ideas for Melvin Fitting, Nicole Oresme 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 / 8. Logic of Mathematics
11026
|
Classical logic is deliberately extensional, in order to model mathematics [Fitting]
|
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 / F. Referring in Logic / 3. Property (λ-) Abstraction
11028
|
λ-abstraction disambiguates the scope of modal operators [Fitting]
|
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
3810
|
In real reasoning semantics gives validity, not syntax [Searle]
|