#logic — Public Fediverse posts

Today becauseI couldn't sleep, I was trying to mess around with #Logic and the musical typing keyboard since I don't have the midi-controller anymore. couldn't get it to work as no audio played no matter what patch I selected and the metronome wouldn't work either. Not so happy about this.

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html

Comments: https://news.ycombinator.com/item?id=49279928

#HackerNews #PrincipiaMathematica #moderninsightful #mathematics #philosophy #logic

Principia Mathematica is modern and insightful

https://okmij.org/ftp/Computation/Impressions/PrincipiaMathematica.html

Comments: https://news.ycombinator.com/item?id=49279928

#HackerNews #PrincipiaMathematica #moderninsightful #mathematics #philosophy #logic

The laws of logic are the backbone of rational thought. They help us navigate arguments, discern truth from falsehood, and understand the world around us. Ever wondered how these principles apply to everyday life? Let's discuss how logic shapes our decisions and beliefs! #Logic #CriticalThinking #Philosophy #Rationality #Debate

The laws of logic are the backbone of rational thought. They help us navigate arguments, discern truth from falsehood, and understand the world around us. Ever wondered how these principles apply to everyday life? Let's discuss how logic shapes our decisions and beliefs! #Logic #CriticalThinking #Philosophy #Rationality #Debate

