Published in honor of Sergio Galvan, this collection concentrates on the application of logical and mathematical methods for the study of central issues in formal philosophy. The volume is subdivided into four sections, dedicated to logic and philosophy of logic, philosophy of mathematics, philosophy of science, metaphysics and philosophy of religion. The contributions adress, from a logical point of view, some of the main topics in these areas. The first two sections include formal treatments of: truth and paradoxes; definitions by abstraction; the status of abstract objects, such as mathematical objects and universal concepts; and the structure of explicit knowledge. The last two sections include papers on classical problems in philosophy of science, such as the status of subjective probability, the notion of verisimilitude, the notion of approximation, and the theory of mind and mental causation, and specific issues in metaphysics and philosophy of religion, such as the ontology of species, actions, and intelligible worlds, and the logic of religious belonging.