The natural logic is a groups of terms and rules that come with natural language. They allow us to reason and argue on it. Examples of logic terms are: “and”, “or”, “not”, “true”, “false”, “if”, “therefore”, “every”, “some”, “necessary”…
We presuppose Natural Logic in much the same way as we presuppose Natural Language: as something we have to start with and precisify later, and that may well come to be revised or extended quite seriously, but also as something that at least seems to be in part given in more or less the same way to any able speaker of a Natural Language: In it there are a considerable number of terms and – usually implicit – rules which enable every speaker of the language to argue and reason, that every speaker knows and has extensive experience with.
Interface generally refers to an abstraction that an entity provides of itself to the outside. This separates the methods of external communication from internal operation, and allows it to be internally modified without affecting the way outside entities interact with it, as well as provide multiple abstractions of itself. It may also provide a means of translation between entities which do not speak the same language, such as between a human and a computer. Because interfaces are a form of indirection, some additional overhead is incurred versus direct communication.
The interface between a human and a computer is called a user interface. Interfaces between hardware components are physical interfaces. This article deals with software interfaces, which exist between separate software components and provide a programmatic mechanism by which these components can communicate.
- Interface (2009, March 12) In Wikipedia: The free encyclopedia. Retrieved 17:01, March 30 from http://en.wikipedia.org/wiki/Interface_(computer_science)
- Interface (2009, March 12) In Wikipedia: The free encyclopedia. Retrieved 17:01, March 30 from http://en.wikipedia.org/wiki/Interface_(computer_science)
Posted in hlt, littera Tagged: interface, Natural logic 
