Mastodawn

…your intuition is your strongest intellectual resource. In a sense, it’s your only intellectual resource. These aren’t just empty words. … You know that learning things by heart, applying ready-made methods, or following reasoning line by line isn’t really understanding. That’s why you never have complete confidence in logical arguments and you’re much more at ease with what you understand intuitively.
—David Bessis, Mathematica: A Secret World of Intuition and Curiosity
#mathematics #intuition #logic #formallogic

Hacker News Dec 23

Carnap – A formal logic framework for Haskell

https://carnap.io/

#HackerNews #Carnap #Haskell #formalLogic #programming #language #innovation

Welcome To Carnap!

eicker.news ᳇ tech news Dec 7

#Amazon is leveraging #automatedreasoning, a form of #AI based on #formallogic, to address the issue of #AIhallucinations. This approach uses #mathematicalcertainty to verify the accuracy of #generativeAI, particularly in the context of #AIagents. By combining the flexibility with the reliability, https://www.fastcompany.com/91446331/amazon-byron-cook-ai-artificial-intelligence-automated-reasoning-neurosymbolic-hallucination-logic?eicker.news #tech #media #news

Amazon takes on AI's biggest nightmare: Hallucinations

Byron Cook, a distinguished scientist at Amazon, is is helping the company use an obscure type of AI to minimize AI's worst side effect.

Fast Company

Dominik Leipold Sep 8, 2025

Logicians since the 12th century: “ex falso quodlibet”

Digital Humanists of the 21th century: “garbage in, garbage out”

#philosophy #formalLogic #DigitalHumanities #MachineLearning

y🍉mpsuit Nov 19, 2024

@subjacentish

*walking in with a plucked goose*

Behold, nature’s vaccine!

#FormalLogic

PC Jan 18, 2024

In #Academics including #Math and #ComputerScience one of the biggest things I learned was to be #Methodical. #Proofs and #ComputerPrograms require clear thought. Knowing #FormalLogic was extremely valuable, one of my favorite classes in #college.

In the #ModernWorld of #AI lending a hand to any possible human #intellectual endeavor, I wonder if people will become less likely to learn and practice formal logic.

#AIWorries

vy Apr 7, 2023

ACM Communications 4/23 paper by Bentkamp et al
"Today, even if most mathematicians do not consciously use logic on a daily basis, they can feel reassured to know that their definitions and arguments can be encoded in it" p82

Nope. Nope. And Nope.
#formalLogic
#MetaMathematics
#ComputerScience