Title: The fundamentals of general logic