Non-Standard Logics
Explore logics that deviate from or expand classical logic. This includes many-valued,…
Non-deterministic Turing Machine
A theoretical computational model where each step allows multiple choices, enabling simultaneous…
Non-deterministic Polynomial Time (NP)
NP is a complexity class for decision problems. A 'yes' answer can…
Non-Commutative Logic
Explore non-commutative logic, where operation order matters, unlike classical logic's commutative properties.…
Non-Classical Logic
Explore logics beyond classical assumptions. This includes intuitionistic, many-valued, and modal systems,…
Non-Alethic Modal Logic
A branch of modal logic exploring modes of truth beyond necessity and…
Nominalism Explained
Nominalism posits that abstract concepts, general terms, and universals lack independent existence,…
New Foundations
Quine's New Foundations is a set theory designed to bypass paradoxes of…
Neo-Logicism in the Philosophy of Mathematics
Neo-logicism revives the logicist project of grounding mathematics in logic. It addresses…
Neo-Fregeanism: A Modern Approach to Logicism
Neo-Fregeanism revives Frege's logicist project, aiming to base mathematics on logic. It…