8 ideas
| 17807 | To study formal systems, look at the whole thing, and not just how it is constructed in steps [Curry] |
| Full Idea: In the study of formal systems we do not confine ourselves to the derivation of elementary propositions step by step. Rather we take the system, defined by its primitive frame, as datum, and then study it by any means at our command. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The formalist') | |
| A reaction: This is what may potentially lead to an essentialist view of such things. Focusing on bricks gives formalism, focusing on buildings gives essentialism. |
| 17806 | It is untenable that mathematics is general physical truths, because it needs infinity [Curry] |
| Full Idea: According to realism, mathematical propositions express the most general properties of our physical environment. This is the primitive view of mathematics, yet on account of the essential role played by infinity in mathematics, it is untenable today. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'The problem') | |
| A reaction: I resist this view, because Curry's view seems to imply a mad metaphysics. Hilbert resisted the role of the infinite in essential mathematics. If the physical world includes its possibilities, that might do the job. Hellman on structuralism? |
| 17808 | Saying mathematics is logic is merely replacing one undefined term by another [Curry] |
| Full Idea: To say that mathematics is logic is merely to replace one undefined term by another. | |
| From: Haskell B. Curry (Remarks on the definition and nature of mathematics [1954], 'Mathematics') |
| 22330 | Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock] |
| Full Idea: The slogan that meaning is use came under scrutiny by Grice's theory of conversational implicature. He said patterns of use shown in analysis were often semantically irrelevant, snce they are due not meanings of expressions but to pragmatic principles. | |
| From: report of H. Paul Grice (Some Models for Implicature [1967]) by Hans-Johann Glock - What is Analytic Philosophy? 2.8 | |
| A reaction: I think the simplest objection is that words only have use because they have a meaning; The most interesting part of pragmatics is what you DON'T say in conversation. |
| 18045 | Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor] |
| Full Idea: Grice's maxim of quality says one ought not to assert what one believes to be false. | |
| From: report of H. Paul Grice (Some Models for Implicature [1967]) by Ofra Magidor - Category Mistakes 5.2 | |
| A reaction: The obvious exception is irony, where are truth is asserted, but the listener is supposed to spot that you are not really asserting it. |
| 18044 | Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor] |
| Full Idea: Grice's maxim of manner requires one to be as brief as possible. | |
| From: report of H. Paul Grice (Some Models for Implicature [1967]) by Ofra Magidor - Category Mistakes 5.2 | |
| A reaction: An alternative maxim of conversation is that there should not be long silences between contributions - which would probably result if the contributions are all curtly abbreviated. |
| 18046 | Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor] |
| Full Idea: Grice's maxim of quantity says 'make your contributions as informative as required'. | |
| From: report of H. Paul Grice (Some Models for Implicature [1967]) by Ofra Magidor - Category Mistakes 5.2 | |
| A reaction: Is the 'requirement' of informative for the speaker or for the listener? It is easy to image situations where, one way or the other, the two people don't agree about informativenss. |
| 16764 | The soul conserves the body, as we see by its dissolution when the soul leaves [Toletus] |
| Full Idea: Every accident of a living thing, as well as all its organs and temperaments and its dispositions are conserved by the soul. We see this from experience, since when that soul recedes, all these dissolve and become corrupted. | |
| From: Franciscus Toletus (Commentary on 'De Anima' [1572], II.1.1), quoted by Robert Pasnau - Metaphysical Themes 1274-1671 24.5 | |
| A reaction: A nice example of observing a phenemonon, but not being able to observe the dependence relation the right way round. Compare Descartes in Idea 16763. |