Timeline for Philosophy of concepts - can it be (gradually) expressed in type theory?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 18, 2019 at 8:32 | comment | added | Mauro ALLEGRANZA | "all is automatic in mat" ??? FALSE "sometimes we imagine some new concepts (poetics of math)" Math is evolving like every human activity and it is growing with new concepts and theories. AN "poetics of math" is simply nonsense. | |
| Oct 17, 2019 at 17:07 | comment | added | TomR | No, I am stil fighting for my master in computer science. I have lack of people in my faculty to talk with. And my thesis idea is that the formalization and automation of the current knowledge in the symbolic and hybrid (neurosymbolic) form can be the basis of seed intelligence that can develop itself further in more or less autonomous way (interacting with the world and having relational reinforcement learning). Such effort requires a lot of logics (probabilistic, nonmonotonic, higher order/compositional) and I see that some bits of philosophy are also necessary. | |
| Oct 17, 2019 at 16:48 | comment | added | J D | Concepts are prelinguistic, but eventually language allows the symbolic communication of concepts. Are you a grad student too? | |
| Oct 17, 2019 at 16:47 | comment | added | J D | Once the human brain posses these fundamental categories and concepts, it results in an organization such that the primary concepts can be extended through association into complex metaphors. From there, complex metaphors form one's metaphysical system which is essentially ontology and epistemology regarding non-normative statements (though normativity is blurred upon inspection). From there, the metaphysical system seems strongly regulated by the limbic system of the brain. See en.wikipedia.org/wiki/Thinking,_Fast_and_Slow. | |
| Oct 17, 2019 at 16:44 | comment | added | J D | Cognitive semantics provide scientific clues about the origins of concepts and categories. Primary to the conceptual systems is the idea of the neurocomputational structure called the primary metaphor, which is a repurposing of sensorimortor functionality in the brain for concept. That is, the neurons that we use to structure and navigate the world (a spatial-temporal structure) can be hardwired for primary concepts built of associated attributes and relationships. In philosophy this approaches Hume's bundle-theory. | |
| Oct 17, 2019 at 16:39 | comment | added | J D | There's not doubt that neural function and ANNs can be created to emulate symbolic function. At the simplest level, a neuron fires or it doesn't, which is the basis of both negation and a contribution to Boolean algebra. The real question is how to organize ANNs in such a way as to emulate what the brain does. This is part of Lakoff and Johnson's emodied philosophy where they map mental constructs onto neurocomputational onto physical. This is related to the philosophical concept of supervenience which is essentially a computational correlation. | |
| Oct 17, 2019 at 15:52 | comment | added | TomR | ...general coding schemes from which one can choose the optimal one for the description of the actual coding processes that are happening inside the brains of inviduals (I feel that coding varies among individuals and that can be bases for the difference of personalities and skills). I think that general theory of neural coding is very necessary, because it can discover more optimal coding schemes than those that the nature has already discovered and applied for the brain. Actually brains are bounded by the underlying chemistry. | |
| Oct 17, 2019 at 15:49 | comment | added | TomR | Thxs! I am starting to digest all the info. Regarding the dichotomy between the symbolic and subsymbolic AI (and relevant projections of approaches into other sciences) - I feel that this gap can be closed by the eventual discovery of the neural code arxiv.org/search/… and en.wikipedia.org/wiki/… is one step among the many others. However it is quite sad, that life sciences are gathering lot of facts about the neural code, but math is generally lacking deep theory about the most.. | |
| Oct 17, 2019 at 15:30 | history | edited | J D | CC BY-SA 4.0 |
added 880 characters in body
|
| Oct 17, 2019 at 15:20 | history | answered | J D | CC BY-SA 4.0 |