Boosted by @trending@homestead.social
Happy Halloween!
#BOOlean
#Halloween #HappyHalloween #logic #logicgates #logicoperations #computing #programmers #XOR #allhallowseve
#logic
29 posts · Last used 4d
Boosted by @trending@homestead.social
“First learn the rules, then learn when to break them.” – about the fallacy of applying a general rule when an exception would be warranted:
https://fallacies.online/wiki/generalization/accident_fallacy
#logic #philosophy #ethics #criticalThinking #moral #science
Replying to
I read recently that in societies where empathy increases, justice decreases. It puzzled me at first, but it makes sense.
Philanthropy is all about compassion and empathy – giving. But that doesn't make it fair.
In fact, often it’s another way of making sure some are benefactors and can feel great about themselves, while others are poor and crushed and have to feel permanently grateful if they get anything at all.
⬇️
#MoralPsychology #AutisticThinking #Justice #Logic #Reasoning
Replying to
Autistic people are famously fond of logic, and data.
We’ve also repeatedly ‘failed’ in tests designed to evaluate our empathy.
Tests which I found more interesting as a ‘spot the assumption’ exercise than serious research – or at least, serious research into what the studies professed to be about. I wrote a thread about it: https://mas.to/@KatyElphinstone/116070156336606549
⬇️
#ActuallyAutistic #Neurodivergent #AutismResearch #Empathy #AutisticThinking #CriticalPsychology #Logic #Reasoning #Neurodiversity #DoubleEmpathy
A quotation from Doctor Who
THE DOCTOR: Adric, I give you a privileged insight into the mystery of time, yes?
ADRIC: Yes.
THE DOCTOR: Open your mind to adventures beyond imagining, yes?
ADRIC: Yes.
THE DOCTOR: And you criticize my logic?
ADRIC: No. No, I’m just saying that a lot of the time you don’t really make sense.
THE DOCTOR: Ah. Ah! Oh, you’ve noticed that, have you? Well, I mean, anyone can talk sense. As long as that’s understood, you and I are going to get on splendidly.
Doctor Who (1963–1989) British science fiction television series, original run (BBC)
18X06 “The Keeper of Traken,” Part 1 (1981-01-31) [w. Johnny Byrne]
More about this quote: wist.info/doctor-who-1963/8611…
#quote #quotes #quotation #qotd #doctorwho #fourthdoctor #criticism #doctorwho #ingratitude #logic #makesense
![Doctor Who (1963) - 18x06 "The Keeper of Traken," Part 1 (1981-01-31) [w. Johnny Byrne] | WIST Quotations](https://wist.info/wp/wp-content/uploads/2021/06/wist-title-square-400x400-1.png)
The Australian National University's annual #Logic Summer School is running for its 34th time! https://comp.anu.edu.au/lss/ . Starting on 7 December, we'll have a week of lectures by locals, including a series by me titled 'Foundations (plural) of Mathematics', and then a week from our overseas guests Amal Ahmed, Natasha Dobrinen, Rod Downey, Rustan Leino, and Sara Negri. We have some funds we can use to support students to come to and stay in #Canberra , including international flights: see the 'grants' section of our homepage (menu accessed via top left corner in mobile), so please spread the news if you know students who might benefit.
It's not that scientists are 100% right, 100% of the time. But when asked to trust someone's opinion, I'll trust the ones that have been meticulously exploring a subject using rigorous standards as opposed to a book that was written by a bunch of desert peasants, then translated and rewritten scores of times.
#bible#CriticalThinking
#logic
#science
#Religion
#atheism
An Introduction to Formal Logic(2020) [pdf]
https://logicmatters.net/ifl/pdfs/IFL2_LM.pdf
#HackerNews #Tech #Logic
True:
6<2x<4 for all 3
Browsing through the Linux kernelsection devicessub section blockfile badblocks.clevel critical
When I look in sources for real work I use the old school method
terminal (ba(c)(k)(z)(fi)sh)vimlogicpatience
This is just a lazy exercise
DESCRIPTION
badblocks is used to search for bad blocks on a device (usually a disk partition). device is the special file corresponding to the device (e.g /dev/hdc1). last_block is the last block to be checked; if it is not specified, the last block on the device is used as a default. first_block is an optional parameter specifying the starting block number for the test, which allows the testing to start in the middle of the disk. If it is not specified the first block on the disk is used as a default.
sources:
man badblocks(8)
https://explorar.dev/linux-kernel/
#kernel #sources #programming #logic #terminal #linux #explorar #dev #bash #csh #kzh #zsh #sh
“If you’re not for us, you’re against us.”
And what if I don't care for either side?
There are almost always more options than the obvious ones, and one shouldn’t allow oneself to be forced into a “false dilemma” framing.
👉 https://fallacies.online/wiki/relevancy/false_dilemma
#rhetorics #logic #dilemma #philosophy
Two PhD positions in Mathematical Logic and Set Theory at the University of Helsinki
We are glad to announce calls for two funded PhD positions opening at the University of Helsinki:
-
Doctoral Researcher in Mathematical Logic, as part of the research project “Logic and Computation over Semirings”, led by Professor Juha Kontinen. https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Mathematical-Logic/1365070157/
-
Doctoral Researcher in Set Theory and Mathematical Logic, as part of the research project “Interactions between set theory and non-standard logics”, led by Dr. Ur Ya’ar. https://jobs.helsinki.fi/job/Helsinki-Doctoral-Researcher-in-Set-Theory-and-Mathematical-Logic/1365166857/
Both positions are for a fixed term of 1.9.2026-31.8.2030, with some flexibility regarding the starting date.
The application deadline for both positions is July 31, 2026.
See the links above for more details and application instructions. Please share!
#PhD #math #mathematics #academia #Logic #SetTheory #UniversityOfHelsinki #CallForApplication
Boosted by @welcome@friends.deko.cloud
#Introduction
Hello everyone,
I finally found a home for my profile outside of mastodon.social, after nearly two years of being on the network!
#Mathstodon was the natural choice for me because I've always had a casual interest in #mathematics and lately I've been getting into (basic) formal #logic
I worked as a #software #engineer for nearly two years, but after moving countries I found myself without a job for quite a while. During that time, I ended up learning a lot of things I don't think I would have had the energy for had I still been working.
On many matters my opinion has changed substantially over the last year or so, and perhaps for the better, but on the whole I've gone from unearned confidence to general uncertainty, which I know some find irritating but I think it leads to interesting discussions.
I'm excited to see what this instance has to offer and to hopefully make some meaningful contributions.
— Bemmesr
Driving WS2812Bs With Pure Logic https://hackaday.com/2026/02/26/driving-ws2812bs-with-pure-logic/
#LEDHacks #Led #Logic #Ws2812b
