Paweł Garbacz

Paweł Garbacz is an Assistant Professor at the Department of Computer Science Fundamentals within the Faculty of Philosophy at the Catholic University of Lublin. His work bridges formal logic, ontology, and their applications in computer science and philosophy. He has authored two books: Sentence Logic - One or Many and Logic and Artifacts.

• Research Focus: Formal logic, computational ontologies, philosophy of technical artifacts, and semantic interoperability.
• Publications: His recent work explores identity criteria, temporal logic, and the intersection of metaphysics with artificial intelligence.
• Collaborations: Active in interdisciplinary projects connecting philosophy with computer science, including contributions to the FOIS (Formal Ontology in Information Systems) conference series.