199
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 22 Oct 2025
199 points (100.0% liked)
Privacy
43009 readers
388 users here now
A place to discuss privacy and freedom in the digital world.
Privacy has become a very important issue in modern society, with companies and governments constantly abusing their power, more and more people are waking up to the importance of digital privacy.
In this community everyone is welcome to post links and discuss topics related to privacy.
Some Rules
- Posting a link to a website containing tracking isn't great, if contents of the website are behind a paywall maybe copy them into the post
- Don't promote proprietary software
- Try to keep things on topic
- If you have a question, please try searching for previous discussions, maybe it has already been answered
- Reposts are fine, but should have at least a couple of weeks in between so that the post can reach a new audience
- Be nice :)
Related communities
much thanks to @gary_host_laptop for the logo design :)
founded 6 years ago
MODERATORS
It's more like calling "nazi" to all forms of authoritarian positions, even the left-wing authoritarians in the opposite side of the spectrum.
There's a distinction between "informal fallacy" and "formal / logical fallacy". Both have separate articles in wikipedia as well. Why not just call it "fallacy" without categorizing it into a specific subcategory it does not fit anyway?
Why does it need to be considered "formal" by some arbitrary standard to be both a fallacy and related to logic.
The "formal" part comes from "formal system", which is essentially the use of rules of inference based on an initial set of presuppositions, with an exact/mathematical approach to "truth".
The idea of "informal logic" is something some people have wanted to put forward, but it's a much younger and not as well defined term, and whether it should really be considered "logic" is something that has criticisms: https://en.wikipedia.org/wiki/Informal_logic#Criticisms
Perhaps in the end all logic is formal logic, the problem is that we know from Gödel's incompleteness theorems that not everything is computable and translatable into a formal system.. to solve this you'd have to model the statements into a Gödel/Lobian machine (at which point you are essentially building an AI).
This seems a good answer, let's go with this!