Quantcast
Channel: Philosophy of concepts - can it be (gradually) expressed in type theory? - Philosophy Stack Exchange
Browsing latest articles
Browse All 2 View Live

Answer by J D for Philosophy of concepts - can it be (gradually) expressed in...

[I]s there some discipline in philosophy that tries to express the content of the each concept in some basic notions, is there discipline of the philosophy that tries to uncover such basic notions and...

View Article


Philosophy of concepts - can it be (gradually) expressed in type theory?

Reasoning in mathematics is simple and subject to automation and discipline/system, because every concept (e.g. integer number, real number, derivative, integral, differential equation and its...

View Article
Browsing latest articles
Browse All 2 View Live