Combining Texts
Ideas for
'poems', 'Proper Names' and 'Logical Necessity'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
10 ideas
5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence
12195
|
Soundness in argument varies with context, and may be achieved very informally indeed [Rumfitt]
|
12199
|
There is a modal element in consequence, in assessing reasoning from suppositions [Rumfitt]
|
12201
|
We reject deductions by bad consequence, so logical consequence can't be deduction [Rumfitt]
|
5. Theory of Logic / D. Assumptions for Logic / 3. Contradiction
12194
|
Contradictions include 'This is red and not coloured', as well as the formal 'B and not-B' [Rumfitt]
|
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
12198
|
Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt]
|