from The American Heritage® Dictionary of the English Language, 4th Edition
- n. Aristotle's deductive method of logic, especially the theory of the syllogism.
- n. The formal logic based on Aristotle's and dealing with the relations between propositions in terms of their form instead of their content.
from Wiktionary, Creative Commons Attribution/Share-Alike License
- v. To start automatically.
auto- + start (Wiktionary)