#Logic

2026-02-08

#Picat is a descendant of the B-Prolog language, and therefore is part of the whole Prolog family and also logic programming family.
#prolog
Giant Rabbit Hole: Logic programming dates back to 1972, but its roots go deep into the math of predicate/symbolic #logic , and it was central to the first wave of Artificial Intelligence ( #AI ). The idea was to encode knowledge into systems of rules sometimes known as "expert systems". And this is also why the Picat constraint programming book's cover says "Springer Briefs in Intelligent Systems: Artificial Intelligence, Multiagent Systems and Cognitive Robotics".

This is in contrast to the "AI" people talk about today, which is statistically based and in common parlance refers mainly to Large Language Models #LLM Someday someone may find a way to unite these two branches of thought: encoded knowledge and statistically inferred likelihood, but until then, Prolog and its ilk have been pushed somewhat aside by the neural networks and transformers...and now we might consider all concepts of epistemology and what it is to "know" and if knowledge graphs and ontologies hold the key. But was Plato right that all knowledge is subjective? Perhaps dependent type systems should be considered as solutions for encoding high order kinds, if these levels of logic really are necessary in the real world, and...um...where was I?

github.com/dsagman/picat

2026-02-08

Try this today:
Spend five minutes imagining your decision blew up six months from now. What broke? Use those potential failures to tweak your odds.

Clear beats clever. Math beats magic.

#DecisionMaking #CriticalThinking #Logic #Influence #Communication #Persuasion #Leadership #Strategy #Psychology #CognitiveBias (4/4)

2026-02-07

Coming up: Does #logic always lead us to the truth? Josh and Ray question the everyday utility of logic with Patrick Girard from @aucklanduni, author of "Logic in the Wild."

šŸŽ§ Sunday at 11 am on KALW 91.7 FM in San Francisco & kalw.org/show/philosophy-talk/.

2026-02-07

Quick tool: Sketch a simple graph. Plot how confident you were in a decision versus how much it actually mattered. The gaps show where to look closer.

#DecisionMaking #CriticalThinking #Logic #Persuasion #Communication #Influence #Leadership #Strategy #CognitiveBias #Mindset (3/3)

2026-02-07

Typical Errors:
- Thinking this happened first, so it caused that
- Believing every sales peak comes from your latest tactic

Better Approach:
- Try changes in small batches first
- Work with someone who questions your theories

#CriticalThinking #Logic #Reasoning #Persuasion #Influence #Communication #Management #BusinessStrategy #CognitiveBias #Mindset (3/4)

Dendrobatus AzureusDendrobatus_Azureus@bsd.cafe
2026-02-07

Spare these few minutes to read this long long toot about Large Language Models

I've been working with POSIX Operating Systems for many many decades. Seek my other posts for more information check my GitHub page where some of the stories have been entered.

A lot has been written and screamed about vibe coding. I'm going to give you a short and concise rundown.

Individual X cannot even write a hello world program in the BASIC programming language. This individual has played with a Large Language Model and knows that such a system can write that BASIC program for him.

He fires up the model and asks for a Hello World program in Commodore 64 BASIC

The model response with

10 PRINT "fa wakkĆ "
20 GOTO 10

Individual X cannot analyze the code. He doesn't know that the second line will loop the program to the first and thus will create an infinite loop on his C64 emulator. Individual X has never worked on a physical bare metal C64. He doesn't know how to stop the code

The large language model created the second line because many hits in his database have a Hello World program for the C64 written in exactly this manner. The large language model is like a parrot which talks. The model doesn't understand what it says the model has no notion of understanding just like the parrot.

Individual executes the code and cannot stop it because he doesn't know that control break exists for that on the C64

Thus his C64 is in an infinite loop and he doesn't know what to do.

Now I will go to that same large language model. I not only know how to solder the Program Logic Array 906114 on the C64 with a mandatory heat sink I also know how to write code in assembly and I know many ROM subroutines of the C64 by heart including

JSR $FFD2

A sub routine which prints a character on your video VIC chip.

When I see that the model puts line 20 I immediately delete that line because it's unnecessary.

Now extrapolate this on a full program, with 20000 lines of code, complete with libraries and API created by a large language model when the task is given by a vibe coder.

Since individual X cannot even analyze Commodore 64 basic code of a Hello World program, consisting of two lines where the second line is unnecessary, the person has no chance in hell to analyze the above given program

There are people walking around on this planet, who think that they will be able to write software, with a large language model, as their boss and think that that software will be usable in the field

When the 20,000 line program breaks, the API is totally unusable and the task for that program crashes the whole server on the bare metal, censored will hit the fan

I urge everyone who uses large language models for any subject, that they should be an absolute master of the subject, where they use the model as a low level assistant

Thank you for reading

#LLM #programming #damage #Slop #AI #illusion #skill #logic #coding #vibe #vibecoding #homosapiens #species #global #technology #Terra

šŸ¦‹šŸ’™ā¤ļøšŸ’‹#Lobi šŸ’™šŸ’•šŸŒ¹šŸ’šŸ’™šŸ¦‹

Huh.

Gƶdel's Loophole is a supposed "inner contradiction" in the Constitution of the United States which Austrian-American logician, mathematician, and analytic philosopher Kurt Gƶdel postulated in 1947. The loophole would permit America's republican structure to be legally turned into a dictatorship.

[...]

Since the exact nature of Gƶdel's Loophole has never been published, what it is, precisely, is not known.

https://en.wikipedia.org/wiki/G%C3%B6del%27s_Loophole

#USpol #Gƶdel #Logic

