Top Results for Logic

Brilliant focuses on developing quantitative and scientific thinking through interactive, problem-solving courses. Instead of video lectures, learners engage with guided puzzles and challenges in math, science, and computer science. This approach builds deep conceptual understanding. It's ideal for...

Daniel Kahneman's 'Thinking, Fast and Slow' remains the definitive guide to understanding the two systems that drive our thinking: System 1 (intuitive, fast) and System 2 (deliberate, slow). This groundbreaking work synthesizes decades of research to reveal how cognitive biases and heuristics shape...

CodeCombat is a highly engaging game that teaches kids (ages 10+) the fundamentals of programming through a role-playing adventure. Players learn Python, JavaScript, or CoffeeScript by writing code to control their characters and navigate challenging levels. The game's gradual introduction of concep...

Human Resource Machine is an educational software title that simulates managing a small office using code. Players program a virtual employee to perform tasks by writing simple logic commands. The game’s notable design presents coding principles as a puzzle-solving experience, making it accessible f...

Ludwig Wittgenstein was a prominent 20th-century philosopher born in Austria. His work profoundly impacted fields like logic and linguistics through investigations into the nature of language and its relationship to reality. Primarily known for his contributions to analytic philosophy, he explored c...

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...

The Logical Journey of the Zoombinis is an educational puzzle video game developed by TERC and published by Broderbund in 1996. The game tasks players with guiding a group of small, blue creatures called Zoombinis through a series of obstacles by solving logic-based puzzles. These puzzles rely on at...

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...

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...

Ricochet Robots is a competitive abstract board game designed by Alex Randolph and first published in 1999. Players study a changing arrangement of walls and colored robots, then calculate routes in which a robot continues moving until it meets an obstacle. During each round, players announce the fe...

Dana Scott is an American logician and computer scientist whose work established the formal mathematical foundations of programming languages. He collaborated with Christopher Strachey to develop denotational semantics, which defines program meaning through mathematical functions, and later construc...

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...

The quintessential consulting detective, Holmes remains the gold standard for deductive reasoning. His methodsobservation, scientific application, and flawless logicset the benchmark for the genre. He thrives on puzzles and the intellectual challenge, making him a cultural touchstone. His enduring a...

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...