Just now I'm working on a scripting language which I'm going to be using for an application platform I'm goofing around with.
It's pretty much based on basic epistemology as I see it.
So that means I'm going pretty much wide and finely granulated with regards to operations in this language.
In principle I see knowledge as something which rises from nothingness or unknown.
With the skillset of our senses we can observe concepts and reflect on concepts - especially our
own ignorance - i.e the unknown. From observing, reflecting and conceptualizing about a concept
we see that we posess ignorance - nothingness - unknown. That's how concepts and knowledge arises,
and knowledge is only about concepts. Reality is also a concept, and it exists as a concept,
as does existence - and we have no problem conceptualizing (i.e learning or reflecting on) these concepts.
This might sound a bit like Plato, but consider that concepts are the knowledge, and knowing something just means
we have conceptualized it - observed it or reflected on it.I don't see anything as absolutely true or false,
but adhere to several basic values which in themselves are concepts derived from nothingness - while reflecting
on our on ignorance. I see further basic values like possible and the most basic one - unknown.
I'm not into any -isms like nihilism, though. I think there is the unknown and everything adheres from it.
This makes the representation very clean and uncomplicated - even mechanically at first sight.
A lot of theories of epistemology are just too complicated and have many implicit prerequisites in my opinion.
I don't see a big problem with the Gettier problem either, but these are some of the basic concepts I think
gets created when we start observing and reasoning - learning and acquiring knowledge.
The multi-values might sound a bit like modal logic or other multi-valued logic.
For practical purposes I'm modelling these concepts and representing them using ZFC from basic set theory.
Oh, and one of the practical sides to this is that I'm having native XML support in the language (kind of like with E4X), especially since I'm very much into topic maps, an XML representation based on ontology for representing knowledge. I have also been very inspired by the Clean programming language and Joy programming language - as well as Prolog and declarative languages for a long time. I would like to see a richer paradigm,
like a conceptual programming language - and hope I can achieve this.
You can really get around a lot of stuff by simulating concepts with other concepts - but the fundaments need to
be of the right fiber in my opinion. PS! For anyone wondering about my view on the physical world then - it's all structure - wrapped around volatileenergy - something different than, and possibly the opposite of, nothingness - and structures directing energetic properties - like force. I see force as a indeterministicproperty - like an irrational number - e.g not exact. Also, where force applied to one structure it results differently than on a different structure because of structural properties and accuracypossibility.
This partly also explain my view on free will. ;-)