Cognitive Science – Iverson Software Co.

Compilers vs. Conversation: Formal vs. Informal Logic

For the latest entry on iversonsoftware.com, we are looking under the hood of human reasoning to examine the two primary “engines” that drive our conclusions: Formal vs. Informal Logic. While one operates like a strict mathematical compiler, the other functions like a flexible natural language processor. Understanding the difference is the key to both writing perfect code and winning a high-stakes debate.

At Iverson Software, we deal with both strict syntax and user intent. In the world of philosophy, this same divide exists in how we process arguments. Formal Logic is the study of the structure of arguments, while Informal Logic is the study of arguments as they are used in everyday communication.

1. Formal Logic: The Mathematical Syntax

Formal logic (often called Symbolic Logic) is concerned entirely with the form or structure of an argument, rather than its specific content.

- The Logic of Variables: It replaces words with symbols ( $P$ , $Q$ , $\rightarrow$ ). It doesn’t care if $P$ stands for “The server is down” or “The moon is made of cheese”; it only cares if the relationship between $P$ and $Q$ is valid.
- Deductive Certainty: If a formal argument is valid and the premises are true, the conclusion is 100% certain. There is no “opinion” involved—it is a mathematical necessity.
- The Truth Table: In formal logic, we use tools like truth tables to map out every possible scenario for a set of propositions to ensure the logic never “breaks.”

Shutterstock

2. Informal Logic: The Semantic Processor

Informal logic deals with “Natural Language Arguments.” It’s the logic we use in legal cases, political debates, and business meetings.

The Power of Context: Unlike formal logic, informal logic cares deeply about the content, the tone, and the context of the speaker. It deals with nuances that symbols can’t capture.
Inductive Probability: Most informal arguments aren’t meant to be “certain”; they are meant to be cogent or persuasive. They provide a high degree of probability rather than an absolute proof.
Practical Application: Informal logic is where we study “Fallacies”—common errors in reasoning like the Straw Man or Slippery Slope—which occur because of how language is used, not just how it’s structured.

3. Key Differences: Accuracy vs. Utility

Feature	Formal Logic	Informal Logic
Medium	Symbols and Math	Natural Language
Focus	Structural Validity	Persuasive Strength
Output	Certainty (True/False)	Probability (Strong/Weak)
Environment	Math, CS, Philosophy	Law, Media, Daily Life

4. Which One Should You Use?

Use Formal Logic when “Bugs” are Fatal: When you are designing an algorithm, building a database schema, or constructing a mathematical proof, you need the absolute rigour of formal logic. A single “syntax error” in your logic can crash the entire system.
Use Informal Logic when “Nuance” is King: When you are negotiating a contract, leading a team, or analyzing a news report, you need informal logic. You must be able to detect emotional manipulation, evaluate the credibility of sources, and understand the “implied” meanings that symbols miss.

Why This Matters Today

In 2025, the gap between these two is closing. Neurosymbolic AI is the attempt to build machines that use Formal Logic (to be accurate) and Informal Logic (to understand human intent) simultaneously. By mastering both, you become a “Full-Stack Thinker”—someone who can build rigorous systems and navigate complex human environments with equal skill.

The Logic of Patterns: Current Trends in Inductive Reasoning

Continuing our exploration of Logic on iversonsoftware.com, we move from the certainties of deduction to the engine of scientific discovery and data science: Inductive Reasoning. While deduction gives us the “must,” induction gives us the “likely,” providing the framework for navigating an uncertain world.

At Iverson Software, we specialize in references that reflect the real world. That world is rarely binary. Most of our knowledge—from medical breakthroughs to stock market predictions—is built on Inductive Reasoning: the process of observing specific patterns and drawing broader, probable conclusions.

In 2025, the way we process these patterns is being revolutionized by high-velocity data and machine learning.

1. From Human Intuition to Machine Induction

The most significant trend is the shift from “manual” induction to Automated Hypothesis Generation.

Big Data Induction: Traditionally, a scientist observed a few dozen cases to form a hypothesis. Today, AI models perform “Massive Induction,” scanning billions of data points to find correlations that the human eye would miss.
The “Black Box” Challenge: As machines get better at induction, a major trend in 2025 is Explainable AI (XAI)—the effort to help humans understand the inductive steps the machine took to arrive at its “probable” conclusion.

2. Bayesian Updating and Predictive Coding

Inductive reasoning is no longer seen as a “one-and-done” conclusion. Instead, it is increasingly treated as a Dynamic Loop through Bayesian Updating.

Continuous Integration of Data: In modern analytics, your “initial hypothesis” (the prior) is constantly updated as new data (the evidence) flows in. This creates a “posterior” belief that is always refining itself.
Neuroscience Integration: Cognitive scientists are finding that the human brain operates as a “Predictive Coding” engine—essentially a biological inductive machine that constantly guesses what will happen next and adjusts when the data doesn’t match the prediction.

3. Causal Inference: Moving Beyond Correlation

A perennial problem in induction is the “Correlation vs. Causation” trap. In 2025, a major trend in data science is the move toward Formal Causal Inference.

The Trend: Researchers are using “Directed Acyclic Graphs” (DAGs) and “Counterfactual Models” to prove not just that two things happen together, but that one actually causes the other.
Strategic Impact: This allows businesses to move from saying “Users who do X usually buy Y” to “If we force users to do X, it will cause them to buy Y.”

4. The “Small Data” Movement

While “Big Data” is powerful, 2025 has seen a counter-trend: Small Data Induction.

The Logic: In many fields (like rare disease research or niche market analysis), we don’t have millions of data points.
Synthetic Data Generation: Engineers are using inductive logic to create “synthetic” datasets that mimic the patterns of small, real-world samples, allowing them to perform robust testing where data was previously too sparse.

Why These Trends Matter to Our Readers

Smarter Forecasting: By understanding Bayesian logic, you can build business forecasts that are “agile,” updating automatically as market conditions change.
Avoiding Logical Fallacies: Recognizing the limits of induction helps you avoid “hasty generalizations”—drawing massive conclusions from a small, biased sample of data.
AI Literacy: Since almost all modern AI is essentially a “high-speed inductive engine,” understanding this logic is the key to knowing when to trust an AI’s output and when to be skeptical.

The Future of Morality: Current Trends in Meta-ethics

Expanding our philosophical series at iversonsoftware.com, we move from the foundations of Meta-ethics to the cutting edge. In 2025, the field has transitioned from abstract linguistic debates to high-stakes inquiries driven by evolutionary science and the rapid rise of Artificial Intelligence.

At Iverson Software, we believe that understanding the “source code” of our values is essential as we begin to hard-code those values into our machines. Meta-ethics is no longer a silent background process; it is a primary field of research for anyone interested in the intersection of humanity and technology.

Here are the key trends defining the meta-ethical landscape today.

1. The Rise of Experimental Meta-ethics (X-Phi)

Traditionally, meta-ethics was done from an “armchair,” using intuition to decide if moral facts exist. Today, Experimental Philosophy (X-Phi) uses empirical data to study how people actually think.

The “Folk” Intuition: Researchers are conducting global surveys to see if humans are “naturally” moral realists.
The Discovery: Recent studies suggest that people’s meta-ethical leanings (realism vs. relativism) are highly “context-dependent,” shifting based on the stakes of the situation. This suggests our moral “operating system” is much more fluid than we previously thought.

2. Evolutionary Debunking Arguments

One of the most intense debates in 2025 centers on the Evolutionary Debunking Argument (EDA).

The Logic: If our moral beliefs are simply the product of evolutionary “code” designed for survival and reproduction, can they actually be “true”?
The Conflict: Philosophers like Sharon Street argue that if evolution shaped our values, any overlap with “objective truth” would be a massive coincidence. This has forced Moral Realists to find new ways to justify how we can “know” moral truths if our sensors were built for survival, not truth-seeking.

3. Robust Realism and Non-Naturalism

In response to the “Naturalistic Turn,” a movement known as Robust Realism has gained significant traction.

The Theory: Thinkers like Derek Parfit and T.M. Scanlon argue that moral truths are “non-natural” facts—they aren’t physical things you can find in a lab, but they are just as real as mathematical truths.
The Application: This trend treats morality as a set of “normative reasons.” Just as there are logical reasons to believe $1 + 1 = 2$ , there are moral reasons to act in certain ways that exist independently of our biological urges.

4. Value Alignment: The Meta-ethics of AI

The most practical trend in 2025 is the integration of meta-ethics into AI Safety and Alignment.

The Meta-Problem: Before we can align an AI with “human values,” we have to answer a meta-ethical question: Are there universal values to align with?
Pluralism in Code: If moral anti-realism is true, we must decide whose “subjective” values get programmed into the world’s most powerful models. This has led to the development of “Constitutional AI,” where the meta-ethical framework is explicitly defined in the training data.

Why These Trends Matter to Our Readers

Systemic Integrity: As we build global platforms, we are discovering that “local” moral settings are no longer enough. We need to understand the global “meta-code” of human values.
Future-Proofing: Understanding evolutionary influences on our thinking allows us to “debug” our own biases, leading to clearer decision-making in business and life.
Human-Machine Interaction: As AI becomes more autonomous, the meta-ethical choices we make today will determine the social protocols of the next century.

The Human Interface: Understanding the Science of Perception

For our latest entry in the Epistemology series on iversonsoftware.com, we move from the internal realm of beliefs to the frontline of information gathering: Perception. In the digital world, we rely on sensors and APIs; in the human world, perception is the primary interface through which we “ingest” the reality around us.

At Iverson Software, we build tools that display data. But how does that data actually get processed by the human “operating system”? Perception is the process by which we organize, identify, and interpret sensory information to represent and understand our environment. It is the bridge between the raw signals of the world and the meaningful models in our minds.

1. The Two-Stage Process: Sensation vs. Perception

It is a common mistake to think that what we “see” is exactly what is “there.” In reality, our experience is a two-stage pipeline:

Sensation (The Input): This is the raw data capture. Your eyes detect light waves; your ears detect sound frequencies. It is the “raw packet” level of human hardware.
Perception (The Processing): This is where the brain takes those raw packets and applies a “rendering engine.” It interprets the light waves as a “tree” or the sound frequencies as “music.”

2. Top-Down vs. Bottom-Up Processing

How does the brain decide what it’s looking at? It uses two different “algorithms”:

Bottom-Up Processing: The brain starts with the individual elements (lines, colors, shapes) and builds them up into a complete image. This is how we process unfamiliar data.
Top-Down Processing: The brain uses its “cached memory”—prior knowledge and expectations—to fill in the blanks. If you see a blurry shape in your kitchen, you perceive it as a “toaster” because that’s what your internal database expects to see there.

3. The “Glitches”: Optical Illusions and Cognitive Bias

Just like a software bug can cause a display error, our perception can be tricked.

Gestalt Principles: Our brains are hard-coded to see patterns and “completeness” even when data is missing. We see “wholes” rather than individual parts.
The Müller-Lyer Illusion: Even when we know two lines are the same length, the “rendering” of the arrows at the ends forces our brain to perceive them differently.
The Lesson: Perception is not a passive mirror; it is an active construction. We don’t see the world as it is; we see it as our “software” interprets it.

4. Perception in the Age of Synthetic Reality

In 2025, the “Human Interface” is being tested like never before.

Virtual and Augmented Reality: These technologies work by “hacking” our perception, providing high-fidelity inputs that trick the brain into rendering a digital world as “real.”
Deepfakes: These are designed to bypass our “top-down” filters by providing visual data that perfectly matches our expectations of a specific person’s likeness, making it harder for our internal “authenticity checks” to flag an error.

Why Perception Matters to Our Readers

UI/UX Design: Understanding how humans perceive patterns and hierarchy allows us to build software that is intuitive and reduces “cognitive load.”
Critical Thinking: Recognizing that our perception is influenced by our biases allows us to “sanity check” our first impressions and look for objective data.
Digital Literacy: By understanding how our brains can be tricked, we become more vigilant consumers of visual information in a world of AI-generated content.

The Internal Map: Understanding the Nature of Belief

For our latest entry on iversonsoftware.com, we delve back into the core of Epistemology to examine the engine of human conviction: The Nature of Belief. In a world of data streams and decision trees, understanding what constitutes a “belief” is the first step in auditing our internal software.

At Iverson Software, we specialize in references—external stores of information. But how does that information move from a screen into the “internal database” of your mind? In philosophy, a Belief is a mental state in which an individual holds a proposition to be true. It is the fundamental building block of how we navigate reality.

If knowledge is the “output” we strive for, belief is the “input” that makes the process possible.

1. The “Mental Representation” Model

Most philosophers view a belief as a Mental Representation. Think of it as a map of a territory.

The Proposition: A statement about the world (e.g., “The server is online”).
The Attitude: Your internal stance toward that statement (e.g., “I accept this as true”).
The Map is Not the Territory: A belief can be perfectly held but entirely wrong. Just as a corrupted file doesn’t stop a computer from trying to read it, a false belief still directs human behavior as if it were true.

2. Doxastic Voluntarism: Can You Choose Your Beliefs?

A major debate in the philosophy of mind is whether we have “admin privileges” over our own beliefs.

Direct Voluntarism: The idea that you can choose to believe something through a simple act of will. (Most philosophers argue this is impossible; you cannot simply choose to believe the sky is green right now).
Indirect Voluntarism: The idea that we influence our beliefs by choosing which data we consume. By auditing our sources and practicing critical thinking, we “train” our minds to adopt more accurate beliefs over time.

3. Occurrent vs. Dispositional Beliefs

Not all beliefs are “active” in your RAM at all times.

Occurrent Beliefs: Thoughts currently at the forefront of your mind (e.g., “I am reading this blog”).
Dispositional Beliefs: Information stored in your “hard drive” that you aren’t thinking about, but would affirm if asked (e.g., “Paris is the capital of France”). Most of our world-view is composed of these background dispositional beliefs, acting like a silent OS that influences our reactions without us noticing.

4. The Degrees of Belief (Bayesian Epistemology)

In the digital age, we rarely deal in 100% certainty. Modern epistemology often treats belief as a Probability Scale rather than a binary “True/False” switch.

Credence: This is the measure of how much “weight” you give to a belief.
Bayesian Updating: When you receive new data, you don’t necessarily delete an old belief; you adjust your “confidence score” based on the strength of the new evidence. This is exactly how modern machine learning and spam filters operate.

Why the Nature of Belief Matters to Our Readers

Cognitive Debugging: By recognizing that beliefs are just mental maps, you can become more comfortable “updating the software” when those maps are proven inaccurate.
Empathy in Communication: Understanding that others operate on different “internal maps” helps in resolving conflicts and building better collaborative systems.
Information Resilience: In an era of deepfakes, knowing how beliefs are formed allows you to guard against “code injection”—the process where misinformation is designed to bypass your logical filters and take root in your belief system.

The Ghost in the Machine: Exploring the Nature of Mind

At Iverson Software, we build systems that process information. But there is one system that remains more complex than any supercomputer: the human mind. The Philosophy of Mind is the branch of metaphysics that studies the nature of mental phenomena, including consciousness, sensation, and the relationship between the mind and the physical body.

It asks the fundamental “architecture” question: Is your mind a separate software program running on the hardware of your brain, or is the software simply a result of the hardware’s operation?

1. Dualism: The Separate System

The most famous perspective on the mind comes from René Descartes, who proposed Substance Dualism.

The Theory: The mind and body are two entirely different substances. The body is “extended” (it takes up space and is physical), while the mind is “thinking” (it is non-physical and does not take up space).
The Connection: Descartes famously believed the two interacted at the pineal gland. In modern terms, this is like believing your soul “remotes into” your physical body from a different server entirely.

2. Physicalism: The Integrated Circuit

Most modern scientists and many philosophers lean toward Physicalism (or Materialism).

The Theory: There is no “ghost” in the machine. Everything we call “mind”—your memories, your love, your sense of self—is a direct product of physical processes in the brain.
The Logic: If you change the hardware (through injury or chemistry), you change the software (the mind). From this view, consciousness is an “emergent property” of complex biological computation.

3. Functionalism: The Software Perspective

Functionalism is perhaps the most relevant philosophy for the world of software development.

The Theory: It doesn’t matter what a system is made of (biological neurons or silicon chips); what matters is what it does.
The Analogy: If a computer program and a human brain both perform the same logical function—calculating 2+2 or recognizing a face—then they are both “thinking” in the same way. This is the foundational philosophy behind the pursuit of Artificial Intelligence.

4. The “Hard Problem” of Consciousness

Philosopher David Chalmers famously distinguished between the “easy problems” of mind (mapping which part of the brain handles vision) and the Hard Problem:

Qualia: Why does it feel like something to be you? Why do we experience the “redness” of a rose or the “pain” of a stubbed toe as a subjective feeling rather than just a data point?
The Explanatory Gap: No matter how much we map the physical brain, we still struggle to explain how objective matter gives rise to subjective experience.

Why the Nature of Mind Matters to Our Readers

The Future of AI: If consciousness is just a specific type of information processing (functionalism), then “sentient AI” is a mathematical certainty. If the mind is something more (dualism), it may be impossible to replicate.
Mental Resilience: Understanding that your “internal software” can be influenced by your “physical hardware” allows for better strategies in managing stress, focus, and cognitive health.
User-Centric Design: By studying how the mind perceives and processes reality, we can build software that feels more intuitive and “human.”

The Mind in the Machine: Why Psychology is Central to Information Systems

At Iverson Software, we believe that the most powerful software in the world is the one between your ears. Psychology, the scientific study of the mind and behavior, is the essential blueprint for designing any educational tool. By understanding how humans perceive, learn, and remember, we can create digital environments that empower the user rather than overwhelm them.

1. Cognitive Psychology: The Architecture of Learning

Cognitive psychology focuses on internal mental processes such as problem-solving, memory, and language. When we structure an educational reference, we use cognitive principles to ensure:

Memory Retention: Utilizing “spaced repetition” and “chunking” to help learners move information from short-term to long-term memory.
Attention Management: Designing interfaces that minimize “distraction variables,” allowing the user to focus on the core data.
Information Processing: Understanding the “Dual Coding Theory,” which suggests that humans process information better when it is presented both verbally and visually.

2. Behavioral Psychology: Habit and Engagement

How do we keep a student coming back to a reference guide? Behavioral psychology provides the answer through “Reinforcement Theory.”

Positive Reinforcement: Using progress bars, completion certificates, or simple “Well done!” messages to encourage continued effort.
Feedback Loops: Providing immediate results on quizzes or searches so the brain can instantly correct its mental model.
Incentivization: Understanding what drives a user to seek out knowledge—is it intrinsic curiosity or an external reward?

3. Perception and Gestalt Principles

Before a user can learn from a website, they have to see and understand its structure. Psychology’s Gestalt Principles explain how our brains naturally group objects:

Proximity: We perceive items that are close together as being part of the same group (essential for menu design).
Similarity: We group items that look alike, which is why consistent button colors and fonts are crucial for a smooth user experience.
Continuity: Our eyes follow paths, helping us guide a user through a logical flow of information.

4. Educational Psychology: The Zone of Proximal Development

A great reference tool shouldn’t be too easy or too hard. Educational psychology helps us find the “Sweet Spot”:

Scaffolding: Providing the right amount of support as a learner masters a new software skill, then gradually removing that support as they gain independence.
Motivation: Recognizing that different learners are motivated by different factors, and providing varied “entry points” into the same reference material.

Why Psychology Matters to Our Readers

Metacognition: Learning about psychology helps you “think about your thinking,” making you a more efficient student.
Better Interface Design: If you are a developer, psychology is your guide to creating software that feels “natural” to use.
Empowerment: Understanding the quirks of your own mind—like why you procrastinate or how you experience “burnout”—allows you to build better habits.

The Logic of Life: Why Philosophy is the Original Operating System

At Iverson Software, we spend a lot of time thinking about structure, logic, and how information is organized. While we often associate these concepts with modern coding, their true roots lie in philosophy. Long before the first line of code was written, philosophers were building the logical frameworks that make modern technology possible.

1. Logic: The Syntax of Thought

The same logic that powers a computer program today—Boolean logic, if-then statements, and syllogisms—was pioneered by thinkers like Aristotle. Philosophy teaches us how to:

Deconstruct Arguments: Breaking down complex ideas into their smallest logical parts.
Identify Fallacies: Recognizing “bugs” in human reasoning that lead to incorrect conclusions.
Define Terms: Ensuring that everyone is operating from the same set of definitions, much like a global variable in a program.

2. Ethics in the Digital Age

As we build more powerful tools and reference systems, the “why” becomes just as important as the “how.” Philosophy provides the ethical compass for:

Data Privacy: Navigating the balance between information access and individual rights.
Artificial Intelligence: Questioning the moral implications of machines that can “think” or make decisions.
Knowledge Accessibility: Determining the faireest ways to share educational resources with the world.

3. Epistemology: How Do We Know What We Know?

Epistemology—the study of knowledge—is at the heart of any reference site. In an era of “information overload,” philosophy helps us distinguish between:

Data vs. Wisdom: Raw facts are only useful when they are contextualized by understanding.
Reliability: Developing the criteria for what constitutes a “trusted source” in a digital landscape.

Why Philosophy Matters to Our Readers

Problem Solving: Philosophy trains the mind to approach problems from first principles.
Clarity of Communication: Learning to express complex ideas clearly is a “soft skill” with “hard results” in any profession.
Global Perspective: Understanding different philosophical traditions allows us to build tools that are inclusive and universally useful.