The paper discusses Bernard Bolzano’s epistemological approach to believing and knowing with regard to the epistemic requirements of an axiomatic model of science. It relates Bolzano’s notions of believing, knowing and evaluation to his notions of infallibility, immediacy and foundational truth. If axiomatic systems require their foundational truths to be infallibly known, this knowledge involv...

Statements that " we have come to do biology in a new way " or " there is a new paradigm in biological research " are now commonplace. Nobody seems to be satisfied by a single good experiment that gives a precise answer to a well formulated question, which was the old way we did biology. On the contrary there is now a belief that a mass attack on parallel fronts can provide a database of all th...

Several formalisms for concurrent computation have been proposed in recent years that incorporate means to express stochastic continuous-time dynamics and non-determinism. In this setting, some obscure phenomena are known to exist, related to the fact that schedulers may yield too pessimistic verification results, since current nondeterminism can surprisingly be resolved based on prophesying th...

In I Kings 22, a lying spirit deceives King Ahab’s prophets into prophesying in unison success in battle. This strange and tragic story enlarges the category of false prophets to include those who are sincere yet mistaken. This biblical report of one of many clashes between true and false prophets offers a conceptually powerful tool for thinking through the human capacity and obligation to disc...

The "Ajeijadinho 3D" project is an initiative supported by the University of São Paulo (Museum of Science and Dean of Culture and Extension), which involves the 3D digitization of art works of Brazilian sculptor Antonio Francisco Lisboa, better known as Aleijadinho. The project made use of advanced acquisition and processing of 3D meshes for preservation and dissemination of the cultural herita...