A Jewish person explains why antisemitism≠ antizionism. And why standing up for genocided peoples is innately Jewish and moral. #logic #auspol www.facebook.com/share/v/1897...

Redirecting...

DaLetra FranƧaisdaletrafra
2026-02-06

Voir les paroles de la chanson ā€œ1-800-273-8255ā€ de Logic
#18002738255
daletra.art/logic/paroles/1-80

2026-02-06

Differential Logic • 2.2
• inquiryintoinquiry.com/2026/02

Cactus Language for Propositional Logic (cont.)

The second kind of connective is a concatenated sequence of propositional expressions, written e₁ eā‚‚ … eₖ₋₁ eā‚– to mean all the propositions e₁, eā‚‚, …, eₖ₋₁, eā‚– are true, in short, their ā€œlogical conjunctionā€ is true. An expression of that form is associated with a cactus structure called a ā€œnodeā€ and is ā€œpaintedā€ with the colors e₁, eā‚‚, …, eₖ₋₁, eā‚– as shown below.

Node Connective
• inquiryintoinquiry.files.wordp

All other propositional connectives can be obtained through combinations of the above two forms. As it happens, the parenthesized form is sufficient to define the concatenated form, making the latter formally dispensable, but it's convenient to maintain it as a concise way of expressing more complicated combinations of parenthesized forms. While working with expressions solely in propositional calculus, it's easiest to use plain parentheses for logical connectives. In contexts where ordinary parentheses are needed for other purposes an alternate typeface (…) may be used for the logical operators.

Resources —

Logic Syllabus
• inquiryintoinquiry.com/logic-s

Minimal Negation Operator
• oeis.org/wiki/Minimal_negation

Survey of Differential Logic
• inquiryintoinquiry.com/2025/05

Survey of Animated Logical Graphs
• inquiryintoinquiry.com/2025/05

#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

2026-02-06

Differential Logic • 2.1
• inquiryintoinquiry.com/2026/02

Cactus Language for Propositional Logic —

The development of differential logic is facilitated by having a moderately efficient calculus in place at the level of boolean-valued functions and elementary logical propositions. One very efficient calculus on both conceptual and computational grounds is based on just two types of logical connectives, both of variable k-ary scope. The syntactic formulas of that calculus map into a family of graph-theoretic structures called ā€œpainted and rooted cactiā€ which lend visual representation to the functional structures of propositions and smooth the path to efficient computation.

The first kind of connective is a parenthesized sequence of propositional expressions, written (e₁, eā‚‚, …, eₖ₋₁, eā‚–) to mean exactly one of the propositions e₁, eā‚‚, …, eₖ₋₁, eā‚– is false, in short, their ā€œminimal negationā€ is true. An expression of that form is associated with a cactus structure called a ā€œlobeā€ and is ā€œpaintedā€ with the colors e₁, eā‚‚, …, eₖ₋₁, eā‚– as shown below.

Lobe Connective
• inquiryintoinquiry.files.wordp

Resources —

Logic Syllabus
• inquiryintoinquiry.com/logic-s

Minimal Negation Operator
• oeis.org/wiki/Minimal_negation

Survey of Differential Logic
• inquiryintoinquiry.com/2025/05

Survey of Animated Logical Graphs
• inquiryintoinquiry.com/2025/05

#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

DaLetra EspaƱoldaletraesp
2026-02-06

Consulta la letra de la canción ā€œWristā€ de Logic

daletra.net/logic/letras/wrist

2026-02-06

One proven tactic: share background context before asking for a decision. If you explain industry shifts before proposing a budget change, people grasp the ā€œwhyā€ faster.

#CriticalThinking #DecisionMaking #Logic #Influence #Communication #StrategicCommunication #Leadership #Strategy #CognitiveBias #Mindset (4/4)

DaLetradaletraita
2026-02-06

Guarda il testo della canzone ā€œSoul Foodā€ di Logic

daletra.online/logic/testi/sou

DaLetradaletrabr
2026-02-06

Veja a letra da mĆŗsica ā€œKeanu Reevesā€ de Logic

daletra.com.br/logic/letra/kea

2026-02-05

Differential Logic • 1
• inquiryintoinquiry.com/2026/02

Introduction —

Differential logic is the component of logic whose object is the description of variation — focusing on the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition that broad naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models.

To the extent a logical inquiry makes use of a formal system, its differential component governs the use of a ā€œdifferential logical calculusā€, that is, a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.

Simple examples of differential logical calculi are furnished by ā€œdifferential propositional calculiā€. A differential propositional calculus is a propositional calculus extended by a set of terms for describing aspects of change and difference, for example, processes taking place in a universe of discourse or transformations mapping a source universe to a target universe. Such a calculus augments ordinary propositional calculus in the same way the differential calculus of Leibniz and Newton augments the analytic geometry of Descartes.

Resources —

Logic Syllabus
• inquiryintoinquiry.com/logic-s

Survey of Differential Logic
• inquiryintoinquiry.com/2025/05

#Peirce #Logic #Mathematics #LogicalGraphs #DifferentialLogic #DynamicSystems
#Inquiry #PropositionalCalculus #BooleanFunctions #BooleanDifferenceCalculus
#EquationalInference #MinimalNegationOperators #CalculusOfLogicalDifferences

2026-02-05

This isn't about manipulation. It's about understanding how thinking actually works – in others and yourself. Master that, and you'll make better calls every day.

#CriticalThinking #Judgment #Logic #Persuasion #Influence #Communication #Leadership #ProfessionalDevelopment #CognitiveBias #BehavioralScience (3/3)

Client Info

Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst