Bản thể luận (Ontology – Οντολογία, từ Hy Lạp cổ đại do sự kết hợp giữa oντος: tồn tại và λόγος: học thuyết) là một khuynh hướng chủ đạo của triết học phương Tây cổ đại, nghiên cứu các khái niệm về thực tại và bản chất của sự tồn tại, bản thể luận được hình thành trên cơ sở của siêu hình học (metaphysics). Bản thể luận tìm cách mô tả phạm trù tồn tại và các mối quan hệ của phạm trù tồn tại để xác định nên thực thể và các kiểu thực thể bên trong khuôn khổ của tồn tại.Bản thể luận hình thức, là một bộ môn triết học chủ yếu giải quyết vấn đề sử dụng từ ngữ một cách chuẩn xác để làm tốt vai trò mô tả thực tại hay thực thể. Bản thể luận luôn phải chỉ rõ những từ ngữ nào dùng để chỉ những thực thể nào, những từ ngữ nào không, tại sao, và phạm trù kết quả là thế nào. Vì thế bản thể luận còn là cơ sở nền tảng cho nhiều chuyên ngành triết học khác.[1]