@paninid fast forward to the present and scientists who barely study #philosophy label #metaphysics as #pseudoscience (forgetting what #PhD means), torment #logic for the benefit of "elegant" #math equations (e.g. antimatter, dark #matter), and design #AI #systems that weaponize #ethics as justification for #information #censorship (#ChatGPT "knows" but refuses to answer how to a hot wire a car or commit murder while claiming no #opinion, ignorant that words and actions are different)
Meet Jared Ramsey, Detroit Free Press new high school sports writer https://www.byteseu.com/897867/ #American #AmericanFootball #Baseball #east #EastLansing #exclude #ExcludeFromPaywallLogicTesting #field #football #Ford #FordField #from #high #HighSchoolSports #lansing #local #LocalNews #Logic #MHSAA #News #Overall #OverallPositive #paywall #Positive #School #Sports #SportsNews #testing #twitter
#Aristotle named five interlinked Noble Sciences which together make up #Philosophy.
- #Metaphysics: the study of existence, the nature of the universe and all its contents
- #Logic: the ways we may know something, the set of permissible conclusions we may draw based on our perceptions, and some sensible rules of deduction and inference
- #Ethics: what we know about man and what we may deduce and infer (through Logic) about acceptable interactions between pairs of individuals
1/2
“𝙳𝚎𝚎𝚙 𝚒𝚗 𝚝𝚑𝚎 𝚑𝚞𝚖𝚊𝚗 𝚞𝚗𝚌𝚘𝚗𝚜𝚌𝚒𝚘𝚞𝚜 𝚒𝚜 𝚊 𝚙𝚎𝚛𝚟𝚊𝚜𝚒𝚟𝚎 𝚗𝚎𝚎𝚍 𝚏𝚘𝚛 𝚊 𝚕𝚘𝚐𝚒𝚌𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚝𝚑𝚊𝚝 𝚖𝚊𝚔𝚎𝚜 𝚜𝚎𝚗𝚜𝚎. 𝙱𝚞𝚝 𝚝𝚑𝚎 𝚛𝚎𝚊𝚕 𝚞𝚗𝚒𝚟𝚎𝚛𝚜𝚎 𝚒𝚜 𝚊𝚕𝚠𝚊𝚢𝚜 𝚘𝚗𝚎 𝚜𝚝𝚎𝚙 𝚋𝚎𝚢𝚘𝚗𝚍 𝚕𝚘𝚐𝚒𝚌.”
― 𝘍𝘳𝘢𝘯𝘬 𝘏𝘦𝘳𝘣𝘦𝘳𝘵, 𝘋𝘶𝘯𝘦
From my blog: Something to think about this month ...
Condoms are one of the most environmentally friendly things invented by man.
https://zenmischief.com/2025/04/something-to-think-about-this-month-4/
Are there any other #accessible audio and #music apps for IPhone and IPad besides ableton, garageband, logic and tape it?
#accessible #accessibility #ableton #audio #blind #garageband #logic #music #recording
Building AI for mathematical reasoning. ~ Chris Garcia. https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72 #Prolog #LogicProgramming #Logic #Math
#Logic #Reason #Ontology #Geopolitics #Philosophy
Why to people do it? That is, set up a stalkiing horse in order to break it down. That is absolutely no 'proof' of anything except your narcisstic tendancy to virtue signal. Please stop it. Think twice, post rarely.
Doctor's office: "You have a phone appointment at 9am. We will call you at this number. Please check in at 8:45am."
Uh... What?
#UKPol #Economics #Logic #LINO . You cannot prove a negative. i.) 'no action' is not = higher waiting lists? ii.) Is that money 'ringfenced' ?? That lie, #BREXIT = £300 zillion squid for the #NHS The #NHS must be staffed / resourced to the gills by now. Only it isn't. #SOSNHS .
#RachelReeves has defended the £40bn in tax increases in autumn’s budget as businesses brace for their impact, saying #NHS waiting lists would now be higher if she had not taken action.
https://www.theguardian.com/politics/2025/apr/02/reeves-defends-40bn-tax-increase-in-autumn-budget-as-businesses-prepare-for-nics-hike
Logica (Tools for thought). http://logic.stanford.edu/logica #Logic
TAUT2 (Here you will find various types of randomly-generated, self-correcting logic excercises). https://www.taut-logic.com #Logic
Readings shared April 1, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/01-readings_shared_04-01-25 #AI #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #SMT #Z3
I’m just about to be on the road again, to talk about proof theory, modal logic, a hint of medieval logic, and even a tiny smidgen of metaphysics.
On this little European jaunt, the first stop is Prague, then Vienna, and at the end, Amsterdam. I’m looking forward to meeting old friends and making new ones. If you’re in that part of the world, and you’re into that sort of thing, I’d love to see you.
Curso "Razonamiento automático (2010-11)". https://jaalonso.github.io/cursos/m-ra-10 #ITP #IsabelleHOL #Logic #Math
Readings shared March 31, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/31-readings_shared_03-31-25 #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math