The statement 'If all mammals are warm-blooded and whales are mammals, then whales are warm-blooded' illustrates which type of truth?

• A. Ontological Truth
• B. Logical Truth
• C. Moral Truth
• D. Misinformation

Answer: (B)

This is a clear example of a valid logical deduction expressed as a categorical syllogism. If all members of one class are in another class, and a second class is contained in the first, then members of the second class must be in the second class as well. Here, all mammals are warm-blooded, and whales are mammals, so whales must be warm-blooded. This follows purely from the form of the reasoning, making the conclusion true by virtue of logic—not because of empirical facts about any particular whale. It’s not about existence (ontological), ethics (moral), or misinformation. Hence it’s a logical truth.