Tomorrow's games couldn't be more different but equally puzzling:
💠 Pight (by ⁨@mindlabor)
🛋️ The Infectious Madness of Doctor Dekker (by D'Avekki Studios‬‬‬‬‬‬‪‬‪)

See you LIVE on YouTube❤️+💜Twitch
#puzzlegame #indiegame #pight #doctordekker #logic #fmv

Readings shared: 3 – 9 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/10-readings_shared_08-10-26 #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

Readings shared: 3 – 9 August, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/10-readings_shared_08-10-26 #AI #AI4Math #Coq #FormalVerification #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math

My brand new minimalist puzzle game Pight is RELEASED!!! 🥳🥳

You can access the game from this link. Don’t forget to PLAY and write a REVIEW! 👇
https://mindlabor.dev/pight

Good luck to you all ⚡

#gamedev #indiedev #indiegame #logic #minimal #puzzle #puzzlegame #madewithunity

My brand new minimalist puzzle game Pight is RELEASED!!! 🥳🥳

You can access the game from this link. Don’t forget to PLAY and write a REVIEW! 👇
https://mindlabor.dev/pight

Good luck to you all ⚡

#gamedev #indiedev #indiegame #logic #minimal #puzzle #puzzlegame #madewithunity

#Norway #Logic

#Norway #Logic

Supposing the sub-disciples of philosophical dialogue were originally Dialectic and Rhetoric as a knowledge of philosophical dialogue cannot advance without a comprehension of them. Why then divide philosophy into metaphysics, epistemology, ethics, aesthetics and logic presupposing the dogma of an empiricist nomenclature?

Answer: To control the direction and minds of the youth, so explaining why the oligarchs executed Socrates as he gave them the dialectic method so they could be free from dogmatic systems of naming! If Aristotle found a way to further undermine the oligarchs abuse of power, it can, and is still being done today. Their time is coming to an end. #philosophy #dialectic #rhetoric #metaphysics #epistemology #ethics #aesthetics #logic #oligarchs #Socrates #Aristotle

Supposing the sub-disciples of philosophical dialogue were originally Dialectic and Rhetoric as a knowledge of philosophical dialogue cannot advance without a comprehension of them. Why then divide philosophy into metaphysics, epistemology, ethics, aesthetics and logic presupposing the dogma of an empiricist nomenclature?

Answer: To control the direction and minds of the youth, so explaining why the oligarchs executed Socrates as he gave them the dialectic method so they could be free from dogmatic systems of naming! If Aristotle found a way to further undermine the oligarchs abuse of power, it can, and is still being done today. Their time is coming to an end. #philosophy #dialectic #rhetoric #metaphysics #epistemology #ethics #aesthetics #logic #oligarchs #Socrates #Aristotle

"I propose that there are immutable laws describing the movements of the planets, the tides, and the weather. These things are not the consequences of capricious and moody gods."

Poor Belshazaar has gone off his rocker again. I only hope the gods show compassion and do not turn him into a newt for his blasphemy.

Thus, the age of scientific inquiry was born.

#science
#logic
#Reason
#Religion

"I propose that there are immutable laws describing the movements of the planets, the tides, and the weather. These things are not the consequences of capricious and moody gods."

Poor Belshazaar has gone off his rocker again. I only hope the gods show compassion and do not turn him into a newt for his blasphemy.

Thus, the age of scientific inquiry was born.

#science
#logic
#Reason
#Religion

Completeness of the Q₀ higher-order logic (in Isabelle/HOL). ~ Asta Halkjær From, Jonathan Julian Huerta Munive, Anders Schlichtkrull. https://isa-afp.org/entries/Q0_Completeness.html #IsabelleHOL #ITP #Logic

Completeness of the Q₀ higher-order logic (in Isabelle/HOL). ~ Asta Halkjær From, Jonathan Julian Huerta Munive, Anders Schlichtkrull. https://isa-afp.org/entries/Q0_Completeness.html #IsabelleHOL #ITP #Logic

The existence of dubstep implies the existence of substep #Logic

The existence of dubstep implies the existence of substep #Logic

washingtonians implies rinsingtonians
#Logic

washingtonians implies rinsingtonians
#Logic

The existence of Michiganders implies the existence of Michigeese. #Logic

The existence of Michiganders implies the existence of Michigeese. #Logic

How #Crocodiles Escaped Mass #Extinction — Twice : Medium

The #Hidden #Logic of #Emotion : Science

Have #People stopped #Trusting #Science? The #Data tell a #Surprising #Story : Nature

Latest #KnowledgeLinks

https://knowledgezone.co.in/resources/bookmarks

How #Crocodiles Escaped Mass #Extinction — Twice : Medium

The #Hidden #Logic of #Emotion : Science

Have #People stopped #Trusting #Science? The #Data tell a #Surprising #Story : Nature

Latest #KnowledgeLinks

https://knowledgezone.co.in/resources/bookmarks

#lispyGopherClimate #communication #computationalLogic #logic and #programming w/ Ramin Honary #scheme #perceptrons

https://toobnix.org/w/w1UdEJhwdaxfAkRgjX7mN7

#lispyGopherClimate #communication #computationalLogic #logic and #programming w/ Ramin Honary #scheme #perceptrons

https://toobnix.org/w/w1UdEJhwdaxfAkRgjX7mN7

Words can’t describe how grateful I am for this incredible milestone. Every single wishlist, share, and piece of feedback brings me one step closer to bringing this game to life.

Save the date: 08.08.2026 ⏳

Thank you for believing in my project and being a part of this amazing community. If you haven't added it to your wishlist yet, Pight is waiting for you!

🔗https://store.steampowered.com/app/2682270/Pight/

#gamedev #indiedev #indiegame #logic #minimal #puzzle #puzzlegame #minecraft

Words can’t describe how grateful I am for this incredible milestone. Every single wishlist, share, and piece of feedback brings me one step closer to bringing this game to life.

Save the date: 08.08.2026 ⏳

Thank you for believing in my project and being a part of this amazing community. If you haven't added it to your wishlist yet, Pight is waiting for you!

🔗https://store.steampowered.com/app/2682270/Pight/

#gamedev #indiedev #indiegame #logic #minimal #puzzle #puzzlegame #minecraft

@pft You have #bad #logic in what you said:

Just because my reply is different to your take or intention does not mean it is bad faith.

i.e. If it's different to your take or intention... it doesn't mean bad faith in my reply.

I was asking you about individuals, seeing money / the power of banks as bad, paygates etc... but anyway I'm not going to try 3 timees.

Answer what I was saying (yes maybe it's different of course in some way)

or don't answer.

A new study categorized the types of reasoning errors found in 597 Facebook posts that purported to present statistics in support of an anti-vaccine viewpoint. The most common reasoning errors were the correlation-causation fallacy, base rate neglect, denominator neglect, and cherry picking. Most posts contained more than one error.

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0355341

#Science #AntiScience #Statistics #Reasoning #Logic #Fallacies #VaccineDenial

A new study categorized the types of reasoning errors found in 597 Facebook posts that purported to present statistics in support of an anti-vaccine viewpoint. The most common reasoning errors were the correlation-causation fallacy, base rate neglect, denominator neglect, and cherry picking. Most posts contained more than one error.

https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0355341

#Science #AntiScience #Statistics #Reasoning #Logic #Fallacies #VaccineDenial

Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver

Readings shared: July 27 – August 3, 2026. https://jaalonso.github.io/vestigium/posts/2026/08/03-readings_shared_08-03-26/ #AI #AI4Math #ATP #Autoformalization #CommonLisp #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math #Ocaml #PVS #RocqProver

Sven Ove Hansson has revised his SEP-entry on the Logic of Belief Revision, https://plato.stanford.edu/entries/logic-belief-revision/

#sep #belief #knowledge #tieto #epistemology #logic #philosophy #filosofia #reasoning #agm #learning #bayesian

Sven Ove Hansson has revised his SEP-entry on the Logic of Belief Revision, https://plato.stanford.edu/entries/logic-belief-revision/

#sep #belief #knowledge #tieto #epistemology #logic #philosophy #filosofia #reasoning #agm #learning #bayesian

Approaching Peirce
• https://inquiryintoinquiry.com/2012/06/30/approaching-peirce/

I gradually grow accustomed to the distinct possibility that there will always be different readings, and even divergent interpretations of Peirce’s writings. Some of that appears to be a two- or three-cultures issue — the readings that befit aesthetic, cultural, and literary aims often part ways with the readings that work best for logical, mathematical, and scientific ends. Partly that is due to the fact that applications to the humanities are soon over-whelmed with the vastly greater complexities of their theatres of operation, and so must be satisfied with very impressionistic and highly sketchy surveys of their realms.

It hasn’t always been that way with me, but most of the time these days I approach Peirce’s work from the standpoint of a practical mathematician focused on applications to empirical sciences, as luck would determine it, to the Odyssean no man’s land between qualitative and quantitative methods. That is far from how I started out, and there were many crises of mind and mood occasioned by the transits of my transdisciplinarity, but that is how it came to be at the present moment.

At any rate, what I find in Peirce are not antiques but tools toward the future.

#Anthem #Peirce #Inquiry #Logic #Mathematics #Semiotics
#Science #CPSnow #TwoCultures #ThirdCulturalRhetoric

Approaching Peirce
• https://inquiryintoinquiry.com/2012/06/30/approaching-peirce/

I gradually grow accustomed to the distinct possibility that there will always be different readings, and even divergent interpretations of Peirce’s writings. Some of that appears to be a two- or three-cultures issue — the readings that befit aesthetic, cultural, and literary aims often part ways with the readings that work best for logical, mathematical, and scientific ends. Partly that is due to the fact that applications to the humanities are soon over-whelmed with the vastly greater complexities of their theatres of operation, and so must be satisfied with very impressionistic and highly sketchy surveys of their realms.

It hasn’t always been that way with me, but most of the time these days I approach Peirce’s work from the standpoint of a practical mathematician focused on applications to empirical sciences, as luck would determine it, to the Odyssean no man’s land between qualitative and quantitative methods. That is far from how I started out, and there were many crises of mind and mood occasioned by the transits of my transdisciplinarity, but that is how it came to be at the present moment.

At any rate, what I find in Peirce are not antiques but tools toward the future.

#Anthem #Peirce #Inquiry #Logic #Mathematics #Semiotics
#Science #CPSnow #TwoCultures #ThirdCulturalRhetoric

Alright, future engineers!
**Proposition:** A declarative statement that is definitively either TRUE or FALSE, but not both.
Ex: The sun is a star. (True). All engineers wear hard hats. (False).
Pro-Tip: It's the building block of formal logic! Essential for analyzing system specs & requirements.
#DiscreteMath #Logic #STEM #StudyNotes

@taufic At the same time, we have to increase #constructive communication and see who / how we can #trust people and then increment with the right people MORE.

I think we can do it online - but we need people to trust and find those strong in themselves like me to talk and #seed a better tree of #communication / #relationship

Even with #anonymous people we have the #logic and #principles that need no #identity attached.

What do you think about that?

#ICE #CREAM
headlines-world.com?q=ICE%20CREAM
#LOGIC #RAPPER
headlines-world.com?lang=en&q=LO...
TY #DOLLA #SIGN
aepiot.ro?q=TY%20DOLLA...
allgraph.ro

MultiSearch Tag Explorer

"Cannibals say that human flesh tastes of chicken, so...chicken tastes of humans."
-Suzy Eddie Izzard

#Logic

I've long been fascinated with the notions of LOGIC and REASON, especially where they fall woefully short. I realise that not everyone is a philosopher or a trained critical thinker.

https://brywillis634737.substack.com/p/reasoning-with-fossils?utm_source=masto&utm_medium=social

#philosophy #language #reason #logic #argument #debate #video #podcast #blog #history #enlightenment #foundations #fossils

Missing from the conversation on AI / consciousness is the Buddhist logical tradition studying valid cognition (pramana).

In detail, they refute ideas such as mind springing from physical things: the mind being a quality of the body (like intoxication is a quality of alcohol), the mind being a result of the body (like light from a lamp) and the mind being a quality of the body, like a design on a wall.

Ref: Dharmakirti

#AI #Consciousness #Buddhism #Logic