LogicPREDICATE CALCULUS (PREDICATE LOGIC)
November 15, 2023

PREDICATE CALCULUS (PREDICATE LOGIC)

The next development of the propositional calculus is the predicate calculus. This considers the logical relationships that hold between predicate expressions, along with the quantifiers ∃x (“there is at least…
LogicRELEVANCE LOGICS
November 15, 2023

RELEVANCE LOGICS

A relevance logic is motivated by the idea that the premises of a valid argument must be somehow “relevant” to its conclusion. The idea is motivated by the fact that…
THE EARLY MODERN PERIODHistory Of PhilosophyLIBERALISM
November 15, 2023

LIBERALISM

A political philosophy whose central claim is that a government’s authority is justified only insofar as it secures the liberty of its subjects, Liberalism is generally traced to John Locke…
FORMS OF PHILOSOPHICAL WRITINGWriting PhilosophyTHE ESSAY OF REFUTATION
November 20, 2023

THE ESSAY OF REFUTATION

The essay of refutation takes the position “I disagree.” Its objective is to persuade the reader that the argument of another is false, flawed, unlikely, implausible, or in some other…
Traditional Branches of PhilosophyPhilosophy BranchesAESTHETICS
December 12, 2023

AESTHETICS

Aesthetics is concerned with the nature of art (whether visual, literary, dramatic, or in some other medium) and the way in which art is experienced. Two principal related issues, therefore,…
FORMS OF PHILOSOPHICAL WRITINGTHE ESSAY OF AFFIRMATION
November 20, 2023

THE ESSAY OF AFFIRMATION

The essay of affirmation takes the position I agree. If you want to write an essay agreeing with—affirming—the ideas of another, such as a philosopher, a simple statement of agreement…
History Of PhilosophyANALYTIC PHILOSOPHYORDINARY LANGUAGE PHILOSOPHY
November 15, 2023

ORDINARY LANGUAGE PHILOSOPHY

Between the 1940s and the 1960s, analytic philosophy shifted away from investigating the (supposed) underlying logical structure of language. While it was still primarily concerned with conceptual analysis, this was…
History Of PhilosophyPYTHAGOREANISM
November 15, 2023

PYTHAGOREANISM

Based on the teachings of Pythagoras (c. 570–495 BC) and the school he established inCroton in southern Italy, we may conclude that, in many ways, Pythagoreanism was more ofa mystery…
CLASSICAL PHILOSOPHYHistory Of PhilosophySTOICISM
November 15, 2023

STOICISM

Founded by Zeno of Citium (334–262 BC), early Stoicism shared many similarities with Epicureanism, including the belief that the world was largely deterministic and that the overall goal of the…
THE EARLY MODERN PERIODHistory Of PhilosophyTHE EARLY MODERN PERIOD
November 15, 2023

THE EARLY MODERN PERIOD

Philosophical thought during the Enlightenment was characterized by a rejection of existing sources of authority. The broadly Aristotelean scientific worldview was undermined by a period of scientific revolution—conventionally beginning with…
LogicMANY-VALUE LOGICS
November 15, 2023

MANY-VALUE LOGICS

In the classical logics already discussed, the logical connectives are taken to be bivalent—that is, they allow of only two different truth values: true and false. One natural extension to…
LogicNON-CLASSICAL LOGIC
November 15, 2023

NON-CLASSICAL LOGIC

While both the predicate calculus and the modal propositional calculus may be seen as extensions of the basic propositional calculus, there are also a variety of formal languages intended as…
CLASSICAL PHILOSOPHYHistory Of PhilosophyEPICUREANISM
November 15, 2023

EPICUREANISM

Founded by Epicurus (341–271 BC), this eponymous philosophy is best known through the Roman poet Lucretius (mid first century BC). Like the Atomists, the Epicureans maintained that everything is made…
CONTINENTAL PHILOSOPHYHistory Of PhilosophyEXISTENTIALISM
November 15, 2023

EXISTENTIALISM

A broad philosophical and literary movement that flourished during the first half of the twentieth century, Existentialism emphasized the uniqueness of human experience over the generalizations of traditional scientific or…
PHILOSOPHICAL BOOKS AND TEXTINTRODUCTORY PHILOSOPHY TEXTS
November 27, 2023

INTRODUCTORY PHILOSOPHY TEXTS

There is no substitute for grappling primary sources. Nevertheless, secondary sources—including scholarly research, literary reviews, historical summaries—are valuable tools. They not only show you how you can begin thinking about…

Books

  • Glitch Feminism: A Manifesto

    $9.99
  • I’ll Burn That Bridge When I Get to It! Heretical Thoughts on Identity Politics, Cancel Culture, and Academic Freedom

    $24.37
  • Philosophy 101: From Plato and Socrates to Ethics and Metaphysics, an Essential Primer on the History of Thought (Adams 101 Series)

    $12.79
  • Muscular Christianity: A Case for Spiritual and Physical Fitness

    $19.99
  • World Tales (Pocket Edition): Book IV

    $5.02
  • Lao Tzu : Tao Te Ching : A Book About the Way and the Power of the Way

    $14.95
  • What is Islamic Philosophy?

    $49.95
  • Metaphors We Live By

    $13.37
  • Effective Intentions: The Power of Conscious Will

    $42.95
  • The Expulsion of the Other: Society, Perception and Communication Today

    $14.95
  • Loose: On Letting Stuff Go

    $13.99
  • The Miracle of Mindfulness: A Manual on Meditation

    $20.00
  • Clang (Volume 62) (Posthumanities)

    $40.00
  • Wittgenstein: A Very Short Introduction

    $15.30
  • The Stoic way of Life: The ultimate guide of Stoicism to make your everyday modern life Calm, Confident & Positive – Master the Art of Living, Emotional Resilience & Perseverance (Mastering Stoicism)

    $14.97
  • I Am Dynamite!: A Life of Nietzsche

    $18.00

The Atomos Blog

Can Math Prove Its Own Sanity? — A Deep Dive into Artemov’s Landmark PaperProof TheoryUncategorized

Can Math Prove Its Own Sanity? — A Deep Dive into Artemov’s Landmark Paper

Philosophy StudentPhilosophy StudentApril 14, 2026
Philosophy of Law: An IntroductionAtomosPHILOSOPHY OF LAW

Philosophy of Law: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Aesthetics: An IntroductionAESTHETICSAtomos

Aesthetics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Epistemology: An IntroductionAtomosEPISTEMOLOGY

Epistemology: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Ethics: An IntroductionAtomosETHICS

Ethics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Logic: An IntroductionAtomosLOGIC

Logic: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026
Metaphysics: An IntroductionAtomosMETAPHYSICS

Metaphysics: An Introduction

Philosophy StudentPhilosophy StudentJanuary 10, 2026

Terms & Concepts

L

Literal

An atomic sentence or the negation of an atomic sentence. https://youtube.com/shorts/rjND1iS43qI?feature=share
C

Contingent truth

A truth dependent on facts. As such, it is neither logically necessary nor logically impossible. In propositional logic, a contingently true statement is true on at least one row of…
F

Facticity

First employed by Johann Gottlieb Fichte (1762-1814), the word can be used to refer to factsand factuality, but as used by Wilhelm Dilthey (1833-1911) and Neo-Kantian philosophers,has come to mean…
M
Master morality
V
Valid argument
A
Assumptive proof
E
Efficient cause
E
Explanation
A
a posteriori (always with lowercase a)
L
Law of the Excluded Middle
S
Subproof
A
Applied ethics
View All