2019 : Relatório em resultados "A semântica de um sistema formal computável separa aquela parte que pode ser verificada mecanicamente, da outra, incomputável. Tamb ...
ILAnet Keywords: analytic–synthetic dichotomy, range, worlds, science Analytic–synthetic distinction. Available from . access on 28 September 2019. Formal science ...
"As Francis Bacon pointed out in the 17th century, experimental verification of the propositions must be carried out rigorously and cannot take logic itself as the ...
Opposition to Berlin Kay et al. Anna Wierzbicka and universals of visual semantics In an article titled The Semantics of Colour: A New Paradigm, Wierzbicka discusses ...
What's the Semantics of "Semantics"? ... Another disturbing issue with broad modeling frameworks like UML is the possibility of constructing descriptions. We won ...
ILAnet PURPLE Attention: Ilanet is a research site and this is the semi-axis area dedicated to community affairs. Any registration made here is intended to meet specific ...