Symbolic Logic with a Light Touch

Year: 2000 Authors: Charles C. Pinter

Core claim

A lightweight propositional-logic pedagogy, built around Smullyan-style puzzles, helps students see the value of formal reasoning without heavy machinery.

Topics

symbolic logic, formal reasoning, logic puzzles, humanist mathematics

Domains

propositional calculus, truth tables, deductive systems, mathematics education, humanities curriculum, pedagogical design

Methods

symbol translation, mechanical deduction, logic puzzle solving, truth-table analysis

Media

textbook-style unit, natural-language puzzles, symbolic notation

Source status

This page publishes metadata and extracted analytical signals only. Raw PDF and full OCR text are kept local for now.