DMV.Community

10 posts5 participants0 posts today

David Palk#RejoinEU 💖🇪🇺🤎🕊<a href="https://mas.to/tags/UKPol" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#UKPol</a> <a href="https://mas.to/tags/Economics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Economics</a> <a href="https://mas.to/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mas.to/tags/LINO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LINO</a> . You cannot prove a negative. i.) 'no action' is not = higher waiting lists? ii.) Is that money 'ringfenced' ?? That lie, <a href="https://mas.to/tags/BREXIT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BREXIT</a> = £300 zillion squid for the <a href="https://mas.to/tags/NHS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NHS</a> The <a href="https://mas.to/tags/NHS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NHS</a> must be staffed / resourced to the gills by now. Only it isn't. <a href="https://mas.to/tags/SOSNHS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#SOSNHS</a> . <a href="https://mas.to/tags/RachelReeves" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RachelReeves</a> has defended the £40bn in tax increases in autumn’s budget as businesses brace for their impact, saying <a href="https://mas.to/tags/NHS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NHS</a> waiting lists would now be higher if she had not taken action. <a href="https://www.theguardian.com/politics/2025/apr/02/reeves-defends-40bn-tax-increase-in-autumn-budget-as-businesses-prepare-for-nics-hike" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.theguardian.com/politics/2025/apr/02/reeves-defends-40bn-tax-increase-in-autumn-budget-as-businesses-prepare-for-nics-hike</a>

Greg RestallI’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.<a href="https://consequently.org/presentation/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://consequently.org/presentation/</a><a href="https://hcommons.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://hcommons.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://hcommons.social/tags/metaphysics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#metaphysics</a>

Corey S PowellWhy do "extraordinary claims require extraordinary evidence"? In my new Invisible Universe column, I decode how the phrase that Carl Sagan made famous is routinely misunderstood & abused -- and how to use it as the BS detector it's meant to be.<a href="https://invisibleuniverse.substack.com/p/why-do-extraordinary-claims-require" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://invisibleuniverse.substack.com/p/why-do-extraordinary-claims-require</a> <a href="https://mastodon.social/tags/science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#science</a> <a href="https://mastodon.social/tags/history" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#history</a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.social/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a>

José A. AlonsoEjercicios de "Lógica informática" (2010-11). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ejercicios-LI-2010-11.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/ejercicios-LI-2010-11.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoTemas de "Lógica informática" (2010-11). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/temas-LI-2010-11.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-10/temas/temas-LI-2010-11.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoCurso "Lógica informática (2010-11)". <a href="https://jaalonso.github.io/cursos/li-10" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/li-10</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

MidgePhotoPerhaps obtaining reports on an entirely random sample of offenders would be acceptable? One could find a use for it, but it would seem strange.<a href="https://photog.social/tags/law" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#law</a> <a href="https://photog.social/tags/courts" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#courts</a> <a href="https://photog.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://photog.social/tags/sentencing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#sentencing</a>

José A. AlonsoReadings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philosophy</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

Teodor Sandu<a href="https://mastodon.online/tags/funny" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#funny</a> <a href="https://mastodon.online/tags/meme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meme</a> <a href="https://mastodon.online/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/loop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#loop</a> <a href="https://mastodon.online/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://mastodon.online/tags/it" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#it</a> <a href="https://mastodon.online/tags/development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#development</a> <a href="https://mastodon.online/tags/fun" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#fun</a> <a href="https://mastodon.online/tags/memes" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#memes</a>

José A. AlonsoSoluciones de exámenes de Lógica informática (2000-07). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-08/temas/examenes-li.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-08/temas/examenes-li.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoEjercicios de "Lógica informática" (2009-10). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/ejercicios-LI-2009-10.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/ejercicios-LI-2009-10.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

José A. AlonsoTemas de "Lógica informática" (2009-10). <a href="https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/temas-LI-2009-10.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://web.archive.org/web/https://www.cs.us.es/~jalonso/cursos/li-09/temas/temas-LI-2009-10.pdf</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a>

RocketshipRetro🟡 Dialectica & Rethorica 16th Century Roman Greek Goddess⁣ ⁣ <a href="https://mastodon.social/tags/16thCentury" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#16thCentury</a>, <a href="https://mastodon.social/tags/Agreement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Agreement</a>, <a href="https://mastodon.social/tags/Dialectics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dialectics</a>, <a href="https://mastodon.social/tags/Dialogue" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Dialogue</a>, <a href="https://mastodon.social/tags/Discussion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Discussion</a>, <a href="https://mastodon.social/tags/Goddess" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Goddess</a>, <a href="https://mastodon.social/tags/Gods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gods</a>, <a href="https://mastodon.social/tags/Greek" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Greek</a>, <a href="https://mastodon.social/tags/Inspiration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Inspiration</a>, <a href="https://mastodon.social/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>, <a href="https://mastodon.social/tags/MarinBonnemere" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MarinBonnemere</a>, <a href="https://mastodon.social/tags/Persuasion" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Persuasion</a>, <a href="https://mastodon.social/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philosophy</a>, <a href="https://mastodon.social/tags/Reason" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Reason</a>, <a href="https://mastodon.social/tags/Rhetoric" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rhetoric</a>, <a href="https://mastodon.social/tags/Roman" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Roman</a>⁣ ⁣ Vintage ◦ Classic ◦ Historical | Art ◦ Design ◦ Inspiration | Restored ◦ Enhanced ◦ Remixed⁣ ⁣ Prints, T-Shirts, Stickers, & More by <a href="https://mastodon.social/@rocketshipretro" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@rocketshipretro</a> via RedBubble → <a href="https://bigplanetprints.com/go/R5T71l" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://bigplanetprints.com/go/R5T71l</a>

