![]() ![]() The most austere and restrictive ones acknowledge only elements and sets.īut Russell, Church, Reichembach and others, enriched it with higher types. Logics are ontologies, systems expressing what exists. Different logics acknowledge different logical entities They may vary in their suitability for denoting the semantics of natural languages because they acknowledge different logical entities, like events or time intervals, so they introduce new variables to be quantified over.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |