Philosophy BranchesTraditional Branches of PhilosophyPHILOSOPHY OF RELIGION
December 12, 2023

PHILOSOPHY OF RELIGION

Many religions distinguish between truths accessible through reason (natural theology), and truths accessible through faith (revealed theology). Both natural and revealed theology raise interesting philosophical questions about these two sources…
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…
CONTINENTAL PHILOSOPHYHistory Of PhilosophyPHENOMENOLOGY
November 15, 2023

PHENOMENOLOGY

As originally developed by Edmund Husserl (1859–1938), phenomenology seeks to provide a detailed description of the way in which things are presented to us—that is to say, phenomena —in an…
LogicHIGHER-ORDER LOGICS
November 15, 2023

HIGHER-ORDER LOGICS

The language sketched above is better referred to as first-order predicate calculus, as the language only quantifies over (first-order) individuals. A stronger language, second-order predicate calculus, can therefore be constructed…
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…
POST-KANTIAN PHILOSOPHYHistory Of PhilosophyPRAGMATISM
November 15, 2023

PRAGMATISM

Pragmatism was a philosophical movement in the United States concerned with the relationship between abstract theory and practical activity, and with the value of philosophical reflection.
History Of PhilosophyTHE SOPHISTS
November 15, 2023

THE SOPHISTS

The Sophists were not a single school but a professional grouping of largely itinerant teachers of rhetoric, philosophy, and legal argumentation. Their importance lies not in any specific doctrines but…
LogicPROPOSITIONAL CALCULUS (PROPOSITIONAL LOGIC)
November 15, 2023

PROPOSITIONAL CALCULUS (PROPOSITIONAL LOGIC)

The simplest formal (logical) language is the propositional calculus. This considers the logical relationships that hold between complete propositions.
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…
ANALYTIC PHILOSOPHYHistory Of PhilosophyLOGICAL ATOMISM
November 15, 2023

LOGICAL ATOMISM

Although mostly associated with the logical analysis of language, analytic philosophy began in the philosophy of mathematics. Working independently, both Gottlob Frege and Bertrand Russell pursued programs of reducing mathematics…
MEDIEVAL PHILOSOPHYHistory Of PhilosophyMEDIEVAL PHILOSOPHY
November 15, 2023

MEDIEVAL PHILOSOPHY

The Medieval Period is usually dated between the fall of the Western Roman Empire (476)and the beginning of the Renaissance (c. 1300). In terms of philosophy, the period begins inthe…
Philosophy BranchesBRANCHES OF PHILOSOPHY
December 12, 2023

BRANCHES OF PHILOSOPHY

Philosophy embraces the most ambitious field of inquiry—the universe, including the self and everything both physical and metaphysical. It is impossible to list all the branches of philosophy, which are…
Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF LANGUAGE
November 14, 2023

PHILOSOPHY OF LANGUAGE

The study of natural languages is conventionally divided among questions of syntax, semantics, and pragmatics, all of which raise significant issues for the philosophy of language. In terms of syntax…
POST-KANTIAN PHILOSOPHYHistory Of PhilosophyHEGELIANISM
November 15, 2023

HEGELIANISM

One common theme in post-Kantian philosophy was an attempt to overcome the remaining divisions between noumena and phenomena, and to reconcile the distinct faculties of sensibility and understanding in to…
FORMS OF PHILOSOPHICAL WRITINGTHE PERSONAL ESSAY
November 20, 2023

THE PERSONAL ESSAY

The personal essay is a self-reflective search for meaning. Unlike most philosophical writing, it is not argumentative. Instead, it is exploratory and speculative, often even somewhat confessional. It is typically…

Books

  • Mulla Sadra and Eschatology: Evolution of Being (Routledge Sufi Series)

    $52.95
  • The Honor Code: How Moral Revolutions Happen

    $13.60
  • Finite and Infinite Games: A Vision of Life As Play and Possibility

    $77.00
  • People of the Lie: The Hope for Healing Human Evil

    $15.95
  • Spinoza: Complete Works

    $80.00
  • Beyond Good and Evil (Penguin Classics)

    $10.49
  • What We Owe the Future

    $18.59
  • A Year of Zen: A 52-Week Guided Journal (A Year of Reflections Journal)

    $13.49
  • The Marxification of Education: Paulo Freire’s Critical Marxism and the Theft of Education

    $17.24
  • Beauty: What It Is and Why It Matters

    $14.95
  • Immanuel Kant’s Critique of Pure Reason

    $96.52
  • Discourses and Selected Writings (Penguin Classics)

    $9.99
  • Tao Te Ching

    $9.99
  • The Aristotle Collection: Nicomachean Ethics, Metaphysics, Poetics, Rhetoric, On Sense and the Sensible, On Memory and Reminiscence, On Sleep and Sleeplessness, On Dreams, On Prophesying by Dreams, On Longevity and Shortness of Life, On Youth and Old Age, & On Life and Death

    $28.99
  • Filosofía ante el desánimo: Pensamiento crítico para construir una personalidad sólida (Imago Mundi)

    $46.95
  • Stoicism and the Art of Happiness: Practical Wisdom for Everyday Life (Teach Yourself)

    $11.29

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

O

Ought

A moral term, often contrasted with “should.” As such, it is obligatory, rather than suggestive. https://youtube.com/shorts/68M1POCs5PA?feature=share
P

Proof by cases

A proof strategy whereby a conclusion is proved from a disjunction. (See also Disjunction elimination.) https://youtube.com/shorts/JZ_RCMpCjsU?feature=share
I

Inference

Also known as a conclusion, an inference is the result of an evidence-based reasoning process. https://youtube.com/shorts/jzHD58TKepI?feature=share
A
Analytic statement
E
Ethical absolutism
A
Assumptive proof
H
Hermeneutics
S
Subjectivism
L
Logical truth
M
Mixed quantifiers
Q
Quantifier
V
VirtueExcellence
View All