Cognitive Logic