Formal Logic:
* "A Precis of Mathematical Logic" (1959): A classic textbook on mathematical logic, translated from the original French and highly regarded for its clear exposition of the subject.
* "The Logic of Religion" (1965): Explores the logical structure of religious thought and examines the nature of belief and faith.
* "The Logic of Scientific Discovery" (1967): Analyzes the logical foundations of scientific inquiry, particularly focusing on the nature of scientific explanation and confirmation.
History of Philosophy:
* "A History of Formal Logic" (1961): A comprehensive account of the development of formal logic from ancient Greece to the 20th century. This work is considered a foundational text in the field.
* "The Philosophy of the Middle Ages" (1957): A concise and accessible overview of medieval philosophy, covering major thinkers and key concepts.
* "The Philosophy of the Renaissance" (1962): A similar treatment of Renaissance philosophy, exploring the transition from medieval to modern thought.
Other Works:
* "The Problem of Divine Omnipotence" (1953): Examines the logical and philosophical challenges posed by the concept of divine omnipotence.
* "The Contemporary Mind" (1966): A collection of essays that explores the philosophical landscape of the 20th century, including topics like existentialism and phenomenology.
Bochenski's work is characterized by its rigorous logical analysis and its focus on clear and precise definitions. His writings have influenced generations of philosophers and logicians, and they continue to be essential reading for anyone interested in these fields.