Top Results for Logic

Stephen's Sausage Roll is a 2016 independent puzzle video game designed by Stephen Lavelle, also known as increpare. Players move a character around compact grid-based levels, using a fork to roll sausages over grills until every side is cooked without burning them or making the puzzle unsolvable. I...

Mathematical logic investigates rigorous systems of reasoning using symbols and rules. It examines the structure of valid arguments and explores foundational questions about mathematical truth. This field is essential for mathematicians, computer scientists, and anyone seeking a precise understandin...

Small blue creatures with different physical attributes must reach safety in The Logical Journey of the Zoombinis, an educational puzzle game released by Broderbund in 1996 and created in collaboration with TERC. Players guide groups through obstacles whose hidden rules become clear through observat...

Gottlob Frege was a significant 19th-century philosopher born in Germany. He is best known for his 1879 work, Begriffsschrift, which established predicate logic and profoundly influenced the development of modern philosophy of language and mathematical logic. His rigorous approach to defining concep...

Across logic and natural philosophy, Aristotle organized knowledge into systems that influenced later scholarship for centuries. His studies also covered metaphysics and ethics, linking questions about nature with questions about reasoning and human life. In biology, he described and classified many...

Formal logic is a discipline examining reasoning through structured systems. It utilizes symbols to represent arguments, enabling precise analysis of deductive processes. Historically rooted in classical philosophy and mathematics, it remains crucial for academic study and applications requiring rig...

Bertrand Russell was a prominent 20th-century British philosopher known for his contributions to logic, mathematics, and philosophy of language. His rigorous analytical approach significantly shaped modern thought. He is particularly relevant for those studying logic, epistemology, or the foundation...

Predicate logic provides a system for formalizing statements about objects and their attributes. It builds upon propositional logic by incorporating predicates (representing properties), variables to represent unspecified objects, and quantifiers – “all” and “some” – to express relationships across...

In Ricochet Robots, spotting a route matters more than taking turns moving pieces. Designed by Alex Randolph and first published in 1999, this competitive abstract board game presents players with walls, colored robots and a target. A moving robot continues in a straight line until an obstacle stops...

Dana Scott is an American logician and computer scientist whose research helped give programming languages precise mathematical foundations. In collaboration with Christopher Strachey, he developed denotational semantics, an approach that describes a program's meaning through mathematical objects an...

Edmund Husserl developed phenomenology, a philosophical approach examining lived experience and consciousness. His work, particularly *Logical Investigations*, significantly influenced 20th-century thought. It remains relevant for scholars and students investigating philosophy of mind, epistemology,...

Patrick's Parabox is a puzzle game designed, developed, and programmed by Patrick Traynor, released in 2022. The game centers on a Sokoban-style box-pushing mechanic that explores the mathematical concept of recursion and spatial paradoxes. Players navigate over 350 distinct levels by pushing boxes...

Boolean algebra is a mathematical system that describes logic using binary values – true and false. It’s fundamental to digital circuit design and theoretical computer science. The system provides a concise way to represent logical operations and is essential for understanding how computers function...

Charles Sanders Peirce was an American philosopher whose work profoundly shaped logic, philosophy, and the study of signs. He developed pragmatism, emphasizing practical consequences as the basis for truth, and established semiotics, the systematic study of symbols and their interpretation. His idea...

Chrysippus (c. 280 – c. 207 BCE) was a Greek philosopher and key figure in Stoicism. His rigorous logical system, developed through extensive writing and debate, fundamentally shaped the school’s doctrines. He provided a comprehensive framework for reasoning and ethical thought, influencing later Ro...

Modus Ponens is a fundamental rule in logic used to construct valid arguments. It states that if a conditional statement (if P then Q) and its antecedent (P) are true, then the consequent (Q) must also be true. This principle forms the basis of deductive reasoning and is commonly employed in mathema...

Arthur Conan Doyle's Sherlock Holmes is a fictional consulting detective whose cases turn close observation into explanations of apparently baffling events. Working from details others dismiss, he combines knowledge of physical evidence with reasoning about how a crime could have happened. Many stor...

Saul Kripke was a prominent American philosopher specializing in logic and language. His work, particularly “Naming and Necessity,” significantly advanced understanding of how language relates to reality and explores concepts like reference, modality, and necessity. He is most relevant for those stu...

The Talos Principle: Reawakened is a 2025 remake by Croteam of the studio's 2014 first-person philosophical puzzle game, The Talos Principle. Built in Unreal Engine 5, it updates the original's environmental puzzles and narrative, and adds a new story chapter, developer commentary, and a puzzle edit...

W.V.O. Quine was a prominent American philosopher known for his work in logic and philosophy of science. His influential 1951 essay, “Two Dogmas of Empiricism,” questioned traditional views about the relationship between observation and knowledge, arguing against rigid distinctions between analytic...

Published by Capcom, the Phoenix Wright: Ace Attorney Trilogy is a 2019 compilation that bundles together the first three video games from the franchise. Players assume the role of a defense attorney, engaging in gameplay that alternates between investigating crime scenes for evidence and cross-exam...

14 Minesweeper Variants is a 2022 logic puzzle game developed by Alith Games and Artless Games. The game systematically alters the traditional ruleset of Minesweeper by introducing 14 distinct mechanical variations, such as diagonal counting or knight-move constraints. It is designed for players who...

Lorelei and the Laser Eyes is a 2024 puzzle-adventure game developed by the Swedish studio Simogo. The game follows a woman navigating a mysterious, centuries-old European hotel that functions as a massive, interconnected logic puzzle. Players must solve mathematical riddles, uncover hidden passages...

Barbara Partee is a prominent American linguist and philosopher who currently serves as a professor emerita at the University of Massachusetts Amherst. She played a foundational role in developing formal semantics within linguistics, successfully bridging the fields of formal logic and natural langu...

Coq is a powerful interactive proof assistant used extensively in mathematics and computer science. It allows users to write rigorous mathematical proofs by constructing them step-by-step, using a combination of logic and programming techniques. Its ability to generate executable code from proofs h...

Propositional logic is a foundational area within logic examining statements – propositions – and how they relate to each other through logical operators like conjunction, disjunction, and negation. This system provides a rigorous framework for deductive reasoning, forming the basis of more complex...

Hexcells Infinite is a 2014 logic-based puzzle game developed by Matthew Brown for PC. As the third installment in the Hexcells series, it retains the mechanics of Minesweeper-style deduction but applies them to a hexagonal grid. The game features 36 handcrafted levels alongside a built-in random pu...

Modus Tollens is a fundamental principle in logic. It demonstrates deductive reasoning by stating that if a conditional statement (P implies Q) is true and the consequent (Q) is false, then the antecedent (P) must also be false. This rule is valuable for constructing valid arguments and evaluating c...

De Morgan’s Laws are a pair of rules within classical logic that relate negation to conjunctions and disjunctions. These laws—specifically ¬(A ∧ B) ≡ ¬A ∨ ¬B and ¬(A ∨ B) ≡ ¬A ∧ ¬B—are essential for manipulating symbolic logic, particularly in mathematics, computer science, and digital circuit desig...