The Game of Logic is a book, published in 1886, written by the English mathematician Charles Lutwidge Dodgson (1832–1898), better known under his literary pseudonym Lewis Carroll.In addition to his well-known children's literature, Dodgson/Carroll was an academic mathematician who worked in mathematical logic. The book describes, in an informal and playful style, the use of a board game to represent logical propositions and inferences. Dodgson/Carroll incorporated the game into a longer and more formal introductory logic textbook titled Symbolic Logic, published in 1897. The books are sometimes reprinted in a single volume. The book aims to teach players the fundamentals of logic by asking players to use coins on a board. The proposition used in this context is: "Some fresh cakes are sweet." The game world is divided into four quadrants. It is to be played with five gray coins and four red coins. A red coin symbolizes one or more cakes being present in an area while a gray coin symbolizes the absence of the cake(s). Each quadrant represents a variation of the original proposition. The cakes are fresh and sweet within the northwest quadrant. They are fresh but not sweet in the northeast. They are neither fresh nor sweet in the southeast. They are not fresh but are sweet in the southwest. The four quadrants are further divided into two subclasses: cakes that are eatable and those that are non-eatable. This subdivision allows players to understand more complex propositions and syllogisms. The second half of the book introduces players to a 2x2x2 diagram. This allows for players to solve problems involving three propositions at the same time. The book is divided into several chapters. The first portion, "To My Childhood-Friend" is as an introduction from the author to his readers. This is followed by a preface chapter. Chapter 1 is divided into three parts. In the first part, the author describes the three different types of propositions that will be used. The second part is an outlook on the "Universe of Things" and syllogisms. The third part of the chapter explains the logic to be used and the associated fallacies. This marks the end of the first chapter. The second chapter presents various questions for readers to answer. These questions are then answered and explained by the author in the third chapter. The last and fourth chapter contains various logic games. (Wikipedia).
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
Logic for Programmers: Propositional Logic
Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod
From playlist Logic for Programmers
Maths for Programmers: Logic (What Is Logic?)
We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod
From playlist Maths for Programmers
Two exercises in TRUTH TREES for negation, conjunction, and disjunction - Logic
We do two example truth trees, looking to find inconsistent sets of wffs. #Logic #PhilosophicalLogic 0:00 [Intro] 0:23 [Question #1] 3:28 [Question #2] Follow along in the Logic playlist: https://www.youtube.com/playlist?list=PLDDGPdw7e6AhsNuxXP3D-45Is96L8sdSG If you want to support the
From playlist Logic in Philosophy and Mathematics
Logic for Programmers: Set Theory
Logic is the foundation of all computer programming. In this video you will learn about set theory. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Coding Comma
From playlist Logic for Programmers
Introduction to Propositional Logic and Truth Tables
This video introduces propositional logic and truth tables. mathispower4u.com
From playlist Symbolic Logic and Proofs (Discrete Math)
How to determine whether an argument is VALID - Logic
We do one exercise where we use a truth table to show that an argument is valid. #Logic / #PhilosophicalLogic 0:00 [Intro] 0:20 [Question #1] 6:30 [Final Solution & Recap] Follow along in the Logic playlist: https://www.youtube.com/playlist?list=PLDDGPdw7e6AhsNuxXP3D-45Is96L8sdSG If yo
From playlist Logic in Philosophy and Mathematics
The History of Logic: The Logic of Aristotle
A few clips of Gabriele Giannantoni explaining Aristotelian logic, the logic of Aristotle. These clips come from the Multimedia Encyclopedia of the Philosophical Sciences. More Short Videos: https://www.youtube.com/playlist?list=PLhP9EhPApKE8v8UVlc7JuuNHwvhkaOvzc Aristotle's Logic: https:
From playlist Logic & Philosophy of Mathematics
Ch. 8 - Logic - Valid Arguments (IB Math Studies)
Hello and welcome to What Da Math This video is an explanation of the following terms from logic, chapter 8: Valid arguments and truth tables using implications and conjunctions SUBSCRIBE for more math and math studies videos Join me on Twitter: http://twitter.com/WhatDaMath
From playlist IB Math Studies Chapter 8
OSB 2015 - "A huge green fierce snake bars the way!"; or, Building a Text Adventure Game in Python
By, Katie Silverio Have you ever wanted to vanquish a dragon with your bare hands? First step is making a world where you can. In this talk, I'll give you the blueprints for my Python text adventure engine, as well as some recipes for making things in a text-only world.
From playlist Open Source Bridge 2015
How Games Challenge Us - Empathy and Intuition in Puzzle Design - Extra Credits
How can we use empathy, intuition, and other types of design vectors to create interesting gameplay besides the most popular mechanics--which are based in reflex and logic challenges? History of Virtual Reality, part 1: https://www.youtube.com/watch?v=bWIyzoqG-1Q brought to you thanks to O
From playlist Extra Credits: Game Design
Introducing Model Theory with Ehrenfeucht-Fraïssé Games on Linear Orderings #SOME2
Play along at home: https://trkern.itch.io/rosenstein Version with just finite linear orderings (and AI opponent): https://trkern.itch.io/efglo Watch a similar video on the model theory of graphs: https://www.youtube.com/watch?v=1lFjNDhAStk Play EF-Games on graphs: https://trkern.github.i
From playlist Summer of Math Exposition 2 videos
Unity Tutorial | How To Create Zombie Mobile VR Game In Unity3D | Session 10 | #unity3d | #gamedev
Don’t forget to subscribe! In this Unity tutorial, you will learn to create a zombie mobile VR game in Unity3D. This project is for any beginner, intermediate or expert developer in ( VR )Virtual Reality. The project will cover everything that is required to build and test a complete Zom
From playlist Create Zombie Mobile VR Game In Unity3D
Recent C++ standards have given us amazing tools for building easy to use and intuitive APIs. Despite this, C++ is still considered to be "too difficult" and "too complex." While that's a fairly subjective matter, the results are clear: new developers are reaching for technology perceived
From playlist C++
Nicole Schweikardt: Databases and descriptive complexity – lecture 2
Recording during the meeting "Spring school on Theoretical Computer Science (EPIT) - Databases, Logic and Automata " the April 11, 2019 at the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by wor
From playlist Numerical Analysis and Scientific Computing
Paul-André Melliès - A gentle introduction to template games and linear logic
Game semantics is the art of interpreting formulas (or types) as games and proofs (or programs) as strategies. In order to reflect the interactive behaviour of pro- grams, strategies are required to follow specific scheduling policies. Typically, in the case of a sequential programming lan
From playlist Combinatorics and Arithmetic for Physics: Special Days 2022
Wittgenstein's Games (A. C. Grayling)
Professor A. C. Grayling discusses the thought of Ludwig Wittgenstein and the intellectual context surrounding his life and work. Note, the audio has been slightly improved. I increased the volume and tried to reduce some of the cell phone interference that occasionally shows up. In any ca
From playlist Wittgenstein
!!Con 2021 - Making a pixel-y circuit design language and then building circuits... by Lynn Pepin
Making a pixel-y circuit design language and then building circuits in it!! by Lynn Pepin Have you ever made a complicated Redstone machine in Minecraft, graphed out a complicated boolean expression, or taken a philosophy or digital-logic-design course? If so, then you’re probably familia
From playlist !!Con 2021
http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of
From playlist 01. Fundamentals of Science and Astronomy
Unity Tutorial | How To Create Zombie Mobile VR Game In Unity3D | Session 16 | #unity3d | #gamedev
Don’t forget to subscribe! In this Unity tutorial, you will learn to create a zombie mobile VR game in Unity3D. This project is for any beginner, intermediate or expert developer in ( VR )Virtual Reality. The project will cover everything that is required to build and test a complete Zom
From playlist Create Zombie Mobile VR Game In Unity3D