Modern Branches of PhilosophyPhilosophy BranchesPHILOSOPHY OF MATHEMATICS
November 14, 2023

PHILOSOPHY OF MATHEMATICS

The philosophy of mathematics is traditionally concerned with the ontological and epistemological foundations of mathematics. The two questions, of ontology and epistemology, are intimately related, as a satisfactory account of…
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.
WHAT IS PHILOSOPHY?PHILOSOPHY AS METHOD
November 12, 2023

PHILOSOPHY AS METHOD

Our digital age suggests a useful analogy to further explain the role of philosophy in intellectual life. Philosophy is analogous to an operating system (OS), a software platform that enables…
CLASSICAL PHILOSOPHYHistory Of PhilosophyCYNICISM
November 15, 2023

CYNICISM

Founded by Antisthenes (c. 445–360 BC), who taught the importance of individual virtue over material luxury, Cynicism was contemptuous of political institutions and organized religion. It rejected refined philosophical speculation…
NON-WESTERN PHILOSOPHICAL TRADITIONSNON-WESTERN PHILOSOPHICAL TRADITIONS
November 15, 2023

NON-WESTERN PHILOSOPHICAL TRADITIONS

As explained at the beginning of this chapter, this book is intended primarily for philosophy students, especially new philosophy students, whose focus is mainly or even exclusively on Western philosophical…
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 BranchesLOGIC
December 12, 2023

LOGIC

Logic is concerned with studying the inferences we make, and the formal languages developed to systematize those inferences. This includes both the proof-theories and semantics for these languages, as well…
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.
Modern Branches of PhilosophyPhilosophy BranchesBIOETHICS
November 14, 2023

BIOETHICS

A branch of ethics concerned with the moral and political issues raised by medical science, and with advances in medical technology, bioethics has now become a largely autonomous area of…
MEDIEVAL PHILOSOPHYHistory Of PhilosophyTHOMISM
November 15, 2023

THOMISM

A school of thought based on the work of Saint Thomas Aquinas (1225–1274), Thomism is, like Scholasticism, principally concerned with metaphysics and understanding the attributes of God.
MEDIEVAL PHILOSOPHYHistory Of PhilosophySAINT AUGUSTINE
November 15, 2023

SAINT AUGUSTINE

Like his contemporaries, Saint Augustine (354–430) was primarily influenced by Neoplatonism, and, indeed, credited Plotinus with helping him to understand Christian theology.
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…
NON-WESTERN PHILOSOPHICAL TRADITIONSHistory Of PhilosophyAFRICAN PHILOSOPHY
November 15, 2023

AFRICAN PHILOSOPHY

The earliest indigenous African philosophy to produce written documents emerged during the seventeenth century, especially in Ethiopia. Zera Yacob (1599–1692), whose Hatata (1667) has been compared to René Descartes’ Discourse…
Philosophy BranchesTraditional Branches of PhilosophyETHICS
December 12, 2023

ETHICS

Ethics is the study of morality and can be divided into three main areas of inquiry. Descriptive ethics concerns the actual moral beliefs held by specific individuals or societies and…
FORMS OF PHILOSOPHICAL WRITINGTHE ESSAY OF ASSERTION
November 20, 2023

THE ESSAY OF ASSERTION

The essay of assertion takes the position I believe. It is an argumentative essay in which you convey to the reader some belief or beliefs that you hold. If you…

Books

  • Understanding Knowledge

    $20.00
  • Lao-tzu’s Taoteching

    $15.49
  • Nothing: A Very Short Introduction

    $11.95
  • The Essays of Michel de Montaigne

    $5.95
  • The Places That Scare You: A Guide to Fearlessness in Difficult Times (Deckled Edge)

    $14.39
  • Feu la cendre

    $23.39
  • The Little Book of Philosophy: An Introduction to the Key Thinkers and Theories You Need to Know

  • The New Leviathans: Thoughts After Liberalism

    $27.00
  • El extranjero / The Stranger (Spanish Edition)

    $16.95
  • El Arte de la Guerra (Spanish Edition)

    $10.75
  • The Spell of the Sensuous

    $46.00
  • Tao Te Ching

    $9.69
  • Intervolution: Smart Bodies Smart Things (No Limits)

    $19.99
  • Philosophical Devices: Proofs, Probabilities, Possibilities, and Sets

    $24.99
  • In the Unlikeliest of Places: How Nachman Libeskind Survived the Nazis, Gulags, and Soviet Communism (Life Writing, 53)

    $17.33
  • That Not Impossible She: A critical study of gender and individualism in Mary Shelley’s Frankenstein

    $9.99

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

A

Analytic statement

A logically true statement, the denial of which results in a contradiction. https://youtube.com/shorts/l15sCCsCVJw?feature=share
T

Thing-in-Itself

(from German, Ding an sich) Kantian terminology for the unknowable objects of the external world (Noumea), which presumably lie behind our perceptions of the external world (phenomena). https://youtube.com/shorts/tZOGY93oz3A?feature=share
B

Bound variable

A variable (such as x, y, and z) is bound by a quantifier that is used with the same variable —for example, ∀x (Px → Qx). https://youtube.com/shorts/7mi_I0N9To0?feature=share
C
Change of Quantifier (Quantifier Exchange) Rule
C
Counterexample
L
Libertarianism
S
Semiotics
U
Underdetermination
A
Appeal to unqualified authority
F
Free will
C
Conjunct
S
Socialism
View All