Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

Paul Cohen's method of forcing, together with Saul Kripke's related semantics for modal and intuitionistic logic, has had profound effects on a number of branches of mathematical logic, from set ...

Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

Paul Larson, professor of mathematics, has been named Miami University's Sigma Xi Researcher of the Year for 2014. Larson "is an outstanding scholar in logic and set theory. Miami is fortunate to have ...

Unlike his much more famous colleague Albert Einstein, John von Neumann is not a household name these days, but his discoveries shape the possibilities of life for every creature on this planet. As a ...

This course is available on the MSc in Philosophy and Public Policy, MSc in Philosophy of Economics and the Social Sciences and MSc in Philosophy of Science. This course is freely available as an ...

Deductive reasoning and inductive reasoning are easy to mix up. Learn what the difference is and see examples of each type of scientific reasoning. When you purchase through links on our site, we may ...