Combining Texts

All the ideas for 'Propositions', 'works' and 'The Runabout Inference Ticket'

expand these ideas     |    start again     |     specify just one area for these texts


10 ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Maybe proper names have the content of fixing a thing's category [Bealer]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
The four leading theories of definite descriptions are Frege's, Russell's, Evans's, and Prior's [Bealer]
19. Language / D. Propositions / 1. Propositions
Sentences saying the same with the same rigid designators may still express different propositions [Bealer]
Propositions might be reduced to functions (worlds to truth values), or ordered sets of properties and relations [Bealer]
19. Language / D. Propositions / 2. Abstract Propositions / a. Propositions as sense
Modal logic and brain science have reaffirmed traditional belief in propositions [Bealer]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle]