Definitions by Dumu The Void

Primary Logic

A term sometimes used to refer to basic, foundational, or intuitive logic – often contrasted with higher-order or specialized logics. In the context of non-classical logic discussions, “primary logic” might mean classical propositional logic (and, or, not, implies) as the baseline from which deviations are measured. Some also use it to refer to a hypothetical “core logic” common to all rational beings. However, the term is not standard. In online debates, invoking “primary logic” often signals an appeal to simple, common-sense reasoning against what the speaker considers obscurantism: “Let’s stick to primary logic instead of all these fancy paraconsistent games.” The problem is that what counts as “primary” is contested.

Example: “When she started talking about paraconsistent logic, he interrupted: ‘I’m going to stick with primary logic: if you contradict yourself, you’re wrong. End of story.’ She pointed out that his ‘primary logic’ fails to model real-world contradictions.”

Primary Logic by Dumu The Void May 27, 2026

Non-Monotonic Logic

A broad category of logics where adding new premises can invalidate previously drawn conclusions. This is the opposite of classical monotonic logic (if A entails B, then A+C also entails B). Non-monotonic logics include defeasible logic, default logic, and revision logic. They are essential for modeling real-world reasoning, where new evidence, exceptions, or context changes can make old conclusions false. Common examples: “Tweety flies” (default: birds fly) – but if we learn Tweety is a penguin, we retract the conclusion. Non-monotonic logic is foundational for AI, legal reasoning, and scientific method (theories are revised). A common misuse is to think non-monotonic means “anything goes”; it actually has precise formal systems. In online debates, it’s used to justify changing one’s mind: “My initial conclusion was non-monotonic; new information defeated it.”

Example: “He argued that because her previous claim was false, her current claim must be false too. She replied: ‘That’s monotonic thinking. In non-monotonic logic, a retracted premise doesn’t poison all future conclusions. People learn.’”

Non-Monotonic Logic by Dumu The Void May 27, 2026

Parafuzzy Logic

A hybrid logical framework combining paraconsistent logic (tolerating contradictions) with fuzzy logic (truth as degree). It allows a statement to be both true to some degree and false to some degree simultaneously – i.e., it handles both vagueness and contradiction. For example, a borderline case of “tall” might be 0.5 tall and 0.5 not tall, and also accept that a person could be both tall and not tall from different perspectives. Parafuzzy logic is used in complex decision-making where categories overlap and conflicting criteria apply. It is a niche area of non-classical logic. In online debates, “parafuzzy logic” is often invoked humorously to describe situations where someone is both right and wrong at the same time: “Your argument is parafuzzy – 0.3 valid, 0.7 nonsense, and both simultaneously.”

Example: “The movie review argued it was both brilliant and terrible. He said: ‘That’s not contradictory; it’s parafuzzy logic. The film has degrees of quality and also conflicting virtues. 0.6 good, 0.4 bad – both true at once.’”

Parafuzzy Logic by Dumu The Void May 27, 2026

Paradynamic Logic

A logical framework that incorporates time, change, and process as fundamental – not as static snapshots. It extends temporal logic with paraconsistent features, allowing that a system can be in contradictory states during a transition (e.g., both liquid and solid during melting). It is inspired by process philosophy (Whitehead) and dialectics. Paradynamic logic is used in modeling phase transitions, organizational change, and personal identity over time. It rejects the classical assumption that at any moment a proposition is either true or false (law of excluded middle) – instead, during change, truth values can be fuzzy, multiple, or in flux. In online debates, “paradynamic logic” is sometimes invoked to defend inconsistency over time: “You say I contradicted myself; but I’m a process, not a fixed state. Paradynamic logic allows that my beliefs can be in transition.”

Example: “He accused her of hypocrisy for supporting a policy today that she opposed last year. She replied: ‘People change. Paradynamic logic doesn’t require consistency across time. I’m not a static proposition; I’m a dynamic system. Deal with it.’”

Paradynamic Logic by Dumu The Void May 27, 2026

Defeasible Logic

A non-monotonic logic that models reasoning with default rules – generalizations that hold typically but can be defeated by exceptions. For example, “birds fly” is a default rule, but “penguins are birds that don’t fly” is an exception. Defeasible logic allows us to draw tentative conclusions that may be withdrawn when more specific information appears. It is widely used in AI, legal reasoning, and everyday common sense. Unlike classical logic, where adding a premise never invalidates a conclusion, defeasible logic is non-monotonic: new evidence can defeat old conclusions. A key concept is the “burden of proof”: a defeasible conclusion stands unless an exception is proven. In online debates, “defeasible logic” is used to argue that general statements are not absolutes: “My claim about X is not universal; it’s a defeasible rule that applies unless you show a counterexample.”

Example: “He said ‘All swans are white.’ She showed a black swan. He replied: ‘Okay, my claim was a defeasible generalization – true for typical swans, defeated by this exception. Defeasible logic allows that without discarding the whole rule.’”

Defeasible Logic by Dumu The Void May 27, 2026

Paracomplex Logic

A logical framework designed to handle complex systems where multiple, interacting, and often contradictory factors coexist without clear resolution. It combines features of paraconsistent logic (tolerance of contradictions), fuzzy logic (degrees of truth), and complexity theory (non-linearity, emergence). Paracomplex logic is not a single system but a family of approaches used in fields like socio-ecological modeling, urban planning, and medical diagnosis. It rejects the demand for crisp, binary, contradiction-free models, arguing that complex reality requires logics that embrace ambiguity, partial truth, and unresolved tensions. Critics say it risks becoming unfalsifiable; proponents argue it is more adequate for wicked problems. In online debates, “paracomplex logic” is often invoked to justify keeping multiple contradictory options open: “The situation is paracomplex – we can’t reduce it to a single conclusion.”

Example: “The city’s housing crisis had no clear solution. She said: ‘Paracomplex logic tells us that both building more market-rate housing and rent control can be partially right and partially wrong at the same time. We don’t have to choose one pure policy; we can hold the contradiction and act on both.’”

Paracomplex Logic by Dumu The Void May 27, 2026

Revision Logic

A non-monotonic logic that allows beliefs and conclusions to be revised when new information is received. It formalizes the process of updating a knowledge base: when a new fact contradicts an old one, the system must retract some beliefs to maintain consistency. Revision logic is the logical foundation of belief revision theory, which models how rational agents change their minds. It contrasts with classical monotonic logic, where adding new premises never invalidates old conclusions. Revision logic is essential for AI, machine learning, epistemology, and everyday reasoning – because we learn new things and must sometimes discard old certainties. A common mistake is to think revision logic means “anything goes”; actually, it has rigorous rules for which beliefs are retracted and which are preserved. In online debates, revision logic is invoked to defend changing one’s position: “I revised my belief because new evidence came in.”

Example: “He mocked her for changing her opinion on a political issue. She replied: ‘That’s revision logic – I got new data, so I updated my beliefs. You seem to prefer monotonic logic, where you never change your mind even when proven wrong. That’s called dogma.’”

Revision Logic by Dumu The Void May 27, 2026