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
43042 readers
747 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
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).