Combining Texts

All the ideas for 'Symposium', 'Reference and Reflexivity' and 'Dynamic Logics'

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


3 ideas

4. Formal Logic / E. Nonclassical Logics / 11. Dynamic Logics
Dyamic logics model changes between classical states, in action, belief, and computing [Uckelman]
     Full Idea: Dynamic logic gives versions of propositional, modal and predicate logics, in which the states are classical, but changes of assignments between states can be expressed, by modelling action, knowledge and belief change, and compute programs.
     From: Sara L. Uckelman (Dynamic Logics [2010])
     A reaction: [compressed]
18. Thought / A. Modes of Thought / 9. Indexical Thought
Indexical thoughts are about themselves, and ascribe properties to themselves [Perry, by Recanati]
     Full Idea: Perry's newer token-reflexive framework says indexical thoughts have token-reflexive content, that is, thoughts that are about themselves and ascribe properties to themselves. …They relate not to the subject, but to the occurrence of a thought.
     From: report of John Perry (Reference and Reflexivity [2001]) by François Recanati - Mental Files 18.1
     A reaction: [There seem to be four indexical theories: this one, Recanati's, the earlier Kaplan-Perry one, and Lewis's] Is Perry thinking of second-level thoughts? 'I'm bored' has the content 'boredom' plus 'felt in here'? How does 'I'm bored' refer to 'I'm bored'?
22. Metaethics / B. Value / 2. Values / h. Fine deeds
Niceratus learnt the whole of Homer by heart, as a guide to goodness [Xenophon]
     Full Idea: Niceratus said that his father, because he was concerned to make him a good man, made him learn the whole works of Homer, and he could still repeat by heart the entire 'Iliad' and 'Odyssey'.
     From: Xenophon (Symposium [c.391 BCE], 3.5)
     A reaction: This clearly shows the status which Homer had in the teaching of morality in the time of Socrates, and it is precisely this acceptance of authority which he was challenging, in his attempts to analyse the true basis of virtue