Quantum logic emerged in the 1930s as a response to the question of whether the conceptual changes initiated in physics by quantum mechanics required a revision of logic. In the English-language literature, John von Neumann is considered the founder of quantum logic, while the Polish literature points to Zygmunt Zawirski. Zawirski was the first researcher who suggested that quantum mechanics may follow a different logic than classical logic. He was the first researcher in the field of manyvalued quantum logic, but his influence ultimately proved to be limited. John von Neumann, on the other hand, along with Garrett Birkhoff, started the now dominant field of algebraic quantum logic. It turns out that despite their differences in assumptions and methods, what they have in common is their commitment to subjecting the design of quantum logic to two requirements - consideration of Heisenberg's indeterminacy principle and reconciliation of the resulting logic with probability calculus.