Combining Texts
Ideas for
'fragments/reports', 'Truthmakers' and 'Proper Names'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
9 ideas
5. Theory of Logic / B. Logical Consequence / 5. Modus Ponens
|
8078
|
Modus ponens is one of five inference rules identified by the Stoics [Chrysippus, by Devlin]
|
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
|
6023
|
Every proposition is either true or false [Chrysippus, by Cicero]
|
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
|
18489
|
Connectives link sentences without linking their meanings [MacBride]
|
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / c. not
|
18476
|
'A is F' may not be positive ('is dead'), and 'A is not-F' may not be negative ('is not blind') [MacBride]
|
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]
|