5 items with this tag.Mar 15, 2025Early Mechanical Reasoning and the Dream of Universal CalculationhistorylogicautomationethicsMar 01, 2025Meaningless Symbols in Twentieth Century Symbolic ReasoninghistorylogicmathematicsformalismnotationethicsFeb 15, 2025Formal Methods in Ancient GreecehistorylogicformalismCharacteristica universalishistorylogicnotationSyllogismlogichistoryformalism