Nick Byrd, Ph.D.“better numerical and logical <a href="https://nerdculture.de/tags/reasoning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#reasoning</a> skills were associated with better real-world <a href="https://nerdculture.de/tags/decision" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#decision</a> outcomes (N ≈ 1000), and this relationship remained when controlling for general cognitive abilities, although the effects we found were small.”<a href="https://doi.org/10.1080/14794802.2025.2472675" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://doi.org/10.1080/14794802.2025.2472675</a> <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://nerdculture.de/tags/IQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IQ</a>

rafa.pineraEnterprise storage logic <a href="https://pixelfed.social/discover/tags/storage?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#storage</a> <a href="https://pixelfed.social/discover/tags/logic?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a> <a href="https://pixelfed.social/discover/tags/raid?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#raid</a> <a href="https://pixelfed.social/discover/tags/Argentina?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#Argentina</a> <a href="https://pixelfed.social/discover/tags/tech?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#tech</a> <a href="https://pixelfed.social/discover/tags/vsd?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#vsd</a> <a href="https://pixelfed.social/discover/tags/sys?src=hash" class="u-url hashtag" rel="nofollow noopener noreferrer" target="_blank">#sys</a>

Nick Byrd, Ph.D.Feelings are poor reasons, but they may not be meaningless.People had higher feelings of rightness (FOR) about their valid guesses.Valid final answers also correlated with lower FOR about biased answers and higher high FORs about valid answers.<a href="https://doi.org/10.3758/s13423-025-02662-0" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://doi.org/10.3758/s13423-025-02662-0</a> <a href="https://nerdculture.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

broVbro 🇺🇲The human <a href="https://toot.community/tags/brain" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#brain</a> evolved for survival not for truth. - David McRaney <a href="https://toot.community/tags/Science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Science</a> <a href="https://toot.community/tags/CriticalThinking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CriticalThinking</a> <a href="https://toot.community/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

screwlisp<a href="https://mastodon.sdf.org/tags/formalMethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#formalMethods</a> <a href="https://mastodon.sdf.org/tags/gamedev" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gamedev</a> <a href="https://mastodon.sdf.org/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a> <a href="https://mastodon.sdf.org/tags/commonLisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#commonLisp</a> <a href="https://mastodon.sdf.org/tags/acl2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#acl2</a> <a href="https://mastodon.sdf.org/tags/itch" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#itch</a> <a href="https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic" rel="nofollow noopener noreferrer" target="_blank">https://lispy-gopher-show.itch.io/lispmoo2/devlog/907091/formal-game-logic</a>Since yesterday I advocated strong use of defgeneric, defmethod and McCLIM's define-command, here I present just giving lisp's defun to acl2's first order <a href="https://mastodon.sdf.org/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>.I present a batch processing style for using acl2 both in <a href="https://mastodon.sdf.org/tags/shell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#shell</a> and in <a href="https://mastodon.sdf.org/tags/lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#lisp</a> with a worked example.Thoughts and opinions, gamedevs and logical types?

Dr Keith Wilson 💭<a class="hashtag" href="https://bsky.app/search?q=%23philosophy" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a class="hashtag" href="https://bsky.app/search?q=%23logic" rel="nofollow noopener noreferrer" target="_blank">#logic</a> RE: <a href="https://bsky.app/profile/did:plc:tyopbvair76w72ca2ba3pzow/post/3lkdhr74l3222" rel="nofollow noopener noreferrer" target="_blank">https://bsky.app/profile/did:plc:tyopbvair76w72ca2ba3pzow/post/3lkdhr74l3222</a>

AdeptVeritatis<a href="https://mathstodon.xyz/@foldworks" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@foldworks</a> My solution to the liars paradox is geometry. Especially topology.A liars paradox is just a linguistic Möbius strip. It has only one side and only looks like having more. If you follow one path, you will realize it.The >>whole<< object is a lie.<a href="https://social.tchncs.de/tags/philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#philosophy</a> <a href="https://social.tchncs.de/tags/paradox" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#paradox</a> <a href="https://social.tchncs.de/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logic</a>

Recent searches

Search options

Administered by:

Server stats:

#logic